Sortiert nach
Frontiers in Marine Science, 2017-08, Vol.4
- Bean, Tim P.
- Greenwood, Naomi
- Beckett, Rachel
- Biermann, Lauren
- Bignell, John P.
- Brant, Jan L.
- Copp, Gordon H.
- Devlin, Michelle J.
- Dye, Stephen
- Feist, Stephen W.
- Fernand, Liam
- Foden, Dean
- Hyder, Kieran
- Jenkins, Chris M.
- van der Kooij, Jeroen
- Kröger, Silke
- Kupschus, Sven
- Leech, Clare
- Leonard, Kinson S.
- Lynam, Christopher P.
- Lyons, Brett P.
- Maes, Thomas
- Nicolaus, E. E. Manuel
- Malcolm, Stephen J.
- McIlwaine, Paul
- Merchant, Nathan D.
- Paltriguera, Lucille
- Pearce, David J.
- Pitois, Sophie G.
- Stebbing, Paul D.
- Townhill, Bryony
- Ware, Suzanne
- Williams, Oliver
- Righton, David
2017
Volltextzugriff (PDF)
Journal of automated reasoning, 2022-11, Vol.66 (4), p.747-803
2022
Volltextzugriff (PDF)
Information processing letters, 2016-01, Vol.116 (1), p.47-52
2016
Volltextzugriff (PDF)
IEEE transactions on signal processing, 2007-02, Vol.55 (2), p.585-593
2007
Volltextzugriff (PDF)
Estuarine, coastal and shelf science, 2010-05, Vol.87 (4), p.631-639
2010
Volltextzugriff (PDF)
The ACM journal of experimental algorithmics, 2007-02, Vol.11
2007
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2021-04, Vol.43 (1), p.1-73, Article 3
2021
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2007-11, Vol.30 (1), p.4
2007
Volltextzugriff (PDF)
NASA Formal Methods, p.411-430
Volltextzugriff (PDF)
ECOOP 2006 – Object-Oriented Programming, 2006, p.28-49
2006
Volltextzugriff (PDF)
Journal of sea research, 2008-11, Vol.60 (4), p.246-254
2008
Volltextzugriff (PDF)
Soil biology & biochemistry, 2009-12, Vol.41 (12), p.2508-2516
2009
Volltextzugriff (PDF)
Software, practice & experience, 2007-06, Vol.37 (7), p.747-777
2007
Volltextzugriff (PDF)
Journal of computer languages (Online), 2019-02, Vol.50, p.84-101
2019
Volltextzugriff (PDF)
Science of computer programming, 2015-12, Vol.113, p.191-220
2015
Volltextzugriff (PDF)
Ocean dynamics, 2011-12, Vol.61 (12), p.2181-2199
2011
Volltextzugriff (PDF)
International journal of electrical engineering & education, 2016-04, Vol.53 (2), p.114-123
2016
Volltextzugriff (PDF)
Software Language Engineering, p.41-61
Volltextzugriff (PDF)
Experimental and Efficient Algorithms, 2004, p.383-398
2004
Volltextzugriff (PDF)
Software quality journal, 2004-12, Vol.12 (4), p.311-337
2004
Volltextzugriff (PDF)
Software Language Engineering, p.141-160
Volltextzugriff (PDF)
IEEE transactions on wireless communications, 2006-10, Vol.5 (10), p.2824-2833
2006
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.335-354
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
Kollektion
- MEDLINE
- Ingenta
- EZB Electronic Journals Library
- Journals@Ovid Complete
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- Wiley Online Library All Journals
- NUS Single-Journal Subscriptions
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library
- Taylor & Francis Online
- Taylor & Francis
- Springer Nature - Complete Springer Journals
- Springer Nature - Connect here FIRST to enable access
- eBooks on EBSCOhost
- Taylor & Francis Journals
- Ebook Central Perpetual and DDA
- Springer Book Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SAGE Publications
- Jstor Complete Legacy
Zeitschrift / Serie
Neu hinzugefügt