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
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
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
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
Beispielbild für diese ISBNMeta-Programming and Model-Driven Meta-Program Development - Principles, Processes and Techniques
von Vytautas ¿Tuikys, Robertas Dama¿evi¿ius Verlag: Springer
2012 Gebunden, 344 Seiten, 241mm x 160mm x 24mm, Sprache(n): eng Focuses on the meta-program development processes in the context of model-driven, feature-based and transformation approachesProvides an insight into the technology to build domain program generatorsContains original research resul…
Beispielbild für diese ISBNAutomatic Program Development - A Tribute to Robert Paige
Verlag: Springer
2010 Kartoniert, 288 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. Among them there are two key papers: a retr…
Beispielbild für diese ISBNReversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 202…
Verlag: Springer
2023 Kartoniert, 260 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng
Beispielbild für diese ISBNFunctional and Logic Programming - 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, Nove…
Verlag: Springer
1999 Kartoniert, 388 Seiten, 235mm x 155mm x 21mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
Beispielbild für diese ISBNCompiler Construction - 14th International Conference, CC 2005, Held as Part of the Joint European…
Verlag: Springer
2005 Kartoniert, 324 Seiten, 235mm x 155mm x 21mm, Sprache(n): eng Also available online
Beispielbild für diese ISBNProgramming Language Implementation and Logic Programming - 6th International Symposium, PLILP '94…
Verlag: Springer
1994 Kartoniert, 488 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng









