Sortiert nach
1st Edition 2021, 2021
Link zum Volltext
1st ed. 2020., 2020
Link zum Volltext
Logical methods in computer science, 2022-01, Vol.18, Issue 2
2022
Link zum Volltext
Logical methods in computer science, 2021-01, Vol.17, Issue 3
2021
Link zum Volltext
Logical methods in computer science, 2007-11, Vol.3, Issue 4
2007
Link zum Volltext
Logical methods in computer science, 2018-01, Vol.14, Issue 4
2018
Link zum Volltext
Theoretical computer science, 2011-09, Vol.412 (38), p.5095-5110
2011
Link zum Volltext
Electronic proceedings in theoretical computer science, 2021-12, Vol.351
2021
Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-07, Vol.250 (Proc. QAPL 2017), p.25-38
2017
Link zum Volltext
International journal on software tools for technology transfer, 2023-02, Vol.25 (1), p.75-76
2023
Link zum Volltext
Journal of computer and system sciences, 2015-08, Vol.81 (5), p.859-879
2015
Link zum Volltext
1, 2020
Link zum Volltext
Journal of pure and applied algebra, 2015-08, Vol.219 (8), p.3110-3148
2015
Link zum Volltext
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-14
2019
Link zum Volltext
Theoretical computer science, 2011, Vol.412 (38), p.5095-5110
2011
Link zum Volltext
Journal of logic and computation, 2010-10, Vol.20 (5), p.1041-1068
2010
Link zum Volltext
Foundations of Software Science and Computational Structures, p.246-260
Link zum Volltext
Journal of logical and algebraic methods in programming, 2023-01, Vol.130, p.100823, Article 100823
2023
Link zum Volltext
Coalgebraic Methods in Computer Science, p.109-129
Link zum Volltext
Science of computer programming, 2015-03, Vol.100, p.1-1
2015
Link zum Volltext
Theoretical computer science, 2011-06, Vol.412 (28), p.3072-3089
2011
Link zum Volltext
Science of computer programming, 2015-10, Vol.109, p.1-1
2015
Link zum Volltext
Theoretical computer science, 2004-10, Vol.327 (1), p.3-22
2004
Link zum Volltext
Zeitschrift für Hochschulentwicklung, 2023-04, Vol.18 (Sonderheft Hochschullehre)
- Roland Ambros
- Angelika Bernsteiner
- Roderick Bloem
- Dominik Dolezal
- David Garcia
- Katrin Göltl
- Claudia Haagen-Schützenhöfer
- Markus Hadler
- Timotheus Hell
- Alina Herderich
- Petar Jercic
- Fares Kayali
- Ferenc Kemény
- Christoph Kirsch
- Beate Kloesch
- Daniel Kocher
- Karin Landerl
- Jana Lasser
- Elisabeth Lex
- Renate Motschnig
- Claudia Plant
- Lisa Posch
- Markus Reiter-Haas
- Thomas Schubatzky
- Wolfgang Slany
- Ana Sokolova
- Philipp Spitzer
- Matthias Steinböck
- Yllka Velaj
- Pelin Yüksel-Arslan
2023
Link zum Volltext
Electronic proceedings in theoretical computer science, 2014-10, Vol.166
2014
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Life Sciences & Biomedicine
- Coalgebra
- Humans
- Logic
- Science & Technology - Other Topics
- Computer Science, Software Engineering
- Male
- Mathematics
- Physical Sciences
- Software Engineering
- Adult
- Female
- Rheumatology
- Trace Semantics
- Animals
- Applied Sciences
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- EZB Electronic Journals Library
- Ingenta.com
- Elsevier ScienceDirect Journals Complete
- SpringerLink Series
- ACM Digital Library Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Journals@Ovid Complete
- IEEE Xplore
- Springer Nature - Complete Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- Oxford Journals Online Current
- Single Journals
- Wiley Online Library Journals Frontfile Complete
- Factiva
- Jstor Complete Legacy
- Taylor & Francis Journals Complete
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Logical Methods In Computer Science
- Theoretical Computer Science
- Sigplan Notices
- Acta Medica Portuguesa
- Integrative And Comparative Biology
- International Journal On Software Tools For Technology Transfer
- Journal Of Logical And Algebraic Methods In Programming
- Science Of Computer Programming