Informatique

53781 - 53800 sur 55 330

Les filtres sont indisponibles
Veuillez affiner votre recherche via la Recherche avancée

Higher-order algebra, logic and term ...

Print on Demand

Higher-order algebra, logic and term ...

Plus d'informations

Isabelle: a generic theorem prover

Paulson, Lawrence C.

Paulson, Lawrence C.

Print on Demand

Isabelle: a generic theorem prover

Plus d'informations

Unix systems for modern architectures...

Pearson Education (US)

Disponible sur commande

Unix systems for modern architectures...

Plus d'informations

Circuit complexity and neural networks

Print on Demand

Circuit complexity and neural networks

Plus d'informations

Algorithms and computation: 5th inter...

Print on Demand

Algorithms and computation: 5th inter...

Plus d'informations

Conceptual structures - current pract...

Tepfenhart, William M.

Print on Demand

Conceptual structures - current pract...

Plus d'informations

Concur '94 concurrency theory: 5th in...

Print on Demand

Concur '94 concurrency theory: 5th in...

Plus d'informations

Temporal logic: volume 1

Gabbay, Dov M. / Hodkinson, Ian / Reynolds, Mark

Oxford University Press

Print on Demand

Temporal logic: volume 1

Plus d'informations

Applications of invariance in compute...

Mundy, Joseph L.

Print on Demand

Applications of invariance in compute...

Plus d'informations

Computer science logic: 7th workshop,...

Print on Demand

Computer science logic: 7th workshop,...

Plus d'informations

Everybody's guide to the internet

Print on Demand

Everybody's guide to the internet

Plus d'informations

Modeling, identification and simulation

van den Bosch, P. P. J. / van der Klauw, A. C.

Taylor & Francis Inc

Print on Demand

Modeling, identification and simulation

Plus d'informations

Neural network modeling: statistical ...

Neelakanta, P. S. / DeGroff, Dolores

Taylor & Francis Inc

Print on Demand

Neural network modeling: statistical ...

Plus d'informations

System integration

Grady, Jeffrey O.

Taylor & Francis Inc

Print on Demand

System integration

Plus d'informations

Genetic programming ii: automatic dis...

Print on Demand

Genetic programming ii: automatic dis...

Plus d'informations

Introduction to fortran 90 for scient...

Ortega, James M.

Ortega, James M.

Print on Demand

Introduction to fortran 90 for scient...

Plus d'informations

Latex 2/e (paper)

Lamport, Leslie

Lamport, Leslie

Manquant éditeur

Latex 2/e (paper)

Plus d'informations

Internet trouble shooter, the: help for

John, Nancy R.Valauskas, Edward J.,

Disponible sur commande

Internet trouble shooter, the: help for

Plus d'informations

Modula-2 programming

Disponible sur commande

Modula-2 programming

Plus d'informations

Directions in databases: 12th british...

Print on Demand

Directions in databases: 12th british...

Plus d'informations