Suchergebnis - Übersicht

Gefunden: 54

Trefferbild	Treffer Kurzanzeige
	TAPSOFT '91 : proceedings of the international joint conference on theory and practice of software development : Brighton, UK, April 8 - 12, 1991. - 2 Vols. 2. Advances in distributed computing (ADC) and colloquium on combining paradigms for software development (CCPSD). - 1991. - VIII, 482 S. (Lecture notes in computer science ; 494)
	Advances in Modal Logic Vol. 9 - 2012
	Advances in modal logic Volume 6 - 2006
	Adámek, Jiří ; Milius, Stefan ; Moss, Lawrence S.: Initial Algebras and Terminal Coalgebras : The Theory of Fixed Points of Functors / Jiří Adámek ; Stefan Milius ; Lawrence S. Moss (Cambridge tracts in theoreti... ; 62) - 2025
	Algebra and Coalgebra in Computer Science : 4th International Conference, Winchester, UK, August 30 - September 2, 2011,... (Lecture notes in computer sc... ; 6859) - 2011
	Algebra and Coalgebra in Computer Science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3 - 6,... (Lecture notes in computer sc... ; 8089) - 2013
	Blackburn, Patrick ; Rijke, Maarten de ; Venema, Yde: Modal logic / Patrick Blackburn ; Maarten de Rijke ; Yde Venema (Cambridge tracts in theoreti... ; 53) - 2001
	CONCUR 2011 - Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6 - 9, 2011, Proceedings (Lecture notes in computer sc... ; 6901) - 2011
	Category theory and computer programming : tutorial and workshop : Guildford, U.K., September 16 - 20, 1985 : proceedings (Lecture notes in computer sc... ; 240) - 1986
	Category theory and computer science : Paris, France, September 3 - 6, 1991 : proceedings (Lecture notes in computer sc... ; 530) - 1991
	Coalgebraic Methods in Computer Science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn,... (Lecture notes in computer sc... ; 7399) - 2012
	Coalgebraic Methods in Computer Science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020,... (Lecture notes in computer sc... ; ...) - 2020
	Coalgebraic Methods in Computer Science : 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022,... (Lecture notes in computer sc... ; ...) - 2022
	Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024,... (Lecture notes in computer sc... ; ...) - 2024
	Computation, Logic, Games, and Quantum Foundations : The Many Facets of Samson Abramsky : Essays Dedicated to Samson Abramsky... (Lecture notes in computer sc... ; 7860) - 2013
	Dependence Logic : Theory and Applications - 2016
	Finite model theory and its applications (Texts in theoretical computer scien...) - 2007
	Formal Modeling and Analysis of Timed Systems : 9th International Conference, Aalborg, Denmark, September 21 - 23, 2011,... (Lecture notes in computer sc... ; 6919) - 2011
	Formal Techniques for Distributed Objects, Components, and Systems : 40th IFIP WG 6.1 International Conference, FORTE... (Lecture notes in computer sc... ; ...) - 2020
	Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11,... (Lecture notes in computer sc... ; 9964) - 2016
	Foundational and Practical Aspects of Resource Analysis : Third International Workshop, FOPARA 2013, Bertinoro, Italy,... (Lecture notes in computer sc... ; 8552) - 2014
	Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part... (Lecture notes in computer sc... ; ...) - 2017
	Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part... (Lecture notes in computer sc... ; ...) - 2018
	Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part... (Lecture notes in computer sc... ; ...) - 2020
	Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part... (Lecture notes in computer sc... ; ...) - 2022
	Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held as Part... (Lecture notes in computer sc... ; ...) - 2023
	Frontiers of Combining Systems : 7th International Symposium, Trento, Italy, September 16 - 18, 2009, Proceedings = FroCoS 2009 (Lecture notes in artificial ... ; 5749) - 2009
	Gehrke, Mai ; Gool, Samuel J. van: Topological Duality for Distributive Lattices : Theory and Applications / Mai Gehrke ; Samuel J. van Gool (Cambridge tracts in theoreti... ; 61) - 2024
	Ghilardi, Silvio ; Zawadowski, Marek: Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics / Silvio Ghilardi... (Trends in logic ; 14) - 2002
	Graph Transformation : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22 - 24, 2014,... (Lecture notes in computer sc... ; 8571) - 2014

1 2

New Titles
EZB, Electronic Journals Library Schloss Dagstuhl (Online Journals including Open Access Journals)
ACM Digital Library
Elsevier
IEEEXplore - IEEE/IET Electronic Library
Wiley
Dagstuhl's Impact Publications
Propose a book for our library: petra.meyer@dagstuhl.de

Impressum | Datenschutz