Languages
Subject
Format
Clear Availabity
Authors

Search result

Mai Gehrke, Mai (Universite Cote Dazur) Van Gool Gehrke, Sam van Gool - Topological Duality for Distributive Lattices
Mai Gehrke, Mai (Universite Cote Dazur) Van Gool Gehrke, Sam van Gool Topological Duality for Distributive Lattices English 07.03.2024 Hardback Fr. 110.00 1-3 weeks (not available at short notice)
S. Demri, Stephane Demri, Stéphane Demri, Stephane (Centre National De La Recherche S Demri, Stephane (Centre National de la Recherche Scientifique (CNRS) Demri, Stephane Goranko Demri... - Temporal Logics in Computer Science
S. Demri, Stephane Demri, Stéphane Demri, Stephane (Centre National De La Recherche S Demri, Stephane (Centre National de la Recherche Scientifique (CNRS) Demri, Stephane Goranko Demri... Temporal Logics in Computer Science English 13.10.2016 Hardback Fr. 202.90 1-3 weeks (not available at short notice)
Davide Sangiorgi, Davide Rutten Sangiorgi, SANGIORGI DAVIDE RUTTEN JAN, Jan Rutten, Jan (Stichting Centrum voor Wiskunde en Informatica (CWI) Rutten, Davide Sangiorgi - Advanced Topics in Bisimulation and Coinduction
Davide Sangiorgi, Davide Rutten Sangiorgi, SANGIORGI DAVIDE RUTTEN JAN, Jan Rutten, Jan (Stichting Centrum voor Wiskunde en Informatica (CWI) Rutten, Davide Sangiorgi Advanced Topics in Bisimulation and Coinduction English 13.10.2011 Hardback Fr. 212.40 1-3 weeks (not available at short notice)
Jiri Adamek, Jiri (Czech Technical University in Prague Adamek, Jiri (Czech Technical University in Prague) Adamek, Jiří Adámek, Stefan Milius, Stefan (Friedrich-Alexander-Universitat Erlangen-Nurnberg Milius... - Initial Algebras and Terminal Coalgebras
Jiri Adamek, Jiri (Czech Technical University in Prague Adamek, Jiri (Czech Technical University in Prague) Adamek, Jiří Adámek, Stefan Milius, Stefan (Friedrich-Alexander-Universitat Erlangen-Nurnberg Milius... Initial Algebras and Terminal Coalgebras English 30.09.2024 Hardback Fr. 250.00 3-5 weeks
A. M. Pitts, Andrew Pitts, Andrew M. Pitts, Andrew M. (University of Cambridge) Pitts, Andrew. M Pitts - Nominal Sets
A. M. Pitts, Andrew Pitts, Andrew M. Pitts, Andrew M. (University of Cambridge) Pitts, Andrew. M Pitts Nominal Sets English 30.05.2013 Hardback Fr. 117.60 2-3 weeks (title will be printed to order)
Patrick Blackburn, Patrick De Rijke Blackburn, Patrick Rijke Blackburn, Maarten de Rijke, Maarten de Rijke, Maarten de (Universiteit van Amsterdam) Rijke... - Modal Logic
Patrick Blackburn, Patrick De Rijke Blackburn, Patrick Rijke Blackburn, Maarten de Rijke, Maarten de Rijke, Maarten de (Universiteit van Amsterdam) Rijke... Modal Logic English 22.08.2002 Paperback / Softback Fr. 182.40 1-3 weeks (not available at short notice)
J. C. M. Baeten, J. C. M. (Technische Universiteit Eindhove Baeten, J. C. M. (Technische Universiteit Eindhoven Baeten, J. C. M. Basten Baeten, T. Basten, T. (Technische Universiteit Eindhoven Basten... - Process Algebra: Equational Theories of Communicating Processes
J. C. M. Baeten, J. C. M. (Technische Universiteit Eindhove Baeten, J. C. M. (Technische Universiteit Eindhoven Baeten, J. C. M. Basten Baeten, T. Basten, T. (Technische Universiteit Eindhoven Basten... Process Algebra: Equational Theories of Communicating Processes English 16.12.2009 Hardback Fr. 145.00 1-3 weeks (not available at short notice)
David Basin, David (ETH Zentrum Basin, Alan Bundy, Alan (University of Edinburgh) Bundy, Alan (University of Edinburgh) Basin Bundy, Alan Basin Bundy... - Rippling: Meta-Level Guidance for Mathematical Reasoning
David Basin, David (ETH Zentrum Basin, Alan Bundy, Alan (University of Edinburgh) Bundy, Alan (University of Edinburgh) Basin Bundy, Alan Basin Bundy... Rippling: Meta-Level Guidance for Mathematical Reasoning English 30.06.2005 Hardback Fr. 179.00 1-3 weeks (not available at short notice)
etc., John Franco, John (University of Cincinnati Franco, Jun Gu, Jun Etc. Purdom Gu, Paul W. Purdom... - Algorithms for the Satisfiability Problem
etc., John Franco, John (University of Cincinnati Franco, Jun Gu, Jun Etc. Purdom Gu, Paul W. Purdom... Algorithms for the Satisfiability Problem English 31.12.2018 Hardback Fr. 51.50 1-3 weeks (not available at short notice)
Stoyan Mihov, Stoyan Schulz Mihov, Klaus U. Schulz, Klaus U. (Ludwig-Maximilians-Universitat Munchen) Schulz, Schulz Klaus U. - Finite-State Techniques
Stoyan Mihov, Stoyan Schulz Mihov, Klaus U. Schulz, Klaus U. (Ludwig-Maximilians-Universitat Munchen) Schulz, Schulz Klaus U. Finite-State Techniques English 30.09.2019 Hardback Fr. 116.00 1-3 weeks (not available at short notice)
Tse T. H., T. H. Tse, T. H. (The University of Hong Kong) Tse, T.H. Tse, Tse T. H. - Unifying Framework for Structured Analysis and Design Models
Tse T. H., T. H. Tse, T. H. (The University of Hong Kong) Tse, T.H. Tse, Tse T. H. Unifying Framework for Structured Analysis and Design Models English 30.07.2009 Paperback / Softback Fr. 65.00 3-5 weeks
H. Schwichtenberg, Helmut Schwichtenberg, A. S. Troelstra, A. S. Schwichtenberg Troelstra, Anne S. Troelstra - Basic Proof Theory
H. Schwichtenberg, Helmut Schwichtenberg, A. S. Troelstra, A. S. Schwichtenberg Troelstra, Anne S. Troelstra Basic Proof Theory English 27.07.2000 Paperback / Softback Fr. 109.20 2-3 weeks (title will be printed to order)
Peter D. Mosses, Mosses Peter D. Mosses - Action Semantics
Peter D. Mosses, Mosses Peter D. Mosses Action Semantics English Hardback Fr. 125.00 New edition in preparation, currently unavailable
Gorrieri Roberto - Syntax and Semantics of Petri Nets
Gorrieri Roberto Syntax and Semantics of Petri Nets English Hardback Fr. 179.00 Will be released 31.08.2025