Es ist ein Fehler in der Kommunikation mit einem externen System aufgetreten. Bitte versuchen Sie Ihre letzte Aktion erneut. Sollte der Fehler bestehen bleiben, setzen Sie sich bitte mit dem Informationszentrum der Bibliothek in Verbindung oder versuchen Sie es später erneut.
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...IEEE annals of the history of computing, 2022-04, Vol.44 (2), p.33-43
2022
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.1629-1662, Article 55
2024
Volltextzugriff (PDF)
Journal of the ACM, 2000-03, Vol.47 (2), p.361-416
2000
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.375-395
Volltextzugriff (PDF)
Theoretical computer science, 2009, Vol.410 (46), p.4724-4746
2009
Volltextzugriff (PDF)
Theoretical computer science, 2005-06, Vol.337 (1), p.1-50
2005
Volltextzugriff (PDF)
Mathematical structures in computer science, 2011-12, Vol.21 (6), p.1109-1110
2011
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.295-310
2005
Volltextzugriff (PDF)
ACM computing surveys, 1996-06, Vol.28 (2), p.333-336
1996
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.175-189
2005
Volltextzugriff (PDF)
Higher-order and symbolic computation, 2003, Vol.16 (4), p.297-339
2003
Volltextzugriff (PDF)
Information and computation, 1995-11, Vol.122 (2), p.178-200
1995
Volltextzugriff (PDF)
The journal of logic programming, 1995, Vol.25 (3), p.191-247
1995
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Software
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Abstract Interpretation
- Language Theory And Syntactical Analysis
- Theoretical Computing
- Computer Programming
- Computer Science, Software Engineering
- Programming Theory
- Semantics
- Abstract Domain
- Completeness
- Logic Programming
- Mathematical Models
Kollektion
- Ingenta
- EZB Electronic Journals Library
- SpringerLink Series
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library Complete
- Elsevier ScienceDirect Journals Complete
- Ebook Central Perpetual and DDA
- EBSCOhost Business Source Ultimate
- eBooks on EBSCOhost
- Cambridge Journals Online (DEFF)
- Project Muse All Journals
- Project MUSE Journals
- Journals@Ovid Complete
- IEEE Electronic Library (IEL)
- SpringerLink Journals - AutoHoldings
Zeitschrift / Serie
- Theoretical Computer Science
- Acm Computing Surveys
- Higher-Order And Symbolic Computation
- Ieee Annals Of The History Of Computing
- Information And Computation
- Journal Of The Acm
- Journal Of The Association For Computing Machinery
- Mathematical Structures In Computer Science
- Mscs. Mathematical Structures In Computer Science/mathematical Structures In Computer Science
- Proceedings Of Acm On Programming Languages