Berstel (38 Ergebnisse)
- Hardcover
- Erstausgabe
Anbieter: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, USAMunster & Company LLC, ABAA/ILAB
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 23,38
EUR 1,68 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Good. First Edition. Academic Press, 1985. First edition, first printing with full number line; cover very faintly rubbed/bumped, spine ends faintly bumped; text block edges faintly bumped/soiled, tiny publishing flaw on fore-edge near bottom; pastedowns/endpapers very faintly foxed; binding tight; cover, edges, and int…erior intact and clean, except where noted. First Edition. hardcover. Good.
Verlag: Paris - 1978, 1978
- Softcover
Anbieter: Sylvain Paré, Montolieu, FrankreichSylvain Paré
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 9,15
EUR 15,20 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbLaboratoire d'Informatique Théorique et Programmation, Ecole Nationale Supérieure de Techniques Avancées, Paris - 1978, actes de la cinquième Ecole de Printemps d'informatique théorique, Vieux-Boucau les Bains 1977, in-8, broché, 260 pages Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais… de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.
Sprache: Englisch
Verlag: Cambridge University Press, 2010
Serie: Buch 128 von 188 - Encyclopedia of Mathematics and its Applications
- Hardcover
Anbieter: Powell's Bookstores Chicago, ABAA, Chicago, IL, USAPowell's Bookstores Chicago, ABAA
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 33,66
EUR 6,45 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Very good. Zustand des Schutzumschlags: Very good. Cloth, dj. Scuffing to dj. Shelf wear to boards. Else very sound, with clean internals.
Sprache: Englisch
Verlag: Cambridge University Press, 2010
Serie: Buch 128 von 188 - Encyclopedia of Mathematics and its Applications
- Hardcover
Anbieter: Anybook.com, Lincoln, Vereinigtes KönigreichAnybook.com
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 36,33
EUR 15,82 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Good. Volume 129. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1150grams, ISBN:9780521888318.
- Hardcover
Anbieter: Anybook.com, Lincoln, Vereinigtes KönigreichAnybook.com
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 37,28
EUR 15,82 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN:0120934205.
- Hardcover
Anbieter: Anybook.com, Lincoln, Vereinigtes KönigreichAnybook.com
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Ausreichend
EUR 42,83
EUR 15,82 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN:0120934205.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 52,28
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press, 2009
Serie: Buch 128 von 188 - Encyclopedia of Mathematics and its Applications
- Hardcover
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes KönigreichPhatpocket Limited
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 54,53
EUR 12,38 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Verlag: Masson, Paris, 1984
- Softcover
- Signiert
Anbieter: Attic Books (ABAC, ILAB), London, ON, KanadaAttic Books (ABAC, ILAB)
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 31,00
EUR 12,90 VersandVersand von Kanada nach USAAnzahl: 1 verfügbar
Softcover. Zustand: Near fine. études et recherches en informatique. 132 p. 24 cm. Signed by both authors on first leaf. Also former owner's signature. French text.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,87
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,87
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 63,62
EUR 11,63 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. reprint edition. 280 pages. German language. 7.99x5.00x0.70 inches. In Stock.
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 69,80
EUR 9,03 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New. 1979. Paperback. . . . . . Books ship from the US and Ireland.
Sprache: Englisch
Verlag: Cambridge University Press, 2009
Serie: Buch 128 von 188 - Encyclopedia of Mathematics and its Applications
- Hardcover
- Erstausgabe
Anbieter: Prior Books Ltd, Cheltenham, Vereinigtes KönigreichPrior Books Ltd
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 56,32
EUR 25,60 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Like New. Zustand des Schutzumschlags: Very Good. First Edition. A firm and square hardback with sharp corners and strong joints, complete with original dustjacket, just slightly edge-worn. Hence a non-text page has a 'damaged' stamp. Despite such this book is actually in nearly new condition. Thus the conten…ts are crisp, fresh and tight; no pen-marks Now offered for sale at a very sensible price.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,34
EUR 30,50 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Rules represent a simplified means of programming, congruent with our understanding of human brain constructs. With the advent of business rules management systems, it has been possible to introduce rule-based programming to nonprogrammers, allowing…them to map expert intent into code in applications such as fraud detection, financial transactions, healthcare, retail, and marketing. However, a remaining concern is the quality, safety, and reliability of the resulting programs. This book is on business rules programs, that is, rule programs as handled in business rules management systems. Its conceptual contribution is to present the foundation for treating business rules as a topic of scientific investigation in semantics and program verification, while its technical contribution is to present an approach to the formal verification of business rules programs. The author proposes a method for proving correctness properties for a business rules program in a compositional way, meaning that the proof of a correctness property for a program is built up from correctness properties for the individual rules-thus bridging a gap between the intuitive understanding of rules and the formal semantics of rule programs. With this approach the author enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules programs. This work will be of interest to practitioners and researchers in the areas of program verification, enterprise computing, database management, and artificial intelligence.
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 79,95
EUR 14,54 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 236 pages. 9.25x6.25x0.75 inches. In Stock.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,97
EUR 30,50 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Rules represent a simplified means of programming, congruent with our understanding of human brain constructs. With the advent of business rules management systems, it has been possible to introduce rule-based programming to nonprogrammers, allowing them to… map expert intent into code in applications such as fraud detection, financial transactions, healthcare, retail, and marketing. However, a remaining concern is the quality, safety, and reliability of the resulting programs. This book is on business rules programs, that is, rule programs as handled in business rules management systems. Its conceptual contribution is to present the foundation for treating business rules as a topic of scientific investigation in semantics and program verification, while its technical contribution is to present an approach to the formal verification of business rules programs. The author proposes a method for proving correctness properties for a business rules program in a compositional way, meaning that the proof of a correctness property for a program is built up from correctness properties for the individual rules-thus bridging a gap between the intuitive understanding of rules and the formal semantics of rule programs. With this approach the author enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules programs. This work will be of interest to practitioners and researchers in the areas of program verification, enterprise computing, database management, and artificial intelligence.
Verlag: Teubner Studienbücher 1979, 1979
- Softcover
Anbieter: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, DeutschlandAndere Welten Medienvertriebs GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 2 SternenZustand: Gebraucht
EUR 40,00
EUR 15,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbTb. Nr 38 Sehr gut erhalten.
Sprache: Englisch
Verlag: Vieweg+Teubner Verlag, Vieweg+Teubner Verlag, 1979
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 44,99
EUR 61,54 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a theory of formal languages with main emphasis on rational transductions and their use for the classification of context-free lan guages. The Ievel of presentation corresponds to that of beginning graduate or advanced undergraduat…e work. Prerequisites for this book are covered by a 'standard' first-semester coursein formallanguages and automata theory: e.g. a knowledge of Chapters 1-3 of Ginsburg [1966], or Chapters 3-4 of Hopcroft and Ullman [1971], or Chapter 2 of Salomaa [1973], or Chap ters 2 and 4 of Becker and Walter [1977] would suffice. The book is self-contained in the sense that complete proofs are given for all theorems stated, except for some basic results explicitly summarized at the beginning of the text. Chapter IV and Chapters V-VIII are independent from each other. The subject matter is divided into two preliminary and six main chapters. The initial two chapters contain a general survey of the 'classical' theory of regular and context-free languages with a detailed description of several special languages. Chapter III deals with the general theory of rational transductions, treated in an algebraic fashion along the lines of Eilenberg, and which will be used systematically in subsequent chapters. Chapter N is concerned with the important special case of rational functions, and gives a full treatment of the latest developments, including subsequential transductions, unambiguous trans ducers and decision problems.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 77,98
EUR 34,90 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. reprint edition. 256 pages. 9.30x6.20x0.61 inches. In Stock.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,45
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Verification of Business Rules Programs | Bruno Berstel-Da Silva | Taschenbuch | xvii | Englisch | 2016 | Springer | EAN 9783662514078 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Combinatorics on Words Christoffel Words and Repetitions in Words
Berstel, Jean/ Lauve, Aaron/ Reutenauer, Christophe/ Saliola, Franco V.
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 119,08
EUR 11,63 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 147 pages. 10.20x7.20x0.40 inches. In Stock.
- Hardcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 24,67
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Combinatorics on Words (CRM Monograph)
Jean Berstel, Aaron Lauve, Christophe Reutenauer, and Franco V. Saliola
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 130,17
EUR 9,03 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New. Presents an exposition of the theory of Christoffel words. This book presents numerous combinatorial and algorithmic aspects of repetition-free words stemming from the work of Axel Thue - a pioneer in the theory of combinatorics on words. Series: CRM Monograph Series. Num Pages: 147 pages, Illustrations. BIC Classi…fication: PBV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. . . 2008. Hardcover. . . . . Books ship from the US and Ireland.
Sprache: Englisch
Verlag: Cambridge University Press, 2009
Serie: Buch 128 von 188 - Encyclopedia of Mathematics and its Applications
- Hardcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 148,93
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: 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.
- Hardcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 40,48
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher | Rules represent a simplified means of programming, congruent with our understanding of human brain constructs. With the advent of business rules management systems, it has been possible to introduce rule-based programming to nonprogramm…ers, allowing them to map expert intent into code in applications such as fraud detection, financial transactions, healthcare, retail, and marketing. However, a remaining concern is the quality, safety, and reliability of the resulting programs. This book is on business rules programs, that is, rule programs as handled in business rules management systems. Its conceptual contribution is to present the foundation for treating business rules as a topic of scientific investigation in semantics and program verification, while its technical contribution is to present an approach to the formal verification of business rules programs. The author proposes a method for proving correctness properties for a business rules program in a compositional way, meaning that the proof of a correctness property for a program is built up from correctness properties for the individual rules¿thus bridging a gap between the intuitive understanding of rules and the formal semantics of rule programs. With this approach the author enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules programs. This work will be of interest to practitioners and researchers in the areas of program verification, enterprise computing, database management, and artificial intelligence.
- Hardcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 40,48
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher | Rules represent a simplified means of programming, congruent with our understanding of human brain constructs. With the advent of business rules management systems, it has been possible to introduce rule-based programming to nonprogramm…ers, allowing them to map expert intent into code in applications such as fraud detection, financial transactions, healthcare, retail, and marketing. However, a remaining concern is the quality, safety, and reliability of the resulting programs. This book is on business rules programs, that is, rule programs as handled in business rules management systems. Its conceptual contribution is to present the foundation for treating business rules as a topic of scientific investigation in semantics and program verification, while its technical contribution is to present an approach to the formal verification of business rules programs. The author proposes a method for proving correctness properties for a business rules program in a compositional way, meaning that the proof of a correctness property for a program is built up from correctness properties for the individual rules¿thus bridging a gap between the intuitive understanding of rules and the formal semantics of rule programs. With this approach the author enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules programs. This work will be of interest to practitioners and researchers in the areas of program verification, enterprise computing, database management, and artificial intelligence.
Sprache: Englisch
Verlag: Cambridge University Press, 2010
Serie: Buch 136 von 188 - Encyclopedia of Mathematics and its Applications
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 154,14
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Combinatorics on Words: Christoffel Words and Repetitions in Words
Jean Berstel; Aaron Lauve; Christophe Reutenauer; And Franco V. Saliola
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 155,99
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Zustand: New. In English.
Sprache: Englisch
Verlag: Cambridge University Press, 2009
Serie: Buch 128 von 188 - Encyclopedia of Mathematics and its Applications
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 171,00
EUR 7,56 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New. pp. xiii + 619 Illus.
