Buch - Hörbücher Buch - Hörbücher
DVDs - Filme DVDs - Filme
Musik-CDs Musik-CDs
Spielzeug, Spielwaren Spielzeug
Drogerie und Bad Drogerie und Bad
Elektronik, Foto Elektronik, Foto
Software Software
Computerspiele Computerspiele
Sport und Freizeit Sport und Freizeit
Haus, Garten, Küche Haus, Garten, Küche
Titel, Thema, Artikelbezeichnung:
oderAutor, Darsteller, Hersteller:
in:
Wenn Sie nicht gleich bestellen wollen,
setzen Sie doch ein Lesezeichen (Favoriten)!
Language Design and Programming Methodology: Proceedings of a Symposium, Held in Sidney, Australia, September 10-11, 1979 (Lecture Notes in Computer Science (79), Band 79) - J. M. Tobias
Language Design and Programming Methodology: Proceedings of a Symposium, Held in Sidney, Australia, September 10-11, 1979 (Lecture Notes in Computer Science (79), Band 79)
Autor: J. M. Tobias
The module: A system structuring facility in high-level programming languages. - The evolution of the unix time-sharing system. - Pascal versus C : A subjective comparison. - Why recursion? . - On the prime example of programming. - Describing the complete effects of programs. - Pattern-matching commands. - A language for describing concepts as programs. - A human movement language for computer animation. - Algebraic specifications and transition graphs. - Dasim1: A practical exercise in data abstraction. - The design of a successor to pascal. - Dopls: A new type of programming language. - A personal computer based on a high-level language. - An experiment in software science. - A critique of modula. - A comparison of two notations for process communication.

Einführung in die Programmiersprache Modula-2 - Hilmar Pudlatz
Einführung in die Programmiersprache Modula-2
Autor: Hilmar Pudlatz

Einführung in die Programmiersprache Modula-2 -
Einführung in die Programmiersprache Modula-2

Problemorientierte Programmiersprachen (Leitfäden der angewandten Informatik) - Hans Jurgen Schneider
Problemorientierte Programmiersprachen (Leitfäden der angewandten Informatik)
Autor: Hans Jurgen Schneider

Datenbanksprache SQL für DOS, Windows, OS/2 und Unix - Gregor Kuhlmann, Friedrich Müllmerstadt
Datenbanksprache SQL für DOS, Windows, OS/2 und Unix
Autor: Gregor Kuhlmann, Friedrich Müllmerstadt

Programmiermethodik mit Ada (Springer Compass) - Gerhard Goos, Guido Persch, Jürgen Uhl
Programmiermethodik mit Ada (Springer Compass)
Autor: Gerhard Goos, Guido Persch, Jürgen Uhl

Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings (Lecture Notes in Computer Science (242), Band 242) - Guy Cousineau, Pierre-Louis Curien, Bernard Robinet
Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings (Lecture Notes in Computer Science (242), Band 242)
Autor: Guy Cousineau, Pierre-Louis Curien, Bernard Robinet
Streams are not dreams. - Amber. - The amber machine. - Sur l'analogie entre les propositions et les types. - Combinateurs Cat riques et Impl ntation des Langages Fonctionnels. - Combinators and lambda-calculus, a short outline. - Cartesian closed categories and lambda-calculus. - Cartesian closed categories and typed ? -calculi. - An introduction to fully-lazy supercombinators.

Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 (Lecture Notes in Computer Science (217), Band 217) - Harald Ganzinger, Neil D. Jones
Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 (Lecture Notes in Computer Science (217), Band 217)
Autor: Harald Ganzinger, Neil D. Jones
Strictness analysis and polymorphic invariance. - Convergent term rewriting systems can be used for program transformation. - The theory of strictness analysis for higher order functions. - Recognition of generative languages. - Modular first-order specifications of operational semantics. - Logic specification of code generation techniques. - Strictness detection in non-flat domains. - Strictness computation using special ? -expressions. - A relational framework for abstract interpretation. - Expected forms of data flow analyses. - Code generation from two-level denotational meta-languages. - Multilevel functions in Martin-L f's type theory. - An implementation from a direct semantics definition. - The structure of a self-applicable partial evaluator. - Program transformation by supercompilation. - Listlessness is better than laziness I I: Composing listless functions. - From interpreter to compiler: A representational derivation.

Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science (202), Band 202) - Jean-Pierre Jouannaud
Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science (202), Band 202)
Autor: Jean-Pierre Jouannaud

Erste Seite Eine zurück     1      2      3      4      5      6      7     Seite 8     9      10      Eine weiter 


Buch, Hörbücher

<

Fachbücher

<

Informatik

<

Praktische Informatik

<

Programmiersprachen und Interpreter

(Seite 8)