Kategorien
Konto
Anmelden / Registrieren
Warenkorb
 
 
 >  >  >  >  >  >  > Informatik

  Informatik (15 757 Artikel)

Folgende Filter helfen, die Artikelliste nach Ihren Wünschen zu verfeinern:
Filtern: Preis vonbis  Wort 
Funktionen
☐
Anzeige
☐
☐
☐
☐
Bild
Bestellen
zurück
Public-Key Cryptography: State of the Art and Future Directions (1 Angebot) 
This report on the state of the art and future directions of public-key cryptography is published in accordance with the terms of reference of the European Institute for System Security (EISS). The...
Springer Verlag
9783540552154
€ 34,99*
pro Stück
 
 Stück
Distributed Algorithms (1 Angebot) 
This volume contains the proceedings of the fifth International Workshop on Distributed Algorithms (WDAG '91) held in Delphi, Greece, in October 1991. The workshop provided a forum for researchers ...
Springer Verlag
9783540552369
€ 49,99*
pro Stück
 
 Stück
Entwicklung und Einsatz von Expertensystemen (1 Angebot) 
1 Künstliche Intelligenz.- 1.1 Entwicklung der Künstlichen Intelligenz.- 1.2 Teilgebiete der Künstlichen Intelligenz.- 1.3 Methoden der Künstlichen Intelligenz.- Anmerkungen zu Kapitel 1.- 2 Wissen...
Springer Verlag
9783540552376
€ 32,70*
pro Stück
 
 Stück
Advances in Database Technology - EDBT '92 (1 Angebot) 
These are the proceedings of the third International conference on ExtendingDatabase Technology (EDBT) held in Vienna in March 1992. The success of the 1988 and 1990 conferences held in Venice sugg...
Springer Verlag
9783540552703
€ 99,99*
pro Stück
 
 Stück
LATIN '92 (1 Angebot) 
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. LATIN is intended to be...
Springer Verlag
9783540552840
€ 49,99*
pro Stück
 
 Stück
Automatische Synthese rekursiver Programme als Beweisverfahren (1 Angebot) 
1. Einführung.- 2. Übersicht.- 3. Formale Grundbegriffe.- 3.1 Syntaktische Grundbegriffe.- 3.2 Semantische Grundbegriffe.- 3.3 Theoriespezifikationen.- 4. Beweis durch Synthese.- 4.1 Der Syntheseka...
Springer Verlag
9783540553007
€ 51,39*
pro Stück
 
 Stück
Ontologie und Axiomatik der Wissensbasis von LILOG (1 Angebot) 
I. Aspekte der Wissensmodellierung in natürlichsprachlichen Systemen.- Die Modellierung der LEU/2-Wissensbasis im Überblick.- Linguistische vs. konzeptuelle Aspekte der LILOG-Ontologie.- Kommentar ...
Springer Verlag
9783540553069
€ 51,39*
pro Stück
 
 Stück
Computer Algebra and Parallelism (1 Angebot) 
This book contains papers presented at a workshop on the use of parallel techniques in symbolic and algebraic computation held at Cornell University in May 1990. The eight papers in the book fall i...
Springer Verlag
9783540553281
€ 49,99*
pro Stück
 
 Stück
Computer Aided Systems Theory - EUROCAST '91 (1 Angebot) 
This volume contains a selection of papers presented at the second European workshop EUROCAST '91, held in Krems, Austria, in April 1991. It gives an overview of the current state of Computer Aided...
Springer Verlag
9783540553540
€ 99,99*
pro Stück
 
 Stück
SSADM & GRAPES (1 Angebot) 
documentation is constantly refined as detailed under 1.1 Purpose standing of the requirement increase. The CCT A of the UK government and Siemens For project management purposes the SSADM life Nix...
Springer Verlag
9783540553809
€ 49,99*
pro Stück
 
 Stück
Parallel Execution of Parlog (1 Angebot) 
This monograph concentrates on the implementation of concurrent logic programming languages on loosely-coupled parallel computer architectures. Two different abstract models are also considered: a ...
Springer Verlag
9783540553823
€ 49,99*
pro Stück
 
 Stück
Entscheidungsorientiertes Konfigurationsmanagement (1 Angebot) 
1 Einleitung.- 1.1 Einordnung der Versionen- und Konfigurationenverwaltung.- 1.2 Problemstellung.- 1.3 Thesen.- 1.4 Methodik.- 2 Versionen- und Konfigurationenverwaltung.- 2.1 Terminologie.- 2.2 Ob...
Springer Verlag
9783540553830
€ 51,39*
pro Stück
 
 Stück
Parallele Datenverarbeitung mit dem Transputer (1 Angebot) 
I Transputer-Systeme.- 1 Systemprogrammierung und Evaluation.- Transputersysteme für topologieunabhängige Programmierung.- Ein Verfahren zur Konfiguration von Transputersystemen für Echtzeitapplika...
Springer Verlag
9783540553861
€ 51,39*
pro Stück
 
 Stück
Erklärung im Gespräch -- Erklärung im Mensch-Maschine-Dialog (1 Angebot) 
Erklärungsmodelle in der Wissenschaftstheorie und in der Künstlichen Intelligenz.- Erklärungen in technischen Expertensystemen.- Erklärungen und Beweise.- Verständigungsprobleme und ihre Bedeutung ...
Springer Verlag
9783540553885
€ 51,39*
pro Stück
 
 Stück
Informatik zwischen Wissenschaft und Gesellschaft (1 Angebot) 
Dieser Sammelband erinnert an Prof. Dr. Reinhold Franck, der im M{rz 1990 bei einer Bergtour verungl}ckt ist. In seiner fachlichen Arbeit an der Universit{t Bremen hat er die Gebiete Rechnernetze u...
Springer Verlag
9783540553892
€ 51,39*
pro Stück
 
 Stück
vorwärts
Artikel pro Seite: 10   15   20   50   100    Seite: zurück   1   ..   641   642   643   644   645   646   647   648   649   650   651   ..   1051   vorwärts
* Preise mit Sternchen sind Nettopreise zzgl. gesetzlich gültiger MwSt.
UVP bedeutet „Unverbindliche Preisempfehlung“
Unser Angebot richtet sich ausschließlich an Unternehmen, Gewerbetreibende und Freiberufler.