Alberto Pettorossi – författare
Visar alla böcker från författaren Alberto Pettorossi. Handla med fri frakt och snabb leverans.
11 produkter
Automatic Program Development
A Tribute to Robert Paige
Av Olivier Danvy, Fritz Henglein m. fl.
Inbunden, 2008
1126 kr
Lägg i varukorg
“Automatic Program Development” is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his …
Automatic Program Development
A Tribute to Robert Paige
Av Alberto Pettorossi, Harry Mairson m. fl.
E-bok, 2008
1502 kr
Lägg i varukorg
“Automatic Program Development” is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his …
Techniques for Searching, Parsing, and Matching
Inbunden, 2022
1014 kr
Lägg i varukorg
In this book the author presents some techniques for exploring trees and graphs. He illustrates the linear search technique and the backtracking technique, and as instances of tree exploration methods he presents various algorithms for parsing subclasses of context-free languages. He also …
Techniques for Searching, Parsing, and Matching
E-bok, 2022
923 kr
Lägg i varukorg
In this book the author presents some techniques for exploring trees and graphs. He illustrates the linear search technique and the backtracking technique, and as instances of tree exploration methods he presents various algorithms for parsing subclasses of context-free languages. He also …
Techniques for Searching, Parsing, and Matching
Häftad, 2023
734 kr
Lägg i varukorg
In this book the author presents some techniques for exploring trees and graphs. He illustrates the linear search technique and the backtracking technique, and as instances of tree exploration methods he presents various algorithms for parsing subclasses of context-free languages. He also …
Automata Theory and Formal Languages
Fundamental Notions, Theorems, and Techniques
Häftad, 2022
659 kr
Lägg i varukorg
Knowledge of automata theory and formal languages is crucial for understanding human-computer interaction, as well as for understanding the various processes that take place when manipulating knowledge if that knowledge is, indeed, expressed as sentences written in a suitably formalized language. …
Automata Theory and Formal Languages
Fundamental Notions, Theorems, and Techniques
E-bok, 2022
897 kr
Lägg i varukorg
Knowledge of automata theory and formal languages is crucial for understanding human-computer interaction, as well as for understanding the various processes that take place when manipulating knowledge if that knowledge is, indeed, expressed as sentences written in a suitably formalized language. …
Logic Based Program Synthesis and Transformation
11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
Häftad, 2002
566 kr
Lägg i varukorg
ThisvolumecontainsthepapersfromLOPSTR2001,the11thInternational WorkshoponLogic-basedProgramSynthesisandTransformation. Topicsof- teresttoLOPSTRcoverallaspectsoflogic-basedprogramdevelopmentand,in particular, speci?cation, synthesis, veri?cation, transformation, specialization, …
Logic Based Program Synthesis and Transformation
11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
E-bok, 2003
755 kr
Lägg i varukorg
Meta-Programming in Logic
Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings
Häftad, 1992
550 kr
Lägg i varukorg
This volume contains lectures and papers delivered at Meta92, the Third International Workshop on Metaprogramming inLogic, held in Uppsala, Sweden,June 1992. The topicscovered include foundations of metaprogramming in logic,proposals for metaprogramming languages, techniques …
Automatic Program Development
A Tribute to Robert Paige
Av Olivier Danvy, Fritz Henglein m. fl.
Häftad, 2010
1126 kr
Lägg i varukorg
“Automatic Program Development” is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his …
