Zustand: New.
Zustand: New.
Zustand: As New. Unread book in perfect condition.
EUR 38,55
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 35,27
Anzahl: 1 verfügbar
In den WarenkorbZustand: New.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 43,66
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
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.
Anbieter: SMASS Sellers, IRVING, TX, USA
Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Anbieter: Best Price, Torrance, CA, USA
Zustand: New. SUPER FAST SHIPPING.
Zustand: New. pp. 206.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 40,72
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 36,93
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 37,75
Anzahl: 2 verfügbar
In den WarenkorbZustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 42,48
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Packt Publishing 2015-06-29, 2015
ISBN 10: 1783558474 ISBN 13: 9781783558476
Sprache: Englisch
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 38,81
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 41,08
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 42,57
Anzahl: 2 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Zustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 47,01
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 44,98
Anzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Anbieter: Best Price, Torrance, CA, USA
Zustand: New. SUPER FAST SHIPPING.
EUR 69,11
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New. This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph algorithms, string search, Huffman's algorithm for generating optimal codes and alpha-beta pruning of game trees. The book covers both correctness (does the algorithm do what it is supposed to do?) and running time analysis (does the algorithm terminate within a specified number of steps?). It does so in a unified manner with inductive proofs about functional programs and their running time functions. What sets this book apart from existing books on algorithms is that all proofs have been machine-checked, by the proof assistant Isabelle. That is, in addition to the text in the book, which requires no knowledge of proof assistants!, the Isabelle definitions and proofs are available online. The structured nature of Isabelle proofs permits even novices to follow the high-level arguments. This book is aimed at teachers and students (it has been classroom-tested for a number of years) but is also a reference work for programmers and researchers who are interested in the (verified!) details of some algorithm or proof.
Verlag: Springer-Verlag New York Inc, 2019
ISBN 10: 3030125602 ISBN 13: 9783030125608
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 63,81
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 154 pages. 9.25x6.00x0.50 inches. In Stock.
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
EUR 79,49
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New. This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph algorithms, string search, Huffman's algorithm for generating optimal codes and alpha-beta pruning of game trees. The book covers both correctness (does the algorithm do what it is supposed to do?) and running time analysis (does the algorithm terminate within a specified number of steps?). It does so in a unified manner with inductive proofs about functional programs and their running time functions. What sets this book apart from existing books on algorithms is that all proofs have been machine-checked, by the proof assistant Isabelle. That is, in addition to the text in the book, which requires no knowledge of proof assistants!, the Isabelle definitions and proofs are available online. The structured nature of Isabelle proofs permits even novices to follow the high-level arguments. This book is aimed at teachers and students (it has been classroom-tested for a number of years) but is also a reference work for programmers and researchers who are interested in the (verified!) details of some algorithm or proof.
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030125602 ISBN 13: 9783030125608
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This practically-focused textbook presents a concise tutorial on data structures and algorithms using the object-functional language Scala. The material builds upon the foundation established in the titleProgramming with Scala: Language Explorationby the same author, which can be treated as a companion text for those less familiar with Scala.Topics and features: discusses data structures and algorithms in the form of design patterns; covers key topics on arrays, lists, stacks, queues, hash tables, binary trees, sorting, searching, and graphs; describes examples of complete and running applications for each topic; presents a functional approach to implementations for data structures and algorithms (excepting arrays); provides numerous challenge exercises (with solutions), encouraging the reader to take existing solutions and improve upon them; offers insights from the author's extensive industrial experience; includes a glossary, and an appendix supplying an overview of discrete mathematics.Highlighting the techniques and skills necessary to quickly derive solutions to applied problems, this accessible text will prove invaluable to time-pressured students and professional software engineers.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 78,49
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
EUR 55,44
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: moluna, Greven, Deutschland
EUR 57,15
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Verlag: Springer International Publishing, 2019
ISBN 10: 3030125602 ISBN 13: 9783030125608
Sprache: Englisch
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Data Structures and Algorithms with Scala | A Practitioner's Approach with Emphasis on Functional Programming | Bhim P. Upadhyaya | Taschenbuch | xvii | Englisch | 2019 | Springer International Publishing | EAN 9783030125608 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.