Add Wish List Add to Cart The item has been added Prolog Versus You Anna-Lena Johansson Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic) and use it as an obedient programming and problem solving tool. Logic ... RRP: $211.22 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Assignment and Matching Problems Rainer Burkard RRP: $119.79 $117.99 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Finite Model Theory and Its Applications Erich Grädel RRP: $163.91 $161.45 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Data Mining im Business Development. Optimierungspotenziale und Empfehlungen für Maschinenbauunternehmen Lisander Kajtazi Bachelorarbeit aus dem Jahr 2022 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1,3, Hochschule für angewandte Wissenschaften München (Betriebswirtschaftlehre), Sprache: Deutsch, Abstract:... RRP: $60.39 $59.18 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Kriterien zur Selektion von Cloud-Anbietern für Großhandelsunternehmen unter Berücksichtigung relevanter Datenschutzverordnungen. Konzeption eines Verfahrens Nataliia Vidanova-Kotschner Studienarbeit aus dem Jahr 2021 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 5.1, Kalaidos Fachhochschule Schweiz (Wirtschaft), Veranstaltung: IT-Management, Sprache: Deutsch, Abstract:... RRP: $39.05 $38.07 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Optimization Techniques in Computer Vision Mongi A. Abidi This book presents practical optimization techniques used in image processing and computer vision problems. Ill-posed problems are introduced and used as examples to show how each type of problem is... RRP: $199.97 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Biomimetic Design Method for Innovation and Sustainability Yael Helfman Cohen Presenting a novel biomimetic design method for transferring design solutions from nature to technology, this book focuses on structure-function patterns in nature and advanced modeling tools derived... RRP: $163.91 $161.45 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advances in Cryptology - EUROCRYPT 2018 Jesper Buus Nielsen The three volumes LNCS 10820, 10821, and 10822 constitute the thoroughly refereed proceedings of the 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques,... RRP: $187.63 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Designing Immersive Video Games Using 3DUI Technologies Arun K. Kulshreshth A 3D user interface (3DUI) is an interface in which the user performs tasks in three dimensions. For example, interactions using hand/body gestures, interaction using a motion controller (e.g. Sony... RRP: $196.90 $193.95 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Emotion in Video Game Soundtracking Duncan Williams This book presents an overview of the emerging field of emotion in videogame soundtracking. The emotional impact of music has been well-documented, particularly when used to enhance the impact of a... RRP: $240.22 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added String Analysis for Software Verification and Security Tevfik Bultan This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre... RRP: $175.83 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Nature-Inspired Algorithms and Applied Optimization Xin-She Yang This book reviews the state-of-the-art developments in nature-inspired algorithms and their applications in various disciplines, ranging from feature selection and engineering design optimization to... RRP: $306.90 $302.30 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Gems of Combinatorial Optimization and Graph Algorithms Andreas S. Schulz Are you looking for new lectures for your course on algorithms, combinatorial optimization, or algorithmic game theory? Maybe you need a convenient source of relevant, current topics for a graduate... RRP: $175.83 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Autonomy Requirements Engineering for Space Missions Emil Vassev Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are major factors supporting the use of unmanned craft... RRP: $199.97 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Green in Software Engineering Coral Calero RRP: $196.90 $193.95 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Logical Foundations of Mathematics and Computational Complexity Pavel Pudlak The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and ... RRP: $306.90 $302.30 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Graph Based Representations in Pattern Recognition Jean-Michel Jolion Graph-based representation of images is becoming a popular tool since it represents in a compact way the structure of a scene to be analyzed and allows for an easy manipulation of sub-parts or of... RRP: $155.73 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Progress in Materials Analysis M. Grasserbauer The 11th Colloquium on Metallurgical Analysis - a joint venture of the Institute of Analytical Chemistry of the Technical University in Vienna, the Austrian Society for Analytical Chemistry and... RRP: $190.43 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Programming mental ray® Thomas Driemeyer The mental ray series of handbooks is conceived to provide concise and up to date general and technical information about the commercially available rendering software mental ray. The series... RRP: $427.04 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Virtual Reality and Mixed Reality Arcadio Reyes-Lecuona This book constitutes the refereed proceedings of the 21st International Conference on Virtual Reality and Mixed Reality, EuroXR 2024, held in Athens, Greece, during November 27-29, 2024.The 14 full... RRP: $234.82 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers Dietmar Pfahl This book constitutes the refereed proceedings of the 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024, held in Tartu, Estonia, during December 2-4, 2024.The... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Services Computing - SCC 2024 Sheng He This book constitutes the refereed proceedings of the 21st International Conference on Services Computing - SCC 2024, Held as Part of the Services Conference Federation, SCF 2024, held in Bangkok,... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Technologies and Innovation Rafael Valencia-García This book constitutes the refereed proceedings of the 10th International Conference on Technologies and Innovation, CITI 2024, held in Guayaquil, Ecuador, during November 2024.The 15 full papers... RRP: $130.90 $128.94 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Blockchain - ICBC 2024 Jun Feng This book constitutes the proceedings of the 7th International Conference on Blockchain - ICBC 2024, held as part of the Services Conference Federation, SCF 2024, held in Bangkok, Thailand, during... RRP: $93.49 $91.62 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Leveraging Applications of Formal Methods, Verification and Validation. Application Areas Tiziana Margaria The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in... RRP: $115.93 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies Tiziana Margaria The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in... RRP: $155.87 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems Tiziana Margaria The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in... RRP: $155.87 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Bridging the Gap Between AI and Reality Bernhard Steffen This open access book constitutes revised selected papers from the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in... RRP: $284.26 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Navigating Unpredictability Luis M. Camarinha-Matos This two-volume set, IFIP AICT 726 and 727, constitutes the refereed proceedings of the 25th IFIP WG 5.5 Working Conference on Virtual Enterprise, PRO-VE 2024, held in Albi, France, during October... RRP: $240.22 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Disruptive Information Technologies for a Smart Society Miroslav Trajanović This book aims at meeting the challenge of getting along with today's unprecedented rate of innovation supported by disruptive digital technologies, which changed the perception of the productivity... RRP: $388.10 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Artificial Intelligence Algorithm Design for Systems Radek Silhavy This volume delves into the application of Artificial Intelligence within systems and network environments. Highlighted papers investigate the latest in neural network applications, optimisation... RRP: $361.90 $356.47 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added The Engineering of Digital Twins John Fitzgerald This book is about the engineering of Digital Twins (DTs) of cyber-physical systems (CPSs). It goes behind the glossy image of DTs to help researchers and advanced professionals to ask and answer the... RRP: $388.10 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Advanced Network Technologies and Intelligent Computing Isaac Woungang This book constitutes the refereed proceedings of the Second International Conference on Advanced Network Technologies and Intelligent Computing, ANTIC 2022, held in Varanasi, India, during December... RRP: $175.83 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Smart Computing and Communication Meikang Qiu This book constitutes the proceedings of the 7th International Conference on Smart Computing and Communication, SmartCom 2022, held in New York City, NY, USA, during November 18-20, 2022.The 64... RRP: $211.22 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops Paolo Masci This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin,... RRP: $211.22 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Mathematical Foundations of Software Engineering Gerard O'Regan This textbook presents an introduction to the mathematical foundations of software engineering. It presents the rich applications of mathematics in areas such as error-correcting codes,... RRP: $180.42 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Computer Aided Systems Theory - EUROCAST 2022 Roberto Moreno-Díaz This book constitutes the refereed proceedings of the 18th International Conference on Computer-Aided Systems Theory, EUROCAST 2022, held in Las Palmas de Gran Canaria, Spain, during February 20-25,... RRP: $199.42 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Principles of Systems Design Jean-François Raskin This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022. This Festschrift volume celebrates his many contributions in the field of computer science, with 31... RRP: $175.83 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Data Science and Algorithms in Systems Radek Silhavy This book offers real-world data science and algorithm design topics linked to systems and software engineering. Furthermore, articles describing unique techniques in data science, algorithm design,... RRP: $388.22 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles Tiziana Margaria This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took... RRP: $172.36 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Design and Applications of Nature Inspired Optimization Dipti Singh This book gives a detailed information of various real-life applications from various fields using nature inspired optimization techniques. These techniques are proven to be efficient and robust in... RRP: $186.54 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Innovation Practices for Digital Transformation in the Global South José Abdelnour-Nocera This book is a collection of chapters from the IFIP working groups 13.8 and 9.4. The 10 papers included present experiences and research on the topic of digital transformation and innovation... RRP: $175.83 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Handbook of Re-Engineering Software Intensive Systems into Software Product Lines Roberto E. Lopez-Herrejon This handbook distils the wealth of expertise and knowledge from a large community of researchers and industrial practitioners in Software Product Lines (SPLs) gained through extensive and rigorous... RRP: $388.22 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Cybernetics Perspectives in Systems Radek Silhavy This book contains the refereed proceedings of the Cybernetics Perspectives in Systems session of the 11th Computer Science On-line Conference 2022 (CSOC 2022), which was held in April 2022 online... RRP: $388.22 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Artificial Intelligence Trends in Systems Radek Silhavy This book covers themes related to artificial intelligence in systems and networks application. Selected papers explore modern neural networks application, optimization and hybrid and bio-inspired... RRP: $388.22 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Software Engineering Perspectives in Systems Radek Silhavy The study of software engineering and its applications to system engineering is critical in computer science research. Modern research methodologies, as well as the use of machine and statistical... RRP: $361.90 $356.47 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added The Logic of Software. A Tasting Menu of Formal Methods Wolfgang Ahrendt This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.After positions at Karlsruhe Institute of Technology... RRP: $199.42 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Cross-Cultural Design. Interaction Design Across Cultures Pei-Luen Patrick Rau The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022... RRP: $199.42 Add to Cart The item has been added