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...1st ed. 2020., 2020
Volltextzugriff (PDF)
1, 2020
Volltextzugriff (PDF)
1st Edition 2019, 2019
Volltextzugriff (PDF)
Rigorous State-Based Methods, p.61-79
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2013-03, Vol.39 (3), p.305-326
2013
Volltextzugriff (PDF)
1st Edition 2020, 2020
Volltextzugriff (PDF)
Journal of computer science and technology (La Plata), 2017-10, Vol.17 (2), p.e19-e19
2017
Volltextzugriff (PDF)
Theoretical computer science, 2006-11, Vol.365 (1), p.2-22
2006
Volltextzugriff (PDF)
Formal aspects of computing, 2012-07, Vol.24 (4-6), p.433-458
2012
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2014-03, Vol.83 (2), p.249-262
2014
Volltextzugriff (PDF)
International journal of foundations of computer science, 2013-09, Vol.24 (6), p.709-728
2013
Volltextzugriff (PDF)
Formal Methods – The Next 30 Years, p.762-772
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2022-11, Vol.48 (11), p.4339-4356
2022
Volltextzugriff (PDF)
FM 2006: Formal Methods, 2006, p.236-251
2006
Volltextzugriff (PDF)
Formal Methods. FM 2019 International Workshops, 2020, Vol.12232, p.281-287
- Viard, Louis
- Ciarletta, Laurent
- Moreau, Pierre-Etienne
- Farrell, Marie
- Ratiu, Daniel
- Astarte, Troy
- Marmsoler, Diego
- Guidotti, Riccardo
- Moreira, Nelma
- Campos, José
- Sekerinski, Emil
- Luckcuck, Matt
- Oliveira, José N
- Oliveira, José N.
- Dongol, Brijesh
- Couto, Luis
- Cerone, Antonio
- Monteiro, Pedro
- Kutrib, Martin
- Gonnord, Laure
- Delmas, David
2020
Volltextzugriff (PDF)
Relational and Algebraic Methods in Computer Science, p.171-190
Volltextzugriff (PDF)
Relational and Algebraic Methods in Computer Science, p.119-138
Volltextzugriff (PDF)
Formal Methods. FM 2019 International Workshops, p.77-91
- Banach, Richard
- Razavi, Joseph
- Debicki, Olivier
- Lesecq, Suzanne
- Oliveira, José N.
- Dongol, Brijesh
- Marmsoler, Diego
- Couto, Luis
- Luckcuck, Matt
- Cerone, Antonio
- Monteiro, Pedro
- Sekerinski, Emil
- Astarte, Troy
- Campos, José
- Kutrib, Martin
- Ratiu, Daniel
- Gonnord, Laure
- Delmas, David
- Farrell, Marie
- Moreira, Nelma
- Guidotti, Riccardo
Volltextzugriff (PDF)
Formal Methods – The Next 30 Years, p.670-686
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Humans
- Technology
- Physical Sciences
- Female
- Male
- Animals
- Chemistry
- Biological And Medical Sciences
- Computer Science
- Adult
- Engineering
- Middle Aged
- Brazil
- Medical Sciences
- Biochemistry & Molecular Biology
- Science & Technology - Other Topics
- Exact Sciences And Technology
- Pharmacology & Pharmacy
Kollektion
- Ingenta E-Journals
- EZB Electronic Journals Library
- MEDLINE
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Ovid
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLink Series
- Wiley-Blackwell Journals
- Standalone journals
- SpringerLink Journals - AutoHoldings
- Wiley Online Library
- IEEE Xplore
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Oxford journals
- Oxford Journals 2020 Medicine
- JSTOR All Journals
- Nature Journals
Zeitschrift / Serie
Neu hinzugefügt