Beispielbild für diese ISBNNon-Monotonic Extensions of Logic Programming - ICLP '94 Workshop, Santa Margherita Ligure, Italy,…
Verlag: Springer
1995 Kartoniert, 248 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNComputing in Horn Clause Theories
von Peter Padawitz Verlag: Springer
2011 Kartoniert, 340 Seiten, 244mm x 170mm x 19mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNDeclarative Programming, Sasbachwalden 1991 - PHOENIX Seminar and Workshop on Declarative Programm…
Verlag: Springer
1992 Kartoniert, 336 Seiten, 242mm x 170mm x 19mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNInternational Symposium on Programming - 5th Colloquium, Turin, April 6-8, 1982. Proceedings
Verlag: Springer
1982 Kartoniert, 416 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng
42,62 EUR
Beispielbild für diese ISBNOptimal Interprocedural Program Optimization - A New Framework and Its Application
von Jens Knoop Verlag: Springer
1998 Kartoniert, 316 Seiten, 229mm x 152mm x 18mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNPrinciples of Program Analysis
von Flemming Nielson, Hanne R. Nielson, Chris Hankin Verlag: Springer
2010 Kartoniert, 476 Seiten, 234mm x 156mm x 26mm, Sprache(n): eng The only book providing an introduction to the active area of program analysis for advanced students, researchers, and professionalsTested in various courses: Aarhus, Imperial College (London), Pisa, Saarbrücken, Tel Aviv, Copenh…
68,30 EUR
Beispielbild für diese ISBNPrograms as Data Objects - Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985
Verlag: Springer
1986 Kartoniert, 340 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng
42,62 EUR
Beispielbild für diese ISBNLogic Program Synthesis and Transformation - Proceedings of LOPSTR 93, International Workshop on L…
Verlag: Springer
1994 Kartoniert, 264 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNSolving Higher-Order Equations - From Logic to Programming
von Christian Prehofer Verlag: Birkhäuser
1997 Gebunden, 204 Seiten, 241mm x 160mm x 16mm, Sprache(n): eng
121,78 EUR
Beispielbild für diese ISBNSolving Higher-Order Equations - From Logic to Programming
von Christian Prehofer Verlag: Birkhäuser
2012 Kartoniert, 204 Seiten, 235mm x 155mm x 12mm, Sprache(n): eng