Fale com o seu livreiro
Rede de livrarias
A nossa história
Reserva/ ver stock na livraria
Levantamento na livraria
Conexões literárias
Reserva de livros
Levantamento em livraria
Blogue
Cartão Leitor Bertrand
Agenda cultural
Listas de desejos
Comunidade Bertrand
Afiliados
As nossas livrarias
Login
Novo registo
Dados pessoais
Área de cliente
Encomendas
Biblio (ebooks e audiolivros)
Lista de desejos
Trocas e devoluções
Ajuda
Logout
VALES DE COMPRA
Filtrar por
Ordenar por
Initial Algebras And Terminal Coalgebras
The Theory Of Fixed Points Of Functors
de Jiri (Czech Technical University In Prague) Adamek, Lawrence S. (Indiana University, Bloomington) Moss e Stefan (Friedrich-Alexander-Universitat Erlangen-Nurnberg, Germany) Milius
Topological Duality For Distributive Lattices
Theory And Applications
de Sam (Universite Paris Cite) Van Gool e Mai (Universite Cote D’Azur) Gehrke
Finite-State Techniques
Automata, Transducers And Bimachines
de Klaus U. Schulz e Stoyan Mihov
Temporal Logics In Computer Science
Finite-State Systems
de Stephane Demri, Martin Lange e Valentin Goranko
Modal Logic
de Patrick Blackburn, Yde Venema e Maarten De Rijke
de Valentin Goranko, Stephane Demri e Martin Lange
Introduction To Coalgebra
Towards Mathematics Of States And Observation
de Bart (Radboud Universiteit Nijmegen) Jacobs
Information Flow
The Logic Of Distributed Systems
de Jerry Seligman e Jon Barwise
Basic Proof Theory
de H. Schwichtenberg e A. S. Troelstra
Nominal Sets
Names And Symmetry In Computer Science
de Andrew M. (University Of Cambridge) Pitts
Design Theory And Computer Science
de Subrata (University Of Southwestern Louisiana) Dasgupta
Nonmonotonic Reasoning
Logical Foundations Of Commonsense
de Gerhard Brewka
Concurrency Verification
Introduction To Compositional And Non-Compositional Methods
de Willem-Paul De (Christian-Albrechts Universitat Zu Kiel, Germany) Roever, Frank De (Universiteit Utrecht, The Netherlands) Boer, Ulrich (Katholieke Universiteit Nijmegen, The Netherlands) Hanneman, (...)
Hybrid Graph Theory And Network Analysis
de Alan (University Of Liverpool) Gibbons e Ladislav (University Of Novi Sad, Yugoslavia) Novak
The Clausal Theory Of Types
de D. A. (University Of Oxford) Wolfram
A Unifying Framework For Structured Analysis And Design Models
An Approach Using Initial Algebra Semantics And Category Theory
de T. H. (The University Of Hong Kong) Tse
Data Refinement
Model-Oriented Proof Methods And Their Comparison
de Kai (University Of Technology, Sydney) Engelhardt e Willem-Paul (Christian-Albrechts Universitat Zu Kiel, Germany) De Roever
Higher Order Logic And Hardware Verification
de T. F. (University Of Glasgow) Melham
Lambda-Calculus, Combinators And Functional Programming
de G. E. Revesz
O seu livreiro telefona-lhe
Telefone-nos
210 305 590
Envie-nos um WhatsApp
915 297 188
Envie-nos um email
[email protected]
Para que lhe sobre mais tempo para as suas leituras.
A sua identificação:
Dê-nos mais informação sobre o livro que procura.
Será entregue na data de lançamento se for pago até 48h úteis antes, para moradas de Portugal Continental.
No caso de um livro importado (livros editados noutro país), poderão verificar-se atrasos no fornecimento que impeçam a entrega na data de lançamento.
Estes artigos, especialmente as edições mais antigas, estão sujeitos à confirmação de preço e disponibilidade de stock no fornecedor..
- eBooks para leitura na Biblio Bertrand;
- eBooks para leitura no Adobe Digital Editions (ADE) - na Área de Cliente » Os meus eBooks para ADE.
- Audiolivros - na Biblio Bertrand.
- Açores e a Madeira: