Sortiert nach
Learning and Collaboration Technologies. Learning and Teaching, p.505-517
Link zum Volltext
Lecture notes in computer science, 2006, p.128-138
2006
Link zum Volltext
Formal Methods for the Design of Real-Time Systems, 2004, p.200-236
2004
Link zum Volltext
Lecture notes in computer science, 2005, p.8-18
2005
Link zum Volltext
Lecture notes in computer science, 2004, p.168-176
2004
Link zum Volltext
Lecture notes in computer science, 2003, Vol.2648, p.235-239
2003
Link zum Volltext
Computer Aided Verification, 2006, p.81-94
2006
Link zum Volltext
Computer Aided Verification, 2006, p.123-136
2006
Link zum Volltext
Advances In Computers, 2011, Vol.82, p.25-46
2011
Link zum Volltext
Lecture notes in computer science, 2004, p.266-283
2004
Link zum Volltext
Lecture notes in computer science, 2002, Vol.2319, p.62-77
2002
Link zum Volltext
Computational Intelligence and Quantitative Software Engineering, 2016, Vol.617, p.33-58
2016
Link zum Volltext
FM 2006: Formal Methods, 2006, p.1-15
2006
Link zum Volltext
Advances In Computers, 2011, Vol.83, p.205-276
2011
Link zum Volltext
Computer Aided Verification, 2004, p.175-188
2004
Link zum Volltext
Advances In Computers, 2010, Vol.80, p.1-44
2010
Link zum Volltext
Computer Aided Verification, 2004, p.202-215
2004
Link zum Volltext
Mathematics and Its Applications in New Computer Systems, 2022, Vol.424, p.415-426
2022
Link zum Volltext
Lecture notes in computer science, 2005, p.570-574
2005
Link zum Volltext
Conceptual Modeling – ER 2005, 2005, p.225-240
2005
Link zum Volltext
Extreme Programming and Agile Processes in Software Engineering, 2006, p.143-153
2006
Link zum Volltext
Formal Methods for Components and Objects, 2006, p.342-363
2006
Link zum Volltext
Lecture notes in computer science, 2005, p.2-23
2005
Link zum Volltext
Fundamental Approaches to Software Engineering, 2005, p.19-33
2005
Link zum Volltext
Integrated Formal Methods, 2004, p.128-147
2004
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Systems And Distributed Systems. User Interface
- Computer Science, Software Engineering
- Software Engineering
- Memory Organisation. Data Processing
- Computer Science, Information Systems
- Computer Science, Artificial Intelligence
- Information Systems. Data Bases
- Artificial Intelligence
- Telecommunications
- Memory And File Management
- Computer Science, Hardware & Architecture
- Data Processing. List Processing. Character String Processing
Kollektion
- SpringerLink Series
- Ingenta E-Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- MEDLINE
- ScienceDirect eBooks
- Wiley Online Library All Obooks
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library【キャンパス外アクセス可】
- Taylor & Francis eBooks A-Z
- De Gruyter eBooks
- IEEE Xplore
- OECD iLibrary
- Edward Elgar Books
- Sociological Abstracts
- Oxford University Press Books All Titles
- Applied Social Sciences Index & Abstracts (ASSIA)
- PAIS Index
- De Gruyter Open Access Books
- Wiley Online Library
Neu hinzugefügt