Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 450 dokumen yang sesuai dengan query
cover
Rajeev Joshi, editor
This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial submissions...
Berlin: Springer-Verlag, 2012
e20408170
eBooks  Universitas Indonesia Library
cover
Monica Palmirani, editor
This volume collects the contributions to the workshop's third edition, which took place as part of the 25th IVR congress of Philosophy of Law and Social Philosophy, held in Frankfurt, Germany, in August 2011. This volume comprises six main parts devoted to the each of the six topics addressed in...
Berlin: Springer-Verlag, 2012
e20408232
eBooks  Universitas Indonesia Library
cover
Nader H. Bshouty, editor
This book constitutes the refereed proceedings of the 7th International Workshop on Security, IWSEC 2012, held in Fukuoka, Japan, in November 2012. The 16 revised selected papers presented in this volume were carefully reviewed and selected from 53 submissions. They are organized in topical sections named: implementation; encryption and key...
Berlin: Springer-Verlag, 2012
e20408473
eBooks  Universitas Indonesia Library
cover
Hitoshi Sahara, editor
This book constitutes the refereed proceedings of the 8th International Conference on Advances in Natural Language Processing, JapTAL 2012, Kanazawa, Japan, in October 2012. The 27 revised full papers and 5 revised short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on...
Berlin: [, Springer-Verlag], 2012
e20408520
eBooks  Universitas Indonesia Library
cover
Zivny, Stanislav, author
In this book the author presents general techniques for analysing the structure of such functions and the computational complexity of the minimisation problem, and he gives a comprehensive list of tractable cases. Moreover, he demonstrates that the so-called algebraic approach to VCSPs can be used not only for the search...
Berlin: [, Springer-Verlag], 2012
e20408537
eBooks  Universitas Indonesia Library
cover
Has Hu, editor
This book constitutes the refereed proceedings of the Third International Conference on Computational Logistics, held in Shanghai, China, in September 2012. The 15 revised full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on maritime shipping; logistics and supply chain management;...
Berlin: [, Springer-Verlag ], 2012
e20408625
eBooks  Universitas Indonesia Library
cover
Mohamed Medhat Gaber, editor
Data mining, an interdisciplinary field combining methods from artificial intelligence, machine learning, statistics and database systems, has grown tremendously over the last 20 years and produced core results for applications like business intelligence, spatio-temporal data analysis, bioinformatics, and stream data processing. The fifteen contributors to this volume are successful and well-known...
Berlin: [, Springer-Verlag], 2012
e20408717
eBooks  Universitas Indonesia Library
cover
Leszek Rutkowski, editor
The volume LNCS 7269 constitutes the refereed proceedings of the International Symposium on Swarm Intelligence and Differential Evolution, SIDE 2012, held in Zakopane, Poland, in April/May 2012 in conjunction with the 11th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2012 (proceedings published as two-volume set LNAI 7267 and...
Berlin: [, Springer-Verlag], 2012
e20409024
eBooks  Universitas Indonesia Library
cover
P. Venkata Krishna, editor
This 2-Volume-Set, CCIS 0269-CCIS 0270, constitutes the refereed proceedings of the International Conference on Global Trends in Computing and Communication (CCIS 0269) and the International Conference on Global Trends in Information Systems and Software Applications (CCIS 0270), ObCom 2011, held in Vellore, India, in December 2011. The 173 full papers...
Berlin: [Springer-Verlag, ], 2012
e20409029
eBooks  Universitas Indonesia Library
cover
Esra Erdem, editor
This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. The 39 contributions reflect the breadth and the depth of the work of Vladimir Lifschitz in...
Berlin: [, Springer-Verlag], 2012
e20409159
eBooks  Universitas Indonesia Library
<<   4 5 6 7 8 9 10 11 12 13   >>