Livres d’occasion

30 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 · Iterative Software Engineering for Multiagent Systems: The Massive Method

Livre Iterative Software Engineering for Multiagent Systems: The Massive Method

Couverture du produit · Automated Theorem Proving in Software Engineering

Livre Automated Theorem Proving in Software Engineering

Johann M. Schumann et D. Loveland

Couverture du produit · Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings

Livre Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings

Gerard Berry, Hubert Comon et Alain Finkel

Couverture du produit · Algebraic Combinatorics and Applications: Proceedings of the Euroconference Algebraic Combinatorics and Applications (Alcoma),

Livre Algebraic Combinatorics and Applications: Proceedings of the Euroconference Algebraic Combinatorics and Applications (Alcoma),

Anton Betten, Axel Kohnert, Reinhard Laue et Alfred Wassermann

Couverture du produit · Agent Mediated Electronic Commerce: The European Agentlink Perspective

Livre Agent Mediated Electronic Commerce: The European Agentlink Perspective

Frank Dignum et Carles Sierra

Couverture du produit · E-Commerce Agents: Marketplace Solutions, Security Issues, and Supply and Demand

Livre E-Commerce Agents: Marketplace Solutions, Security Issues, and Supply and Demand

Jimingx Liu et Yiming Ye

Couverture du produit · Rna Motifs and Regulatory Elements

Livre Rna Motifs and Regulatory Elements

Thomas Dandekar, P. Bengert, A. Ostareck-Lederer et D. Ostareck

Couverture du produit · A Generative Theory of Shape

Livre A Generative Theory of Shape

Couverture du produit · Autoimmune Diseases of the Skin: Pathogenesis, Diagnosis, Management

Livre Autoimmune Diseases of the Skin: Pathogenesis, Diagnosis, Management

Couverture du produit · Neurodegenerative Disorders: Loss of Function Through Gain of Function

Livre Neurodegenerative Disorders: Loss of Function Through Gain of Function

K. Beyreuther, Y. Christen et C.L. Masters

Couverture du produit · Pore-Forming Toxins

Livre Pore-Forming Toxins

Gisou van der Goot

Couverture du produit · Distributed Virtual Worlds

Livre Distributed Virtual Worlds

Couverture du produit · Ontologies.: A silver bullet for knowledge management and electronic commerce

Livre Ontologies.: A silver bullet for knowledge management and electronic commerce

Couverture du produit · Introduction à MuPAD : Edition francaise. Une introduction indépendante de la version et de la plate-forme

Livre Introduction à MuPAD : Edition francaise. Une introduction indépendante de la version et de la plate-forme

J. Gerhard, W. Oevel, F. Postel et S. Wehmeier

Couverture du produit · Third Generation Mobile Telecommunication Systems: Umts and Imt-2000

Livre Third Generation Mobile Telecommunication Systems: Umts and Imt-2000

Peter Stavroulakis

Couverture du produit · Introduction to Cryptography: Principles and Applications

Livre Introduction to Cryptography: Principles and Applications

Hans Delfs et Helmut Knebl

Couverture du produit · Interkulturelles Management: Osterreichische Perspektiven

Livre Interkulturelles Management: Osterreichische Perspektiven

Gerhard Fink et Sylvia Meierewert

Couverture du produit · Networking-Icn 2001: First International Conference, Colmar, France, July 9-13, 2001 : Proceedings

Livre Networking-Icn 2001: First International Conference, Colmar, France, July 9-13, 2001 : Proceedings

Couverture du produit · Localized to Itinerant Electronic Transition in Perovskite Oxides

Livre Localized to Itinerant Electronic Transition in Perovskite Oxides

S.L. Cooper, T. Egami, John B. Goodenough et J.S Zhou

Couverture du produit · Antibodies in Viral Infection

Livre Antibodies in Viral Infection

Dennis R. Burton

Couverture du produit · Rapid Cycle Real-Time Pcr: Methods and Applications

Livre Rapid Cycle Real-Time Pcr: Methods and Applications

Stefan Meuer, Carl Wittwer et Kanichi Nakagawara

Couverture du produit · Computational Biology: First International Conference on Biology, Informatics, and Mathematics, Jobim 2000, Montpellier, France

Livre Computational Biology: First International Conference on Biology, Informatics, and Mathematics, Jobim 2000, Montpellier, France

Olivier Gascuel et Marie-France Sagot

Couverture du produit · Managing Corporate Change

Livre Managing Corporate Change

Klaus Doppler et Christoph Lauterburg

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