::  Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

 
Ditemukan 19 dokumen yang sesuai dengan query
cover
Giannasi, Frank
Maths for computing & information technology / Frank Giannasi and Robert Low
London: Longman Group Limited, 1995
510 GIA m
Buku Teks  Universitas Indonesia Library
cover
Cheney, Ward, author
Numerical mathematics and computing
Singapore : Cengage Learning , 2013
518.285 CHE n
Buku Teks  Universitas Indonesia Library
cover
Pace, Gordon J., editor
Mathematics of discrete structures for computer science
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
cover
Michael J. Dinneen, editor
Computation, physics and beyond : International Workshop on Theoretical Computer Science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of his 60th birthday, Auckland, New Zealand, February 21-24, 2012 : revised selected and invited papers
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
cover
Till Mossakowski, editor
Recent trends in algebraic development techniques : 20th international workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers
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
cover
Computer science ? theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012 : proceedings
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
cover
Frontiers in algorithmics and algorithmic aspects in information and management : joint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012 : proceedings
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
cover
Thomas Lukasiewicz, editor
Foundations of information and knowledge systems : 7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings
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
cover
Bretto, Alain, author
Éléments de théorie des graphes
Ce livre est une introduction développée à la théorie des graphes. Autour de cette théorie se développe aujourd'hui l'un des domaines les plus féconds et les plus dynamiques des mahématiques et de l'informatique. La théorie des graphes permet de réprésenter un ensemble complexe d'objets en exprimant les relations entre les...
Paris: [, Springer-Verlag], 2012
e20410622
eBooks  Universitas Indonesia Library
cover
Langtangen, Hans Petter , author
A primer on scientific programming with python
The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example and problem-oriented, where the applications are taken from mathematics, numerical calculus, statistics, physics, biology and finance. The book teaches "Matlab-style" and procedural programming as well as object-oriented programming....
New York: [, Springer-Verlag Berlin Heidelberg], 2012
e20418910
eBooks  Universitas Indonesia Library
<<   1 2   >>