Montant total (1 article articles) :
Destination de la commande :
formal methods computational systems (31 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (31)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (26)
- Comme neuf, Très bon ou Bon (4)
- Assez bon ou satisfaisant (1)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (10)
- Sans impressions à la demande (29)
Langue (1)
Livraison gratuite
Pays
Evaluation du vendeur
-
Formal Methods for Computational Systems Biology
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 28,49
Expédition à EUR 7,47
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 540 Illus.
-
Formal Methods for Computational Systems Biology
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 33,70
Expédition à EUR 3,43
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 540.
-
Formal Methods for Computational Systems Biology
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 27,97
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 540.
-
Formal Methods For Computational Systems Biology (Pb)
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 39,64
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 8 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal Methods For Computational Systems Biology (Pb)
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 39,64
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierEtat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Formal Methods For Computational Systems Biology (Pb)
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 41,38
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierEtat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software . / Programming and Software Engineering)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 35,63
Expédition à EUR 6,01
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Formal Methods For Computational Systems Biology
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 49,20
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal Methods For Computational Systems Biology
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 49,20
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Edition internationaleFORMAL METHODS FOR COMPUTATIONAL SYSTEMS BIOLOGY (PB)
Vendeur : UK BOOKS STORE, London, LONDO, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 50,49
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Brand New! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Transactions on Computational Science XV : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-inspired Computing Systems
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,25
Expédition à EUR 2,27
Expédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
Transactions on Computational Science XV: Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems (Lecture Notes in Computer Science, 7050)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,20
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Transactions on Computational Science XV : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-inspired Computing Systems
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,68
Expédition à EUR 2,27
Expédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software ... (Lecture Notes in Computer Science, 5016)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 65,51
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software ... (Lecture Notes in Computer Science, 5016)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,35
Expédition à EUR 13,77
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Transactions on Computational Science XV: Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems (Lecture Notes in Computer Science, 7050)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,35
Expédition à EUR 13,77
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Transactions on Computational Science XV: Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,42
Expédition à EUR 17,80
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,79
Expédition à EUR 17,80
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Transactions on Computational Science XV : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-inspired Computing Systems
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,34
Expédition à EUR 17,24
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Transactions on Computational Science XV : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-inspired Computing Systems
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 66,56
Expédition à EUR 17,24
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Transactions on Computational Science XV: Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-inspired Computing Systems
Langue: anglais
Edité par Springer-Verlag New York Inc, 2012
ISBN 10 : 3642285244 ISBN 13 : 9783642285240
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 77,77
Expédition à EUR 11,49
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 2012 edition. 216 pages. 9.25x6.25x0.50 inches. In Stock.
-
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
Langue: anglais
Edité par Springer-Verlag New York Inc, 2008
ISBN 10 : 3540688927 ISBN 13 : 9783540688921
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 82,79
Expédition à EUR 14,36
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 1st edition. 525 pages. 9.00x6.00x1.00 inches. In Stock.
-
Formal Methods for Computational Systems Biology
Langue: anglais
Edité par Springer, 2008
Vendeur : Books in my Basket, New Delhi, Inde
Évaluation du vendeur 5 sur 5 étoiles
EUR 94,93
Expédition à EUR 16
Expédition depuis Inde vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoft cover. Etat : New. ISBN:9783540688921.
-
Formal Methods for Computational Systems Biology
Langue: anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10 : 3540688927 ISBN 13 : 9783540688921
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience asaprominentapproachtotherigorousdesignofcomputer,communication,and software systems. The main aim of the SFM series is to o er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the eld. SFM 2008 was devoted to formal techniques for computational systems - ology and covered several aspects of the eld, including computational models, calculi and logics for biological systems, and veri cation and simulation me- ods. Theschoolfeatured not onlyregularlectures, but also talksgivenby people involvedinthe ItalianresearchprojectonBio-InspiredSystems andCalculiwith Applications (BISCA). The rst partof this volume comprises nine papers basedon regularlectures. The paper by Degasperi and Gilmore describes the application of sensitivity analysistechniques to stochastic simulation algorithms. Talcott¿s paper presents pathway logic, an approach to modeling and analysis of biological processes based on rewriting logic. Fages and Soliman study reaction graphs and acti- tion/inhibition graphs used by biologists through formal methods originating from programming theory. The paper by Maus, John, R¿ ohl, and Uhrmacher d- cusses categories, abstraction hierarchies, and composition hierarchies playing a role in modeling and simulation for computational biology. Gillespie¿s paper - views the theory of stochastic chemical kinetics and several simulation methods that are based on that theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 540 pp. Englisch.
-
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
Langue: anglais
Edité par Springer Berlin Heidelberg, 2008
ISBN 10 : 3540688927 ISBN 13 : 9783540688921
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 64,05
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience asaprominentapproachtotherigorousdesignofcomputer,communication,and software systems. The main aim of the SFM series is to o er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the eld. SFM 2008 was devoted to formal techniques for computational systems - ology and covered several aspects of the eld, including computational models, calculi and logics for biological systems, and veri cation and simulation me- ods. Theschoolfeatured not onlyregularlectures, but also talksgivenby people involvedinthe ItalianresearchprojectonBio-InspiredSystems andCalculiwith Applications (BISCA). The rst partof this volume comprises nine papers basedon regularlectures. The paper by Degasperi and Gilmore describes the application of sensitivity analysistechniques to stochastic simulation algorithms. Talcott s paper presents pathway logic, an approach to modeling and analysis of biological processes based on rewriting logic. Fages and Soliman study reaction graphs and acti- tion/inhibition graphs used by biologists through formal methods originating from programming theory. The paper by Maus, John, R ohl, and Uhrmacher d- cusses categories, abstraction hierarchies, and composition hierarchies playing a role in modeling and simulation for computational biology. Gillespie s paper - views the theory of stochastic chemical kinetics and several simulation methods that are based on that theory.
-
EUR 50,25
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Formal Methods for Computational Systems Biology | 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 | Marco Bernardo (u. a.) | Taschenbuch | x | Englisch | 2008 | Springer | EAN 9783540688921 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Bonne affaire
EUR 30,07
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 540 | Sprache: Englisch | Produktart: Bücher | This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience asaprominentapproachtotherigorousdesignofcomputer,communication,and software systems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the ?eld. SFM 2008 was devoted to formal techniques for computational systems - ology and covered several aspects of the ?eld, including computational models, calculi and logics for biological systems, and veri?cation and simulation me- ods. Theschoolfeatured not onlyregularlectures, but also talksgivenby people involvedinthe ItalianresearchprojectonBio-InspiredSystems andCalculiwith Applications (BISCA). The ?rst partof this volume comprises nine papers basedon regularlectures. The paper by Degasperi and Gilmore describes the application of sensitivity analysistechniques to stochastic simulation algorithms. Talcott¿s paper presents pathway logic, an approach to modeling and analysis of biological processes based on rewriting logic. Fages and Soliman study reaction graphs and acti- tion/inhibition graphs used by biologists through formal methods originating from programming theory. The paper by Maus, John, R¿ ohl, and Uhrmacher d- cusses categories, abstraction hierarchies, and composition hierarchies playing a role in modeling and simulation for computational biology. Gillespie¿s paper - views the theory of stochastic chemical kinetics and several simulation methods that are based on that theory.
-
Bonne affaire
EUR 38,50
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
EUR 167,83
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierGebunden. Etat : New.
-
Formal Methods for Computational Systems Biology
Langue: anglais
Edité par Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10 : 3540688927 ISBN 13 : 9783540688921
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience asaprominentapproachtotherigorousdesignofcomputer,communication,and software systems. The main aim of the SFM series is to o er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the eld. SFM 2008 was devoted to formal techniques for computational systems - ology and covered several aspects of the eld, including computational models, calculi and logics for biological systems, and veri cation and simulation me- ods. Theschoolfeatured not onlyregularlectures, but also talksgivenby people involvedinthe ItalianresearchprojectonBio-InspiredSystems andCalculiwith Applications (BISCA). The rst partof this volume comprises nine papers basedon regularlectures. The paper by Degasperi and Gilmore describes the application of sensitivity analysistechniques to stochastic simulation algorithms. Talcott s paper presents pathway logic, an approach to modeling and analysis of biological processes based on rewriting logic. Fages and Soliman study reaction graphs and acti- tion/inhibition graphs used by biologists through formal methods originating from programming theory. The paper by Maus, John, R ohl, and Uhrmacher d- cusses categories, abstraction hierarchies, and composition hierarchies playing a role in modeling and simulation for computational biology. Gillespie s paper - views the theory of stochastic chemical kinetics and several simulation methods that are based on that theory. 540 pp. Englisch.
