Ditemukan 19 dokumen yang sesuai dengan query
Giannasi, Frank
London: Longman Group Limited, 1995
510 GIA m
Buku Teks Universitas Indonesia Library
Cheney, Ward
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 logic, predicate calculus, sets, relations, discrete structures, structured types, numbers, and reasoning about programs. The book contains chapter and section summaries, detailed proofs and many ...
"
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. They have been organized into four parts. The first part consists of papers discussing his life achievements. This is followed by papers in the three ...
"
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, other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing, specification languages, methods, and environments, semantics of conceptual modeling ...
"
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 carefully reviewed and selected from 81 submissions. The papers are organized in topical sections on algorithms and data structures, algorithmic game theory and incentive analysis, ...
"
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 Year 2012, the topics dealt with cover substantial parts of theoretical computer science and its applications ...
"
Berlin: Springer-Verlag, 2012
e20410485
eBooks Universitas Indonesia Library
"
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. The contributions cover foundational aspects of information and knowledge systems. These include the application of ideas, theories or methods from specific disciplines to information and ...
"
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, morphogenesis, philosophy, and the wider scientific world. Eight Turing Lectures were given at the TAMC 2012. The 40 revised full papers presented together with invited ...
"
Berlin: Springer-Verlag, 2012
e20410304
eBooks Universitas Indonesia Library
