Search Result

Found 16363 Document(s) match with the query 20410166
Model checking software : 19th international workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings
Author : Donaldson, Alasatair, editor
Call Number : e20410166
Collection Type : eBooks
Location : Universitas Indonesia Library
Large-scale complex IT systems: development, operation and management, 17th Monterey workshop 2012, Oxford, UK, March 19-21, 2012 : revised selected papers
Author : Radu Calinescu, editor
Call Number : e20407287
Collection Type : eBooks
Location : Universitas Indonesia Library
Automata, languages, and programming : 39th international colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings, part I
Author : No author
Call Number : e20410531
Collection Type : eBooks
Location : Universitas Indonesia Library
Automata, languages, and programming : 39th international colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings, part II
Author : No author
Call Number : e20410533
Collection Type : eBooks
Location : Universitas Indonesia Library
Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012 Philadelphia, PA, USA, January 22-24, 2012 : proceedings
Author : No author
Call Number : e20408216
Collection Type : eBooks
Location : Universitas Indonesia Library
Arithmetic of finite fields : 4th international workshop,WAIFI 2012, Bochum, Germany, July 16-19, 2012 : proceedings
Author : Ferruh Ozbudak, editor
Call Number : e20410407
Collection Type : eBooks
Location : Universitas Indonesia Library
<<   1 2 3 4 5   >>