Search Result

Found 10230 Document(s) match with the query 20410210
Deontic logic in computer science : 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings
Author : Thomas Agotnes, editor
Call Number : e20410210
Collection Type : eBooks
Location : Universitas Indonesia Library
Computer aided verification : 24th international conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings
Author : P. Madhusudan, editor
Call Number : e20410422
Collection Type : eBooks
Location : Universitas Indonesia Library
Electronic government : 11th IFIP WG 8.5 International Conference, EGOV 2012, Kristiansand, Norway, September 3-6, 2012 : proceedings
Author : No author
Call Number : e20409303
Collection Type : eBooks
Location : Universitas Indonesia Library
Electronic participation : 4th IFIP WG 8.5 International Conference, ePart 2012, Kristiansand, Norway, September 3-5, 2012 : proceedings
Author : No author
Call Number : e20409986
Collection Type : eBooks
Location : Universitas Indonesia Library
Mathematical modelling and scientific computation : international conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012 : proceedings
Author : P. Balasubramaniam, editor
Call Number : e20410295
Collection Type : eBooks
Location : Universitas Indonesia Library
Intelligent computer mathematics : 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8-13, 2012, proceedings
Author : Johan Jeuring, editor
Call Number : e20410417
Collection Type : eBooks
Location : Universitas Indonesia Library
<<   1 2 3 4 5   >>