Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 51 dokumen yang sesuai dengan query
cover
King, Robert H., author
Singapore : McGraw-Hill, 2013
006.6 KIN i (1);006.6 KIN i (2)
Buku Teks  Universitas Indonesia Library
cover
Branislav Rovan, editor
This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from 162 submissions. Topics covered include algorithmic game...
Berlin: [Springer-Verlag, ], 2012
e20410051
eBooks  Universitas Indonesia Library
cover
Popa, Cosmin Radu, author
Synthesis of computational structures for analog signal processing focuses on analysis and design of analog signal processing circuits. The author presents a multitude of design techniques for improving the performances of analog signal processing circuits, and proposes specific implementation strategies that can be used in CMOS technology. The author's discussion...
New York: Springer, 2011
e20410828
eBooks  Universitas Indonesia Library
cover
This symposium concerned research on the use, design, and analysis of efficient algorithms and data structures, and on the mathematical problems related to the development and analysis of discrete algorithms. The papers are based on the extent to which the results yield new insights for the design, use, or analysis...
New York: Association for Computing Machinery, 2003
e20443195
eBooks  Universitas Indonesia Library
cover
This book focuses on web service specification, search, composition, validation, resiliency, security and engineering, and discusses various service specification standards like WSDL, SAWSDL, WSMO and OWLS. The theory and associated algorithms for service specification verification are detailed using formal models like Petrinet, FSM and UML. The book also explores various...
Singapore: Springer Nature, 2019
e20509422
eBooks  Universitas Indonesia Library
cover
Singh, Ajeet, 1939-, author
New Delhi : Tata McGraw-Hill , 2012
620.004 202 85 SIN m
Buku Teks  Universitas Indonesia Library
cover
Germán Vidal, editor
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered...
Berlin: [, Springer-Verlag], 2012
e20410072
eBooks  Universitas Indonesia Library
cover
Arnoldus, B.J., author
This book reveals the mathematical background of templates and shows interesting findings for improving the practical use of templates. First, a framework to determine the necessary computational power for the template metalanguage is presented. The template metalanguage does not need to be Turing-complete to be useful. A non-Turing-complete metalanguage enforces...
Paris: Atlantis Press, 2012
e20420662
eBooks  Universitas Indonesia Library
cover
This book constitutes the proceedings of the 8th International Workshop on Programming Multi-Agent Systems held in Toronto, Canada, in May 2010 in conjunction with AAMAS 2010, the 9th International Joint Conference on Autonomous Agents and Multiagent Systems. The 7 revised full papers presented together with 1 invited paper were carefully...
Berlin: Springer-Verlag, 2012
e20410494
eBooks  Universitas Indonesia Library
cover
This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited...
Berlin: Springer-Verlag, 2012
e20410294
eBooks  Universitas Indonesia Library
<<   1 2 3 4 5 6   >>