Sortiert nach
The Journal of supercomputing, 2024-03, Vol.80 (4), p.5616-5653
2024
Volltextzugriff (PDF)
IEEE access, 2020, Vol.8, p.108561-108578
2020
Volltextzugriff (PDF)
IEEE access, 2019, Vol.7, p.83839-83851
2019
Volltextzugriff (PDF)
Agent Computing and Multi-Agent Systems, 2006, p.46-58
2006
Volltextzugriff (PDF)
IEEE transactions on dependable and secure computing, 2015-03, Vol.12 (2), p.190-203
2015
Volltextzugriff (PDF)
Journal of software, 2023-11, p.185-199
2023
Volltextzugriff (PDF)
Journal of physics. Conference series, 2022-06, Vol.2261 (1), p.12014
2022
Volltextzugriff (PDF)
Soft computing (Berlin, Germany), 2024-07
2024
Volltextzugriff (PDF)
Theoretical computer science, 2012-08, Vol.446, p.1-19
2012
Volltextzugriff (PDF)
Foundations of Software Science and Computation Structures, 2006, p.63-78
2006
Volltextzugriff (PDF)
Computers & security, 2021-09, Vol.108, p.102343, Article 102343
2021
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.179-195
2004
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.1095-1104
2006
Volltextzugriff (PDF)
Cloud Computing and Security, p.816-822
Volltextzugriff (PDF)
2013 International Symposium on Theoretical Aspects of Software Engineering, 2013, p.217-224
2013
Volltextzugriff (PDF)
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012, p.93-100
2012
Volltextzugriff (PDF)
Theoretical and Mathematical Foundations of Computer Science, p.305-312
Volltextzugriff (PDF)
Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2021, Vol.12382, p.356-366
2021
Volltextzugriff (PDF)
2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE), 2017, p.1-8
2017
Volltextzugriff (PDF)
2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE), 2017, p.1-6
2017
Volltextzugriff (PDF)
2009 WRI World Congress on Computer Science and Information Engineering, 2009, Vol.7, p.792-796
2009
Volltextzugriff (PDF)
Tests and Proofs, p.30-47
Volltextzugriff (PDF)
2009 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, 2009, p.475-480
2009
Volltextzugriff (PDF)
Theory and Applications of Models of Computation, p.351-363
Volltextzugriff (PDF)
Theoretical Aspects of Computing – ICTAC 2007, p.94-108
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Engineering
- Calculus
- Life Sciences & Biomedicine
- Computer Science, Information Systems
- Semantics
- Engineering, Electrical & Electronic
- Model Checking
- Computer Science, Artificial Intelligence
- Label Transition System
- Software
- Computer Science, Hardware & Architecture
- Context
- Physical Sciences
- Bisimulation
- Computational Modeling
Kollektion
- Ingenta
- IEEE Electronic Library (IEL)
- EZB Electronic Journals Library
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- MEDLINE
- IngentaConnect Journals
- Springer Nature - Complete Springer Journals
- Access via Wiley Online Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Complete
- ACM Digital Library Complete
- InfoSci-Journals (Full collection)
- Wiley Online Library Full Collection 2018
- Taylor & Francis Journals Complete
- Jstor Complete Legacy
- Nature
Zeitschrift / Serie
Neu hinzugefügt