Montant total (1 article articles) :
Destination de la commande :
models computation de bruni roberto (28 résultats)
Auteur :
bruni roberto
,
Titre :
models computation
Affiner les résultats avec une recherche avancée
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (28)
- 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 (25)
- Comme neuf, Très bon ou Bon (3)
- Assez bon ou satisfaisant (Aucun autre résultat ne correspond à ces critères)
- 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 (1)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (14)
- Sans impressions à la demande (20)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45
- Plus de EUR 45
Livraison gratuite
Pays
Evaluation du vendeur
-
Models of Computation
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 45,24
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Models of Computation
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSLangue: anglais
Edité par Springer International Publishing AG, CH, 2017
ISBN 10 : 3319428985 ISBN 13 : 9783319428987
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 47,63
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : New. 1st ed. 2017. This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models.The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.
-
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 36,74
Expédition à EUR 14,10
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 36,74
Expédition à EUR 14,10
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Models of Computation
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 32,66
Expédition à EUR 18,22
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Models of Computation
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSLangue: anglais
Edité par Springer International Publishing AG, CH, 2018
ISBN 10 : 3319826891 ISBN 13 : 9783319826899
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,49
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New. This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models.The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book. Softcover reprint of the original 1st ed. 2017.
-
Models of Computation
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 36,73
Expédition à EUR 17,65
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Models of Computation
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 46,90
Expédition à EUR 17,65
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 62,48
Expédition à EUR 3,49
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 395.
-
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 59,89
Expédition à EUR 7,65
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 395.
-
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series) [Hardcover] Bruni, Roberto and Montanari, Ugo
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSEdition originale
EUR 28,70
Expédition à EUR 39,90
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : As New. 1. Auflage. Like new. Immediately dispatched from Germany.
-
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 59,20
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 395.
-
Models of Computation
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 69,15
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 80,64
Expédition à EUR 3,49
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 417.
-
Models of Computation
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 97,19
Expédition à EUR 14,71
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 395 pages. 9.25x6.25x1.25 inches. In Stock.
-
Models of Computation
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSLangue: anglais
Edité par Springer International Publishing AG, CH, 2018
ISBN 10 : 3319826891 ISBN 13 : 9783319826899
Vendeur : Rarewaves.com UK, London, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 38,60
Expédition à EUR 76,48
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New. Softcover reprint of the original 1st ed. 2017.
-
Models of Computation
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSLangue: anglais
Edité par Springer International Publishing AG, CH, 2017
ISBN 10 : 3319428985 ISBN 13 : 9783319428987
Vendeur : Rarewaves.com UK, London, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 40,86
Expédition à EUR 76,48
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : New. 1st ed. 2017. This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models.The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.
-
EUR 59,40
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Models of Computation | Roberto Bruni (u. a.) | Taschenbuch | xxii | Englisch | 2018 | Springer | EAN 9783319826899 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Models of Computation
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 69,16
Expédition à EUR 63,17
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models.The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.
-
Models of Computation
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 69,16
Expédition à EUR 63,97
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierBuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models.The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.
-
Models of Computation
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 65,31
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days.
-
Models of Computation
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 65,31
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days.
-
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 80,82
Expédition à EUR 7,65
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 417.
-
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 79,62
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 417.
-
Models of Computation
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSLangue: anglais
Edité par Springer International Publishing, 2018
ISBN 10 : 3319826891 ISBN 13 : 9783319826899
EUR 55,78
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents the most important models of computation in their basic form Authors among leading experts in this domainSuitable for undergraduate and graduate students of theoretical computer science Roberto Bruni is an asso.
-
Models of Computation
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSLangue: anglais
Edité par Springer International Publishing, 2017
ISBN 10 : 3319428985 ISBN 13 : 9783319428987
EUR 55,78
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents the most important models of computation in their basic form Authors among leading experts in this domainSuitable for undergraduate and graduate students of theoretical computer science Roberto Bruni is an asso.
-
Models of Computation
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSLangue: anglais
Edité par Springer, Palgrave Macmillan Jul 2018, 2018
ISBN 10 : 3319826891 ISBN 13 : 9783319826899
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 64,19
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models.The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 420 pp. Englisch.
-
Models of Computation
Livre 43 sur 45 : Texts in Theoretical Computer Science. An EATCSLangue: anglais
Edité par Springer, Palgrave Macmillan Apr 2017, 2017
ISBN 10 : 3319428985 ISBN 13 : 9783319428987
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 64,19
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierBuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models.The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 420 pp. Englisch.
