Sortiert nach
Computer (Long Beach, Calif.), 2016-06, Vol.49 (6), p.22-30
2016
- Link zum Volltext
ACM computing surveys, 2015-09, Vol.48 (1), p.1-44
2015
Link zum Volltext
Proceedings of the VLDB Endowment, 2017-01, Vol.10 (5), p.481-492
2017
Link zum Volltext
IEEE/ACM transactions on networking, 2012-06, Vol.20 (3), p.715-728
2012
- Link zum Volltext
Journal of the ACM, 2002-07, Vol.49 (4), p.538-576
2002
Link zum Volltext
Journal of biomedical informatics, 2015-06, Vol.55, p.82-93
2015
Link zum Volltext
IEEE software, 2000-05, Vol.17 (3), p.37-43
2000
- Link zum Volltext
ACM transactions on software engineering and methodology, 2000-01, Vol.9 (1), p.94-131
2000
Link zum Volltext
Formal methods in system design, 2005-11, Vol.27 (3), p.213-251
2005
Link zum Volltext
Service oriented computing and applications, 2020-03, Vol.14 (1), p.5-17
2020
Link zum Volltext
IEEE network, 1998-05, Vol.12 (3), p.29-36
1998
- Link zum Volltext
Computer Security – ESORICS 2009, Vol.5789, p.655-670
Link zum Volltext
ACM transactions on information and system security, 2010-12, Vol.13 (4), p.1-35
2010
Link zum Volltext
Theoretical computer science, 1992-09, Vol.103 (2), p.311-334
1992
Link zum Volltext
Computer Security – ESORICS 2009, Vol.5789, p.390-405
Link zum Volltext
Formal Methods for Open Object-Based Distributed Systems, Vol.5051, p.39-58
Link zum Volltext
Artificial intelligence, 1997-09, Vol.95 (2), p.357-407
1997
Link zum Volltext
IEEE pervasive computing, 2011-01, Vol.10 (1), p.49-57
2011
- Link zum Volltext
Information and computation, 1987, Vol.72 (1), p.1-30
1987
Link zum Volltext
Electronic notes in theoretical computer science, 2009-03, Vol.234, p.3-18
2009
Link zum Volltext
IEEE journal on selected areas in communications, 2009-04, Vol.27 (3), p.249-252
2009
- Link zum Volltext
IEEE transactions on software engineering, 2002-02, Vol.28 (2), p.129-145
2002
- Link zum Volltext
Information and computation, 1989, Vol.81 (2), p.123-167
1989
Link zum Volltext
Logic, Rewriting, and Concurrency, 2015, Vol.9200, p.404-426
2015
Link zum Volltext
Software, practice & experience, 2000-12, Vol.30 (15), p.1609-1640
2000
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Computer Science, Information Systems
- Engineering
- Software
- Mathematics
- Exact Sciences And Technology
- Applied Sciences
- Artificial Intelligence
- Telecommunications
- Computer Science, Interdisciplinary Applications
- Computer Science; Control Theory; Systems
- Engineering, Electrical & Electronic
- Physical Sciences
- Computer Engineering
- Computer Science, Hardware & Architecture
- Studies
Kollektion
- ProQuest Dissertations & Theses A&I
- IngentaConnect
- ACM Digital Library (Association for Computing Machinery)
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals
- HEAL-Link subscriptions: Springer Book Series
- Springer Books
- SpringerLink Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EBSCOhost Business Source Ultimate
- IEEE/IET Electronic Library
- IngentaConnect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- MEDLINE
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Wiley Online Library Journals
- Emerald Management 200
- Oxford journals
- Taylor & Francis Journals Complete
Zeitschrift / Serie
- Proceedings Of Acm On Programming Languages
- Sigplan Notices
- Information And Computation
- Proceedings Of Acm On Interactive, Mobile, Wearable And Ubiquitous Technologies
- Electronic Notes In Theoretical Computer Science
- Proceedings Of The Acm On Programming Languages
- Acm Computing Surveys
- Computers & Chemical Engineering
- Informatik-Spektrum
- Acm Sigplan Notices