Informatik und EDV

NEU

Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. The series of Static...

53,49 € *

NEU

Structural, Syntactic, and Statistical Pattern...

This volume in the Springer Lecture Notes in Computer Science (LNCS) series contains the papers presented at the S+SSPR 2010 Workshops, which was the seventh occasion that SPR and SSPR workshops have been held jointly. S+SSPR 2010 was...

106,99 € *

NEU

Structures in Logic and Computer Science

This book is dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday. On personal invitation by the volume editors, 22 internationally well-known scientists from mathematical logics and theoretical computer science...

53,49 € *

Studienführer IT an Fachhochschulen

Dieses Buch knüpft an den Erfolg des seit längerem vergriffenen Standardwerkes an, das 1995 unter dem Titel "Studien- und Forschungsführer: Informatik, Technische Informatik, Wirtschaftsinformatik" von Prof. Rainer Bischoff herausgegeben...

49,95 € *

NEU

Symbolic and Algebraic Computation

The ISSAC'88 is the thirteenth conference in a sequence of international events started in 1966 thanks to the then established ACM Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM). For the first time the two annual...

53,49 € *

NEU

System-Level Synthesis

System-Level Synthesis deals with the concurrent design of electronic applications, including both hardware and software. The issue has become the bottleneck in the design of electronic systems, including both hardware and software, in...

106,99 € *

NEU

Systems, Software and Services Process Improvement

This volume constitutes the refereed proceedings of the 19th EuroSPI conference, held in Vienna, Austria, in June 2012.The 29 revised papers presented in this volume were carefully reviewed and selected. They are organized in topical...

53,49 € *

Switched and Impulsive Systems

In this volume the important concept of switched and impulsive control is discussed, with a wide field of applications in the analysis and control of complex systems. This monograph provides the reader with a comprehensive coverage of...

106,99 € *

NEU

Computational Aspects of an Order-Sorted Logic...

Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.

37,44 € *

Entzifferte Geheimnisse

Die Kryptologie, eine jahrtausendealte "Geheimwissenschaft", gewinnt zusehends praktische Bedeutung in Verbindung mit dem Schutz von Kommunikationswegen, Datenbanken und Software. Neben ihre Nutzung in rechnergestützten öffentlichen...

54,99 € *

Entzifferte Geheimnisse

Die Kryptologie, eine jahrtausendealte "Geheimwissenschaft", gewinnt zusehends praktische Bedeutung in Verbindung mit dem Schutz von Kommunikationswegen, Datenbanken und Software. Neben ihrer Nutzung in rechnergestützten öffentlichen...

44,99 € *

NEU

Informatik. Tl.2

Fiir den hiennit vorgelegten zweiten Teil und den Anhang "Methodik des Programmie rens" gilt das bereits im Vorwort zum ersten Teil Gesagte. Herrn Dr. H. WOSSNER, der sich weit iiber Beratung hinaus an der Erarbeitung von Aufgaben und...

54,99 € *