Product Description: In today's extensively wired world, cryptology is vital for guarding communication channels, databases, and software from intruders. Increased processing and communications speed, rapidly broadening access and multiplying storage capacity tend to make systems less secure over time, and security becomes a race against the relentless creativity of the unscrupulous...read more

Product Description: The book examines how intellectual developments in logic and mathematics were gradually matched by technical solutions in first mechanics and then electronics, and how the resulting machines found application in engineering, science and business...read more

Product Description: Die Informatik selbst ist eine junge Wissenschaft, ihre Wurzeln aber reichen weit in die Vergangenheit zurück. Der Autor zeigt dies auf unterhaltsame Weise und gleichzeitig mit mathematischer Strenge anhand zahlreicher Facetten aus der Geschichte der Informatik...read more

Product Description: Die Kryptologie, eine jahrtausendealte "Geheimwissenschaft", gewinnt zusehends praktische Bedeutung für den Schutz von Kommunikationswegen, Datenbanken und Software. Neben ihre Nutzung in rechnergestützten öffentlichen Nachrichtensystemen ("public keys") treten mehr und mehr rechnerinterne Anwendungen, wie Zugriffsberechtigungen und der Quellenschutz von Software...read more

Product Description: In recent years a global computational infrastructure has been established. This and the advent of programming languages like Java supporting mobile distributed computing has posed a great challenge to the computer science community...read more

Product Description: For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic. These new developments in logic are partly based on the use of algorithmic techniques in deduction and proving methods, but are alsodue to new theoretical advances, to a great extent stimulated by computer science, which have led to new types of logic and new logical calculi...read more

Product Description: Informatik. Eine einführende Übersicht hat sich als Standardwerk für das Studium der Informatik bewährt. Der vorliegende zweite Teil steht unter dem Leitgedanken "Strukturen", der das Grundthema "Algorithmen" des ersten Teils ergänzt...read more

Product Description: The Marktoberdorf Summer Schools on Informatics were started in 1970 as Advanced Study Institutes under the sponsorship of NATO. At the schools, groups of top researchers in computing present their most recent results to an elite of advanced students and face their questions, criticism and suggestions...read more

Product Description: XVIII, 393 S. 164 Abb., 16 Tab. u. zahlreichen Programmbeisp. Dieses einführende Lehrbuch in zwei Bänden hat sich als Standardwerk für das Informatikstudium bewährt. Das Werk hat synoptischen Charakter: Es bereitet den Leser gründlich auf Spezialvorlesungen vor und zeigt dabei die Zusammenhänge zwischen Teilgebieten der Informatik auf...read more

Product Description: This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is becoming more and more important...read more

Product Description: This book provides a new, systematic and unified approach to the essential ideas of computer programming . While the traditional method is to describe various features of individual programming languages, this book emphasizes instead fundamental concepts common to all of them and the interrelations between these notions, thus enhancing the reader's insight into algorithms and their description...read more (view table of contents, read Amazon.com's description)