You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Here is an ideal textbook on software visualization, written especially for students and teachers in computer science. It provides a broad and systematic overview of the area including many pointers to tools available today. Topics covered include static program visualization, algorithm animation, visual debugging, as well as the visualization of the evolution of software. The author's presentation emphasizes common principles and provides different examples mostly taken from seminal work. In addition, each chapter is followed by a list of exercises including both pen-and-paper exercises as well as programming tasks.
This book constitutes the refereed proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON 2001, held in Guilin, China, in August 2001.The 50 revised full papers and 16 short papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on complexity theory, computational biology, computational geometry, data structures and algorithms, games and combinatorics, graph algorithms and complexity, graph drawing, graph theory, online algorithms, randomized and average-case algorithms, Steiner trees, systems algorithms and modeling, and computability.
The two-volume set LNCS 4051 and LNCS 4052 constitutes the refereed proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, held in Venice, Italy, July 2006. In all, these volumes present more 100 papers and lectures. Volume I (4051) presents 61 revised full papers together with 1 invited lecture, focusing on algorithms, automata, complexity and games, on topics including graph theory, quantum computing, and more.
This book constitutes the refereed conference proceedings of the 11th International Conference on Algorithms and Complexity, CIAC 2019, held in Rome, Italy, in May 2019. The 30 full papers were carefully reviewed and selected from 95 submissions. The International Conference on Algorithms and Complexity is intended to provide a forum for researchers working in all aspects of computational complexity and the use, design, analysis and experimentation of efficient algorithms and data structures. The papers present original research in the theory and applications of algorithms and computational complexity.
Euro-Par 2005 was the eleventh conference in the Euro-Par series. It was organized by the Centre for Informatics and Information Technology (CITI) and the Department of Informatics of the Faculty of Science and Technology of Universidade Nova de Lisboa, at the Campus of Monte de Caparica.
This book constitutes the thoroughly refereed post-proceedings of the 8th International Symposium on Graph Drawing, GD 2000, held in Colonial Williamsburg, VA, USA, in September 2000. The 36 revised full papers presented were carefully reviewed and selected from a total of 68 submissions. The book presents topical sections on empirical studies and standards, theory, application and systems, force-directed layout, k-level graph layout, orthogonal drawing, symmetry and incremental layout, and reports on a workshop on graph data formats and on the annual GD graph drawing contest.
Annotation. This volume constitutes the refereed proceedings of the 9th International Symposium on Experimental Algorithms, SEA 2010, held on Ischia Island, Naples, Italy, in May 2010. The 40 revised full papers presented together with two invited papers were carefully reviewed and selected from 73 submissions. The topics covered include algorithm engineering, algorithmic libraries, algorithmic mechanism design, analysis of algorithms, algorithms for memory hierarchies, approximation techniques, bioinformatics, branch and bound algorithms, combinatorial and irregular problems, combinatorial structures and graphs, communication networks, complex networks, computational geometry, computational learning theory, computational optimization, computer systems, cryptography and security, data streams, data structures, distributed and parallel algorithms, evaluation of algorithms for realistic environments, experimental techniques and statistics, graph drawing, heuristics for combinatorial optimization.
This book constitutes the joint refereed proceedings of the three workshops held in conjunction with the 6th International Conference on Web Information Systems Engineering, WISE 2005, in New York, NY, USA, in November 2005. A total of 47 papers were submitted to the three workshops, and 28 revised full papers were carefully selected for presentation. The workshop on Web Information Systems Quality (WISQ 2005) - discussing and disseminating research on the quality of WIS and Web services from a holistic point of view - included 7 papers out of 12 submissions. The workshop on Web-based Learning (WBL 2005) accounted for 10 papers from 14 papers submitted - organized in topical sections on tools, models, and innovative applications. The workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2005) included 11 presentations selected from 21 submissions. Topics addressed are scalable repository and reasoning services, practical Semantic Web applications, query handling and optimization techniques.
This book constitutes the proceedings of the 18th Annual European Symposium on Algorithms, held in Liverpool, UK in September 2010.
This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 – Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6–10, 2023. The 33 full papers included in this book were carefully reviewed and selected from 53 submissions. They were organized in topical sections as follows: Argumentation and Logic Programming, Natural Language Processing, Machine Learning, Hybrid AI and Applications of AI.