Mot-clé@uasc
Oeuvres étiquetées
Le plus souvent étiqueté | Pondéré | Populaire récemment | Publié récemment — Filtre: Aucun (modifier)
- Principles and Practice of Declarative Programming: International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings (Lecture Notes in Computer Science) par Gopalan Nadathur (2 fois)
- Interpreting quantum mechanics : a realistic view in Schrödinger's vein par Lars-Göran Johansson (1 fois)
- Formal Methods in Computing par M. Ferenczi (1 fois)
- Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers (Lecture Notes in Computer Science) par José Luiz Fiadeiro (1 fois)
- Into the Realm of Oberon: An Introduction to Programming and the Oberon-2 Programming Language par Eric W. Nikitin (1 fois)
- Foundations of Parallel Programming (Cambridge International Series on Parallel Computation) par D. B. Skillicorn (1 fois)
- Principles and Practice of Constraint Programming par Vijay A. Saraswat (1 fois)
- DATA ABSTR & PROGR DESIGN PB par Ellis R (1 fois)
- Fundamental Approaches to Software Engineering : Second InternationalConference, FASE'99...Amsterdam, The Netherlands, March 1999 Proceedings par Ed. Jean-Pierre Finance (1 fois)
- Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice ... (Lecture Notes in Computer Science) par Tom Maibaum (1 fois)
- Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: Volume 2 par Kurt Jensen (1 fois)
- Symbolic Computation And Education par Dongming Wang (1 fois)
- Discovering Mathematics with Magma: Reducing the Abstract to the Concrete (Algorithms and Computation in Mathematics) par Wieb Bosma (1 fois)
- Learning Abstract Algebra with ISETL par Ed Dubinsky (1 fois)
- Specification of Software Systems (Texts in Computer Science) par V.S. Alagar (1 fois)
- Hypercomplex Numbers: An Elementary Introduction to Algebras par I.L. Kantor (1 fois)
- Principles of the Spin Model Checker par Mordechai Ben-Ari (1 fois)
- Journal on Data Semantics VI (Lecture Notes in Computer Science / Journal on Data Semantics) (v. 6) par Stefano Spaccapietra (1 fois)
- Object-Oriented Software Composition par Nierstrasz (1 fois)
- Ada for Software Engineers par Mordechai Ben-Ari (1 fois)
- Software Specification Methods par Henri Habrias (1 fois)
- Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions par J.Richard Buchi (1 fois)
- Handbook of Knowledge Representation (Foundations of Artificial Intelligence) par Frank van Harmelen (1 fois)
- Boolean Algebra par R. L. Goodstein (1 fois)
- Programming Language Theory and Its Implementation (Prentice Hall International Series in Computing Science) par Michael J.C. Gordon (1 fois)
Utilise le mot clé
draganigajic (87)Mots clé ajouté recemment
Google Books Ngram Viewer
Données du Books Ngram Viewer