External memory algorithms for state space exploration in model checking and action planning [Elektronische Ressource] / von Shahid Jabbar

Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

237 pages

English

Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

Sujets

Informations

Publié par	technischen_universitat_dortmund
Publié le	01 janvier 2008
Nombre de lectures	34
Langue	English
Poids de l'ouvrage	1 Mo

Extrait