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
Games And Full Abstraction For A Functional Metalanguage With Recursive Types
de Guy Mccusker
Inheritance Relationships For Disciplined Software Construction
de Tracy A. Gardner
Extensional Constructs In Intensional Type Theory
de Martin Hofmann
Models Of Sharing Graphs
A Categorical Semantics Of Let And Letrec
de Masahito Hasegawa
Architecture-Independent Loop Parallelisation
de Radu C. Calinescu
Randomized Algorithms: Approximation, Generation, And Counting
de Russ Bubley
Stochastic Algorithms For Visual Tracking
Probabilistic Modelling And Stochastic Algorithms For Visual Localisation And Tracking
de John Maccormick
Asynchronous System-On-Chip Interconnect
de John Bainbridge
Automated Theory Formation In Pure Mathematics
de Simon Colton
Image Mosaicing And Super-Resolution
de David Capel
Dynamic Flexible Constraint Satisfaction And Its Application To Ai Planning
de Ian Miguel
Combination Of Geometry Theorem Proving And Nonstandard Analysis With Application To Newton'S Principia
de Jacques Fleuriot
Accurate Visual Metrology From Single And Multiple Uncalibrated Images
de Antonio Criminisi
Hardware Evolution
Automatic Design Of Electronic Circuits In Reconfigurable Hardware By Artificial Evolution
de Adrian Thompson
Search And Planning Under Incomplete Information
A Study Using Bridge Card Play
de Ian Frank
Theorem Proving With The Real Numbers
de John Harrison
Large Scale Collaborative Virtual Environments
de Chris Greenhalgh
User-Developer Cooperation In Software Development
Building Common Ground And Usable Systems
de Eamonn O'Neill
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: