Models computation von bruni roberto (26 Ergebnisse)
Sprache: Englisch
Verlag: Springer 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 45,97
EUR 2,33 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer International Publishing AG, CH 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes KönigreichRarewaves.com USA
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
Versand nach gratisVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Hardback. Zustand: New. 1st ed. 2017.
Sprache: Englisch
Verlag: Springer 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 36,21
EUR 13,89 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 36,21
EUR 13,89 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer International Publishing AG, CH 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes KönigreichRarewaves.com USA
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 51,59
Versand nach gratisVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Paperback. Zustand: New. Softcover reprint of the original 1st ed. 2017.
Sprache: Englisch
Verlag: Springer 2018-07 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 32,19
EUR 17,96 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
PF. Zustand: New.
Sprache: Englisch
Verlag: Springer 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 36,20
EUR 17,39 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 46,90
EUR 17,39 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 65,08
EUR 3,51 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New. pp. 395.
Sprache: Englisch
Verlag: Springer 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 63,46
EUR 7,54 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New. pp. 395.
Sprache: Englisch
Verlag: Springer 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 69,14
EUR 2,33 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
- Erstausgabe
Anbieter: SpringBooks, Berlin, DeutschlandSpringBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 3 SternenZustand: Gebraucht - Wie neu
EUR 28,70
EUR 39,90 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: As New. 1. Auflage. Like new. Immediately dispatched from Germany.
Sprache: Englisch
Verlag: Springer 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 61,39
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: New. pp. 395.
Sprache: Englisch
Verlag: Springer 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 81,16
EUR 3,51 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. pp. 417.
Sprache: Englisch
Verlag: Springer 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 98,27
EUR 14,49 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 395 pages. 9.25x6.25x1.25 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing AG, CH 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Rarewaves.com UK, London, Vereinigtes KönigreichRarewaves.com UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 38,04
EUR 75,36 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Paperback. Zustand: New. Softcover reprint of the original 1st ed. 2017.
Sprache: Englisch
Verlag: Springer International Publishing AG, CH 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Rarewaves.com UK, London, Vereinigtes KönigreichRarewaves.com UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 40,27
EUR 75,36 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Hardback. Zustand: 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. Af…ter 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.
Weitere BilderSprache: Englisch
Verlag: Springer 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,30
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: 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]springer[d…ot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Birkhäuser 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 69,16
EUR 63,17 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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.
Sprache: Englisch
Verlag: Springer 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 69,16
EUR 63,97 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: 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.
Sprache: Englisch
Verlag: Springer 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 80,06
EUR 7,54 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: New. Print on Demand pp. 417.
Sprache: Englisch
Verlag: Springer 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 78,20
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. 417.
Sprache: Englisch
Verlag: Springer International Publishing 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 55,78
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: 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.
Sprache: Englisch
Verlag: Springer International Publishing 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 55,78
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: 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.
Sprache: Englisch
Verlag: Springer, Palgrave Macmillan Jul 2018 2018
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 64,19
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 f…or 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.
Sprache: Englisch
Verlag: Springer, Palgrave Macmillan Apr 2017 2017
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 43 von 45. Buch 43 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 64,19
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: 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 reas…oning 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.
