• Inglês
  • Espanhol
  • Francês
  • Alemão
  • Português
  • Italiano
  • Russo
  • Chinês (Simplificado)
  • Chinês (Tradicional)
  • Japonês
  • Coreano
  • Holandês
  • Sueco
  • Persa
  • Árabe
  • Polonês
  • Início
  • Descobrir
  • Artigos
  • Entrar
  • Criar Conta
  • Inglês
  • Espanhol
  • Francês
  • Alemão
  • Português
  • Italiano
  • Russo
  • Chinês (Simplificado)
  • Chinês (Tradicional)
  • Japonês
  • Coreano
  • Holandês
  • Sueco
  • Persa
  • Árabe
  • Polonês
Leitor de Código de Barras ISBN
Adicione livros em segundos com a leitura de código de barras.

Basta escanear um ISBN para adicioná-lo instantaneamente à sua biblioteca. Disponível agora para iOS e Android.

App Store Google Play
Samson Abramsky

Samson Abramsky

Visão Geral Livros 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

Ver Mais

Acompanhe sua jornada de leitura, descubra novos livros e alcance seus objetivos de leitura com o BookPine.

App Store Google Play
Descobrir
  • Descobrir
Conta
  • Entrar
  • Criar Conta
Suporte
  • Perguntas Frequentes
  • Solicitações de Recursos
  • Contato
Termos
  • Termos de Serviço
  • Política de Privacidade
  • Política de Cookies
  • Gerenciar Cookies

Direitos Autorais © 2026 BookPine. Todos os direitos reservados.

Enviar Feedback

Usamos cookies para melhorar sua experiência e analisar o tráfego do site. Você pode escolher quais cookies aceitar.

Essencial

Necessário para o funcionamento do site. Não pode ser desativado.

Análise

Ajude-nos a entender como os visitantes interagem com nosso site.

Marketing

Usado para entregar anúncios relevantes e rastrear campanhas.