Sortiert nach
ACM transactions on modeling and computer simulation, 2018-01, Vol.28 (1), p.1-39
2018
Link zum Volltext
Lecture notes in computer science, 2006, p.419-423
2006
Link zum Volltext
Logical methods in computer science, 2022-01, Vol.18, Issue 1
2022
Link zum Volltext
Innovations in systems and software engineering, 2023-12, Vol.19 (4), p.395-410
2023
Link zum Volltext
Science of computer programming, 2016-01, Vol.115-116, p.100-126
2016
Link zum Volltext
Mathematical problems in engineering, 2014-01, Vol.2014, p.1-8
2014
Link zum Volltext
KSII Transactions on Internet and Information Systems, 2015, 9(5), , pp.1881-1903
2015
Link zum Volltext
2009 IEEE/ACM International Conference on Automated Software Engineering, 2009, p.468-479
2009
- Link zum Volltext
ACM transactions on software engineering and methodology, 2004-01, Vol.13 (1), p.86-147
2004
Link zum Volltext
Formal Methods for Open Object-Based Distributed Systems, 2005, p.211-226
2005
Link zum Volltext
Lecture notes in computer science, 2005, p.191-205
1ère éd, 2005
Link zum Volltext
Electronic proceedings in theoretical computer science, 2012-08, Vol.91 (Proc. FOCLASA 2012), p.16-30
2012
Link zum Volltext
2016 49th Hawaii International Conference on System Sciences (HICSS), 2016, p.5358-5358
2016
- Link zum Volltext
International journal on software tools for technology transfer, 2018-10, Vol.20 (5), p.547-561
2018
Link zum Volltext
ACM transactions on sensor networks, 2013-07, Vol.9 (4), p.1-38
2013
Link zum Volltext
Cellular Automata, 2004, p.861-870
2004
Link zum Volltext
Science of computer programming, 2013-02, Vol.78 (2), p.145-146
2013
Link zum Volltext
IEEE transactions on software engineering, 2011-01, Vol.37 (1), p.126-141
2011
- Link zum Volltext
Lecture notes in computer science, 2006, p.394-410
2006
Link zum Volltext
2015 48th Hawaii International Conference on System Sciences, 2015, p.5028-5028
2015
- Link zum Volltext
Journal of civil structural health monitoring, 2016-02, Vol.6 (1), p.17-41
2016
Link zum Volltext
Computer Aided Verification, 2005, p.266-280
2005
Link zum Volltext
Computer Aided Verification, 2004, p.202-215
2004
Link zum Volltext
2014 47th Hawaii International Conference on System Sciences, 2014, p.4710-4710
2014
Link zum Volltext
Science of computer programming, 2015-02, Vol.98, p.117-119
2015
Link zum Volltext
Aktive Filter
ThemaComputing Methodologies -- Concurrent Computing Methodologies -- Concurrent Programming Languages
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Software Engineering
- Computer Science, Information Systems
- Engineering
- Computer Science, Hardware & Architecture
- Actors
- Engineering, Electrical & Electronic
- Computational Modeling
- Computer Systems And Distributed Systems. User Interface
- Telecommunications
- Monitoring
- Wireless Sensor Networks
Kollektion
- Ingenta
- SpringerLink Series
- IEEE/IET Electronic Library
- ACM Digital Library Complete
- Elsevier ScienceDirect Journals Complete
- EZB Electronic Journals Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- Springer Books
- Wiley Online Library Journals Frontfile Complete
- Emerald Management 200
Zeitschrift / Serie
- Sigplan Notices
- Communications Of The Acm
- Journal Of Parallel And Distributed Computing
- Science Of Computer Programming
- Acm Transactions On Sensor Networks
- Acm Computing Surveys
- Acm Sigplan Notices
- Acm Transactions On Modeling And Computer Simulation
- Acm Transactions On Software Engineering And Methodology
- Comm. Acm