Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

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 Anglais 07.03.2024 Livre Relié Fr. 110.00 1-3 semaines (ne peut pas être livré de suite)
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 Anglais 13.10.2016 Livre Relié Fr. 179.00 1-3 semaines (ne peut pas être livré de suite)
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 Anglais 13.10.2011 Livre Relié Fr. 206.40 1-3 semaines (ne peut pas être livré de suite)
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 Anglais 30.09.2024 Livre Relié Fr. 250.00 3-5 semaines
Roberto (Universita Degli Studi Gorrieri, Gorrieri Roberto - Syntax and Semantics of Petri Nets
Roberto (Universita Degli Studi Gorrieri, Gorrieri Roberto Syntax and Semantics of Petri Nets Anglais 31.07.2025 Livre Relié Fr. 180.00 3-5 semaines
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 Anglais 30.05.2013 Livre Relié Fr. 114.00 2-3 semaines (titre imprimé sur commande)
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 Anglais 22.08.2002 Livre de poche Fr. 182.40 1-3 semaines (ne peut pas être livré de suite)
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 Anglais 16.12.2009 Livre Relié Fr. 175.20 1-3 semaines (ne peut pas être livré de suite)
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 Anglais 30.06.2005 Livre Relié Fr. 179.00 1-3 semaines (ne peut pas être livré de suite)
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 Anglais 30.09.2019 Livre Relié Fr. 116.00 1-3 semaines (ne peut pas être livré de suite)
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 Anglais 31.12.2018 Livre Relié Fr. 51.50 1-3 semaines (ne peut pas être livré de suite)
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 Anglais 30.07.2009 Livre de poche Fr. 66.00 3-5 semaines
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 Anglais 27.07.2000 Livre de poche Fr. 109.20 2-3 semaines (titre imprimé sur commande)