Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 11 dokumen yang sesuai dengan query
cover
Systems approaches to developing countries : proceedings
Pittsburg, Penn.: International Federation of Automatic Control , 1973
338.9 SYS
Buku Teks  Universitas Indonesia Library
cover
Tools and algorithms for the construction and analysis of systems : 18th international conference, TACAS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24–April 1, 2012 : proceedings
" 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 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from ... "
Berlin: Springer-Verlag, 2012
e20410289
eBooks  Universitas Indonesia Library
cover
Human and energy factors in urban planning: a systems approach. Proceedings of the NATO Advanced Study Institute on “Factors Influencing Urban Design” Louvain-la-Neuve, Belgium, July 2–13, 1979
Boston: Martinus Nijhoff, 1979
711.4 HUM
Buku Teks SO  Universitas Indonesia Library
cover
Operational research '81
Amsterdam: North-Holland, 1981
658.403 OPE
Buku Teks  Universitas Indonesia Library
cover
Control and management of integrated industrial complexes : proceedings of the IFAC workshop, Toulouse, France, 6-8 September 1977
Oxford: Pergamon Press, 1978
658.5 MAD c (1)
Buku Teks  Universitas Indonesia Library
cover
Design science research in information systems : advances in theory and practice : 7th international conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012 : proceeding
" 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 submissions. The papers are organized in topical sections on DSRIS in practice, DSRIS methodologies and techniques, social and environmental aspects of DSRIS, theory and theory ... "
Berlin: Springer-Verlag, 2012
e20410363
eBooks  Universitas Indonesia Library
cover
Linear algebra and its role in systems theory : proceedings of a summer research conference held on July 29 August 1984
Providance: American Mathematical Society, 1985
512.5 LIN
Buku Teks SO  Universitas Indonesia Library
cover
Behavior analysis and systems analysis : an integrative approach to mental health programs / edited, Dwight Harshbarger
Kalamazoo: Behaviordelia, 1974
362.22 BEH
Buku Teks  Universitas Indonesia Library
cover
Roberto Moreno-Díaz, editor
Computer aided systems theory – EUROCAST 2011 : 13th international conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011 : revised selected papers, part II
" 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 books. The contributions are organized in topical sections on concepts and formal tools, software applications, computation and simulation in modelling biological systems, intelligent information processing, ... "
Berlin: [, Springer-Verlag], 2012
e20409076
eBooks  Universitas Indonesia Library
cover
Formal modeling and analysis of timed systems : 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings
" 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 topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits ... "
Berlin: Springer-Verlag, 2012
e20409373
eBooks  Universitas Indonesia Library
<<   1 2   >>