Livres d’occasion

138 résultats

Trier par :

Couverture du produit · Systems and Software Verification: Model-Checking Techniques and Tools

Livre Systems and Software Verification: Model-Checking Techniques and Tools

M. Bidoit, B. Berard, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen et P. McKenzie

Couverture du produit · European Tour Yearbook 2001

Livre European Tour Yearbook 2001

PGA European Tour

Couverture du produit · Attendre bébé 2001

Livre Attendre bébé 2001

Couverture du produit · Asie Centrale

Livre Asie Centrale

Guide Petit Futé

Couverture du produit · Constraint-Based Scheduling: Applying Constraint Programmint to Scheduling Problems

Livre Constraint-Based Scheduling: Applying Constraint Programmint to Scheduling Problems

Philippe Baptiste, Claude Le Pape et Wim Nuijten

Couverture du produit · Flea Biology and Control: The Biology of the Cat Flea, Control and Prevention With Imidacloprid in Small Animals

Livre Flea Biology and Control: The Biology of the Cat Flea, Control and Prevention With Imidacloprid in Small Animals

Friederike Krämer et Norbert Mencke

Couverture du produit · Frommer's 2001 Portable Paris

Livre Frommer's 2001 Portable Paris

Couverture du produit · Raphael's Astronomical Ephemeris of the Planets' Place for 2001: A Complete Aspectarian

Livre Raphael's Astronomical Ephemeris of the Planets' Place for 2001: A Complete Aspectarian

Couverture du produit · The Electronic Call Auction: Market Mechanism and Trading : Building a Better Stock Market

Livre The Electronic Call Auction: Market Mechanism and Trading : Building a Better Stock Market

Robert A. Schwartz

Couverture du produit · The Geometry of Biological Time

Livre The Geometry of Biological Time

Arthur T. Winfree

Couverture du produit · Java and the Java Virtual Machine: Definition, Verification, Validation

Livre Java and the Java Virtual Machine: Definition, Verification, Validation

Robert F. Stärk, Joachim Schmid et Egon Börger

Couverture du produit · Handbook of Defeasible Resoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning

Livre Handbook of Defeasible Resoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning

Dov M. Gabbay et Philippe Smets

Couverture du produit · Computational Intelligence in Theory and Practice

Livre Computational Intelligence in Theory and Practice

Bernd Reusch et Karl-Heinz Temme

Couverture du produit · Modal and Temporal Properties of Processes

Livre Modal and Temporal Properties of Processes

Couverture du produit · Mathematics of Multidimensional Seismic Imaging, Migration, and Inversion

Livre Mathematics of Multidimensional Seismic Imaging, Migration, and Inversion

N. Bleistein, J.K. Cohen et John W. Jr. Stockwell

Couverture du produit · Iterative Software Engineering for Multiagent Systems: The Massive Method

Livre Iterative Software Engineering for Multiagent Systems: The Massive Method

Couverture du produit · Landmark-Based Image Analysis: Using Geometric and Intensity Models

Livre Landmark-Based Image Analysis: Using Geometric and Intensity Models

Couverture du produit · Espagne du Nord 2000

Livre Espagne du Nord 2000

Guide Petit Futé

Couverture du produit · Constraint-Based Agents: An Architecture for Constraint-Based Modeling and Local-Search-Based Reasoning for Planning and Schedu

Livre Constraint-Based Agents: An Architecture for Constraint-Based Modeling and Local-Search-Based Reasoning for Planning and Schedu

Alexander Nareyek

Couverture du produit · Queueing Networks With Discrete Time Scale: Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Netw

Livre Queueing Networks With Discrete Time Scale: Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Netw

Couverture du produit · Fundamentals of Queueing Networks: Performance, Asymptotics, and Optimization

Livre Fundamentals of Queueing Networks: Performance, Asymptotics, and Optimization

Hong Chen et David D. Yao

Couverture du produit · Theoretical Aspects of Evolutionary Computing

Livre Theoretical Aspects of Evolutionary Computing

Leila Kallel, Bart Naudts et Alex Rogers

Couverture du produit · Algebraic Combinatorics and Computer Science: A Tribute to Gian-Carlo Rota

Livre Algebraic Combinatorics and Computer Science: A Tribute to Gian-Carlo Rota

H. Crapo et D. Senato

Couverture du produit · Automated Theorem Proving in Software Engineering

Livre Automated Theorem Proving in Software Engineering

Johann M. Schumann et D. Loveland

Résultats par page :

Vous n'avez pas trouvé l'article que vous cherchiez ?

Activez les notifications dans votre compte pour être alerté dès qu'il est en stock.

Créer une alerte