Mot-clé@goog
Oeuvres étiquetées
Le plus souvent étiqueté | Pondéré | Populaire récemment | Publié récemment — Filtre: Aucun (modifier)
- Form-Oriented Analysis par Dirk Draheim (2 fois)
- The Definitive Guide to Lift: A Scala-based Web Framework par Marius Danciu (1 fois)
- Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) par Lawrence C. Paulson (1 fois)
- 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 (1 fois)
- Constraint Handling Rules: Current Research Topics (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) par Tom Schrijvers (1 fois)
- The Gödel Programming Language (Logic Programming) par Patricia Hill (1 fois)
- Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: Volume 2 par Kurt Jensen (1 fois)
- Introduction to Bayesian Scientific Computing: Ten Lectures on Subjective Computing (Surveys and Tutorials in the Applied Mathematical Sciences) par Daniela Calvetti (1 fois)
- Semigroups par E. S. Li︠a︡pin (1 fois)
- CASL User Manual: Introduction to Using the Common Algebraic Specification Language par M. Bidoit (1 fois)
- Discovering Mathematics with Magma: Reducing the Abstract to the Concrete (Algorithms and Computation in Mathematics) par Wieb Bosma (1 fois)
- Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science) par Gilles Barthe (1 fois)
- Tool and Object: A History and Philosophy of Category Theory (Science Networks. Historical Studies) par Ralf Krömer (1 fois)
- What Intelligence Tests Miss: The Psychology of Rational Thought par Keith E. Stanovich (1 fois)
- Abductive Reasoning par Mr. Douglas Walton (1 fois)
- JRuby Cookbook par Justin Edelson (1 fois)
- Maximum Muscle, Minimum Fat: The Secret Science Behind Physical Transformation par Ori Hofmekler (1 fois)
- The Scientific and Clinical Application of Elastic Resistance par Phillip Page (1 fois)
- Real World Haskell par Bryan O'Sullivan (1 fois)
- Happy at Last: The Thinking Person's Guide to Finding Joy par Richard O'Connor (1 fois)
- All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering) par Manuel Clavel (1 fois)
- CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language par Peter D. Mosses (1 fois)
- Relational Methods in Computer Science par Chris Brink (1 fois)
- Beginning Spring Framework 2 par Thomas Van de Velde (1 fois)
- Learning Flex 3: Getting up to Speed with Rich Internet Applications par Alaric Cole (1 fois)
Utilise le mot clé
draganigajic (67), FrankJLucatelli (1)Mots clé ajouté recemment
Google Books Ngram Viewer
Données du Books Ngram Viewer