Stefan Jähnichen - Böcker
Visar alla böcker från författaren Stefan Jähnichen. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
Methodisches Programmieren
Entwicklung von Algorithmen durch schrittweise Verfeinerung
Inbunden, Tyska, 1983
1 566 kr
Skickas inom 7-10 vardagar
Keine ausführliche Beschreibung für "Methodisches Programmieren" verfügbar.
555 kr
Skickas inom 10-15 vardagar
Advanced Parallel Processing Technologies
5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings
Häftad, Engelska, 2003
1 105 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 5th International Workshop on Advanced Parallel Processing Technologies, APPT 2003, held in Xiamen, China in September 2003.The 57 revised full papers and 21 revised short papers presented were carefully reviewed and selected from 191 full paper submissions. All current aspects in parallel and distributed computing are addressed ranging from hardware and software issues to algorithmic aspects and advanced applications. The papers are organized in topical sections on architecture, software and theory, grid and network, and applied technologies.
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Final Report
Häftad, Engelska, 1995
556 kr
Skickas inom 10-15 vardagar
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance.The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.
556 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 8th International Conference on Compiler Construction, CC'99, held in Amsterdam, The Netherlands in March 1999 as part of ETAPS'99. The 22 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings. The book is divided in sections on compiler generation, interprocedural analysis, code optimization, parallelization techniques, compiler systems, program transformation, cache specific optimziation, and tool demonstrations.