Condizione: New.
Condizione: New.
Condizione: New.
Condizione: As New. Unread book in perfect condition.
Da: Majestic Books, Hounslow, Regno Unito
EUR 35,45
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
Condizione: New.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 36,20
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condizione: 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.
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Da: Best Price, Torrance, CA, U.S.A.
Condizione: New. SUPER FAST SHIPPING.
Condizione: New. pp. 206.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 40,73
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 36,94
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 37,76
Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 42,49
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Editore: Packt Publishing 2015-06-29, 2015
ISBN 10: 1783558474 ISBN 13: 9781783558476
Lingua: Inglese
Da: Chiron Media, Wallingford, Regno Unito
EUR 38,82
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: Chiron Media, Wallingford, Regno Unito
EUR 41,09
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 42,44
Quantità: 2 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Condizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 47,02
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 44,99
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Da: Best Price, Torrance, CA, U.S.A.
Condizione: New. SUPER FAST SHIPPING.
Paperback. Condizione: 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.
Editore: Springer-Verlag New York Inc, 2019
ISBN 10: 3030125602 ISBN 13: 9783030125608
Lingua: Inglese
Da: Revaluation Books, Exeter, Regno Unito
EUR 63,82
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 154 pages. 9.25x6.00x0.50 inches. In Stock.
EUR 80,00
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: 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.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 75,92
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new.
Editore: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030125602 ISBN 13: 9783030125608
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 42,79
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
EUR 78,51
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
EUR 55,44
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 100,16
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new.