링크메뉴
주메뉴
연혁 / 자료현황
자료실 / 담당자
개관시간 / 이용안내
찾아오시는 길
소장자료검색
신착자료검색
학위논문검색
RISS 검색
NDSL 검색
전자자료 통합검색
통합검색
학술DB
국내학술DB
국외학술DB
e-journal(AtoZ)
eBook/audioBook
eBook
audioBook
대출반납서비스
이용안내
대출/연장/이력/예약
대출도서순위조회
도서신청서비스
보존서고자료
희망도서신청
서가부재도서
타기관이용서비스
상호대차/원문복사
타기관열람신청
학위논문파일 제출
학위논문제출안내
학위논문제출
개인정보관리
My Page
나의서재
연구지원서비스
이용안내
서비스신청
신청내역조회
이용교육서비스
교육안내
교육일정 및 신청
신청내역조회
자료실
논문작성지원
Turnitin(논문표절예방)이용
CopyKIller(논문표절예방)
EndNote 이용
도서관가이드
이용안내
학과가이드
서비스가이드
공지사항
질의응답
자료실
FAQ
연혁 / 자료현황
자료실 / 담당자
개관시간 / 이용안내
찾아오시는 길
소장자료검색
신착자료검색
학위논문검색
RISS 검색
NDSL 검색
전자자료 통합검색
학술DB
e-journal(AtoZ)
eBook/audioBook
대출반납서비스
도서신청서비스
타기관이용서비스
학위논문파일 제출
개인정보관리
연구지원서비스
이용교육서비스
논문작성지원
도서관가이드
공지사항
질의응답
자료실
FAQ
연혁 / 자료현황
자료실 / 담당자
개관시간 / 이용안내
찾아오시는 길
소장자료검색
신착자료검색
학위논문검색
RISS 검색
NDSL 검색
전자자료 통합검색
학술DB
e-journal(AtoZ)
eBook/audioBook
대출반납서비스
도서신청서비스
타기관이용서비스
학위논문파일 제출
개인정보관리
연구지원서비스
이용교육서비스
논문작성지원
도서관가이드
공지사항
질의응답
자료실
FAQ
자료검색
전자자료 상세검색
전자자료 상세검색
통합검색
소장자료
전자자료
통합검색
키워드
전체
저자
제목
주제어
출처
초록
ISSN
ISBN
결과내 검색
검색어
[키워드: "Maibaum, T."]
총
172
건
※ 중복 레코드가 제거된 검색 결과가 표시됩니다.
1/18
페이지
검색결과수정
검색범위확장
Full Text내 키워드 확장
관련 주제어 확장
재검색
검색결과제한
원문(Full Text)
Peer-Reviewed 학술지
발행년
-
재검색
자료유형
eBooks
(70)
Academic Journals
(51)
Conference Materials
(39)
자료유형
Count
Name
eBooks
(
70
)
Academic Journals
(
51
)
Conference Materials
(
39
)
Reviews
(
16
)
Magazines
(
7
)
Books
(
5
)
닫기
주제
caap colloquium on trees in algebra and programming
(24)
ccpsd colloquium on combining paradigms for software development
(21)
computing and processing
(10)
주제
Count
Name
caap colloquium on trees in algebra and programming
(
24
)
ccpsd colloquium on combining paradigms for software development
(
21
)
computing and processing
(
10
)
computer science
(
9
)
temporal logic
(
9
)
software engineering
(
8
)
operational semantic
(
7
)
adc advances in distributed computing
(
6
)
educational institutions
(
6
)
label transition system
(
6
)
logic program
(
6
)
parallel composition
(
6
)
abstract data type
(
5
)
deontic logic
(
5
)
fault-tolerance
(
5
)
formal methods
(
5
)
modal logic
(
5
)
software design
(
5
)
category theory
(
4
)
concurrency
(
4
)
denotational semantic
(
4
)
logic programming
(
4
)
specification
(
4
)
z notation
(
4
)
abstract interpretation
(
3
)
communicate sequential process
(
3
)
function symbol
(
3
)
inference rule
(
3
)
interpolation
(
3
)
law
(
3
)
logic
(
3
)
mathematics
(
3
)
modularity
(
3
)
predicate symbol
(
3
)
reactive systems
(
3
)
software specification
(
3
)
software systems
(
3
)
system specification
(
3
)
system verification
(
3
)
transition system
(
3
)
abstract data types
(
2
)
abstract syntax
(
2
)
action logic
(
2
)
application software
(
2
)
categories (mathematics)
(
2
)
conflict of interest
(
2
)
congruence class
(
2
)
connectors
(
2
)
conservative extension
(
2
)
constraint logic programming
(
2
)
닫기
간행물
tapsoft '91 : proceedings of the international joint conference on theory and practice of software development brighton, uk, april 8-12, 1991
(51)
deutsches arzteblatt international
(9)
formal aspects of computing
(6)
간행물
Count
Name
tapsoft '91 : proceedings of the international joint conference on theory and practice of software development brighton, uk, april 8-12, 1991
(
51
)
deutsches arzteblatt international
(
9
)
formal aspects of computing
(
6
)
formal aspects of computing: applicable formal methods
(
3
)
icse: international conference on software engineering
(
3
)
information processing letters
(
3
)
international journal of computer & information sciences
(
3
)
international journal of parallel programming
(
3
)
journal of computer and system sciences
(
3
)
lecture notes in computer science
(
3
)
computer journal
(
2
)
deontic logic in computer science
(
2
)
der chirurg
(
2
)
international workshop on software specifications & design
(
2
)
journal of applied logic
(
2
)
journal of logic and computation
(
2
)
logic journal of the igpl
(
2
)
pneumologie stuttgart germany
(
2
)
science of computer programming
(
2
)
the computer journal
(
2
)
12th international workshop on database & expert systems applications
(
1
)
12th international workshop on database and expert systems applications, database and expert systems applications, 2001. proceedings. 12th international workshop on, database and expert systems applications
(
1
)
13th annual symposium on switching & automata theory (swat 1972)
(
1
)
13th annual symposium on switching and automata theory (swat 1972), switching and automata theory, 1972., ieee conference record of 13th annual symposium on
(
1
)
2007 joint workshop on high confidence medical devices, software & systems & medical device plug-&-play interoperability (hcmdss-mdpnp 2007)
(
1
)
2013 ieee international symposium on software reliability engineering workshops (issrew)
(
1
)
2013 ieee international symposium on software reliability engineering workshops (issrew), software reliability engineering workshops (issrew), 2013 ieee international symposium on
(
1
)
algorithmic game theory: 8th international symposium, sagt 2015, saarbrucken, germany, september 28-30, 2015, proceedings
(
1
)
automata, languages and programming (second colloq., univ. saarbrucken, saarbrucken, 1974)
(
1
)
chirurg
(
1
)
der chirurg: zeitschrift fur alle gebiete der operativen medizin
(
1
)
ecoop'97 - object-oriented programming
(
1
)
first acm and ieee international conference on formal methods and models for co-design, 2003. memocode '03. proceedings., formal methods and models for co-design, 2003. memocode '03. proceedings. first acm and ieee international conference on, formal methods and models for co-design
(
1
)
foundations of object-oriented languages (noordwijkerhout, 1990)
(
1
)
foundations of software technology and theoretical computer science (bangalore, 1984)
(
1
)
group decision and negotiation
(
1
)
ieee design & test, design & test, ieee, ieee des. test
(
1
)
information processing 77 (proc. ifip congr., toronto, ont., 1977)
(
1
)
international journal of computer and information sciences
(
1
)
journal of logic & computation
(
1
)
proceedings 17th ieee international conference on automated software engineering, automated software engineering, 2002. proceedings. ase 2002. 17th ieee international conference on, automated software engineering
(
1
)
proceedings first ieee international conference on cognitive informatics, cognitive informatics, 2002. proceedings. first ieee international conference on, cognitive informatics
(
1
)
proceedings of 1993 ieee 7th international workshop on software specification and design, software specification and design, 1993., proceedings of the seventh international workshop on, software specification and design
(
1
)
proceedings of the 23rd international conference on software engineering
(
1
)
proceedings of the 23rd international conference on software engineering. icse 2001, software engineering, 2001. icse 2001. proceedings of the 23rd international conference on, software engineering. icse 2001
(
1
)
proceedings of the 5th international conference on software engineering
(
1
)
proceedings of the 5th international workshop on software specification and design
(
1
)
proceedings of the 7th international conference on software engineering
(
1
)
proceedings of the 8th international workshop on software specification and design
(
1
)
proceedings of the 8th international workshop on software specification and design, software specification and design, 1996., proceedings of the 8th international workshop on, software specification design
(
1
)
닫기
출판사
springer berlin heidelberg
(66)
ieee
(18)
association for computing machinery
(11)
출판사
Count
Name
springer berlin heidelberg
(
66
)
ieee
(
18
)
association for computing machinery
(
11
)
springer nature
(
8
)
deutscher arzte-verlag
(
6
)
elsevier science bv
(
5
)
oxford university press / usa
(
5
)
springer
(
5
)
springer, berlin
(
5
)
deutscher aerzte-verlag gmbh
(
3
)
kluwer academic publishers-plenum publishers
(
3
)
springer us
(
3
)
springer-verlag
(
2
)
thieme
(
2
)
dunod, paris
(
1
)
georg thieme verlag stuttgart
(
1
)
ieee comput. soc. press
(
1
)
north-holland, amsterdam-new york-oxford
(
1
)
oxford univ press
(
1
)
springer heidelberg
(
1
)
springer international publishing
(
1
)
springer london
(
1
)
springer medizin
(
1
)
springer, berlin-new york
(
1
)
닫기
언어
english
(78)
german
(8)
Publication Year
2001
(1)
2015
(1)
2022
(1)
수록데이터베이스
Springer Nature eBooks
(70)
Complementary Index
(30)
MathSciNet via EBSCOhost
(16)
수록데이터베이스
Count
Name
Springer Nature eBooks
(
70
)
Complementary Index
(
30
)
MathSciNet via EBSCOhost
(
16
)
Science Citation Index Expanded
(
11
)
IEEE Xplore Digital Library
(
10
)
MEDLINE
(
9
)
Supplemental Index
(
9
)
Springer Nature Journals
(
7
)
ACM Full-Text Collection
(
5
)
Academic Search Complete
(
2
)
Business Source Complete
(
1
)
CINAHL Plus with Full Text
(
1
)
Social Sciences Citation Index
(
1
)
닫기
PQDT
CAJ
RISS
PsycINFO
전체선택
날짜 내림차순
날짜 오름차순
연관도
10
20
30
50
1
Taking a page from the law books: Considering evidence weight in evaluating assurance case confidence
회의자료
issue
2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Software Reliability Engineering Workshops (ISSREW), 2013 IEEE International Symposium on. :387-390 Nov, 2013
Author
Grigorova, S
Maibaum
,
T
S E
DB Label
Database : IEEE Xplore Digital Library
원문보기
Full Text (IEEE)
2
A temporal logic approach to the specification of reconfigurable component-based systems
회의자료
issue
Proceedings 17th IEEE International Conference on Automated Software Engineering, Automated software engineering Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on. :271-274 2002
Author
Aguirre, N.
Maibaum
,
T
.
DB Label
Database : IEEE Xplore Digital Library
원문보기
Full Text (IEEE)
3
Towards electronic contract performance
회의자료
issue
12th International Workshop on Database and Expert Systems Applications Database and expert systems applications Database and Expert Systems Applications, 2001. Proceedings. 12th International Workshop on. :771-777 2001
Author
Daskalopulu, A.
Maibaum
,
T
.
DB Label
Database : IEEE Xplore Digital Library
원문보기
Full Text (IEEE)
4
Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering
회의자료
issue
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Software engineering. ICSE 2001 Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on. :463-472 2001
Author
Haeberer, A.
Maibaum
,
T
.
DB Label
Database : IEEE Xplore Digital Library
원문보기
Full Text (IEEE)
5
S1-Leitlinie „Post-COVID/Long-COVID“
S1 Guideline „Post-COVID/Long-COVID“
학술저널
issue
Der Chirurg: Zeitschrift für alle Gebiete der operativen Medizin
. 93(1):101-102
Author
Koczulla, A. R.
Aff1, IDs00104021015431_cor1
Ankermann,
T
.
Behrends, U.
Berlit, P.
Böing, S.
Brinkmann, F.
Franke, C.
Glöckl, R.
Gogoll, C.
Hummel,
T
.
Kronsbein, J.
Maibaum
,
T
.
Peters, E. M. J.
Pfeifer, M.
Platz,
T
.
Pletz, M.
Pongratz, G.
Aff12, Aff19
Powitz, F.
Rabe, K. F.
Scheibenbogen, C.
Stallmach, A.
Aff14, Aff20
Stegbauer, M.
Wagner, H. O.
Waller, C.
Wirtz, H.
Zeiher, A.
Zwick, R.
DB Label
Database : Springer Nature Journals
원문보기
등재 - SCOPUS
조회 - Impact Factor (JCR)
원문복사신청 - RISS
6
A mathematical toolbox for the software architect
회의자료
issue
Proceedings of the 8th International Workshop on Software Specification and Design Software specification design Software Specification and Design, 1996., Proceedings of the 8th International Workshop on. :46-55 1996
Author
Fiadeiro, J.L.
Maibaum
,
T
.
DB Label
Database : IEEE Xplore Digital Library
원문보기
Full Text (IEEE)
7
Taking more of the soft out of software engineering
회의자료
issue
Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design Software specification and design Software Specification and Design, 1993., Proceedings of the Seventh International Workshop on. :2-7 1993
Author
Maibaum
,
T
.
DB Label
Database : IEEE Xplore Digital Library
원문보기
Full Text (IEEE)
8
Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?
학술저널
issue
IEEE Design & Test IEEE Des. Test Design & Test, IEEE. 32(5):45-55 Oct, 2015
Author
Wassyng, A.
Singh, N.K.
Geven, M.
Proscia, N.
Wang, H.
Lawford, M.
Maibaum
,
T
.
DB Label
Database : IEEE Xplore Digital Library
원문보기
Full Text (IEEE)
등재 - Web of Science (SCIE)
등재 - SCOPUS
조회 - Impact Factor (JCR)
9
Goal-oriented requirements analysis for process control systems design
회의자료
issue
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. Formal methods and models for co-design Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. First ACM and IEEE International Conference on. :45-46 2003
Author
El-Maddah, I.
Maibaum
,
T
.
DB Label
Database : IEEE Xplore Digital Library
원문보기
Full Text (IEEE)
10
Immaterial Conflicts of Interest Present.
학술저널
issue
Deutsches Ärzteblatt International
(DTSCH AERZTEBL INT), 10/13/2023; 120(41): 2-2. (1p)
Author
Kühlein,
T
.
;
1
Maibaum
,
T
.
DB Label
Database : CINAHL Plus with Full Text
원문보기
Full Text (원문보기)
등재 - Web of Science (SCIE)
등재 - SCOPUS
조회 - Impact Factor (JCR)
1
2
3
4
5
바구니보기
도서관정보
3698
10628755
관련사이트
대학도서관
RISS-한국교육학술정보원
LG 상남도서관
가톨릭대학교 도서관
강남대학교 도서관
강릉대학교 도서관
강원대학교 삼척캠퍼스 도서관
강원대학교 중앙도서관
건국대학교 상허기념도서관
경기대학교 중앙도서관
경남과학기술대학교 도서관
경남대학교 중앙도서관
경북대학교 도서관
경상대학교 중앙도서관
경성대학교 중앙도서관
경인교육대학교 도서관
경희대학교 도서관
계명대학교 동산도서관
고려대학교 중앙도서관
고신대학교 중앙도서관
공주교육대학교 디지털도서관
공주대학교 중앙도서관
관동대학교 중앙도서관
광운대학교 중앙도서관
광주과학기술원 도서관
광주교육대학교 디지털도서관
광주대학교 중앙도서관
국가전자도서관
국립중앙도서관
국민대학교 성곡도서관
국회도서관
군산대학교 중앙도서관
금오공과대학교 도서관
남서울대학교 중앙도서관
단국대학교 율곡기념도서관
단국대학교 퇴계기념중앙도서관
대구가톨릭대학교 중앙도서관
덕성여자대학교 중앙도서관
동국대학교 도서관
동덕여자대학교 중앙도서관
동신대학교 중앙도서관
동아대학교 중앙도서관
동의대학교 중앙도서관
명지대학교 도서관
목원대학교 중앙도서관
목포대학교 중앙도서관
배재대학교 중앙도서관
부경대학교 도서관
부산교육대학교 학술정보관
부산대학교 도서관
부산외국어대학교 도서관
삼육대학교 도서관
상명대학교 중앙도서관
상지대학교 학술정보원
서강대학교 로욜라도서관
서울과학기술대학교 도서관
서울교육대학교 디지털도서관
서울대학교 농학도서관
서울대학교 사회과학도서관
서울대학교 중앙도서관
서울시립대학교 중앙도서관
서울신학대학교 도서관
서울여자대학교 중앙도서관
서원대학교 학술정보원
성결대학교 학술정보관
성공회대학교 중앙도서관
성균관대학교 학술정보관
성신여자대학교 중앙도서관
세종대학교 학술정보원
송원대학교
수리과학연구정보센터
수원대학교 중앙도서관
숙명여자대학교 도서관
순천대학교 중앙도서관
순천향대학교 향설기념 중앙도서관
숭실대학교 중앙도서관
신라대학교 도서관
아주대학교 중앙도서관
안동대학교 중앙도서관
연세대학교 의학도서관
연세대학교 학술정보원
영남대학교 중앙도서관
영동대학교 중앙도서관
우석대학교 중앙도서관
울산대학교 중앙도서관
원광대학교 중앙도서관
월계문화정보도서관
위덕대학교 회당학술정보원
이화여자대학교 중앙도서관
인덕대학 도서관
인제대학교 백인제기념도서관
인천대학교 학산도서관
인하대학교 정석학술정보관
장로회신학대학교 도서관
전남대학교 여수캠퍼스 도서관
전북대학교 중앙도서관
전주교육대학교 디지털도서관
전주대학교 중앙도서관
제주대학교 중앙도서관
조선대학교 중앙도서관
중앙대학교 서울캠퍼스 중앙도서관
중앙대학교 안성캠퍼스 중앙도서관
진주교육대학교 도서관
창원대학교 중앙도서관
청주대학교 중앙도서관
추계예술대학교 전자정보도서관
충남대학교 디지털도서관
충북대학교 도서관
포항공과대학교 청암학술정보관
한국과학기술원 전자도서관
한국교원대학교 도서관
한국기술교육대학교 다산정보관
한국외국어대학교 도서관
한국체육대학교 학술정보시스템
한국해양대학교 도서관
한남대학교 학술정보관
한동대학교 학술정보관
한림대학교 일송기념도서관
한밭대학교 도서관
한서대학교 중앙도서관
한성대학교 학술정보관
한양대학교 백남학술정보관
한양대학교 안산학술정보관
호남대학교 중앙도서관
홍익대학교 중앙도서관
화순전남대병원의학도서실
참고정보원
RISS-한국교육학술정보원
NDSL 과학기술정보통합서비스
건설연구정보센터(서울대학교)
과학기술정책연구원(STEPI)
광주과학기술원(K-JIST)
국내의학학술지 초록검색
기계공학연구정보센터(부산대학교)
농생명과학연구정보센터(서울대학교)
대외경제정책연구원(KIEP)
물리학연구정보센터(서울대학교)
보건연구정보센터(전남대학교)
생물학연구정보센터(포항공과대학교)
의약연구정보센터(숙명여자대학교)
의학연구정보센터(충북대학교)
재료연구정보센터(경북대학교)
테크노경영연구정보센터
한국과학기술연구원(KIST)
한국과학기술원(KAIST)
한국과학기술정보연구원(KISTI)
한국교육개발원(KEDI)
한국기계연구원(KIMM)
한국기초과학지원연구원(KBSI)
한국문화예술진흥원(KCAF)
한국생명공학연구원(KRIBB)
한국에너지기술연구원(KIER)
한국원자력연구원(KAERI)
한국전기연구원(KERI)
한국전자통신연구원(ETRI)
한국지질자원연구원(KIGAM)
한국표준과학연구원(KRISS)
한국항공우주연구원(KARI)
한국해양연구원(KORDI)
한국화학연구원(KRICT)
한국환경정책평가연구원
화학공학연구정보센터(고려대학교)
환경지질연구정보센터(연세대학교)