Filter
(found 11158 products)
Book cover image
This book contains the refereed proceedings of the 14th International Symposium on Mathematical Morphology, ISMM 2019, held in Saarbrucken, Germany, in July 2019. The 40 revised full papers presented together with one invited talk were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections on ...
Mathematical Morphology and Its Applications to Signal and Image Processing: 14th International Symposium, ISMM 2019, Saarbrucken, Germany, July 8-10, 2019, Proceedings
This book contains the refereed proceedings of the 14th International Symposium on Mathematical Morphology, ISMM 2019, held in Saarbrucken, Germany, in July 2019. The 40 revised full papers presented together with one invited talk were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections on Theory, Discrete Topology and Tomography, Trees and Hierarchies, Multivariate Morphology, Computational Morphology, Machine Learning, Segmentation, Applications in Engineering, and Applications in (Bio)medical Imaging.
https://magrudy-assets.storage.googleapis.com/9783030208660.jpg
104.990000 USD

Mathematical Morphology and Its Applications to Signal and Image Processing: 14th International Symposium, ISMM 2019, Saarbrucken, Germany, July 8-10, 2019, Proceedings

Paperback / softback
Book cover image
This book is written for anyone who is interested in how a field of research evolves and the fundamental role of understanding uncertainties involved in different levels of analysis, ranging from macroscopic views to meso- and microscopic ones. We introduce a series of computational and visual analytic techniques, from research ...
Representing Scientific Knowledge: The Role of Uncertainty
This book is written for anyone who is interested in how a field of research evolves and the fundamental role of understanding uncertainties involved in different levels of analysis, ranging from macroscopic views to meso- and microscopic ones. We introduce a series of computational and visual analytic techniques, from research areas such as text mining, deep learning, information visualization and science mapping, such that readers can apply these tools to the study of a subject matter of their choice. In addition, we set the diverse set of methods in an integrative context, that draws upon insights from philosophical, sociological, and evolutionary theories of what drives the advances of science, such that the readers of the book can guide their own research with their enriched theoretical foundations. Scientific knowledge is complex. A subject matter is typically built on its own set of concepts, theories, methodologies and findings, discovered by generations of researchers and practitioners. Scientific knowledge, as known to the scientific community as a whole, experiences constant changes. Some changes are long-lasting, whereas others may be short lived. How can we keep abreast of the state of the art as science advances? How can we effectively and precisely convey the status of the current science to the general public as well as scientists across different disciplines? The study of scientific knowledge in general has been overwhelmingly focused on scientific knowledge per se. In contrast, the status of scientific knowledge at various levels of granularity has been largely overlooked. This book aims to highlight the role of uncertainties, in developing a better understanding of the status of scientific knowledge at a particular time, and how its status evolves over the course of the development of research. Furthermore, we demonstrate how the knowledge of the types of uncertainties associated with scientific claims serves as an integral and critical part of our domain expertise.
https://magrudy-assets.storage.googleapis.com/9783319873367.jpg
83.990000 USD

Representing Scientific Knowledge: The Role of Uncertainty

by Min Song, Chaomei Chen
Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 31st International Conference on Advanced Information Systems Engineering, CAiSE 2019, held in Rome, Italy, in June 2019. The 41 full papers presented in this volume were carefully reviewed and selected from 206 submissions. The book also contains one invited talk in full ...
Advanced Information Systems Engineering: 31st International Conference, CAiSE 2019, Rome, Italy, June 3-7, 2019, Proceedings
This book constitutes the refereed proceedings of the 31st International Conference on Advanced Information Systems Engineering, CAiSE 2019, held in Rome, Italy, in June 2019. The 41 full papers presented in this volume were carefully reviewed and selected from 206 submissions. The book also contains one invited talk in full paper length. The papers were organized in topical sections named: information system engineering; requirements and modeling; data modeling and analysis; business process modeling and engineering; information system security; and learning and mining in information systems. Abstracts on the CAiSE 2019 tutorials can be found in the back matter of the volume.
https://magrudy-assets.storage.googleapis.com/9783030212896.jpg
115.490000 USD

Advanced Information Systems Engineering: 31st International Conference, CAiSE 2019, Rome, Italy, June 3-7, 2019, Proceedings

Paperback / softback
Book cover image
This volume constitutes the proceedings of the 12th International Conference on Cloud Computing, CLOUD 2019, held as part of the Services Conference Federation, SCF 2019, in San Diego, CA, USA, in June 2019. The 24 full papers were carefully reviewed and selected from 53 submissions. CLOUD has been a prime ...
Cloud Computing - CLOUD 2019: 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings
This volume constitutes the proceedings of the 12th International Conference on Cloud Computing, CLOUD 2019, held as part of the Services Conference Federation, SCF 2019, in San Diego, CA, USA, in June 2019. The 24 full papers were carefully reviewed and selected from 53 submissions. CLOUD has been a prime international forum for both researchers and industry practitioners to exchange the latest fundamental advances in the state of the art and practice of cloud computing, to identify emerging research topics, and to define the future of cloud computing. All topics regarding cloud computing align with the theme of CLOUD.
https://magrudy-assets.storage.googleapis.com/9783030235017.jpg
83.990000 USD

Cloud Computing - CLOUD 2019: 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 13th International Conference on Augmented Cognition, AC 2019, held as part of the 21st International Conference on Human-Computer Interaction, HCII 2019, in Orlando, FL, USA in July, 2019. The 1274 full papers and 209 posters presented at the HCII 2019 conferences were ...
Augmented Cognition: 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Augmented Cognition, AC 2019, held as part of the 21st International Conference on Human-Computer Interaction, HCII 2019, in Orlando, FL, USA in July, 2019. The 1274 full papers and 209 posters presented at the HCII 2019 conferences were carefully reviewed and selected from 5029 submissions. The papers cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of applications areas. The papers in this volume are organized in the following topical sections: cognitive modeling, perception, emotion and interaction; human cognition and behavior in complex tasks and environments; brain-computer interfaces and electroencephalography; and augmented learning.
https://magrudy-assets.storage.googleapis.com/9783030224189.jpg
115.490000 USD

Augmented Cognition: 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings

Paperback / softback
Book cover image
This open access book presents the outcomes of the Design for Future - Managed Software Evolution priority program 1593, which was launched by the German Research Foundation ( Deutsche Forschungsgemeinschaft (DFG) ) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles ...
Managed Software Evolution
This open access book presents the outcomes of the Design for Future - Managed Software Evolution priority program 1593, which was launched by the German Research Foundation ( Deutsche Forschungsgemeinschaft (DFG) ) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process. Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage. The book was mainly written for scientific researchers and advanced professionals with an academic background. They will benefit from its comprehensive treatment of various topics related to problems that are now gaining in importance, given the higher costs for maintenance and evolution in comparison to the initial development, and the fact that today, most software is not developed from scratch, but as part of a continuum of former and future releases.
https://magrudy-assets.storage.googleapis.com/9783030134983.jpg
62.990000 USD

Managed Software Evolution

Hardback
Book cover image
The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019. The total of 1274 ...
Design, User Experience, and Usability. Practice and Case Studies: 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part IV
The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019. The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was carefully reviewed and selected from 5029 submissions. DUXU 2019 includes a total of 167 regular papers, organized in the following topical sections: design philosophy; design theories, methods, and tools; user requirements, preferences emotions and personality; visual DUXU; DUXU for novel interaction techniques and devices; DUXU and robots; DUXU for AI and AI for DUXU; dialogue, narrative, storytelling; DUXU for automated driving, transport, sustainability and smart cities; DUXU for cultural heritage; DUXU for well-being; DUXU for learning; user experience evaluation methods and tools; DUXU practice; DUXU case studies.
https://magrudy-assets.storage.googleapis.com/9783030235345.jpg
115.490000 USD

Design, User Experience, and Usability. Practice and Case Studies: 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part IV

Paperback / softback
Book cover image
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with 6 invited lectures presented were fully ...
Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with 6 invited lectures presented were fully reviewed and selected from 60 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants.
https://magrudy-assets.storage.googleapis.com/9783662595329.jpg
115.490000 USD

Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Paperback / softback
Book cover image
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed ...
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
https://magrudy-assets.storage.googleapis.com/9783030255428.jpg
62.990000 USD

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 14th International Workshop on Security, IWSEC 2019, held in Tokyo, Japan, in August 2019. The 18 regular papers and 5 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They were organized in topical sections named: Public-Key ...
Advances in Information and Computer Security: 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28-30, 2019, Proceedings
This book constitutes the refereed proceedings of the 14th International Workshop on Security, IWSEC 2019, held in Tokyo, Japan, in August 2019. The 18 regular papers and 5 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They were organized in topical sections named: Public-Key Primitives; Cryptanalysis on Public-Key Primitives; Cryptographic Protocols; Symmetric-Key Primitives; Malware Detection and Classification; Intrusion Detection and Prevention; Web and Usable Security; Cryptanalysis on Symmetric-Key Primitives; and Forensics.
https://magrudy-assets.storage.googleapis.com/9783030268336.jpg
94.490000 USD

Advances in Information and Computer Security: 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28-30, 2019, Proceedings

Paperback / softback
Book cover image
The six volume set LNCS 11361-11366 constitutes the proceedings of the 14th Asian Conference on Computer Vision, ACCV 2018, held in Perth, Australia, in December 2018. The total of 274 contributions was carefully reviewed and selected from 979 submissions during two rounds of reviewing and improvement. The papers focus on ...
Computer Vision - ACCV 2018: 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018, Revised Selected Papers, Part II
The six volume set LNCS 11361-11366 constitutes the proceedings of the 14th Asian Conference on Computer Vision, ACCV 2018, held in Perth, Australia, in December 2018. The total of 274 contributions was carefully reviewed and selected from 979 submissions during two rounds of reviewing and improvement. The papers focus on motion and tracking, segmentation and grouping, image-based modeling, dep learning, object recognition object recognition, object detection and categorization, vision and language, video analysis and event recognition, face and gesture analysis, statistical methods and learning, performance evaluation, medical image analysis, document analysis, optimization methods, RGBD and depth camera processing, robotic vision, applications of computer vision.
https://magrudy-assets.storage.googleapis.com/9783030208899.jpg
125.990000 USD

Computer Vision - ACCV 2018: 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018, Revised Selected Papers, Part II

Paperback / softback
Book cover image
This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Reproducible Research in Pattern Recognition, RRPR 2018, in Beijing, China in August 2018. The 8 revised full papers, presented together 6 short papers, were carefully reviewed and selected from 14 submissions. This year the workshop did ...
Reproducible Research in Pattern Recognition: Second International Workshop, RRPR 2018, Beijing, China, August 20, 2018, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Reproducible Research in Pattern Recognition, RRPR 2018, in Beijing, China in August 2018. The 8 revised full papers, presented together 6 short papers, were carefully reviewed and selected from 14 submissions. This year the workshop did focus on Digital Geometry and Mathematical Morphology. The first track 1 on RR Framework was dedicated to the general topics of Reproducible Research in Computer Sciencewith a potential link to Image Processing and Pattern Recognition. In the second track 2 the authors described their works in terms of Reproducible Research.
https://magrudy-assets.storage.googleapis.com/9783030239862.jpg
62.990000 USD

Reproducible Research in Pattern Recognition: Second International Workshop, RRPR 2018, Beijing, China, August 20, 2018, Revised Selected Papers

Paperback / softback
Book cover image
The International Meshing Roundtable (IMR) brings together researchers, developers, and application experts in a variety of disciplines, from all over the world, to present and discuss ideas on mesh generation and related topics. The technical papers in this volume present theoretical and novel ideas and algorithms with practical potential, as ...
27th International Meshing Roundtable
The International Meshing Roundtable (IMR) brings together researchers, developers, and application experts in a variety of disciplines, from all over the world, to present and discuss ideas on mesh generation and related topics. The technical papers in this volume present theoretical and novel ideas and algorithms with practical potential, as well as technical applications in science and engineering, geometric modelling, computer graphics, and visualization.
https://magrudy-assets.storage.googleapis.com/9783030139919.jpg
146.990000 USD

27th International Meshing Roundtable

Hardback
Book cover image
The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019. The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. ...
Computational Science and Its Applications - ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part IV
The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019. The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five general tracks: computational methods, algorithms and scientific applications; high performance computing and networks; geometric modeling, graphics and visualization; advanced and emerging applications; and information systems and technologies. The 259 workshop papers were presented at 33 workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as software engineering, security, artificial intelligence and blockchain technologies.
https://magrudy-assets.storage.googleapis.com/9783030243043.jpg
136.490000 USD

Computational Science and Its Applications - ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part IV

Paperback / softback
Book cover image
This book constitutes the refereed post-conference proceedings of the IFIP TC 3 Open Conference on Computers in Education, OCCE 2018, held in Linz, Austria, in June 2018. The 24 revised full papers and 3 short papers included in this volume were carefully reviewed and selected from 63 submissions during two ...
Empowering Learners for Life in the Digital Age: IFIP TC 3 Open Conference on Computers in Education, OCCE 2018, Linz, Austria, June 24-28, 2018, Revised Selected Papers
This book constitutes the refereed post-conference proceedings of the IFIP TC 3 Open Conference on Computers in Education, OCCE 2018, held in Linz, Austria, in June 2018. The 24 revised full papers and 3 short papers included in this volume were carefully reviewed and selected from 63 submissions during two rounds of reviewing. The papers discuss key emerging topics and evolving practices in the area of educational computing research. They are organized in the following topical sections: computational thinking; programming and computer science education; teachers' education and professional development; games-based learning and gamification; learning in specific and disciplinary contexts; learning in social networking environments; and self-assessment, e-assessment and e-examinations.
https://magrudy-assets.storage.googleapis.com/9783030235123.jpg
104.990000 USD

Empowering Learners for Life in the Digital Age: IFIP TC 3 Open Conference on Computers in Education, OCCE 2018, Linz, Austria, June 24-28, 2018, Revised Selected Papers

Hardback
Book cover image
This book constitutes the revised and selected papers from the 6th International Workshop on Engineering Multi-Agent Systems held in Stockholm, Sweden, in July 2018, in conjunction with AAMAS 2018. The 17 full papers presented in this volume were carefully reviewed and selected from 32 submissions. The book also contains a ...
Engineering Multi-Agent Systems: 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers
This book constitutes the revised and selected papers from the 6th International Workshop on Engineering Multi-Agent Systems held in Stockholm, Sweden, in July 2018, in conjunction with AAMAS 2018. The 17 full papers presented in this volume were carefully reviewed and selected from 32 submissions. The book also contains a state-of-the-art paper that reflects on the role and potential of MAS engineering in a number of key facets. The papers are clustered around the following themes: programming agents and MAS, agent-oriented software engineering, formal analysis techniques, rational agents, modeling and simulation, frameworks and application domains.
https://magrudy-assets.storage.googleapis.com/9783030256920.jpg
83.990000 USD

Engineering Multi-Agent Systems: 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This book constitutes the proceedings of the 15th International Conference on Parallel Computing Technologies, PaCT 2019, held in Almaty, Kazakhstan, in August 2019. The 24 full papers and 10 short papers presented were carefully reviewed and selected from 72 submissions. The papers are organized in topical sections on Programming Languages ...
Parallel Computing Technologies: 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019, Proceedings
This book constitutes the proceedings of the 15th International Conference on Parallel Computing Technologies, PaCT 2019, held in Almaty, Kazakhstan, in August 2019. The 24 full papers and 10 short papers presented were carefully reviewed and selected from 72 submissions. The papers are organized in topical sections on Programming Languages and Execution Environments; Methods and Tools for Parallel Solution of Large-Scale Problems; Data Processing; Cellular Automata; and Distributed Algorithms.
https://magrudy-assets.storage.googleapis.com/9783030256357.jpg
94.490000 USD

Parallel Computing Technologies: 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019, Proceedings

Paperback / softback
Book cover image
The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019. The total of 1274 ...
Design, User Experience, and Usability. Design Philosophy and Theory: 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I
The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019. The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was carefully reviewed and selected from 5029 submissions. DUXU 2019 includes a total of 167 regular papers, organized in the following topical sections: design philosophy; design theories, methods, and tools; user requirements, preferences emotions and personality; visual DUXU; DUXU for novel interaction techniques and devices; DUXU and robots; DUXU for AI and AI for DUXU; dialogue, narrative, storytelling; DUXU for automated driving, transport, sustainability and smart cities; DUXU for cultural heritage; DUXU for well-being; DUXU for learning; user experience evaluation methods and tools; DUXU practice; DUXU case studies.
https://magrudy-assets.storage.googleapis.com/9783030235697.jpg
115.490000 USD

Design, User Experience, and Usability. Design Philosophy and Theory: 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I

Paperback / softback
Book cover image
This best-selling software testing title is the only official textbook of the ISTQB-BCS Certified Tester Foundation Level. This fourth edition includes examples and exercises reflecting current technology and applications. It is ideal for those with a little experience of software testing who wish to cement their knowledge with industry-recognised techniques ...
Software Testing: An ISTQB-BCS Certified Tester Foundation guide - 4th edition
This best-selling software testing title is the only official textbook of the ISTQB-BCS Certified Tester Foundation Level. This fourth edition includes examples and exercises reflecting current technology and applications. It is ideal for those with a little experience of software testing who wish to cement their knowledge with industry-recognised techniques and theory.
https://magrudy-assets.storage.googleapis.com/9781780174921.jpg
68.24 USD

Software Testing: An ISTQB-BCS Certified Tester Foundation guide - 4th edition

by Peter Williams, Geoff Thompson, Angelina Samaroo, Peter Morgan, Brian Hambling
Paperback / softback
Book cover image
This book addresses emerging issues resulting from the integration of artificial intelligence systems in our daily lives. It focuses on the cognitive, visual, social and analytical aspects of computing and intelligent technologies, highlighting ways to improve the acceptance, effectiveness, and efficiency of said technologies. Topics such as responsibility, integration and ...
Advances in Artificial Intelligence, Software and Systems Engineering: Proceedings of the AHFE 2019 International Conference on Human Factors in Artificial Intelligence and Social Computing, the AHFE International Conference on Human Factors, Software, Se
This book addresses emerging issues resulting from the integration of artificial intelligence systems in our daily lives. It focuses on the cognitive, visual, social and analytical aspects of computing and intelligent technologies, highlighting ways to improve the acceptance, effectiveness, and efficiency of said technologies. Topics such as responsibility, integration and training are discussed throughout. The book also reports on the latest advances in systems engineering, with a focus on societal challenges and next-generation systems and applications for meeting them. The book is based on two AHFE 2019 Affiliated Conferences - on Artificial Intelligence and Social Computing, and on Service, Software, and Systems Engineering -, which were jointly held on July 24-28, 2019, in Washington, DC, USA.
https://magrudy-assets.storage.googleapis.com/9783030204532.jpg
262.490000 USD

Advances in Artificial Intelligence, Software and Systems Engineering: Proceedings of the AHFE 2019 International Conference on Human Factors in Artificial Intelligence and Social Computing, the AHFE International Conference on Human Factors, Software, Se

Paperback / softback
Book cover image
This book contains the refereed proceedings of the 14th International Conference on Knowledge Management in Organizations, KMO 2019, held in Zamora, Spain, in July 2019. The 46 papers accepted for KMO 2018 were selected from 109 submissions and are organized in topical sections on: knowledge management models and analysis; knowledge ...
Knowledge Management in Organizations: 14th International Conference, KMO 2019, Zamora, Spain, July 15-18, 2019, Proceedings
This book contains the refereed proceedings of the 14th International Conference on Knowledge Management in Organizations, KMO 2019, held in Zamora, Spain, in July 2019. The 46 papers accepted for KMO 2018 were selected from 109 submissions and are organized in topical sections on: knowledge management models and analysis; knowledge transfer and learning; knowledge and service innovation; knowledge creation; knowledge and organization; information systems and information science; data mining and intelligent science; social networks and social aspects of KM; big data and IoT; and new trends in IT.
https://magrudy-assets.storage.googleapis.com/9783030214500.jpg
115.490000 USD

Knowledge Management in Organizations: 14th International Conference, KMO 2019, Zamora, Spain, July 15-18, 2019, Proceedings

Paperback / softback
Book cover image
This unique text/reference reviews the key principles and techniques in conceptual modelling which are of relevance to specialists in the field of cultural heritage. Information modelling tasks are a vital aspect of work and study in such disciplines as archaeology, anthropology, history, and architecture. Yet the concepts and methods behind ...
Information Modelling for Archaeology and Anthropology: Software Engineering Principles for Cultural Heritage
This unique text/reference reviews the key principles and techniques in conceptual modelling which are of relevance to specialists in the field of cultural heritage. Information modelling tasks are a vital aspect of work and study in such disciplines as archaeology, anthropology, history, and architecture. Yet the concepts and methods behind information modelling are rarely covered by the training in cultural heritage-related fields. With the increasing popularity of the digital humanities, and the rapidly growing need to manage large and complex datasets, the importance of information modelling in cultural heritage is greater than ever before. To address this need, this book serves in the place of a course on software engineering, assuming no previous knowledge of the field. Topics and features: Presents a general philosophical introduction to conceptual modelling Introduces the basics of conceptual modelling, using the ConML language as an infrastructure Reviews advanced modelling techniques relating to issues of vagueness, temporality and subjectivity, in addition to such topics as metainformation and feature redefinition Proposes an ontology for cultural heritage supported by the Cultural Heritage Abstract Reference Model (CHARM), to enable the easy construction of conceptual models Describes various usage scenarios and applications of cultural heritage modelling, offering practical tips on how to use different techniques to solve real-world problems This interdisciplinary work is an essential primer for tutors and students (at both undergraduate and graduate level) in any area related to cultural heritage, including archaeology, anthropology, art, history, architecture, or literature. Cultural heritage managers, researchers, and professionals will also find this to be a valuable reference, as will anyone involved in database design, data management, or the conceptualization of cultural heritage in general. Dr. Cesar Gonzalez-Perez is a Staff Scientist at the Institute of Heritage Sciences (Incipit), within the Spanish National Research Council (CSIC), Santiago de Compostela, Spain.
https://magrudy-assets.storage.googleapis.com/9783319891934.jpg
73.490000 USD

Information Modelling for Archaeology and Anthropology: Software Engineering Principles for Cultural Heritage

by Cesar Gonzalez-Perez
Paperback / softback
Book cover image
The safety case (SC) is one of the railway industry's most important deliverables for creating confidence in their systems. This is the first book on how to write an SC, based on the standard EN 50129:2003. Experience has shown that preparing and understanding an SC is difficult and time consuming, ...
The Agile Safety Case
The safety case (SC) is one of the railway industry's most important deliverables for creating confidence in their systems. This is the first book on how to write an SC, based on the standard EN 50129:2003. Experience has shown that preparing and understanding an SC is difficult and time consuming, and as such the book provides insights that enhance the training for writing an SC. The book discusses both regular safety cases and agile safety cases, which avoid too much documentation, improve communication between the stakeholders, allow quicker approval of the system, and which are important in the light of rapidly changing technology. In addition, it discusses the necessity of frequently updating software due to market requirements, changes in requirements and increased cyber-security threats. After a general introduction to SCs and agile thinking in chapter 1, chapter 2 describes the majority of the roles that are relevant when developing railway-signaling systems. Next, chapter 3 provides information related to the assessment of signaling systems, to certifications based on IEC 61508 and to the authorization of signaling systems. Chapter 4 then explains how an agile safety plan satisfying the requirements given in EN 50126-1:1999 can be developed, while chapter 5 provides a brief introduction to safety case patterns and notations. Lastly, chapter 6 combines all this and describes how an (agile) SC can be developed and what it should include. To ensure that infrastructure managers, suppliers, consultants and others can take full advantage of the agile mind-set, the book includes concrete examples and presents relevant agile practices. Although the scope of the book is limited to signaling systems, the basic foundations for (agile) SCs are clearly described so that they can also be applied in other cases.
https://magrudy-assets.storage.googleapis.com/9783319889122.jpg
52.490000 USD

The Agile Safety Case

by Tor Stalhane, Thor Myklebust
Paperback / softback
Book cover image
The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019. The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. ...
Computational Science and Its Applications - ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part V
The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019. The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five general tracks: computational methods, algorithms and scientific applications; high performance computing and networks; geometric modeling, graphics and visualization; advanced and emerging applications; and information systems and technologies. The 259 workshop papers were presented at 33 workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as software engineering, security, artificial intelligence and blockchain technologies.
https://magrudy-assets.storage.googleapis.com/9783030243074.jpg
125.990000 USD

Computational Science and Its Applications - ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part V

Paperback / softback
Book cover image
The 3 volume-set LNCS 11566, 11567 + 11568 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 21st International Conference on Human-Computer Interaction, HCII 2019, which took place in Orlando, Florida, USA, in July 2019. A total of 1274 papers and 209 posters have been accepted ...
Human-Computer Interaction. Design Practice in Contemporary Societies: Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part III
The 3 volume-set LNCS 11566, 11567 + 11568 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 21st International Conference on Human-Computer Interaction, HCII 2019, which took place in Orlando, Florida, USA, in July 2019. A total of 1274 papers and 209 posters have been accepted for publication in the HCII 2019 proceedings from a total of 5029 submissions. The 125 papers included in this HCI 2019 proceedings were organized in topical sections as follows: Part I: design and evaluation methods and tools; redefining the human in HCI; emotional design, Kansei and aesthetics in HCI; and narrative, storytelling, discourse and dialogue. Part II: mobile interaction; facial expressions and emotions recognition; eye-gaze, gesture and motion-based interaction; and interaction in virtual and augmented reality. Part III: design for social challenges; design for culture and entertainment; design for intelligent urban environments; and design and evaluation case studies.
https://magrudy-assets.storage.googleapis.com/9783030226350.jpg
104.990000 USD

Human-Computer Interaction. Design Practice in Contemporary Societies: Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part III

Paperback / softback
Book cover image
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including ...
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.
https://magrudy-assets.storage.googleapis.com/9783030206512.jpg
83.990000 USD

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings

Paperback / softback
Book cover image
The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019. The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. ...
Computational Science and Its Applications - ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part II
The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019. The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five general tracks: computational methods, algorithms and scientific applications; high performance computing and networks; geometric modeling, graphics and visualization; advanced and emerging applications; and information systems and technologies. The 259 workshop papers were presented at 33 workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as software engineering, security, artificial intelligence and blockchain technologies.
https://magrudy-assets.storage.googleapis.com/9783030242954.jpg
125.990000 USD

Computational Science and Its Applications - ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part II

Paperback / softback
Book cover image
This book constitutes the proceedings of the 24th International Conference on Implementation and Application of Automata, CIAA 2019, held in Kosice, Slovakia, in July 2019.The 17 regular papers presented together with 2 invited papers in this book were carefully reviewed and selected from 29 initial submissions. The topics of the ...
Implementation and Application of Automata: 24th International Conference, CIAA 2019, Kosice, Slovakia, July 22-25, 2019, Proceedings
This book constitutes the proceedings of the 24th International Conference on Implementation and Application of Automata, CIAA 2019, held in Kosice, Slovakia, in July 2019.The 17 regular papers presented together with 2 invited papers in this book were carefully reviewed and selected from 29 initial submissions. The topics of the papers include complexity of languages and language operations, regular expressions, picture languages, jumping automata, input driven and two-dimensional automata, tree languages and tree transducers, architecture of oritatami systems, intruder deduction problem, context sensitive ash codes, rational relations, and algorithms for manipulating sequence binary decision diagrams
https://magrudy-assets.storage.googleapis.com/9783030236786.jpg
73.490000 USD

Implementation and Application of Automata: 24th International Conference, CIAA 2019, Kosice, Slovakia, July 22-25, 2019, Proceedings

Paperback / softback
Book cover image
The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019. The total of 1274 ...
Design, User Experience, and Usability. Application Domains: 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part III
The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019. The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was carefully reviewed and selected from 5029 submissions. DUXU 2019 includes a total of 167 regular papers, organized in the following topical sections: design philosophy; design theories, methods, and tools; user requirements, preferences emotions and personality; visual DUXU; DUXU for novel interaction techniques and devices; DUXU and robots; DUXU for AI and AI for DUXU; dialogue, narrative, storytelling; DUXU for automated driving, transport, sustainability and smart cities; DUXU for cultural heritage; DUXU for well-being; DUXU for learning; user experience evaluation methods and tools; DUXU practice; DUXU case studies.
https://magrudy-assets.storage.googleapis.com/9783030235376.jpg
104.990000 USD

Design, User Experience, and Usability. Application Domains: 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part III

Paperback / softback
Book cover image
Quantum computers are poised to kick-start a new computing revolution-and you can join in right away. If you're in software engineering, computer graphics, data science, or just an intrigued computerphile, this book provides a hands-on programmer's guide to understanding quantum computing. Rather than labor through math and theory, you'll work ...
Programming Quantum Computers: Essential Algorithms and Code Samples
Quantum computers are poised to kick-start a new computing revolution-and you can join in right away. If you're in software engineering, computer graphics, data science, or just an intrigued computerphile, this book provides a hands-on programmer's guide to understanding quantum computing. Rather than labor through math and theory, you'll work directly with examples that demonstrate this technology's unique capabilities. Quantum computing specialists Eric Johnston, Nic Harrigan, and Mercedes Gimeno-Segovia show you how to build the skills, tools, and intuition required to write quantum programs at the center of applications. You'll understand what quantum computers can do and learn how to identify the types of problems they can solve. This book includes three multichapter sections: Programming for a QPU-Explore core concepts for programming quantum processing units, including how to describe and manipulate qubits and how to perform quantum teleportation. QPU Primitives-Learn algorithmic primitives and techniques, including amplitude amplification, the Quantum Fourier Transform, and phase estimation. QPU Applications-Investigate how QPU primitives are used to build existing applications, including quantum search techniques and Shor's factoring algorithm.
https://magrudy-assets.storage.googleapis.com/9781492039686.jpg
95.54 USD

Programming Quantum Computers: Essential Algorithms and Code Samples

by Eric R Johnston, Nic Harrigan, Mercedes Gimeno-Segovia
Paperback / softback
Page 1 of 40