 | | | | |
Bild | | | | Bestellen |
|
|
|
Programmierwerkzeuge (1 Angebot) 1. Einführung in Ratfor.- 2. Filter.- 3. Dateien.- 4. Sortieren.- 5. Textmuster.- 6. Editieren.- 7. Formatieren.- 8. Makro-Verarbeitung.- 9. Ein Ratfor-Fortran-Übersetzer.- Nachwort.- Anhang: Grund... |
Springer Verlag 9783540104193 |
€ 51,39*
pro Stück |
|
|
The Use of Formal Specification of Software (1 Angebot) The notion that program design is an engineering task alleviating the software crisis has been with us for about a decade. With the recognized advantages of obeying to certain software design disci... |
Springer Verlag 9783540104421 |
€ 99,99*
pro Stück |
|
|
|
Springer Verlag 9783540105749 |
€ 34,99*
pro Stück |
|
|
Theoretical Computer Science (1 Angebot) On the subword complexity and square-freeness of formal languages.- Cycle-free IN-algebraic systems.- On the height of syntactical graphs.- Boolean functions whose monotone complexity is of size n2... |
Springer Verlag 9783540105763 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540106197 |
€ 51,39*
pro Stück |
|
|
Das Codasyl-Datenbankmodell (1 Angebot) 1. Historische Betrachtungen.- 2. Komponenten eines DBMS.- 3. Grundsätzliche Strukturierungskonzepte.- 4. Abbildung von Satztypen auf den Speicher.- 5. Abbildung von Set -- Typen auf den Speicher.-... |
Springer Verlag 9783540106692 |
€ 51,39*
pro Stück |
|
|
Formalization of Programming Concepts (1 Angebot) The algebra of functional programs: Function level reasoning, linear equations, and extended definitions.- The VDM principles of software specification & program design.- Attribute grammars : Theor... |
Springer Verlag 9783540106999 |
€ 49,99*
pro Stück |
|
|
Digital Image Processing Systems (1 Angebot) Universal digital image processing systems in europe -- A comparative survey.- Cello an interactive system for image analysis.- A knowledge-based interactive robot-vision system.- Real-time process... |
Springer Verlag 9783540107057 |
€ 29,99*
pro Stück |
|
|
Werkzeuge der Programmiertechnik (1 Angebot) Software-Produktionsumgebungen: Entwicklungsstand und Trends.- Developing algebraic specifications of threaded data structure implementations.- Ein Weg zur Spezifikation und Durchführung von Transf... |
Springer Verlag 9783540107255 |
€ 51,39*
pro Stück |
|
|
Dokumentationssysteme (1 Angebot) 1. Überblick.- 1.1 Literatur-Dokumentation.- 1.2 Problematik der Suche.- 1.3 DV-gestützte Dokumentationssysteme.- 1.4 Existierende Systeme.- 1.5 Grundbegriffe.- 2. Dokumentaufbereitung.- 2.1 Formal... |
Springer Verlag 9783540107446 |
€ 51,39*
pro Stück |
|
|
PISA (1 Angebot) This report introduces the programming system PISA intendei for the interactive production of application software. The heart of the programming system is a new programming language, also called PI... |
Springer Verlag 9783540108252 |
€ 99,99*
pro Stück |
|
|
|
Springer Verlag 9783540108269 |
€ 49,99*
pro Stück |
|
|
Organisation und Betrieb von Rechenzentren (1 Angebot) Datensicherung und Katastrophenvorsorge.- Computergestützte Dokumentation des Datenschutzbeauftragten.- Datensicherungsmaßnahmen und Objektschutz in einem zentralen Rechenzentrum.- Vorgehensweise b... |
Springer Verlag 9783540108313 |
€ 51,39*
pro Stück |
|
|
Automata, Languages and Programming (1 Angebot) Refined analysis and improvements on some factoring algorithms.- Absolute primality of polynomials is decidable in random polynomial time in the number of variables.- Area-time optimal VLSI network... |
Springer Verlag 9783540108436 |
€ 49,99*
pro Stück |
|
|
The Concurrency Control Problem for Database Systems (1 Angebot) Database systems.- General purpose schedulers.- Logs.- Correctness criteria for general purpose schedulers.- Constructing general purpose schedulers.- Conflict-preserving schedulers.- Database desc... |
Springer Verlag 9783540108450 |
€ 49,99*
pro Stück |
|
|
