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)!
AutoCAD Express - Tim McCarthy
AutoCAD Express
Autor: Tim McCarthy

Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987. Proceedings (Lecture Notes in Computer Science (256), Band 256) - Pierre Lescanne
Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987. Proceedings (Lecture Notes in Computer Science (256), Band 256)
Autor: Pierre Lescanne

Automata, Languages and Programming: 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings (Lecture Notes in Computer Science (226), Band 226) -
Automata, Languages and Programming: 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings (Lecture Notes in Computer Science (226), Band 226)
Characterizations of P U N C and precomputation. - Comparison of algorithms controlling concurrent access to a database: A combinatorial approach. - A new duality result concerning Voronoi diagrams. - Classification of all the minimal bilinear algorithms for computing the coefficients of the product of two polynomials modulo a polynomial. - On exponential lowness. - A tradeoff between search and update time for the implicit dictionary problem. - Intersections of some families of languages. - Correspondence between ternary simulation and binary race analysis in gate networks. - Counting with rational functions. - Finite biprefix sets of paths in a Graph. - Parallel R A Ms with owned global memory and deterministic context-free language recognition. - A Strong restriction of the inductive completion procedure. - On discerning words by automata. - Complexity classes without machines: On complete languages for U P. - Containment, separation, complete sets, and immunity of complexity classes. - On nontermination of Knuth-Bendix algorithm. - Tradeoffs for language recognition on parallel computing models. - Rational equivalence relations. - Some further results on digital search trees. - Knowledge, belief and time. - A termination detector for static and dynamic distributed systems with asynchronous non-first-in-first-out communication. - Decompositions of nondeterministic reductions. - Hierarchical planarity testing algorithms. - Synthesis and equivalence of concurrent systems. - The set union problem with backtracking. - Torsion matrix semigroups and recognizable transductions. - On recognizable subsets of free partially commutative monoids. - Min Cut is N P-complete for edge weighted trees. - Alternating automata, the weak monadic theory of the tree, and its complexity. - Subpolynomial complexity classes of real functions and real numbers. - Etude syntaxique des parties reconnaissables de mots infinis. - Refusal testing. - A timed model for communicating sequential processes. - A uniform reduction. . .

Programming Languages for Industrial Robots (Symbolic Computation) - Christian Blume, Wilfried Jakob
Programming Languages for Industrial Robots (Symbolic Computation)
Autor: Christian Blume, Wilfried Jakob

Semantik von Programmiersprachen (Studienreihe Informatik) - Elfriede Fehr
Semantik von Programmiersprachen (Studienreihe Informatik)
Autor: Elfriede Fehr

Relevanzanalyse: Eine Kombination von Striktheits- und Datenflußanalyse zur effizienten Auswertung funktionaler Programme (Informatik-Fachberichte (190), Band 190) - Dieter Maurer
Relevanzanalyse: Eine Kombination von Striktheits- und Datenflußanalyse zur effizienten Auswertung funktionaler Programme (Informatik-Fachberichte (190), Band 190)
Autor: Dieter Maurer

Z User Workshop, Cambridge 1994: Proceedings Of The Eighth Z User Meeting, Cambridge, 29 - 30 June 1994 (Workshops In Computing) -
Z User Workshop, Cambridge 1994: Proceedings Of The Eighth Z User Meeting, Cambridge, 29 - 30 June 1994 (Workshops In Computing)

First Steps in Maple - Werner Burkhardt
First Steps in Maple
Autor: Werner Burkhardt

C++ for Scientists, Engineers and Mathematicians - Derek M. Capper
C++ for Scientists, Engineers and Mathematicians
Autor: Derek M. Capper

"Z User Workshop, York 1991": Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 (Workshops in Computing) - J. E. Nicholls
"Z User Workshop, York 1991": Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 (Workshops in Computing)
Autor: J. E. Nicholls

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


Buch, Hörbücher

<

Fachbücher

<

Informatik

<

Praktische Informatik

<

Programmiersprachen und Interpreter

(Seite 7)