 | | | | |
Bild | | | | Bestellen |
|
|
|
Data Base Design Techniques I (1 Angebot) An integrated approach to database design.- LDDM -- A structured logical database design methodology.- The design of an integrated data dictionary directory system.- Tools for the automation of dat... |
Springer Verlag 9783540112143 |
€ 22,99*
pro Stück |
|
|
Data Base Design Techniques II (1 Angebot) Physical database design techniques.- Design of optimal balanced filing schemes.- Parallel join and sorting algorithms.- A language for office and business automation.- APAD: An application-adaptab... |
Springer Verlag 9783540112150 |
€ 19,99*
pro Stück |
|
|
|
Springer Verlag 9783540113195 |
€ 199,99*
pro Stück |
|
|
Program Specification (1 Angebot) Program specification: Issues and observations.- Example 1: Geometrical constructions.- Example 1: Geometrical constructions.- Example 2: KWIC -- index generation.- Example 2: KWIC -- index generat... |
Springer Verlag 9783540114901 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540114925 |
€ 49,99*
pro Stück |
|
|
International Symposium on Programming (1 Angebot) Applicative communicating processes in first order logic.- A machine-level semantics for nondeterministic, parallel programs.- A formalized proof system for total correctness of while programs.- Au... |
Springer Verlag 9783540114949 |
€ 34,99*
pro Stück |
|
|
An Attribute Grammar for the Semantic Analysis of ADA (1 Angebot) and survey.- Procedure for the AG.- Comparison of the AG with other attribute grammars.- Experiences with attribute grammars.- Overall structure of the AG.- Declaration elaboration.- Name and expre... |
Springer Verlag 9783540115717 |
€ 39,99*
pro Stück |
|
|
Simulationstechnik (1 Angebot) Das erste Symposium Simulationstechnik wurde vom 26.- 28.April 1982 in Erlangen veranstaltet vom Lehrstuhl IV des Instituts für Math- matische Maschinen und Datenverarbeitung (IMMD) der Universität... |
Springer Verlag 9783540116059 |
€ 51,39*
pro Stück |
|
|
GI-12. Jahrestagung (1 Angebot) Die 12. Jahrestagung der Gesellschaft für Informatik an der Univer sität Kaiserslautern steht unter dem thematischen Schwerpunkt nSYSTEMS ENGINEERING" in der Informatik. Unter dem Druck einer sehr ... |
Springer Verlag 9783540116097 |
€ 51,39*
pro Stück |
|
|
CHILL (1 Angebot) 1 Entstehungsgeschichte und Anwendungsgebiete von CHILL.- 1.1 Einleitung.- 1.2 Historie.- 1.3 Anwendungsgebiete.- 2 Sprachkonzept und Sprachumfang.- 2.1 Überblick.- 2.2 Elemente von CHILL.- 2.3 Pro... |
Springer Verlag 9783540116318 |
€ 51,39*
pro Stück |
|
|
The Illiac IV (1 Angebot) The Illiac IV was the first large scale array computer. As the fore runner of today's advanced computers, it brought whole classes of scientific computations into the realm of practicality. Conceiv... |
Springer Verlag 9783540117650 |
€ 49,99*
pro Stück |
|
|
GWAI-82 (1 Angebot) Beschreiben und Verstehen Von Bildfolgen.- Knowledge Sources for Understanding and Describing Image Sequences (Hauptvortrag).- On the Selection of Verbs for Natural Language Description of Traffic ... |
Springer Verlag 9783540119609 |
€ 99,99*
pro Stück |
|
|
Theoretical Computer Science (1 Angebot) Partial functions in comstructive formal theories.- A Monte Carlo factoring algorithm with finite storage.- Theory of concurrency control.- Interprocedural data flow systems.- On the crossing-free,... |
Springer Verlag 9783540119739 |
€ 49,99*
pro Stück |
|
|
Künstliche Intelligenz (1 Angebot) Einführung in Die Künstliche Intelligenz.- 1. Vorwort.- 2. Geometrische Intelligenztests.- 3. Euklidische Geometrie.- 4. Kreativität.- 5. Ideologiemaschinen.- Literatur.- Expertensysteme.- 1. Einfü... |
Springer Verlag 9783540119746 |
€ 51,39*
pro Stück |
|
|
Research and Development in Information Retrieval (1 Angebot) The growing crisis of traditional information retrieval systems -- what is to follow?.- FAKYR -- a method base system for education and research in information retrieval.- Liars: A software environ... |
Springer Verlag 9783540119784 |
€ 22,99*
pro Stück |
|
|
