| | | | | |
| Bild | | | | Bestellen |
|
|
92% |
|
International Symposium on Theoretical Programming (1 Angebot) An axiomatic definition of the programming language PASCAL.- The logic of "can do".- Copying in commutation -- Operator schemata.- On synthesizing programs given by examples.- Central technical iss... |
Springer Verlag 9783540067207 |
€ 34,99* pro Stück |
|
92% |
|
Component-Based Software Engineering (1 Angebot) On behalf of the Organizing Committee I am pleased to present the proceedings of the 2005 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of softwar... |
Springer Verlag 9783540258773 |
€ 49,99* pro Stück |
|
92% |
|
|
Springer Verlag 9783540691747 |
€ 49,99* pro Stück |
|
92% |
|
Job Scheduling Strategies for Parallel Processing (1 Angebot) This volume contains the papers presented at the 10th Anniversary Workshop on Job Scheduling Strategies for Parallel Processing. The workshop was held in New York City, on June 13, 2004, at Columbi... |
Springer Verlag 9783540253303 |
€ 49,99* pro Stück |
|
92% |
|
Computational Logic (1 Angebot) Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory an... |
Springer Verlag 9783540645894 |
€ 149,99* pro Stück |
|
92% |
|
|
Springer Verlag 9783540280095 |
€ 49,99* pro Stück |
|
92% |
|
Languages and Compilers for Parallel Computing (1 Angebot) The 15th Workshop on Languages and Compilers for Parallel Computing was held in July 2002 at the University of Maryland, College Park. It was jointly sponsored by the Department of Computer Science... |
Springer Verlag 9783540307815 |
€ 49,99* pro Stück |
|
92% |
|
Euro-Par 2017: Parallel Processing (1 Angebot) This book constitutes the proceedings of the 23rd International Conference on Parallel and Distributed Computing, Euro-Par 2017, held in Santiago de Compostela, Spain, in August/September 2017. The... |
Springer Verlag 9783319642024 |
€ 49,99* pro Stück |
|
92% |
|
Languages and Compilers for Parallel Computing (1 Angebot) In 2008 the Workshop on Languages and Compilers for Parallel Computing left the USA to celebrate its 21st anninversary in Edmonton, Alberta, Canada. Following its long-established tradition, the wo... |
Springer Verlag 9783540897392 |
€ 49,99* pro Stück |
|
92% |
|
Logic Based Program Synthesis and Transformation (1 Angebot) Invited Speaker.- Static Analysis for Safe Destructive Updates in a Functional Language.- Program Transformation and Equivalence.- A Transformation Technique for Datalog Programs Based on Non-deter... |
Springer Verlag 9783540439158 |
€ 49,99* pro Stück |
|
92% |
|
Experimental Algorithms (1 Angebot) The Workshop on Experimental Algorithms, WEA, is intended to be an int- national forum for research on the experimental evaluation and engineering of algorithms, as well as in various aspects of co... |
Springer Verlag 9783540685487 |
€ 49,99* pro Stück |
|
92% |
|
Logic Based Program Synthesis and Transformation (1 Angebot) Verification and Analysis.- Searching Semantically Equivalent Code Fragments in Logic Programs.- Determinacy Analysis for Logic Programs Using Mode and Type Information.- Mechanical Verification of... |
Springer Verlag 9783540266556 |
€ 49,99* pro Stück |
|
92% |
|
OpenMP Shared Memory Parallel Programming (1 Angebot) This book constitutes the thoroughly refereed post-workshop proceedings of the First and the Second International Workshop on OpenMP, IWOMP 2005 and IWOMP 2006, held in Eugene, OR, USA, and in Reim... |
Springer Verlag 9783540685548 |
€ 49,99* pro Stück |
|
92% |
|
|
Springer Verlag 9783540440246 |
€ 49,99* pro Stück |
|
92% |
|
Logic Based Program Synthesis and Transformation (1 Angebot) Synthesis.- A Formal Framework for Synthesis and Verification of Logic Programs.- Protocols between Programs and Proofs.- Protocols between Programs and Proofs.- A Technique for Modular Logic Progr... |
Springer Verlag 9783540421276 |
€ 49,99* pro Stück |
|
|