18 resultados.

Texts In Theoretical Computer Science. An Eatcs Seriesx

Filtrar por

Ordenar por

20% imediato
Disponibilidade imediata
58,29€ 72,86€
Formal Methods For Software Engineering

Formal Methods For Software Engineering

de Markus Roggenbach, Antonio Cerone, Siraj Ahmed Shaikh, (...) 

Idioma: Inglês
(0)
eBook
20% imediato
portes grátis
59,47€ 74,34€
Decision Procedures

Decision Procedures

de Ofer Strichman e Daniel Kroening 

Idioma: Inglês
(0)
20% imediato
Disponibilidade imediata
58,29€ 72,86€
Decision Procedures

Decision Procedures

de Ofer Strichman e Daniel Kroening 

Idioma: Inglês
(0)
eBook
20% imediato
Disponibilidade imediata
63,59€ 79,49€
Introduction To Online Computation

Introduction To Online Computation

de Dennis Komm 

Idioma: Inglês
(0)
eBook
20% imediato
Disponibilidade imediata
65,71€ 82,14€
Extremal Combinatorics

Extremal Combinatorics

de Stasys Jukna 

Idioma: Inglês
(0)
eBook
20% imediato
Disponibilidade imediata
93,28€ 116,60€
Elements Of Finite Model Theory

Elements Of Finite Model Theory

de Leonid Libkin 

Idioma: Inglês
(0)
eBook
20% imediato
Disponibilidade imediata
78,97€ 98,71€
Interactive Theorem Proving And Program Development

Interactive Theorem Proving And Program Development

de Yves Bertot e Pierre Casteran 

Idioma: Inglês
(0)
eBook
20% imediato
portes grátis
67,05€ 83,81€
Extremal Combinatorics

Extremal Combinatorics

de Stasys Jukna 

Idioma: Inglês
(0)
20% imediato
portes grátis
75,70€ 94,62€
Decision Procedures

Decision Procedures

de Ofer Strichman e Daniel Kroening 

Idioma: Inglês
(0)
20% imediato
Disponibilidade imediata
78,97€ 98,71€
Parameterized Complexity Theory

Parameterized Complexity Theory

de M. Grohe e J. Flum 

Idioma: Inglês
(0)
eBook
20% imediato
portes grátis
95,18€ 118,97€
Elements Of Finite Model Theory

Elements Of Finite Model Theory

de Leonid Libkin 

Idioma: Inglês
(0)
20% imediato
portes grátis
59,47€ 74,34€
Formal Methods For Software Engineering

Formal Methods For Software Engineering

de Bernd-Holger Schlingloff, Gerardo Schneider, Antonio Cerone, (...) 

Idioma: Inglês
(0)
20% imediato
portes grátis
75,70€ 94,62€
Formal Methods For Software Engineering

Formal Methods For Software Engineering

de Markus Roggenbach, Antonio Cerone, Siraj Ahmed Shaikh, (...) 

Idioma: Inglês
(0)
Esgotado
49,74€ 62,18€
Simulation Algorithms For Computational Systems Biology

ESGOTADO OU NÃO DISPONÍVEL

Simulation Algorithms For Computational Systems Biology

de Luca Marchetti, Vo Hong Thanh e Corrado Priami 

Idioma: Inglês
(0)
Esgotado
48,66€ 60,82€
Introduction To Concurrency Theory

ESGOTADO OU NÃO DISPONÍVEL

Introduction To Concurrency Theory

de Cristian Versari e Roberto Gorrieri 

Idioma: Inglês
(0)
Esgotado
49,74€ 62,18€
Simulation Algorithms For Computational Systems Biology

ESGOTADO OU NÃO DISPONÍVEL

Simulation Algorithms For Computational Systems Biology

de Corrado Priami, Luca Marchetti e Vo Hong Thanh 

Idioma: Inglês
(0)
Esgotado
97,33€ 121,66€
An Introduction To Online Computation

ESGOTADO OU NÃO DISPONÍVEL

An Introduction To Online Computation

de Dennis Komm 

Idioma: Inglês
(0)
20% imediato
Disponibilidade imediata
84,27€ 105,34€
Universal Artificial Intelligence

Universal Artificial Intelligence

de Marcus Hutter 

Idioma: Inglês
(0)
eBook
Não encontrou o que procura?
Consulte os critérios de pesquisa:
ajuda
Ou utilize a opção: procuramos por si
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.