ISSNINTERNATIONAL OLYMPIAD IN INFORMATICS INSTITUTE OF MATHEMATICS AND INFORMATICS INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING OLYMPIADS IN INFORMATICS

First Page		Document Content
Date: 2015-04-20 09:12:35 Information science International Olympiad in Informatics International Science Olympiad Computing Science and technology Computer science British Informatics Olympiad National Olympiad in Informatics Informatics Belarusian State University Indian Computing Olympiad Canadian Computing Competition		ISSNINTERNATIONAL OLYMPIAD IN INFORMATICS INSTITUTE OF MATHEMATICS AND INFORMATICS INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING OLYMPIADS IN INFORMATICS Add to Reading List Source URL: www.mii.lt Download Document from Source Website File Size: 1,12 MB Share Document on Facebook

	LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games DocID: 1xW2u - View Document
	Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign DocID: 1xW0Y - View Document
	Extended Abstract: Risk-Sensitive Planning with Dynamic Uncertainty Liana Marinescu Department of Informatics, King’s College London DocID: 1xVZm - View Document
	Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella DocID: 1xVWA - View Document
	INFORMATICS DEVELOPMEN T AGENCY Digitally signed by INFORMATICS DocID: 1xVRX - View Document