 | | | | |
Bild | | | | Bestellen |
|
|
|
|
Springer Verlag 9783540069126 |
€ 46,68*
pro Stück |
|
|
|
Springer Verlag 9783540070207 |
€ 49,99*
pro Stück |
|
|
NC-Programmierung (1 Angebot) Stand der Technik.- 2.1. Entwicklungsstand der Programmiersysteme.- 2.2. Entwicklungsstand des EXAPT 3 - Systems.- Technologie der Präswerkzeuge.- 3.1. Beschreibung der Werkzeuge.- 3.2. Analyse der... |
Springer Verlag 9783540070597 |
€ 51,39*
pro Stück |
|
|
GI - 4. Jahrestagung (1 Angebot) On the structure of feasible computations.- Toward a methodology for designing large systems and verifying their properties.- Datenschutz und Gesellschaft.- Trends in computer science education.- H... |
Springer Verlag 9783540071419 |
€ 25,70*
pro Stück |
|
|
Category Theory Applied to Computation and Control (1 Angebot) Basic concepts of category theory applicable to computation and control.- A control theorist looks at abstract nonsense.- A Categorist's view of automata and systems.- Categorical theory of tree pr... |
Springer Verlag 9783540071426 |
€ 49,99*
pro Stück |
|
|
Rechnerdirektsteuerung von Fertigungseinrichtungen (1 Angebot) Seite.- 1. Einleitung.- 2. Rechnergeführte Steuerungssysteme.- 2.1 Ordnungsprinzip.- 2.2 Funktionale Gliederung der Steuerungssysteme.- 2.3 Hierarchische Steuerungssysteme.- 2.4 Mögliche Erweiterun... |
Springer Verlag 9783540073529 |
€ 51,39*
pro Stück |
|
|
Mathematical Foundations of Computer Science 1975 (1 Angebot) Construction of complete sample system for correctness testing.- Ten years of speedup.- On logics of discovery.- On models of protection in operating systems.- Parsing as a subtask of compiling.- P... |
Springer Verlag 9783540073895 |
€ 49,99*
pro Stück |
|
|
GI - 5. Jahrestagung (1 Angebot) Information systems: A survey by examples.- The problem of requirements analysis for information systems applications.- Speichertechnik und Rechnerarchitektur.- Mathematische Logik und Informatik.-... |
Springer Verlag 9783540074106 |
€ 28,97*
pro Stück |
|
|
Theory of Program Structures (1 Angebot) Program schemes -- basic definitions and concepts.- Program schemes -- basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadi... |
Springer Verlag 9783540074151 |
€ 22,99*
pro Stück |
|
|
?-Calculus and Computer Science Theory (1 Angebot) Combinators and classes.- Least fixed points revisited.- Infinite normal forms for the ?-calculus.- A survey of some useful partial order relations on terms of the lambda calculus.- ?-Terms as tota... |
Springer Verlag 9783540074168 |
€ 49,99*
pro Stück |
|
|
Advances in Informatics (1 Angebot) 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers |
Springer Verlag 9783540075448 |
€ 49,99*
pro Stück |
|
|
Software Engineering and Middleware (1 Angebot) The 3rd International Workshop on Software Engineering and Middleware {SEM 2002) was held May 20-21, 2002, in Orlando, Florida, as a co-located event of the 2002 International Conference on Softwar... |
Springer Verlag 9783540075493 |
€ 49,99*
pro Stück |
|
|
Revised Report on the Algorithmic Language Algol 68 (1 Angebot) 0. Introduction.- 0. Introduction.- I Preliminary definitions.- 1. Language and metalanguage.- 2. The computer and the program.- II Fundamental constructions.- 3. Clauses.- 4. Declarations, declare... |
Springer Verlag 9783540075929 |
€ 119,99*
pro Stück |
|
|
Rechnerorganisation (1 Angebot) 1. Klassische Rechne reorganisation.- 1.1 Maschinelle Durchführung von Berechnungen.- 1.2 Maschinelle Vorbereitung von Programmen.- 1.3 Mikroalgorithmen für die vier Grundrechenarten.- 2 Rechnerhar... |
Springer Verlag 9783540075967 |
€ 51,39*
pro Stück |
|
|
Programmiersprachen (1 Angebot) Inhalt/Contents.- Semantik und Verifikation/Semantics and Verification.- The Semantical Definition of Programming Languages in Terms of Their Data Spaces.- Anwendung der axiomatischen Definitionsme... |
Springer Verlag 9783540076193 |
€ 51,39*
pro Stück |
|
|
