Résultats de rechercheBases de données
10 Résultats trouvés M'abonner aux résultats de recherche
Sélectionner tout
Passer à l'affichage en mode Liste
Passer à l'affichage en mode Miniature
0000000000DEFAULT
Imprimer
1. 
Image de couverture de CAD*I Drafting Model
CAD*I Drafting Model
CAD*I Drafting Model
Auteur 
Schuster, Richard. author. Trippner, Dietmar. author. Endres, Michael. author. SpringerLink (Online service)
Numéro de cote topographique requis 
TA345 -345.5
ISBN (Numéro international normalisé des livres) 
9783642840586
Full Text Available From Springer Nature Computer Science Archive Packages
Format : 
Ressources électroniques
Disponible:
2. 
Image de couverture de Agents for Games and Simulations Trends in Techniques, Concepts and Design
Agents for Games and Simulations Trends in Techniques, Concepts and Design
Agents for Games and Simulations Trends in Techniques, Concepts and Design
Auteur 
Dignum, Frank. editor. Bradshaw, Jeffrey. editor. Silverman, Barry G. editor. van Doesburg, Willem. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
Q334 -342
ISBN (Numéro international normalisé des livres) 
9783642111983
Full Text Available From Springer Nature Computer Science 2009 Packages
Format : 
Ressources électroniques
Disponible:
3. 
Image de couverture de From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
Auteur 
Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA75.5 -76.95
ISBN (Numéro international normalisé des livres) 
9783642548482
Full Text Available From Springer Nature Computer Science 2014 Packages
Format : 
Ressources électroniques
Disponible:
4. 
Image de couverture de Logic Programming in Action Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings
Logic Programming in Action Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings
Logic Programming in Action Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings
Auteur 
Comyn, Gerard. editor. Fuchs, Norbert E. editor. Ratcliffe, Michael J. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
Q334 -342
ISBN (Numéro international normalisé des livres) 
9783540473121
Full Text Available From Springer Nature Computer Science Archive Packages
Format : 
Ressources électroniques
Disponible:
5. 
Image de couverture de Formal Methods in Human-Computer Interaction
Formal Methods in Human-Computer Interaction
Formal Methods in Human-Computer Interaction
Auteur 
Palanque, Philippe. editor. Paterno, Fabio. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA267 -268.5
ISBN (Numéro international normalisé des livres) 
9781447134251
Full Text Available From Springer Nature Computer Science Archive Packages
Format : 
Ressources électroniques
Disponible:
6. 
Image de couverture de Logic, Algebra, and Computation International Summer School
Logic, Algebra, and Computation International Summer School
Logic, Algebra, and Computation International Summer School
Auteur 
Bauer, Friedrich L. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA75.5 -76.95
ISBN (Numéro international normalisé des livres) 
9783642767999
Full Text Available From Springer Nature Computer Science Archive Packages
Format : 
Ressources électroniques
Disponible:
7. 
Image de couverture de Prolog: The Standard Reference Manual
Prolog: The Standard Reference Manual
Prolog: The Standard Reference Manual
Auteur 
Deransart, Pierre. author. Ed-Dbali, AbdelAli. author. Cervoni, Laurent. author. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.76 .C65
ISBN (Numéro international normalisé des livres) 
9783642614118
Full Text Available From Springer Nature Computer Science Archive Packages
Format : 
Ressources électroniques
Disponible:
8. 
Image de couverture de Diagrammatic Representation and Inference 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings
Diagrammatic Representation and Inference 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings
Diagrammatic Representation and Inference 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings
Auteur 
Basu, Amrita. editor. Stapleton, Gem. editor. (orcid)0000-0002-6567-6752 Linker, Sven. editor. (orcid)0000-0003-2913-7943 Legg, Catherine. editor. (orcid)0000-0002-0231-5415 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021
Numéro de cote topographique requis 
QA76.9 .U83
ISBN (Numéro international normalisé des livres) 
9783030860622
Full Text Available From Springer Nature Computer Science 2021 Packages
Format : 
Ressources électroniques
Disponible:
9. 
Image de couverture de KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings
KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings
KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings
Auteur 
Hertzberg, Joachim. editor. Beetz, Michael. editor. Englert, Roman. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
Q334 -342
ISBN (Numéro international normalisé des livres) 
9783540745655
Full Text Available From Springer Nature Computer Science 2007 Packages
Format : 
Ressources électroniques
Disponible:
10. 
Image de couverture de Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings
Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings
Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings
Auteur 
Embley, David W. editor. Olivé, Antoni. editor. Ram, Sudha. editor. SpringerLink (Online service)
Numéro de cote topographique requis 
QA76.9 .D3
ISBN (Numéro international normalisé des livres) 
9783540472278
Full Text Available From Springer Nature Computer Science 2006 Packages
Format : 
Ressources électroniques
Disponible:
Sélectionner tout
10 Résultats trouvés M'abonner aux résultats de recherche
Limiter les résultats de recherche
Auteur
Langue
Date de publication
Ce graphique montre la distribution des dates de publication à utiliser avec un curseur de plage de dates. Passez au mode d’affichage Années pour une ventilation plus détaillée des résultats de recherche par année.
-
Sujet
Type de document
Emplacement
Bibliothèque