Ditemukan 52 dokumen yang sesuai dengan query
Constable, Robert L., editor
This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. The volume includes 19 full papers related...
Berlin : [Springer-Verlag, ], 2012
e20410510
eBooks Universitas Indonesia Library
The papers in this volume were presented at the Ninteenth Annual ACM-SIAM Symposium on Discrete Algorithms, held January 20-22, 2008, in San Francisco, California. The Symposium was jointly sponsored by the SIAM Activity Group on Discrete Mathematics and by SIGACT, the ACM Special Interest Group on Algorithms and Computation Theory...
New York: Association for Computing Machinery, 2008
e20450983
eBooks Universitas Indonesia Library
Bergstra, Jan A., author
This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in...
Paris: Atlantis Press, 2012
e20420463
eBooks Universitas Indonesia Library
Philadelphia: Society for Industrial and Applied Mathematics, 2006
e20449171
eBooks Universitas Indonesia Library
The Symposium was jointly sponsored by the SIAM Activity Group on Discrete Mathematics and by SIGACT, the ACM Special Interest Group on Algorithms and Computation Theory.
This volume contains 136 papers that were selected from a field of 491 submissions based on their originality, technical contribution, and relevance. The symposium and...
Philadelphia: Society for Industrial and Applied Mathematics, 2005
e20449176
eBooks Universitas Indonesia Library
We were very pleased to choose papers for presentation at the ACM-SIAM Symposium on Discrete Algorithms (SODA), which will take place in Manhattan in January 2009. A total of 550 short abstracts were submitted, later materializing into 458 submissions, of which 135 were selected. The program committee meeting was entirely...
New York: Association for Computing Machinery, 2009
e20451039
eBooks Universitas Indonesia Library
The papers in this volume were presented at the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, held January 7/9, 2007, in New Orleans, Louisiana. The Symposium was jointly sponsored by the SIAM Activity Group on Discrete Mathematics and by SIGACT, the ACM Special Interest Group on Algorithms and Computation Theory...
New York: Association for Computing Machinery , 2007
e20451276
eBooks Universitas Indonesia Library
The topics covered reflect some of the transitions in her career. The dominant theme is programming languages, with chapters on object oriented programming, real-time programming, component programming and design patterns. Another major and related topic is compilers, with contributions on dataflow analysis, tree rewriting and keyword recognition. Finally, there are...
London: Springer-Verlag , 2012
e20407451
eBooks Universitas Indonesia Library
This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and selected from 432...
Berlin: Springer-Verlag, 2012
e20410533
eBooks Universitas Indonesia Library
This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and selected from 432...
Berlin: Springer-Verlag, 2012
e20410531
eBooks Universitas Indonesia Library
