Seit der Erfindung des Buchdruckes wurden Schriften und die
Entwicklung der Schriftformen wesentlich von der Technologie
gepr{gt. Durch die Einbeziehungvon Computern bei der
Herstellung von Gedrucktem wurde es erforderlich, Buchstaben
in digitaler Form verf}gbar zu machen. Meer
In a relational database the information is recorded as rows
in tables. However, in many practical situations the
available information is incomplete and the values for some
columns are missing. Meer
The research described in this monograph concerns the formal
specification and compositional verification of real-time
systems. A real-time programminglanguage is considered in
which concurrent processes communicate by synchronous
message passing along unidirectional channels. Meer
This is the first-ever book on computational group theory.
It provides extensive and up-to-date coverage of the
fundamental algorithms for permutation groups with reference
to aspects of combinatorial group theory, soluble groups,
and p-groups where appropriate. Meer
This volume contains the proceedings of the Eleventh
Conference on Foundations of Software Technology and
Theoretical Computer Science held in New Dehli, India
December 17-19, 1991. Meer
The main aim of this monograph is to provide a framework for
the integrated design of object-oriented programs with
algebraic specification techniques. Meer
Delta-4 is a 5-nation, 13-partner project that has been investigating the achievement of dependability in open distributed systems, including real-time systems. Meer
This volume contains contributions to the 17th International
workshop on Graph-Theoretic Concepts in Computer Science
(WG '91)
held in Southern Bavaria in June 1991. Meer
This volume presents the proceedings of the first
French-Soviet workshop on algebraic coding, held in Paris in
July 1991. The idea for the workshop, born in Leningrad (now
St. Meer
This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The language is the result of a long term effort of members of the Institute for Applied Mathematics of Karlsruhe University and several associated scientists. Meer
Die vorliegende Arbeit stellt einen Ansatz zur quantitativen
Erfassung semantischer Informationsinhalte vor. Da Programme
Transformationen von Information beschreiben, werden gr|~ere
Kenntnisse der Charakteristika von Information auch zu einem
besseren Verst{ndnis der Software-Produktion f}hren. Meer
Diese Arbeit befa~t sich mit der piktoriellen (bildhaften)
Repr{sentation von Wissen in maschinellen und biologischen
informationsverarbeitenden Systemen. Meer
This volume contains the proceedings of LATIN '92, a
theoretical computer science symposium (Latin American
Theoretical Informatics) held in S o Paulo, Brazil in April
1992. Meer
Die Forschungs- und Entwicklungsaufgaben der Informations-
und Kommunikationstechnik werden immer vielschichtiger und
komplexer. Vor diesemHintergrund veranstaltete die Deutsche
Physikalische Gesellschaft, die Gesellschaft f}r Informatik
und die Informationstechnische Gesellschaft im VDE eine
Fachtagung, auf der grundlagenorientierte und
anwendungsbezogene Schwerpunkte er|rtert wurden. Meer
In diesem Buch wird ein Verfahren vorgestellt, mit dem
Induktionsbeweise vonExistenzaussagen automatisch gef}hrt
werden k|nnen. Es ist ein deduktives
Programmsyntheseverfahren, das ausgehend von
Existenzaussagen, die als formale Programmspezifikationen
aufgefa~t werden, rekursive Programme erzeugt. Meer
Grundlage dieses Buches bildet die Wissensbasis des
LILOG-Systems als integraler Bestandteil der zweiten
prototypischen Implementierung eines textverstehenden
Systems, die im Wissenschaftlichen Zentrum der IBM
Deutschland GmbH in Kooperation mit mehreren Universit{ten
realisiert wurde. Meer
Computer science departments at universities in the U.S.A.
are world renowned. This handy reference guide gives
detailed profiles of 40 of the best known among them. Meer
This volume collects the papers accepted for presentation at
the Second European Conference on Computer Vision, held in
Santa Margherita Ligure, Italy, May 19-22, 1992. Meer
Der Band dokumentiert eine Ringvorlesung }ber das Thema
"Selbstorganisation", zu der Vertreter sehr
unterschiedlicher Disziplinen eingeladen waren, um }ber ihre
Forschungen auf diesem Gebiet zu berichten. Meer
LANCELOT is a software package for solving large-scale nonlinear optimization problems. This book is our attempt to provide a coherent overview of the package and its use. Meer
Als je jouw studieboeken gekocht hebt bij hanzestudybook.nl, kun je geselecteerde titels moeiteloos terugverkopen aan Noordhoff.
Geen vragen, geen gedoe en lekker duurzaam.
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books