Ditemukan 11 dokumen yang sesuai dengan query
Pittsburg, Penn.: International Federation of Automatic Control , 1973
338.9 SYS
Buku Teks Universitas Indonesia Library
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
Boston: Martinus Nijhoff, 1979
711.4 HUM
Buku Teks SO Universitas Indonesia Library
Amsterdam: North-Holland, 1981
658.403 OPE
Buku Teks Universitas Indonesia Library
Oxford: Pergamon Press, 1978
658.5 MAD c (1)
Buku Teks Universitas Indonesia Library
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
Providance: American Mathematical Society, 1985
512.5 LIN
Buku Teks SO Universitas Indonesia Library
Kalamazoo: Behaviordelia, 1974
362.22 BEH
Buku Teks Universitas Indonesia Library
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
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