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
Interpolating Cubic Splines
de Gary D. Knott
H-Infinity Control For Distributed Parameter Systems
A State-Space Approach
de Bert (University Of Groningen, Netherlands) Van Keulen
Algol-Like Languages
de Robert Tennent e Peter O'Hearn
Canonical Equational Proofs
de Bachmair
Nondeterminism In Algebraic Specifications And Algebraic Programs
de Hussmann
Verifying Temporal Properties Of Systems
de J.C. Bradfield
Complexity Theory Of Real Functions
de K. Ko
Combinatory Programme
de Erwin Engeler
Comparative Metric Semantics Of Programming Languages
Nondeterminism And Recursion
de Franck Van Breughel
Object-Oriented Programming A Unified Foundation
de Giuseppe Castagna
Isomorphisms Of Types
From ?-Calculus To Information Retrieval And Language Design
de Roberto Dicosmo
Solving Higher-Order Equations
From Logic To Programming
de Christian Prehofer
Neural Networks And Analog Computation
Beyond The Turing Limit
de Hava T. Siegelmann
Logic Of Domains
de G. Zhang
Semantics Of Type Theory
Correctness, Completeness And Independence Results
de T. Streicher
Graph Isomorphism Problem
Its Structural Complexity
de U. Schoning, J. Kobler e J. Toran
Algorithms For Random Generation And Counting: A Markov Chain Approach
de A. Sinclair
Categorical Combinators, Sequential Algorithms, And Functional Programming
de P.-L. Curien
Finite Automata, Formal Logic, And Circuit Complexity
de Howard Straubing
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: