Fale com o seu livreiro
Rede de livrarias
Somos Livros
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
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
de Sam (Universite Paris Cite) Van Gool e Mai (Universite Cote D’Azur) Gehrke
Finite-State Techniques
de Klaus U. Schulz e Stoyan Mihov
Temporal Logics In Computer Science
de Stephane Demri, Martin Lange e Valentin Goranko
Modal Logic
de Patrick Blackburn, Yde Venema e Maarten De Rijke
Carnal Knowledge
de Martin (University Of Oxford) Ingram
de Valentin Goranko, Stephane Demri e Martin Lange
Introduction To Coalgebra
de Bart (Radboud Universiteit Nijmegen) Jacobs
Information Flow
de Jerry Seligman e Jon Barwise
Basic Proof Theory
de H. Schwichtenberg e A. S. Troelstra
Nominal Sets
de Andrew M. (University Of Cambridge) Pitts
Design Theory And Computer Science
de Subrata (University Of Southwestern Louisiana) Dasgupta
Nonmonotonic Reasoning
de Gerhard Brewka
Concurrency Verification
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, (...)
Rippling: Meta-Level Guidance For Mathematical Reasoning
de Alan (University Of Edinburgh) Bundy, Andrew (Heriot-Watt University, Edinburgh) Ireland, Dieter Hutter, (...)
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
de T. H. (The University Of Hong Kong) Tse
Process Algebra: Equational Theories Of Communicating Processes
de J. C. M. (Technische Universiteit Eindhoven, The Netherlands) Baeten, M. A. (Technische Universiteit Eindhoven, The Netherlands) Reniers e T. (Technische Universiteit Eindhoven, The Netherlands) Basten
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: