26 resultados.

Computer Science Foundations And Applied Logicx

Filtrar por

Ordenar por

Simple Type Theory
10%

A Practical Logic For Expressing And Reasoning About Mathematical Ideas

eBook
Idioma: Inglês
Springer Nature Switzerland
92,74€ 83,47€
Multi-Valued Logic For Decision-Making Under Uncertainty
10%
eBook
Idioma: Inglês
Springer Nature Switzerland
237,84€ 214,06€
Category Theory Using Haskell
10%

An Introduction With Moggi And Yoneda

eBook
Idioma: Inglês
Springer Nature Switzerland
238,49€ 214,64€
Guide To Software Verification With Frama-C
10%

Core Components, Usages, And Applications

eBook
Idioma: Inglês
Springer International Publishing
59,61€ 53,65€
Petri Net Primer
20%

A Compendium On The Core Model, Analysis, And Synthesis

Idioma: Inglês
BIRKHAUSER VERLAG AG
portes grátis
20% Cartão Leitor Bertrand
101,38€
Poupe 20,28€
Petri Net Primer
10%

A Compendium On The Core Model, Analysis, And Synthesis

eBook
Idioma: Inglês
Springer Nature Switzerland
10% Cartão Leitor Bertrand
72,86€
Poupe 7,29€
Structural Decision Diagrams In Digital Test
10%
eBook
Idioma: Inglês
Springer Nature Switzerland
10% Cartão Leitor Bertrand
264,34€
Poupe 26,43€
Algorithms For Constructing Computably Enumerable Sets
10%
eBook
Idioma: Inglês
Springer International Publishing
10% Cartão Leitor Bertrand
72,86€
Poupe 7,29€
Simple Type Theory
10%

A Practical Logic For Expressing And Reasoning About Mathematical Ideas

eBook
Idioma: Inglês
Springer International Publishing
10% Cartão Leitor Bertrand
72,86€
Poupe 7,29€
Concise Introduction To Alternating-Time Temporal Logics
20%

A Guide For Understanding The Model-Checking Problem

Idioma: Inglês
Springer Nature Switzerland AG
portes grátis
20% Cartão Leitor Bertrand
60,82€
Poupe 12,16€
Category Theory Using Haskell
20%

An Introduction With Moggi And Yoneda

Idioma: Inglês
BIRKHAUSER VERLAG AG
portes grátis
20% Cartão Leitor Bertrand
243,33€
Poupe 48,67€
Multi-Valued Logic For Decision-Making Under Uncertainty
20%
Idioma: Inglês
BIRKHAUSER VERLAG AG
portes grátis
20% Cartão Leitor Bertrand
243,33€
Poupe 48,67€
Simple Type Theory
20%

A Practical Logic For Expressing And Reasoning About Mathematical Ideas

Idioma: Inglês
BIRKHAUSER VERLAG AG
portes grátis
20% Cartão Leitor Bertrand
94,62€
Poupe 18,92€
Algorithms For Constructing Computably Enumerable Sets
20%
Idioma: Inglês
BIRKHAUSER VERLAG AG
portes grátis
20% Cartão Leitor Bertrand
74,34€
Poupe 14,87€
Guide To Software Verification With Frama-C
20%

Core Components, Usages, And Applications

Idioma: Inglês
Springer International Publishing AG
portes grátis
20% Cartão Leitor Bertrand
81,10€
Poupe 16,22€
Structural Decision Diagrams In Digital Test
20%
Idioma: Inglês
BIRKHAUSER VERLAG AG
portes grátis
20% Cartão Leitor Bertrand
270,36€
Poupe 54,07€
Algorithms For Constructing Computably Enumerable Sets
20%
Idioma: Inglês
BIRKHAUSER VERLAG AG
portes grátis
20% Cartão Leitor Bertrand
74,34€
Poupe 14,87€
Petri Net Primer

A Compendium On The Core Model, Analysis, And Synthesis

Idioma: Inglês
BIRKHAUSER VERLAG AG
74,34€
ESGOTADO OU NÃO DISPONÍVEL
Structural Decision Diagrams In Digital Test
Idioma: Inglês
BIRKHAUSER VERLAG AG
270,36€
ESGOTADO OU NÃO DISPONÍVEL
Concise Guide To Fault Tree Analysis
Idioma: Inglês
BIRKHAUSER VERLAG AG
74,34€
ESGOTADO OU NÃO DISPONÍVEL
A carregar resultados...
Ver mais resultados
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.