Microsoft Word - cgi2009 report_ - Geoinformatics - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2009-12-17 10:21:29 Geology Planetary science Earth GeoSciML OneGeology Earth sciences Commission for the Management and Application of Geoscience Information International Union of Geological Sciences Geological survey Geoinformatics CGI GeoSUR		Microsoft Word - cgi2009 report_ Add to Reading List Source URL: cgi-iugs.org Download Document from Source Website File Size: 1,08 MB Share Document on Facebook

	Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop DocID: 1xVYq - View Document
	A Study of Pushdown Games Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertat DocID: 1xVTs - View Document
	Dissertation Reactive Synthesis: branching logic & parameteri zed systems Ayrat Khalimov Advisor: Roderick Bloem DocID: 1xVvj - View Document
	L IVERPOOL U NIVERSITY M ASTER OF R ESEARCH D ECISION M AKING U NDER R ISK AND U NCERTAINTY Robust Probabilistic Risk/Safety Analysis DocID: 1xVus - View Document
	Finite Horizon Analysis of Markov Automata Dissertation zur Erlangung des akademischen Grades des Doktors der Ingenieurwissenschaften (Dr.-Ing.) der Fakultät für Mathematik und Informatik der Universität des Saarlande DocID: 1xV8b - View Document