Ditemukan 19 dokumen yang sesuai dengan query
Giannasi, Frank
London: Longman Group Limited, 1995
510 GIA m
Buku Teks Universitas Indonesia Library
Cheney, Ward, author
Singapore : Cengage Learning , 2013
518.285 CHE n
Buku Teks Universitas Indonesia Library
Pace, Gordon J., editor
This book is mainly written for computer science students, so here the author takes a different approach, he starts by defining ways of calculating the results of applying the operators and then proves that they satisfy various properties. After justifying his underlying approach the author offers detailed chapters covering propositional...
Berlin: [, Springer-Verlag], 2012
e20410300
eBooks Universitas Indonesia Library
Michael J. Dinneen, editor
The research interests of Cristian Calude are reflected in the topics covered by the 32 papers included in this book, namely, algorithmic information theory, algorithms, automata and formal languages, computing and natural sciences, computability and applications, logic and applications, philosophy of computation, physics and computation, and unconventional models of computation....
Berlin: [Springer-Verlag, ], 2012
e20408844
eBooks Universitas Indonesia Library
Till Mossakowski, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics, foundations of algebraic specification,...
Berlin: [, Springer-Verlag], 2012
e20409941
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 6th International Frontiers of Algorithmics Workshop, FAW 2012, and the 8th International Conference on Algorithmic Aspects in Information and Management, AAIM 2012, jointly held in Beijing, China, in May 2012. The 33 revised full papers presented together with 4 invited talks were...
Berlin: Springer-Verlag, 2012
e20410306
eBooks Universitas Indonesia Library
This book constitutes the proceedings of the 7th International Computer Science Symposium in Russia, CSR 2012, held in Nizhny Novgorod in July 2012. The 28 full papers presented in this volume were carefully reviewed and selected from 66 submissions. CSR 2012 was one of the events of the Alan Turing...
Berlin: Springer-Verlag, 2012
e20410485
eBooks Universitas Indonesia Library
Thomas Lukasiewicz, editor
This book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel, Germany, in March 2012. The 12 regular and 8 short papers, presented together with two invited talks in full paper-length, were carefully reviewed and selected from 53 submissions....
Berlin: [Springer-Verlag, ], 2012
e20409964
eBooks Universitas Indonesia Library
The 25 revised full papers presented, together with one invited talk, were carefully reviewed and selected from 48 submissions. New results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field...
Heidelberg: Springer, 2012
e20409974
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May 2012. The conference was combined with the Turing Lectures 2012, dedicated to celebrating Alan Turing’s unique impact on mathematics, computing, computer science, informatics,...
Berlin: Springer-Verlag, 2012
e20410304
eBooks Universitas Indonesia Library
