Allgemeine Informatikbücher  (15.922 Angebote unter 17.414.789 Artikeln)

This monograph presents a short course in computational geometry and topology. In the first part the book covers Voronoi diagrams and Delaunay triangulations, then it presents the theory of alpha c...

This book presents a comprehensive catalogue of elementary data types like sets, maps, orders, trees and lists, written in Ada. Such data types are often used in systems programming. The major focu...

Design considerations for string processing languages.- An overview of the summer programming language.- Formal language definitions can be made practical.- Assessment.- Preliminaries to the defini...

Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs....

Searching is an important process in most AI systems, especially in those AI production systems consisting of a global database, a set of production rules, and a control system. Because of the intr...

provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and ...

Asynchrony - Mobility - Groups - Components

Taking human factors into account, a visual servoing approach aims to facilitate robots with real-time situational information to accomplish tasks in direct and proximate collaboration with people....

As in other fields, in computer science certain objects of study can be synthesized from different basic elements, in different ways, and with different resulting stabilities. In subfields such as ...

This book shall be useful to people developing computational applications based on the concept of agent societies and for those applying the concept of agent societies to the formal modeling and si...

Abbildung von Synergiepotenzialen zwischen IT-Anforderungen in Scrum

Nicht die Technik - die Menschen bestimmen den Erfolg! Wie kann Software erfolgreich entwickelt werden? Nicht allein, indem die technologischen Voraussetzungen stimmen, sondern die Menschen selbst ...

Theoretical and Manipulative Abduction.- Non-explanatory and Instrumental Abduction.- Semiotic Brains and Artificial Minds.- Neuro-multimodal Abduction.- Animal Abduction.- Abduction, Affordances, ...

Das Buch ist für alle da, die schon immer mal hinter die Kulissen der Wissenschaft Informatik schauen wollten: Vom Schüler zum Lehrer, vom Studenten zum Professor, vom interessierten Laien zum IT-E...

Theoretical and Manipulative Abduction.- Non-explanatory and Instrumental Abduction.- Semiotic Brains and Artificial Minds.- Neuro-multimodal Abduction.- Animal Abduction.- Abduction, Affordances, ...