Models computation di bruni roberto (26 risultati)
Lingua: Inglese
Editore: Springer International Publishing AG, CH, 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,01
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: New. 1st ed. 2017.
Lingua: Inglese
Editore: Springer, 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 45,63
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 36,25
EUR 13,90 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer, 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 36,25
EUR 13,90 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer 2018-07, 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 32,22
EUR 17,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
Lingua: Inglese
Editore: Springer International Publishing AG, CH, 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 51,65
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. Softcover reprint of the original 1st ed. 2017.
Lingua: Inglese
Editore: Springer, 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 36,23
EUR 17,41 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 46,91
EUR 17,41 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer, 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 64,70
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. pp. 395.
Lingua: Inglese
Editore: Springer, 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 63,09
EUR 7,54 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: New. pp. 395.
Lingua: Inglese
Editore: Springer, 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
- Prima edizione
Da: SpringBooks, Berlin, GermaniaSpringBooks
Contatta il venditoreVenditore con 3 stelleCondizione: Usato - Come nuovo
EUR 28,70
EUR 39,90 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: As New. 1. Auflage. Like new. Immediately dispatched from Germany.
Lingua: Inglese
Editore: Springer, 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 69,15
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer, 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 61,39
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: New. pp. 395.
Lingua: Inglese
Editore: Springer, 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 80,69
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 417.
Lingua: Inglese
Editore: Springer, 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 97,64
EUR 14,51 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 395 pages. 9.25x6.25x1.25 inches. In Stock.
Lingua: Inglese
Editore: Springer International Publishing AG, CH, 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 38,08
EUR 75,44 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. Softcover reprint of the original 1st ed. 2017.
Lingua: Inglese
Editore: Springer International Publishing AG, CH, 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 40,31
EUR 75,44 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: 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.
Altre immaginiLingua: Inglese
Editore: Springer, 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,30
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Models of Computation | Roberto Bruni (u. a.) | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | xxii | Englisch | 2018 | Springer | EAN 9783319826899 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springe…r[dot]com | Anbieter: preigu.
Lingua: Inglese
Editore: Birkhäuser, 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 69,16
EUR 63,17 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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 reason…ing 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.
Lingua: Inglese
Editore: Springer, 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 69,16
EUR 63,97 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: 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.
Lingua: Inglese
Editore: Springer, 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 80,90
EUR 7,54 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 417.
Lingua: Inglese
Editore: Springer, 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 79,22
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 417.
Lingua: Inglese
Editore: Springer International Publishing, 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,78
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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.
Lingua: Inglese
Editore: Springer International Publishing, 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,78
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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.
Lingua: Inglese
Editore: Springer, Palgrave Macmillan Jul 2018, 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,19
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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 technique…s 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.
Lingua: Inglese
Editore: Springer, Palgrave Macmillan Apr 2017, 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 43 di 45. Libro 43 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,19
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: 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 r…easoning 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.
