Sinossi
In early 1986, one of us (D.M.S.) was constructing an artificial intelligence system to design algorithms, and the other (A.P.A.) was getting started in program transformations research.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
1 Introduction.- 2 Insertion Sort.- 2.1. Green and Barstow.- 2.2. Broy.- 2.3. Smith.- 2.4. Clark and Darlington.- 2.5. Composite.- 3 Quicksort.- 3.1. Green and Barstow.- 3.2. Broy.- 3.3. Smith.- 3.4. Clark and Darlington.- 3.5. Composite.- 4 Cartesian Set Product.- 4.1. Manna and Waldinger.- 4.2. Smith.- 4.3. Composite.- 5 Depth-First Search.- 5.1. Broy and Pepper.- 5.2. Reif and Scherlis.- 5.3. Gerhart.- 5.4. Barstow.- 5.5. Composite.- 6 Schorr-Waite Graph Marking.- 6.1. Broy and Pepper.- 6.2. Gerhart.- 6.3. Griffiths.- 6.4. Composite.- 7 N-Queens.- 7.1. Balzer.- 7.2. Smith.- 7.3. Wirth.- 7.4. Composite.- 8 Convex Hull.- 8.1. Smith.- 8.2. Kant and Newell.- 8.3. Composite.- 9 Design Space: The Final Frontier.- 9.1. Goals.- 9.2. Languages.- 9.3. Derivation Structure.- 9.4. Implementations.- 9.5. Presentation Styles.- References.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Algorithm Synthesis: A Comparative Study
Foto dell'editore
Algorithm Synthesis: A Comparative Study
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
paperback. Condizione: Good. Ex-library copy with stamps and stickers. The pages are lightly tanned. The copy shows minor external wear, but is in otherwise clean condition. Codice articolo mon0004046036
Compra usato
EUR 76,46
Spedizione EUR 4,30
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Algorithm Synthesis: A Comparative Study
Editore:
Springer New York Okt 1989, 1989
ISBN 10: 0387969608
ISBN 13: 9780387969602
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In early 1986, one of us (D.M.S.) was constructing an artificial intelligence system to design algorithms, and the other (A.P.A.) was getting started in program transformations research. We shared an office, and exchanged a few papers on the systematic development of algorithms from specifications. Gradually we realized that we were trying to solve some of the same problems. And so, despite radical differences between ourselves in research approaches, we set out together to see what we could learn from these papers. That's how this book started: a couple of graduate students trying to cope with The Literature. At first, there was just a list of papers. One of us (D.M.S.) tried to cast the papers in a uniform framework by describing the problem spaces searched, an approach used in artificial intelligence for understanding many tasks. The generalized problem space descriptions, though useful, seemed to abstract too much, so we decided to compare papers by different authors dealing with the same algorithm. These comparisons proved crucial: for then we began to see similar key design choices for each algorithm. 132 pp. Englisch. Codice articolo 9780387969602
Compra nuovo
EUR 96,29
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Algorithm Synthesis: A Comparative Study
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780387969602_new
Compra nuovo
EUR 111,78
Spedizione EUR 13,73
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Algorithm Synthesis
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 132. Codice articolo 263876771
Compra nuovo
EUR 132,34
Spedizione EUR 3,44
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Algorithm Synthesis: A Comparative Study
Editore:
Springer New York, 1989
ISBN 10: 0387969608
ISBN 13: 9780387969602
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. In early 1986, one of us (D.M.S.) was constructing an artificial intelligence system to design algorithms, and the other (A.P.A.) was getting started in program transformations research. We shared an office, and exchanged a few papers on the systematic deve. Codice articolo 5912875
Compra nuovo
EUR 92,27
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Algorithm Synthesis
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 132 Illus. Codice articolo 5019772
Compra nuovo
EUR 134,67
Spedizione EUR 7,45
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Algorithm Synthesis
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 132. Codice articolo 183876777
Compra nuovo
EUR 136,95
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Algorithm Synthesis: A Comparative Study
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 127 pages. 9.02x5.98x0.30 inches. In Stock. Codice articolo x-0387969608
Compra nuovo
EUR 149,30
Spedizione EUR 11,46
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Algorithm Synthesis: A Comparative Study
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Algorithm Synthesis: A Comparative Study | A. Penny Anderson (u. a.) | Taschenbuch | ix | Englisch | 1989 | Springer US | EAN 9780387969602 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 106642395
Compra nuovo
EUR 95,70
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Immagini fornite dal venditore
Algorithm Synthesis: A Comparative Study
Editore:
Springer New York, Springer US Okt 1989, 1989
ISBN 10: 0387969608
ISBN 13: 9780387969602
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In early 1986, one of us (D.M.S.) was constructing an artificial intelligence system to design algorithms, and the other (A.P.A.) was getting started in program transformations research. We shared an office, and exchanged a few papers on the systematic development of algorithms from specifications. Gradually we realized that we were trying to solve some of the same problems. And so, despite radical differences between ourselves in research approaches, we set out together to see what we could learn from these papers. That's how this book started: a couple of graduate students trying to cope with The Literature. At first, there was just a list of papers. One of us (D.M.S.) tried to cast the papers in a uniform framework by describing the problem spaces searched, an approach used in artificial intelligence for understanding many tasks. The generalized problem space descriptions, though useful, seemed to abstract too much, so we decided to compare papers by different authors dealing with the same algorithm. These comparisons proved crucial: for then we began to see similar key design choices for each algorithm.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Englisch. Codice articolo 9780387969602
Compra nuovo
EUR 106,99
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili