Sortiert nach
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
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
Formal Methods for Open Object-Based Distributed Systems, 2005, p.211-226
2005
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
KSII transactions on Internet and information systems, 2015-05, Vol.9 (5), p.1881-1903
2015
Link zum Volltext
Lecture notes in computer science, 2005, p.104-120
2005
Link zum Volltext
Electronic proceedings in theoretical computer science, 2016-10, Vol.228, p.1-1
2016
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
Electronic proceedings in theoretical computer science, 2012-08, Vol.91 (Proc. FOCLASA 2012), p.16-30
2012
Link zum Volltext
Lecture notes in computer science, 2005, p.191-205
1ère éd, 2005
Link zum Volltext
2016 49th Hawaii International Conference on System Sciences (HICSS), 2016, p.5358-5358
2016
- Link zum Volltext
Lecture notes in computer science, 2006, p.394-410
2006
Link zum Volltext
International journal on software tools for technology transfer, 2018-10, Vol.20 (5), p.547-561
2018
Link zum Volltext
Models, Languages, and Tools for Concurrent and Distributed Programming, p.315-339
Link zum Volltext
Computer Aided Verification, 2005, p.266-280
2005
Link zum Volltext
ACM transactions on sensor networks, 2013-07, Vol.9 (4), p.1-38
2013
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Programming / Software Development
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Software Engineering
- Computing Methodologies -- Concurrent Computing Methodologies -- Concurrent Programming Languages
- Actors
- Computational Modeling
- Engineering
- Computer Science, Information Systems
- Computer Science, Hardware & Architecture
- Computer Systems And Distributed Systems. User Interface
- Engineering, Electrical & Electronic
- Java
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- Ingenta
- ACM Digital Library
- SpringerLink Series
- IEEE Electronic Library Online
- EZB Free E-Journals
- Elsevier ScienceDirect Journals Complete
- SpringerLink
- EBSCOhost Business Source Ultimate
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Journals@Ovid Complete
- Oxford Journals
- NUS Single-Journal Subscriptions
- Wiley Online Library Journals Frontfile Complete
- Emerald Management 200
- Cambridge Journals Online (DEFF)
Zeitschrift / Serie
- Sigplan Notices
- Communications Of The Acm
- Journal Of Parallel And Distributed Computing
- Software Engineering Notes
- Acm Transactions On Sensor Networks
- Electronic Proceedings In Theoretical Computer Science
- International Journal On Software Tools For Technology Transfer
- Science Of Computer Programming
- Sigbed Review
- Ieee Parallel & Distributed Technology
Neu hinzugefügt