Sortiert nach
Journal of logic and computation, 2015-08, Vol.25 (4), p.1091-1110
2015
Volltextzugriff (PDF)
History and philosophy of logic, 2015-07, Vol.36 (3), p.205-228
2015
Volltextzugriff (PDF)
Computer journal, 2011-11, Vol.54 (11), p.1756-1772
2011
Volltextzugriff (PDF)
IEEE annals of the history of computing, 2014-10, Vol.36 (4), p.52-63
2014
Volltextzugriff (PDF)
IEEE annals of the history of computing, 2021-10, Vol.43 (4), p.87-91
2021
Volltextzugriff (PDF)
Information processing letters, 2009-08, Vol.109 (18), p.1055-1059
2009
Volltextzugriff (PDF)
IEEE transactions on very large scale integration (VLSI) systems, 2004-03, Vol.12 (3), p.269-280
2004
Volltextzugriff (PDF)
Journal of systems architecture, 2007-08, Vol.53 (8), p.539-549
2007
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2009-11, Vol.8 (Proc. EXPRESS 2009), p.26-40
2009
Volltextzugriff (PDF)
Embedded Computer Systems: Architectures, Modeling, and Simulation, 2005, p.445-454
2005
Volltextzugriff (PDF)
Science of computer programming, 2008-08, Vol.72 (3), p.71-135
2008
Volltextzugriff (PDF)
FM 2009: Formal Methods, p.273-288
Volltextzugriff (PDF)
Communications of the ACM, 2014-10, Vol.57 (10), p.36
2014
Volltextzugriff (PDF)
Communications of the ACM, 2014-09, Vol.57 (10), p.36-38
2014
Volltextzugriff (PDF)
Communications of the ACM, 2015-03, Vol.58 (3), p.37
2015
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2004-12, Vol.108, p.99-112
2004
Volltextzugriff (PDF)
2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007), 2007, p.83-84
2007
Volltextzugriff (PDF)
Communications of the ACM, 2015-02, Vol.58 (3), p.37-39
2015
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Hardware & Architecture
- Computer Science, Software Engineering
- Studies
- Applied Sciences
- Arts & Humanities
- Computer Science; Control Theory; Systems
- Embedded Systems
- Exact Sciences And Technology
- History
- History & Philosophy Of Science
- Algol
- Computation
- Computer Languages
- Computer Programming
- Computer Science, Information Systems
- Data Structures
Kollektion
- Ingenta
- ACM Digital Library
- Business Source Ultimate
- IEL
- Access via ScienceDirect (Elsevier)
- Open access e-journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Project MUSE - Single Title Subscriptions
- Project MUSE
- Oxford Journals
- SpringerLink Series
- Taylor & Francis Journals Complete
- IngentaConnect Journals
- Taylor & Francis Journals
- Taylor & Francis
Zeitschrift / Serie
- Communications Of The Acm
- Ieee Annals Of The History Of Computing
- Arxiv
- Computer Journal
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- History And Philosophy Of Logic
- Ieee Transactions On Very Large Scale Integration
- Information Processing Letters