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...Applied physics. A, Materials science & processing, 2017-12, Vol.123 (12), p.1-6, Article 751
2017
Volltextzugriff (PDF)
Inhalation toxicology, 1999-05, Vol.11 (5), p.361-389
1999
Volltextzugriff (PDF)
Integrated Formal Methods, 2020, Vol.12546, p.63-81
2020
Volltextzugriff (PDF)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023, Vol.14198, p.193-210
2023
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2015, p.199-214
2015
Volltextzugriff (PDF)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023, Vol.14198, p.128-145
2023
Volltextzugriff (PDF)
Formal Methods for Industrial Critical Systems, 2009, p.202-204
2009
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 1998-01, Vol.20 (1), p.208-258
1998
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2015, p.132-147
2015
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, Vol.2664, p.17-31
2003
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, Vol.2664, p.50-51
2003
Volltextzugriff (PDF)
Abstract State Machines, Alloy, B, VDM, and Z, 2012, p.252-265
2012
Volltextzugriff (PDF)
Tests and Proofs, 2007, Vol.4454, p.95-113
2007
Volltextzugriff (PDF)
Logic Program Synthesis and Transformation, 1997, p.59-82
1997
Volltextzugriff (PDF)
ACM computing surveys, 1998-09, Vol.30 (3es), p.4
1998
Volltextzugriff (PDF)
Lecture notes in computer science, 1998, Vol.1463, p.189-205
1998
Volltextzugriff (PDF)
Lecture notes in computer science, 1998, Vol.1463, p.111-127
1998
Volltextzugriff (PDF)
The journal of logic programming, 2000-06, Vol.43 (3), p.265-265
2000
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Computer Science, Interdisciplinary Applications
- Language Processing And Microprogramming
- Logic Program
- Logical, Boolean And Switching Functions
- Theoretical Computing
- Transportation
- Transportation Science & Technology
- Aerosols
- Air Pollutants, Occupational - Adverse Effects
- Animals
- Applied Physics
Kollektion
- IngentaConnect Journals
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library Complete
- EBSCOhost Business Source Ultimate
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Taylor & Francis Online
- MEDLINE
- EZB Electronic Journals Library
- SpringerLink Journals - AutoHoldings
- Taylor & Francis