Sortiert nach
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Electronic proceedings in theoretical computer science, 2015-04, Vol.179 (Proc. DCM 2014), p.33-47
2015
Link zum Volltext
Electronic proceedings in theoretical computer science, 2019, Vol.288 (Proc. TERMGRAPH 2018), p.26-37
2019
Link zum Volltext
Electronic proceedings in theoretical computer science, 2011-02, Vol.48 (Proc. TERMGRAPH 2011), p.38-53
2011
Link zum Volltext
Journal of logical and algebraic methods in programming, 2020-12, Vol.117, Article 100581
2020
Link zum Volltext
Journal of logical and algebraic methods in programming, 2020-12, Vol.117, p.100581, Article 100581
2020
Link zum Volltext
1. Aufl., 2013
Link zum Volltext
Recent Trends in Algebraic Development Techniques, p.87-102
Link zum Volltext
Relational and Algebraic Methods in Computer Science, p.366-384
Link zum Volltext
Relational and Algebraic Methods in Computer Science, p.193-208
Link zum Volltext
Visions and Concepts for Education 4.0, p.315-326
Link zum Volltext
Journal of logical and algebraic methods in programming, 2014-03, Vol.83 (2), p.225-234
2014
Link zum Volltext
Relational and Algebraic Methods in Computer Science, p.242-260
Link zum Volltext
Lecture notes in computer science, 2006, p.235-250
2006
Link zum Volltext
Relational and Algebraic Methods in Computer Science, p.230-247
Link zum Volltext
Recent Trends in Algebraic Development Techniques, p.103-118
Link zum Volltext
Coalgebraic Methods in Computer Science, p.151-167
Link zum Volltext
Graph Transformations, p.362-378
Link zum Volltext
Functional and Logic Programming, 2004, p.276-290
2004
Link zum Volltext
Relational and Algebraic Methods in Computer Science, p.151-168
Link zum Volltext
Interactive Theorem Proving, 2018, Vol.10895, p.324-341
2018
Link zum Volltext
Relational and Algebraic Methods in Computer Science, p.82-97
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Physical Sciences
- Mathematics
- Science & Technology - Other Topics
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Graph Transformation
- Science: General Issues
- Software Engineering
- Engineering
- Humans
- Logic
- Relation Algebra
- Artificial Intelligence
- Discrete Mathematics In Computer Science
- Life Sciences & Biomedicine
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta
- SpringerLink Series
- Springer Books
- Wiley-Blackwell Online Books - All Titles (includes Withdrawn titles)
- Freely Available EZB Journals
- Elsevier ScienceDirect Journals Complete
- Publisher or Other Site
- IEEE Electronic Library (IEL)
- North East Research Libraries Nature Academic Titles
- IngentaConnect Journals
- Optica Publishing Group (OPG)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Thieme
- Wiley Online Library
- De Gruyter journals
- Taylor & Francis Journals Complete
- ScienceDirect eBooks
- Taylor & Francis eBooks A-Z
Zeitschrift / Serie
- Blood
- Journal Of Logical And Algebraic Methods In Programming
- Electronic Notes In Theoretical Computer Science
- The Journal Of Logic And Algebraic Programming
- Zeitschrift Fur Gastroenterologie
- Critical Reviews In Biomedical Engineering
- Electronic Proceedings In Theoretical Computer Science
- Information Sciences
- Scientific Reports
- Zeitschrift Für Gastroenterologie