Resettare Disponibiltà
Versione linguistica
Novità
Categoria
Forma del prodotto
Autori
prezzo massimo
CHF

Risultato ricerca (Senza esauriti, Cambridge Tracts in Theoretical Computer Science)

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 Inglese 31.07.2025 Copertina rigida CHF 180.00 3-5 settimane
Jiri Adamek, Jiri (Czech Technical University in Prague Adamek, Jiri (Czech Technical University in Prague) Adamek, Jiří Adámek, Stefan Milius, … - Initial Algebras and Terminal Coalgebras The Theory of Fixed Points of Functors
Jiri Adamek, Jiri (Czech Technical University in Prague Adamek, Jiri (Czech Technical University in Prague) Adamek, Jiří Adámek, Stefan Milius, … Initial Algebras and Terminal Coalgebras Inglese 30.09.2024 Copertina rigida CHF 250.00 3-5 settimane
Mai Gehrke, Mai (Universite Cote Dazur) Van Gool Gehrke, Sam van Gool - Topological Duality for Distributive Lattices Theory and Applications
Mai Gehrke, Mai (Universite Cote Dazur) Van Gool Gehrke, Sam van Gool Topological Duality for Distributive Lattices Inglese 07.03.2024 Copertina rigida CHF 110.00 1-3 settimane
Stoyan Mihov, Stoyan Schulz Mihov, Klaus U. Schulz, Klaus U. (Ludwig-Maximilians-Universitat Munchen) Schulz, Schulz Klaus U. - Finite-State Techniques Automata, Transducers and Bimachines
Stoyan Mihov, Stoyan Schulz Mihov, Klaus U. Schulz, Klaus U. (Ludwig-Maximilians-Universitat Munchen) Schulz, Schulz Klaus U. Finite-State Techniques Inglese 30.09.2019 Copertina rigida CHF 116.00 1-3 settimane
etc., John Franco, John (University of Cincinnati Franco, Jun Gu, Jun Etc. Purdom Gu, … - Algorithms for the Satisfiability Problem
etc., John Franco, John (University of Cincinnati Franco, Jun Gu, Jun Etc. Purdom Gu, … Algorithms for the Satisfiability Problem Inglese 31.12.2018 Copertina rigida CHF 51.50 1-3 settimane
Bart Jacobs, Bart (Radboud Universiteit Nijmegen) Jacobs - Introduction to Coalgebra Towards Mathematics of States and Observation
Bart Jacobs, Bart (Radboud Universiteit Nijmegen) Jacobs Introduction to Coalgebra Inglese 31.01.2017 Copertina rigida CHF 236.00 1-3 settimane
S. Demri, Stephane Demri, Stéphane Demri, Stephane (Centre National De La Recherche S Demri, Stephane (Centre National de la Recherche Scientifique (CNRS) Demri, … - Temporal Logics in Computer Science Finite-State Systems
S. Demri, Stephane Demri, Stéphane Demri, Stephane (Centre National De La Recherche S Demri, Stephane (Centre National de la Recherche Scientifique (CNRS) Demri, … Temporal Logics in Computer Science Inglese 13.10.2016 Copertina rigida CHF 180.00 1-3 settimane
Flemming Nielson, Hanne Riis Nielson, Nielson Flemming, Nielson Hanne Riis - Two-Level Functional Languages
Flemming Nielson, Hanne Riis Nielson, Nielson Flemming, Nielson Hanne Riis Two-Level Functional Languages Inglese 11.11.2014 Copertina rigida CHF 212.40 2-3 settimane
A. M. Pitts, Andrew Pitts, Andrew M. Pitts, Andrew M. (University of Cambridge) Pitts, Andrew. M Pitts, … - Nominal Sets Names and Symmetry in Computer Science
A. M. Pitts, Andrew Pitts, Andrew M. Pitts, Andrew M. (University of Cambridge) Pitts, Andrew. M Pitts, … Nominal Sets Inglese 30.05.2013 Copertina rigida CHF 95.00 1-2 settimane
Frank de Boer, Boer Frank de, Willem-Paul Boer De Roever, de Boer Frank, Ulrich Hanneman, … - Concurrency Verification Introduction to Compositional and Non-Compositional Methods
Frank de Boer, Boer Frank de, Willem-Paul Boer De Roever, de Boer Frank, Ulrich Hanneman, … Concurrency Verification Inglese 26.01.2012 Tascabile CHF 154.90 1-2 settimane
Davide Sangiorgi, Davide Rutten Sangiorgi, SANGIORGI DAVIDE RUTTEN JAN, Jan Rutten, Jan (Stichting Centrum voor Wiskunde en Informatica (CWI) Rutten, … - 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, … Advanced Topics in Bisimulation and Coinduction Inglese 13.10.2011 Copertina rigida CHF 206.40 1-3 settimane
T. H. Tse, Tse T. H. - A Unifying Framework for Structured Analysis and Design Models
T. H. Tse, Tse T. H. A Unifying Framework for Structured Analysis and Design Models Inglese 27.05.2011 Copertina rigida CHF 195.60 2-3 settimane
Gerhard Brewka - Nonmonotonic Reasoning
Gerhard Brewka Nonmonotonic Reasoning Inglese 03.09.2010 Copertina rigida CHF 128.40 2-3 settimane
D. A. Wolfram, Wolfram D. A. - The Clausal Theory of Types
D. A. Wolfram, Wolfram D. A. The Clausal Theory of Types Inglese 01.09.2010 Copertina rigida CHF 116.40 2-3 settimane
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, … - Process Algebra: Equational Theories of Communicating Processes EQUATIONAL THEORIES OF COMMUNICATI
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, … Process Algebra: Equational Theories of Communicating Processes Inglese 16.12.2009 Copertina rigida CHF 146.00 1-3 settimane
Alan Gibbons, Novak Ladislav, Ladislav Novak, Ladislav Gibbons Novak, Novak Ladislav - Hybrid Graph Theory and Network Analysis
Alan Gibbons, Novak Ladislav, Ladislav Novak, Ladislav Gibbons Novak, Novak Ladislav Hybrid Graph Theory and Network Analysis Inglese 03.09.2009 Tascabile CHF 80.50 1-2 settimane
Subrata Dasgupta, Subrata (University of Southwestern Loui Dasgupta, Dasgupta Subrata - Design Theory and Computer Science
Subrata Dasgupta, Subrata (University of Southwestern Loui Dasgupta, Dasgupta Subrata Design Theory and Computer Science Inglese 06.08.2009 Tascabile CHF 139.20 1-2 settimane
D. A. Wolfram, D. A. (University of Oxford) Wolfram, D.a. Wolfram, Wolfram D. A. - Clausal Theory of Types
D. A. Wolfram, D. A. (University of Oxford) Wolfram, D.a. Wolfram, Wolfram D. A. Clausal Theory of Types Inglese 30.07.2009 Tascabile CHF 61.10 1-2 settimane
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 An Approach Using Initial Algebra Semantics and Category Theory
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 Inglese 30.07.2009 Tascabile CHF 80.50 Tempi di consegna sconosciuti
G. E. Revesz, Gyorgy E. Revesz - Lambda-Calculus, Combinators and Functional Programming
G. E. Revesz, Gyorgy E. Revesz Lambda-Calculus, Combinators and Functional Programming Inglese 25.06.2009 Tascabile CHF 105.60 1-2 settimane