Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 11 dokumen yang sesuai dengan query
cover
Pittsburg, Penn.: International Federation of Automatic Control , 1973
338.9 SYS
Buku Teks  Universitas Indonesia Library
cover
This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 25...
Berlin: Springer-Verlag, 2012
e20410289
eBooks  Universitas Indonesia Library
cover
cover
Amsterdam: North-Holland, 1981
658.403 OPE
Buku Teks  Universitas Indonesia Library
cover
cover
This book constitutes the refereed proceedings of the 7th International Conference on Design Science Research in Information Systems and Technology, DERIST 2012, held in Las Vegas, NV, USA, in May 2012. The 24 revised full papers presented together with 7 revised short papers were carefully reviewed and selected from 44...
Berlin: Springer-Verlag, 2012
e20410363
eBooks  Universitas Indonesia Library
cover
cover
cover
Roberto Moreno-Díaz, editor
The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the...
Berlin: [, Springer-Verlag], 2012
e20409076
eBooks  Universitas Indonesia Library
cover
This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers...
Berlin: Springer-Verlag, 2012
e20409373
eBooks  Universitas Indonesia Library
<<   1 2   >>