22 Results for : monadic
-
Decidable Theories
Decidable Theories ab 24.49 € als pdf eBook: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic. Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik,- Shop: hugendubel
- Price: 24.49 EUR excl. shipping
-
Programming in Haskell
"Haskell is a purely functional language that allows programmers to rapidly develop clear, concise, and correct software. The language has grown in popularity in recent years, both in teaching and in industry. This book is based on the author's experience of teaching Haskell for more than twenty years. All concepts are explained from first principles and no programming experience is required, making this book accessible to a broad spectrum of readers. While Part I focuses on basic concepts, Part II introduces the reader to more advanced topics. This new edition has been extensively updated and expanded to include recent and more advanced features of Haskell, new examples and exercises, selected solutions, and freely downloadable lecture slides and example code. The presentation is clean and simple, while also being fully compliant with the latest version of the language, including recent changes concerning applicative, monadic, foldable, and traversable types"--- Shop: buecher
- Price: 30.99 EUR excl. shipping
-
Formal Models of Communicating Systems
Formal Models of Communicating Systems ab 82.49 € als pdf eBook: Languages Automata and Monadic Second-Order Logic. Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik,- Shop: hugendubel
- Price: 82.49 EUR excl. shipping
-
Decidable Theories
Decidable Theories ab 39.49 € als pdf eBook: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals. Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik,- Shop: hugendubel
- Price: 39.49 EUR excl. shipping
-
Decidable Theories
Decidable Theories ab 27.49 € als Taschenbuch: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic. Auflage 1970. Aus dem Bereich: Bücher, Taschenbücher, Naturwissenschaft,- Shop: hugendubel
- Price: 27.49 EUR excl. shipping
-
Decidable Theories
Decidable Theories ab 42.99 € als Taschenbuch: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals. Auflage 1973. Aus dem Bereich: Bücher, Taschenbücher, Naturwissenschaft,- Shop: hugendubel
- Price: 42.99 EUR excl. shipping
-
Formal Models of Communicating Systems
Formal Models of Communicating Systems ab 82.49 € als Taschenbuch: Languages Automata and Monadic Second-Order Logic. Softcover reprint of hardcover 1st ed. 2006. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,- Shop: hugendubel
- Price: 82.49 EUR excl. shipping
-
ROCHE LIMIT TP VOL 3: MONADIC
ROCHE LIMIT TP VOL 3: MONADIC: ab 10.49 €- Shop: ebook.de
- Price: 10.49 EUR excl. shipping
-
Formal Models of Communicating Systems
Formal Models of Communicating Systems - Languages Automata and Monadic Second-Order Logic: ab 82.49 €- Shop: ebook.de
- Price: 82.49 EUR excl. shipping
-
Decidable Theories
Decidable Theories - Vol. 2: The Monadic Second Order Theory of All Countable Ordinals: ab 39.49 €- Shop: ebook.de
- Price: 39.49 EUR excl. shipping