• Anglais
  • Espagnol
  • Français
  • Allemand
  • Portugais
  • Italien
  • Russe
  • Chinois (simplifié)
  • Chinois (Traditionnel)
  • Japonais
  • Coréen
  • Néerlandais
  • Suédois
  • Persan
  • Arabe
  • Polonais
  • Accueil
  • Découvrir
  • Articles
  • Se connecter
  • S'inscrire
  • Anglais
  • Espagnol
  • Français
  • Allemand
  • Portugais
  • Italien
  • Russe
  • Chinois (simplifié)
  • Chinois (Traditionnel)
  • Japonais
  • Coréen
  • Néerlandais
  • Suédois
  • Persan
  • Arabe
  • Polonais
Scanner de code-barres ISBN
Ajoutez des livres en quelques secondes avec le scan de code-barres.

Il suffit de scanner un ISBN pour l'ajouter instantanément à votre bibliothèque. Disponible dès maintenant sur iOS et Android.

App Store Google Play
Samson Abramsky

Samson Abramsky

Aperçu Livres Série
Mathematical Foundations of Information Flow: Clifford Lectures Information Flow in Physics, Geometry, Logic and Computation: March 12-15, 2008, ... of Symposia in Applied Mathematics, 71)

Mathematical Foundations of Information Flow: Clifford Lectures Information Flow in Physics, Geometry, Logic and Computation: March 12-15, 2008, ... of Symposia in Applied Mathematics, 71)

Samson Abramsky

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Samson Abramsky

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Samson Abramsky

A Concise Introduction to Languages and Machines

A Concise Introduction to Languages and Machines

Alan P. Parkes

Categorical Quantum Mechanics

Categorical Quantum Mechanics

Bob Coecke

A Categorical Semantics of Quantum Protocols

A Categorical Semantics of Quantum Protocols

Samson Abramsky

Theoretical Foundations of VLSI Design

Theoretical Foundations of VLSI Design

Ken McEvoy

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Samson Abramsky

Handbook of Logic in Computer Science 5

Handbook of Logic in Computer Science 5

Samson Abramsky

Handbook of Logic in Computer Science (Volume 5): Logic and Algebraic Methods

Handbook of Logic in Computer Science (Volume 5): Logic and Algebraic Methods

Samson Abramsky

Basic Proof Theory

Basic Proof Theory

Anne S. Troelstra

Formal Methods in Digital Design

Formal Methods in Digital Design

J. Herbert

Logical Frameworks for Truth and Abstraction

Logical Frameworks for Truth and Abstraction

Andrea Cantini

Handbook of Logic in Computer Science: Volume 3: Semantic Structures

Handbook of Logic in Computer Science: Volume 3: Semantic Structures

Samson Abramsky

Handbook of Logic in Computer Science, Volume 4

Handbook of Logic in Computer Science, Volume 4

Samson Abramsky

Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

Samson Abramsky

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume ... '91)

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume ... '91)

Samson Abramsky

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume ...

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume ...

Samson Abramsky

Voir plus

Suivez votre parcours de lecture, découvrez de nouveaux livres et atteignez vos objectifs de lecture avec BookPine.

App Store Google Play
Découvrir
  • Découvrir
Compte
  • Se connecter
  • S'inscrire
Support
  • FAQ
  • Demandes de fonctionnalités
  • Contact
Conditions
  • Conditions d'utilisation
  • Politique de confidentialité
  • Politique relative aux cookies
  • Gérer les cookies

Droits d'auteur © 2026 BookPine. Tous droits réservés.

Envoyer un retour

Nous utilisons des cookies pour améliorer votre expérience et analyser le trafic du site. Vous pouvez choisir les cookies à accepter.

Essentiel

Nécessaire au fonctionnement du site web. Ne peut pas être désactivé.

Analytique

Aidez-nous à comprendre comment les visiteurs interagissent avec notre site web.

Marketing

Utilisé pour diffuser des publicités pertinentes et suivre les campagnes.