trier par
Copyright © 2021 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?  
rechercher (et) (Mots du titre) Games and programs | 162 résultat(s)

Services

Affiner la recherche

Mot Type Compte
games Mots du titre [7438]
programs Mots du titre [5666]
premierprécédent | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | suivantdernier

Livres 1.
Totten, Chris / CRC, Taylor & Francis Group / 2014Résumé
Ressources électroniques 2.
Hutchison, David (1944-....) / Springer Berlin Heidelberg : Imprint: Springer / 2008Résumé
Ressources électroniques 3.
International Conference on Logic Programming (25th ; Pasadena, Calif., USA ; 2009) / Springer Berlin Heidelberg : Imprint: Springer / 2009Résumé
Ressources électroniques 4.
Baier, Christel / 1st ed. 2015. / Springer Berlin Heidelberg / 2015Résumé
Ressources électroniques 5.
1st ed. 2007. / Springer Berlin Heidelberg / 2007Résumé
Ressources électroniques 6.
Artikis, Alexander / 1st ed. 2012. / Springer Berlin Heidelberg / 2012Résumé
Livres 7.
Computer aided verification (International conference) (26 ; Vienna, Austria ; July 18-22, 2014) / Springer / cop. 2014Résumé
Ressources électroniques 8.
Springer Berlin Heidelberg : Springer e-books : Imprint: Springer : Springer e-books / 2015Résumé
Ressources électroniques 9.
Biere, Armin (1967-) / 1st ed. 2014. / Springer International Publishing / 2014Résumé
Ressources électroniques 10.
Piterman, Nir (19..-) / Springer Berlin Heidelberg : Springer e-books : Imprint: Springer : Springer e-books / 2013Résumé