Sortiert nach
A Journey from Process Algebra Via Timed Automata to Model Learning, 2022, Vol.13560, p.213-265
2022
Link zum Volltext
Software Engineering for Self-Adaptive Systems, 2013, Vol.7475, p.1-32
- de Lemos, Rogério
- Giese, Holger
- Müller, Hausi A.
- Shaw, Mary
- Andersson, Jesper
- Litoiu, Marin
- Schmerl, Bradley
- Tamura, Gabriel
- Villegas, Norha M.
- Vogel, Thomas
- Weyns, Danny
- Baresi, Luciano
- Becker, Basil
- Bencomo, Nelly
- Brun, Yuriy
- Cukic, Bojan
- Desmarais, Ron
- Dustdar, Schahram
- Engels, Gregor
- Geihs, Kurt
- Göschka, Karl M.
- Gorla, Alessandra
- Grassi, Vincenzo
- Inverardi, Paola
- Karsai, Gabor
- Kramer, Jeff
- Lopes, Antónia
- Magee, Jeff
- Malek, Sam
- Mankovskii, Serge
- Mirandola, Raffaela
- Mylopoulos, John
- Nierstrasz, Oscar
- Pezzè, Mauro
- Prehofer, Christian
- Schäfer, Wilhelm
- Schlichting, Rick
- Smith, Dennis B.
- Sousa, João Pedro
- Tahvildari, Ladan
- Wong, Kenny
- Wuttke, Jochen
2013
Link zum Volltext
Reachability Problems, 2014, p.125-137
2014
Link zum Volltext
Graph Transformation, Specifications, and Nets, 2018, Vol.10800, p.1-18
2018
Link zum Volltext
From Software Engineering to Formal Methods and Tools, and Back, p.397-415
Link zum Volltext
Lecture notes in computer science, 2022, p.252-271
2022
Link zum Volltext
Programming Languages and Systems, 2017, Vol.10201, p.696-723
2017
Link zum Volltext
Logical Foundations of Computer Science, 2021, Vol.13137, p.70-89
2021
Link zum Volltext
Computer Supported Education, 2023, Vol.1817, p.125-148
2023
Link zum Volltext
Description Logic, Theory Combination, and All That, 2019, Vol.11560, p.57-89
2019
Link zum Volltext
Logic, Language, Information, and Computation, 2023, Vol.13923, p.161-177
2023
Link zum Volltext
Description Logic, Theory Combination, and All That, 2019, Vol.11560, p.15-56
2019
Link zum Volltext
Computer Vision - ECCV 2020, 2020, Vol.12373, p.527-544
2020
Link zum Volltext
Computer Science - Theory and Applications, 2022, Vol.13296, p.133-151
2022
Link zum Volltext
Challenges of Software Verification, 2023, Vol.238, p.77-91
2023
Link zum Volltext
Logic, Computation and Rigorous Methods, 2021, Vol.12750, p.1-13
2021
Link zum Volltext
Models, Languages, and Tools for Concurrent and Distributed Programming, 2019, p.487-495
2019
Link zum Volltext
Description Logic, Theory Combination, and All That, 2019, Vol.11560, p.523-541
2019
Link zum Volltext
Combinatorics on Words, p.274-287
Link zum Volltext
NASA Formal Methods, 2023, Vol.13903, p.37-61
2023
Link zum Volltext
Models, Mindsets, Meta: The What, the How, and the Why Not?, 2019, Vol.11200, p.326-355
2019
Link zum Volltext
Principles of Systems Design, 2022, Vol.13660, p.107-130
2022
Link zum Volltext
Transactions on Computational Collective Intelligence XXXIV, 2019, Vol.11890, p.35-46
2019
Link zum Volltext
ICTERI 2021 Workshops, p.231-246
Link zum Volltext
Lectures on Runtime Verification, 2018, Vol.10457, p.1-33
2018
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Applied Sciences
- Software Engineering
- Artificial Intelligence
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Social Sciences
- Computer Communications & Networking
- Software
- Computer Programming / Software Development
- Mathematics
- Science & Technology
- Computer Engineering
- Computing: General
- Behavioral Sciences
- Computer Security
- Algorithms & Data Structures
- Life Sciences & Biomedicine
- Business
- Physical Sciences
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- HEAL-Link subscriptions: Springer Book Series
- IngentaConnect Journals
- ScienceDirect eBooks
- De Gruyter eBooks
- Wiley Online Library All Obooks
- Taylor & Francis eBooks A-Z
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Oxford University Press Books All Titles
- Reference Global
- De Gruyter Open Access Books
- Cambridge Core All Books
- InfoSci-Books
- Cambridge University Press online books
- Content-Select Global Alltitles
- ACM Digital Library Complete
- IEEE Xplore
- Ovid SocietyJournals and Single Titles
Neu hinzugefügt