Jahnichen stefan (58 risultati)

Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

BN. Condizione: Gut. 449 S. exBibliotheksexemplar mit den üblichen Stempeln/Signaturen, Kanten etwas berieben / bestossen, etwas angegrauter Einband, papierbedingte Seitenbräunung /// Standort Wimregal ISS-09220 ISBN 3540605894 WITHIN THE EU: shipping only to GERMANY and AUSTRIA due to the new EPR regulations. Sprache: Englisch Gewicht in Gramm: 638.…

Paperback. Condizione: Wie neu. X, 299 S.; Ill. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 560.

Condizione: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Broschiert. Condizione: Gut. 449 Seiten Der Buchzustand ist ordentlich erhalten und kann altersbedingte Gebrauchsspuren aufweisen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 635.

Broschiert. Condizione: Gut. VIII, 300 S. : graph. Darst. ; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Der Schnitt ist etwas fleckig. Sprache: Deutsch Gewicht in Gramm: 470. …

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Condizione: New.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Kartoniert / Broschiert. Condizione: New.

Taschenbuch. Condizione: Neu. Neuware - ETAPS'99 is the second instance of the EuropeanJoint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.…

Condizione: Gut. Zustand: Gut | Seiten: 468 | Sprache: Englisch | Produktart: Bücher | 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. …

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Condizione: Gut. 1978. 312 Seiten Alle Bücher & Medienartikel von Book Broker sind stets in gutem & sehr gutem gebrauchsfähigen Zustand. Dieser Artikel weist folgende Merkmale auf: Altersentsprechend nachgedunkelte/saubere Seiten in fester Bindung. Mit Widmung. Einband leicht belesen/bestoßen. Sprache: Deutsch Gewicht in Gramm: 458 Taschenbuch, Größe: 16 x 1.8 x 22.8 cm. …

Condizione: As New. Unread book in perfect condition.

Taschenbuch. Condizione: Neu. Advanced Parallel Processing Technologies | 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings | Xingming Zhou (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540200543 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers presented at the 5th International Workshop on Advanced Parallel Processing Technologies, APPT 2003. This series of workshops is designed to strengthen the cooperation between the German and Chinese institutions active in the area of these technologies. It has continued to grow, providing an excellent forum for reporting advances in parallel processing technologies. The 5th workshop itself addressed the entire gamut of related topics, ranging from the architectural aspects of parallel computer hardware and system software to the applied technologies for novel applications. For this workshop, we received over 191 full submissions from researchers all over the world. All the papers were peer-reviewed in depth and qualitatively graded on their relevance, originality, signi cance, presentation, and the overall appropriateness for their acceptance. Any concerns raised were discussed in the program committee. The organizing committee did an excellent job in selecting 78 papers (Among them, 21 were short ones) for presentation. In short, the papers included here represent the forefront of research from China, Germany, and the other countries.…

Softcover. Condizione: Gut. VIII, 301 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03373 3528033312 Sprache: Deutsch Gewicht in Gramm: 550.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: As New. Unread book in perfect condition.

Condizione: New. Prof. Dr. Peter Wick ist Inhaber des Lehrstuhls fuer Exegese und Theologie des Neuen Testaments an der Ruhr-Universitaet Bochum, Dipl. theol. Malte Cramer ist dort Mitarbeiter.Die Frage nach einer angemessenen Hermeneutik der biblischen Schriften ist in d.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Dieses Buch entstand aus Skripten, die zur Lehrveranstaltung OBERSETZERBAU im Fachbereich Infonnatik der Technischen Universitat Berlin angefertigt wurden. Die Lehrveranstaltung wird seit 1972 durchgeflihrt und wurde als ein Beitrag zur Neuordnung des Informatik Studiums (NORIS) konzipiert. Sie basiert auf dem im Rahmen dieses Konzeptes entwickelten Grundstudium Infonnatik und ist fur Studenten im Hauptstudium gedacht, die Interesse an Programmiersprachen und ihren Obersetzern haben. Der Konzeption der Lehrveranstaltung OBERSETZERBAU liegt das Ziel zugrunde, die wesentlichen Methoden des Obersetzerbaus projektbezogen zu vennitteln. Deshalb wird der grOOte Teil der Lehrveranstaltung dazu benutzt, einen Obersetzer fUr eine kleine Sprache zu implementieren. Auf diese Weise werden nicht nur die Konzepte am wirkungsvollsten vennittelt, sondern die Teilnehmer sammeln auch praktische Erfahrungen an einem grooeren Softwareprodukt, die ihnen fUr die spatere Berufspraxis sehr nUtzlich sind. Wir danken allen, die im Rahmen von NORIS am Aufbau des Studienganges Infor matik mitgearbeitet haben. Insbesondere danken wir auch denen, die in den ver gangenen Jahren aktiv an der Gestaltung der Lehrveranstaltung mitgewirkt haben, aber auch den Studenten, die teilgenommen haben und durch ihre Kritik die Weiterentwicklung der Lehrveranstaltung unterstUtzt haben. Vor allern aber mochten wir Frau Gabriele Ambach danken, die das Manuskript sehr sorgfaItig angefertigt hat und trotz zahlreicher Xnderungen alle Arbeiten mit viel Geduld erledigt hat.…