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...Acta informatica, 2011-08, Vol.48 (5-6), p.291-315
2011
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.354-370
Volltextzugriff (PDF)
2015 Formal Methods in Computer-Aided Design (FMCAD), 2015, p.136-143
2015
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing – SAT 2017, p.314-325
Volltextzugriff (PDF)
Theoretical computer science, 2013-01, Vol.467, p.53-67
2013
Volltextzugriff (PDF)
Principles of Security and Trust, p.265-284
Volltextzugriff (PDF)
Information and computation, 2016-04, Vol.247, p.106-129
2016
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.388-405
2019
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing – SAT 2016, p.375-392
Volltextzugriff (PDF)
Information technology (Munich, Germany), 2014-12, Vol.56 (6), p.273-279
2014
Volltextzugriff (PDF)
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023, p.1229-1241
2023
Volltextzugriff (PDF)
Proceedings of the ... AAAI Conference on Artificial Intelligence, 2020, Vol.34 (3), p.2967-2974
2020
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.333-348
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.169-185
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, p.342-357
Volltextzugriff (PDF)
Quantitative Evaluation of Systems, p.388-403
Volltextzugriff (PDF)
Proceedings of the ... AAAI Conference on Artificial Intelligence, 2017, Vol.31 (1)
2017
Volltextzugriff (PDF)
Computer Aided Verification, p.30-48
Volltextzugriff (PDF)
Orphanet journal of rare diseases, 2013-09, Vol.8 (1), p.136-136, Article 136
- Al Ghazal, Philipp
- Herberger, Katharina
- Schaller, Jörg
- Strölin, Anke
- Hoff, Norman-Philipp
- Goerge, Tobias
- Roth, Hannelore
- Rabe, Eberhard
- Karrer, Sigrid
- Renner, Regina
- Maschke, Jan
- Horn, Thomas
- Hepp, Julia
- Eming, Sabine
- Wollina, Uwe
- Zutt, Markus
- Sick, Isabell
- Splieth, Benno
- Dill, Dorothea
- Klode, Joachim
- Dissemond, Joachim
2013
Volltextzugriff (PDF)
2017 Winter Simulation Conference (WSC), 2017, p.3370-3381
2017
Volltextzugriff (PDF)
The New England journal of medicine, 2003-05, Vol.348 (20), p.1967-1976
- Drosten, Christian
- Günther, Stephan
- Preiser, Wolfgang
- van der Werf, Sylvie
- Brodt, Hans-Reinhard
- Becker, Stephan
- Rabenau, Holger
- Panning, Marcus
- Kolesnikova, Larissa
- Fouchier, Ron A.M
- Berger, Annemarie
- Burguière, Ana-Maria
- Cinatl, Jindrich
- Eickmann, Markus
- Escriou, Nicolas
- Grywna, Klaus
- Kramme, Stefanie
- Manuguerra, Jean-Claude
- Müller, Stefanie
- Rickerts, Volker
- Stürmer, Martin
- Vieth, Simon
- Klenk, Hans-Dieter
- Osterhaus, Albert D.M.E
- Schmitz, Herbert
- Doerr, Hans Wilhelm
2003
Volltextzugriff (PDF)
Thorax, 2018-02, Vol.73 (2), p.107-115
2018
Volltextzugriff (PDF)
IEEE transactions on vehicular technology, 2011-06, Vol.60 (5), p.2012-2026
2011
Volltextzugriff (PDF)
One ecosystem : ecology and sustainability data journal, 2018, Vol.3, p.27-20
- Burkhard, Benjamin
- Maes, Joachim
- Potschin-Young, Marion
- Santos-Martín, Fernando
- Geneletti, Davide
- Stoev, Pavel
- Kopperoinen, Leena
- Adamescu, Cristian
- Adem Esmail, Blal
- Arany, Ildikó
- Arnell, Andy
- Balzan, Mario
- Barton, David N.
- van Beukering, Pieter
- Bicking, Sabine
- Borges, Paulo
- Borisova, Bilyana
- Braat, Leon
- M Brander, Luke
- Bratanova-Doncheva, Svetla
- Broekx, Steven
- Brown, Claire
- Cazacu, Constantin
- Crossman, Neville
- Czúcz, Bálint
- Daněk, Jan
- Groot, Rudolf de
- Depellegrin, Daniel
- Dimopoulos, Panayotis
- Elvinger, Nora
- Erhard, Markus
- Fagerholm, Nora
- Frélichová, Jana
- Grêt-Regamey, Adrienne
- Grudova, Margarita
- Haines-Young, Roy
- Inghe, Ola
- Kallay, Tamas
- Kirin, Tamara
- Klug, Hermann
- Kokkoris, Ioannis
- Konovska, Iskra
- Kruse, Marion
- Kuzmova, Iliyana
- Lange, Manfred
- Liekens, Inge
- Lotan, Alon
- Lowicki, Damian
- Luque, Sandra
- Marta-Pedroso, Cristina
- Mizgajski, Andrzej
- Mononen, Laura
- Mulder, Sara
- Müller, Felix
- Nedkov, Stoyan
- Nikolova, Mariana
- Östergård, Hannah
- Penev, Lyubomir
- Pereira, Paulo
- Pitkänen, Kati
- Plieninger, Tobias
- Rabe, Sven-Erik
- Reichel, Steffen
- Roche, Philip
- Rusch, Graciela
- Ruskule, Anda
- Sapundzhieva, Anna
- Sepp, Kalev
- Sieber, Ina
- Šmid Hribar, Mateja
- Stašová, Simona
- Steinhoff-Knopp, Bastian
- Stępniewska, Małgorzata
- Teller, Anne
- Vackar, David
- van Weelden, Martine
- Veidemane, Kristina
- Vejre, Henrik
- Vihervaara, Petteri
- Viinikka, Arto
- Villoslada, Miguel
- Weibel, Bettina
- Zulian, Grazia
2018
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Atomic Proposition
- Model Check
- Computer Science, Software Engineering
- Engineering
- Engineering, Electrical & Electronic
- Life Sciences & Biomedicine
- Mathematics
- Optimal Control
- Studies
- Adult
- Algorithms
- Applied Sciences
- Computer Science, Artificial Intelligence
- Computer Science, Information Systems
- Exact Sciences And Technology
- Female
Kollektion
- Ingenta.com
- SpringerLink Series
- EZB Electronic Journals Library
- IEEE Electronic Library Online
- Ebook Central Perpetual and DDA
- ACM Digital Library Complete
- eBooks on EBSCOhost
- MEDLINE
- Journals@Ovid Complete
- Elsevier ScienceDirect Journals Complete
- SpringerLink
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- De Gruyter journals
- ProQuest Dissertations & Theses A&I
- IngentaConnect Journals
- BMJ_英国医学会期刊
- Publisher or Other Site
- BMJ Journals Archiv - DFG Nationallizenzen
Zeitschrift / Serie
- Acta Informatica
- Ieee Transactions On Vehicular Technology
- Information And Computation
- Information Technology
- New England Journal Of Medicine
- New England Journal Of Medicine/the new England Journal Of Medicine
- One Ecosystem : Ecology And Sustainability Data Journal
- Orphanet Journal Of Rare Diseases
- The New England Journal Of Medicine
- Theoretical Computer Science