 | | | | |
Bild | | | | Bestellen |
|
|
|
|
Springer Verlag 9783540076223 |
€ 99,99*
pro Stück |
|
|
ECI Conference 1976 (1 Angebot) Names and objects in heterogeneous computer networks.- Trends in computer system structure and architecture.- Aspects of the communication within a multisuppliers computer network.- Communication a... |
Springer Verlag 9783540078043 |
€ 29,99*
pro Stück |
|
|
Komplexität von Entscheidungsproblemen (1 Angebot) I. Zeitlich beschränkte Turingmaschinen und polynomiale Reduktion.- II. Polynomial beschränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems.... |
Springer Verlag 9783540078050 |
€ 14,49*
pro Stück |
|
|
Mathematical Foundations of Computer Science 1976 (1 Angebot) Exercises in denotational semantics.- W-automata and their languages.- On semantic issues in the relational model of data.- The effective arrangement of logical systems.- Recursivity, sequence recu... |
Springer Verlag 9783540078548 |
€ 99,99*
pro Stück |
|
|
GI -- 6. Jahrestagung (1 Angebot) Main Lectures.- An Evaluation of Several System Protection Strategies.- Distributed Congestion Control in a Packet Network: The Channel Load Limiter.- ADV -- Systementwicklung und Organisation der ... |
Springer Verlag 9783540079125 |
€ 51,39*
pro Stück |
|
|
Language Hierarchies and Interfaces (1 Angebot) On the teaching of programming, i.e. on the teaching of thinking.- Parallel programming: An axiomatic approach.- On-the-fly darbage collection: an exercise in cooeration.- An exercise in proving pa... |
Springer Verlag 9783540079941 |
€ 49,99*
pro Stück |
|
|
Methods of Algorithmic Language Implementation (1 Angebot) Problem-oriented languages and DEPOT implementing system.- Semantic attributes processing in the system DELTA.- Usability and portability of a compiler writing system.- Semantic unification in a mu... |
Springer Verlag 9783540080657 |
€ 49,99*
pro Stück |
|
|
Fachtagung Prozessrechner 1977 (1 Angebot) Einführung.- Begrüßung durch den Vorsitzenden der VDI/VDE-Gesellschaft Meß- und Regelungstechnik (GMR).- Hauptvorträge.- Automatisierung mit Rechnern -- Stand und Tendenzen.- Rationalisierung der S... |
Springer Verlag 9783540081234 |
€ 51,39*
pro Stück |
|
|
Theoretical Computer Science (1 Angebot) On polynomial time isomorphisms of complete sets.- New bounds on formula size.- Informatique et algebre la theorie des codes a longueur variable.- On a description of tree-languages by languages.- ... |
Springer Verlag 9783540081388 |
€ 34,99*
pro Stück |
|
|
Modelle für Rechensysteme (1 Angebot) Grundlagen.- Approximation von Verteilungsfunktionen, ein wichtiger Schritt bei der Modellbildung für Rechensysteme.- Zum Vergleich von A/D/s-Schlangen mit A/D/1-Schlangen.- Verweilzeiten für zeitd... |
Springer Verlag 9783540082064 |
€ 99,99*
pro Stück |
|
|
A Concurrent Pascal Compiler for Minicomputers (1 Angebot) Definitions.- Past Structure.- Lexical analysis.- Syntax analysis.- Name analysis.- Declaration analysis.- Body analysis.- Code selection.- Code assembly.- Interpass topics.- The virtual machine.- ... |
Springer Verlag 9783540082408 |
€ 49,99*
pro Stück |
|
|
Automata, Languages and Programming (1 Angebot) How hard is compiler code generation?.- "Natural" complexity measures and time versus memory: Some definitional proposals.- Semantics and proof theory of pascal procedures.- On the structure of com... |
Springer Verlag 9783540083429 |
€ 34,99*
pro Stück |
|
|
Design and Implementation of Programming Languages (1 Angebot) Section I the common programming language effort of the department of defense.- Section II data types.- Section III parallel processing, machine dependency and program verification.- Section IV pro... |
Springer Verlag 9783540083603 |
€ 39,99*
pro Stück |
|
|
|
Springer Verlag 9783540084051 |
€ 99,99*
pro Stück |
|
|
|
Springer Verlag 9783540084143 |
€ 51,39*
pro Stück |
|
|
