Filter
(found 431 products)
Book cover image
This volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections, seven of which reflect ...
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
This volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications.
https://magrudy-assets.storage.googleapis.com/9783030309848.jpg
104.990000 USD

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Paperback / softback
Book cover image
This volume constitutes the refereed proceedings of the 26th International Symposium on String Processing and Information Retrieval, SPIRE 2019, held in Segovia, Spain, in October 2019. The 28 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 59 submissions. They cover topics such ...
String Processing and Information Retrieval: 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7-9, 2019, Proceedings
This volume constitutes the refereed proceedings of the 26th International Symposium on String Processing and Information Retrieval, SPIRE 2019, held in Segovia, Spain, in October 2019. The 28 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 59 submissions. They cover topics such as: data compression; information retrieval; string algorithms; algorithms; computational biology; indexing and compression; and compressed data structures.
https://magrudy-assets.storage.googleapis.com/9783030326852.jpg
104.990000 USD

String Processing and Information Retrieval: 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7-9, 2019, Proceedings

Paperback / softback
Book cover image
The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. The total of 67 full papers included in these proceedings was carefully reviewed and selected from 344 submissions. The papers were ...
Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I
The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. The total of 67 full papers included in these proceedings was carefully reviewed and selected from 344 submissions. The papers were organized in topical sections named as follows: Part I: machine learning; information leakage; signatures and re-encryption; side channels; formal modelling and verification; attacks; secure protocols; useful tools; blockchain and smart contracts. Part II: software security; cryptographic protocols; security models; searchable encryption; privacy; key exchange protocols; and web security.
https://magrudy-assets.storage.googleapis.com/9783030299583.jpg
125.990000 USD

Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I

Paperback / softback
Book cover image
This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in ...
Automated Deduction - CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings
This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.
https://magrudy-assets.storage.googleapis.com/9783030294359.jpg
104.990000 USD

Automated Deduction - CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 22nd International Conference on Discovery Science, DS 2019, held in Split, Coratia, in October 2019. The 21 full and 19 short papers presented together with 3 abstracts of invited talks in this volume were carefully reviewed and selected from 63 submissions. The scope ...
Discovery Science: 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings
This book constitutes the proceedings of the 22nd International Conference on Discovery Science, DS 2019, held in Split, Coratia, in October 2019. The 21 full and 19 short papers presented together with 3 abstracts of invited talks in this volume were carefully reviewed and selected from 63 submissions. The scope of the conference includes the development and analysis of methods for discovering scientific knowledge, coming from machine learning, data mining, intelligent data analysis, big data analysis as well as their application in various scientific domains. The papers are organized in the following topical sections: Advanced Machine Learning; Applications; Data and Knowledge Representation; Feature Importance; Interpretable Machine Learning; Networks; Pattern Discovery; and Time Series.
https://magrudy-assets.storage.googleapis.com/9783030337773.jpg
104.990000 USD

Discovery Science: 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 16th International Workshop on Knowledge Management and Acquisition for Intelligent Systems, PKAW 2019, held in Cuvu, Fiji, in August 2019.The 9 full papers and 7 short papers included in this volume were carefully reviewed and selected from 38 initial submissions. The papers cover ...
Knowledge Management and Acquisition for Intelligent Systems: 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26-27, 2019, Proceedings
This book constitutes the proceedings of the 16th International Workshop on Knowledge Management and Acquisition for Intelligent Systems, PKAW 2019, held in Cuvu, Fiji, in August 2019.The 9 full papers and 7 short papers included in this volume were carefully reviewed and selected from 38 initial submissions. The papers cover advanced research work that contributes to the technical and theoretical aspects in the fields of intelligent systems/agents, natural language processing, and applications of machine learning techniques including Deep Learning to real world problems.
https://magrudy-assets.storage.googleapis.com/9783030306380.jpg
62.990000 USD

Knowledge Management and Acquisition for Intelligent Systems: 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26-27, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the thoroughly refereed papers of the workshops held at the 9th International Conference on New Trends in Model and Data Engineering, MEDI 2019, in Toulouse, France, in October 2019. The 12 full and the three short workshop papers presented together with one invited paper were carefully reviewed ...
New Trends in Model and Data Engineering: MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019, Proceedings
This book constitutes the thoroughly refereed papers of the workshops held at the 9th International Conference on New Trends in Model and Data Engineering, MEDI 2019, in Toulouse, France, in October 2019. The 12 full and the three short workshop papers presented together with one invited paper were carefully reviewed and selected from 35 submissions. The papers are organized according to the 3 workshops: Workshop on Modeling, Verification and Testing of Dependable Critical systems, DETECT 2019, Workshop on Data Science for Social Good in Africa, DSSGA 2019, and Workshop on Security and Privacy in Models and Data, TRIDENT 2019.
https://magrudy-assets.storage.googleapis.com/9783030322120.jpg
89.240000 USD

New Trends in Model and Data Engineering: MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during September 2019. This is the third conference of a new series, joining the efforts of two existing conference series, namely RuleML (International Web Rule Symposium) and RR (Web Reasoning ...
Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during September 2019. This is the third conference of a new series, joining the efforts of two existing conference series, namely RuleML (International Web Rule Symposium) and RR (Web Reasoning and Rule Systems). The 10 full research papers presented together with 5 short technical communications papers were carefully reviewed and selected from 26 submissions.
https://magrudy-assets.storage.googleapis.com/9783030310943.jpg
62.990000 USD

Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 22nd International Conference on Information Security, ISC 2019, held in New York City, NY, USA, in September 2019. The 23 full papers presented in this volume were carefully reviewed and selected from 86 submissions. The papers were organized in topical sections named: Attacks ...
Information Security: 22nd International Conference, ISC 2019, New York City, NY, USA, September 16-18, 2019, Proceedings
This book constitutes the proceedings of the 22nd International Conference on Information Security, ISC 2019, held in New York City, NY, USA, in September 2019. The 23 full papers presented in this volume were carefully reviewed and selected from 86 submissions. The papers were organized in topical sections named: Attacks and Cryptanalysis; Crypto I: Secure Computation and Storage; Machine Learning and Security; Crypto II: Zero-Knowledge Proofs; Defenses; Web Security; Side Channels; Malware Analysis; Crypto III: Signatures and Authentication.
https://magrudy-assets.storage.googleapis.com/9783030302146.jpg
94.490000 USD

Information Security: 22nd International Conference, ISC 2019, New York City, NY, USA, September 16-18, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 17th Russian Conference on Artificial Intelligence, RCAI 2019, held in Ulyanovsk, Russia, in October 2019. The 23 full papers presented along with 7 short papers in this volume were carefully reviewed and selected from 130 submissions. The conference deals with a wide range ...
Artificial Intelligence: 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21-25, 2019, Proceedings
This book constitutes the proceedings of the 17th Russian Conference on Artificial Intelligence, RCAI 2019, held in Ulyanovsk, Russia, in October 2019. The 23 full papers presented along with 7 short papers in this volume were carefully reviewed and selected from 130 submissions. The conference deals with a wide range of topics, including multi-agent systems, intelligent robots and behaviour planning; automated reasoning and data mining; natural language processing and understanding of texts; fuzzy models and soft computing; intelligent systems and applications.
https://magrudy-assets.storage.googleapis.com/9783030307622.jpg
104.990000 USD

Artificial Intelligence: 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21-25, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 38th International Conference on Conceptual Modeling, ER 2019, held in Salvador, Brazil, in November 2019.The 22 full and 22 short papers presented together with 4 keynotes were carefully reviewed and selected from 142 submissions. This events covers a wide range of topics, ...
Conceptual Modeling: 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings
This book constitutes the refereed proceedings of the 38th International Conference on Conceptual Modeling, ER 2019, held in Salvador, Brazil, in November 2019.The 22 full and 22 short papers presented together with 4 keynotes were carefully reviewed and selected from 142 submissions. This events covers a wide range of topics, covered in the following sessions: conceptual modeling, big data technology I, process modeling and analysis, query approaches, big data technology II, domain specific models I, domain specific models II, decision making, complex systems modeling, model unification, big data technology III, and requirements modeling.
https://magrudy-assets.storage.googleapis.com/9783030332228.jpg
104.990000 USD

Conceptual Modeling: 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019. The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The ...
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0: 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019. The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages - including UML, ASN.1, TTCN, SysML, and the User Requirements Notation (URN). SAM 2019's theme was Languages, Methods, and Tools for Industry 4.0.
https://magrudy-assets.storage.googleapis.com/9783030306892.jpg
73.490000 USD

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0: 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019. The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions. The symposium is dedicated to ...
Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019. The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The papers focus on cyber-physical systems; runtime techniques; testing; automata; synthesis; stochastic systems and model checking.
https://magrudy-assets.storage.googleapis.com/9783030317836.jpg
104.990000 USD

Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 10th International Conference on Software Business, ICSOB 2019, held in Jyvaskyla, Finland, in November 2019. On the occasion of its tenth anniversary the conference theme this year was The First Decade and Beyond and focused on the development during the past decade, ...
Software Business: 10th International Conference, ICSOB 2019, Jyvaskyla, Finland, November 18-20, 2019, Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Software Business, ICSOB 2019, held in Jyvaskyla, Finland, in November 2019. On the occasion of its tenth anniversary the conference theme this year was The First Decade and Beyond and focused on the development during the past decade, addressing the future of software-intensive business as well as studies on new and emerging ideas. The 18 full papers and 10 short papers presented together with 3 invited talks, 6 emerging research papers and a tutorial were carefully reviewed and selected from 52 submissions. They are organized in the following topical sections: software ecosystems; management of software products; continual improvement and product development; impacts of digitalization; software business education; software startups and digital business.
https://magrudy-assets.storage.googleapis.com/9783030337414.jpg
94.490000 USD

Software Business: 10th International Conference, ICSOB 2019, Jyvaskyla, Finland, November 18-20, 2019, Proceedings

Paperback / softback
Book cover image
This practically-focused textbook provides a concise and accessible introduction to the field of software testing, explaining the fundamental principles and offering guidance on applying the theory in an industrial environment. Topics and features: presents a brief history of software quality and its influential pioneers, as well as a discussion of ...
Concise Guide to Software Testing
This practically-focused textbook provides a concise and accessible introduction to the field of software testing, explaining the fundamental principles and offering guidance on applying the theory in an industrial environment. Topics and features: presents a brief history of software quality and its influential pioneers, as well as a discussion of the various software lifecycles used in software development; describes the fundamentals of testing in traditional software engineering, and the role that static testing plays in building quality into a product; explains the process of software test planning, test analysis and design, and test management; discusses test outsourcing, and test metrics and problem solving; reviews the tools available to support software testing activities, and the benefits of a software process improvement initiative; examines testing in the Agile world, and the verification of safety critical systems; considers the legal and ethical aspects of software testing, and the importance of software configuration management; provides key learning topics and review questions in every chapter, and supplies a helpful glossary at the end of the book. This easy-to-follow guide is an essential resource for undergraduate students of computer science seeking to learn about software testing, and how to build high quality and reliable software on time and on budget. The work will also be of interest to industrialists including software engineers, software testers, quality professionals and software managers, as well as the motivated general reader.
https://magrudy-assets.storage.googleapis.com/9783030284930.jpg
52.490000 USD

Concise Guide to Software Testing

by Gerard O'Regan
Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.The 19 revised full papers and 13 short papers presented in this book were carefully reviewed and selected from 62 submissions. The papers discuss all ...
Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings
This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.The 19 revised full papers and 13 short papers presented in this book were carefully reviewed and selected from 62 submissions. The papers discuss all aspects of software engineering and programming languages; machine learning; internet of things; security computer architectures and robotics; and projects.
https://magrudy-assets.storage.googleapis.com/9783030298517.jpg
94.490000 USD

Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 13th European Conference on Software Architecture, ECSA 2019, held in Paris, France, in September 2019. In the Research Track, 11 full papers presented together with 4 short papers were carefully reviewed and selected from 63 submissions. They are organized in topical sections ...
Software Architecture: 13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019, Proceedings
This book constitutes the refereed proceedings of the 13th European Conference on Software Architecture, ECSA 2019, held in Paris, France, in September 2019. In the Research Track, 11 full papers presented together with 4 short papers were carefully reviewed and selected from 63 submissions. They are organized in topical sections as follows: Services and Micro-services, Software Architecture in Development Process, Adaptation and Design Space Exploration, and Quality Attributes. In the Industrial Track, 6 submissions were received and 3 were accepted to form part of these proceedings.
https://magrudy-assets.storage.googleapis.com/9783030299828.jpg
73.490000 USD

Software Architecture: 13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019, Proceedings

Paperback / softback
Book cover image
The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. The total of 67 full papers included in these proceedings was carefully reviewed and selected from 344 submissions. The papers were ...
Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II
The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. The total of 67 full papers included in these proceedings was carefully reviewed and selected from 344 submissions. The papers were organized in topical sections named as follows:Part I: machine learning; information leakage; signatures and re-encryption; side channels; formal modelling and verification; attacks; secure protocols; useful tools; blockchain and smart contracts.Part II: software security; cryptographic protocols; security models; searchable encryption; privacy; key exchange protocols; and web security.
https://magrudy-assets.storage.googleapis.com/9783030299613.jpg
104.990000 USD

Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II

Paperback / softback
Book cover image
This open access book constitutes the research workshops, doctoral symposium and panel summaries presented at the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019. XP is the premier agile software development conference combining research and practice. It is a hybrid forum ...
Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2019 Workshops, Montreal, QC, Canada, May 21-25, 2019, Proceedings
This open access book constitutes the research workshops, doctoral symposium and panel summaries presented at the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2019 provided an informal environment to network, share, and discover trends in Agile for the next 20 years. Research papers and talks submissions were invited for the three XP 2019 research workshops, namely, agile transformation, autonomous teams, and large scale agile. This book includes 15 related papers. In addition, a summary for each of the four panels at XP 2019 is included. The panels were on security and privacy; the impact of the agile manifesto on culture, education, and software practices; business agility - agile's next frontier; and Agile - the next 20 years.
https://magrudy-assets.storage.googleapis.com/9783030301255.jpg
62.990000 USD

Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2019 Workshops, Montreal, QC, Canada, May 21-25, 2019, Proceedings

Paperback / softback
Book cover image
This volume constitutes the refereed proceedings of the 26th European Conference on Systems, Software and Services Process Improvement, EuroSPI conference, held in Edinburgh, Scotland, in September 2019. The 18 revised full papers presented were carefully reviewed and selected from 28 submissions. They are organized in topical sections: Visionary Papers, SPI ...
Systems, Software and Services Process Improvement: 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18-20, 2019, Proceedings
This volume constitutes the refereed proceedings of the 26th European Conference on Systems, Software and Services Process Improvement, EuroSPI conference, held in Edinburgh, Scotland, in September 2019. The 18 revised full papers presented were carefully reviewed and selected from 28 submissions. They are organized in topical sections: Visionary Papers, SPI and Safety and Security, SPI and Assessments, SPI and Future Qualification & Team Performance, and SPI Manifesto and Culture. The selected workshop papers are also presented and organized in following topical sections: GamifySPI, Digitalisation of Industry, Infrastructure and E-Mobility. -Best Practices in Implementing Traceability. -Good and Bad Practices in Improvement. -Functional Safety and Cybersecurity. -Experiences with Agile and Lean. -Standards and Assessment Models. -Team Skills and Diversity Strategies. -Recent Innovations.
https://magrudy-assets.storage.googleapis.com/9783030280048.jpg
136.490000 USD

Systems, Software and Services Process Improvement: 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18-20, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 16th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2019, held in Alcudia, Mallorca, Spain, in October 2019. The 26 revised full papers and 6 short papers presented were carefully reviewed and selected from 68 submissions. The achievement, progress and future challenges ...
Cooperative Design, Visualization, and Engineering: 16th International Conference, CDVE 2019, Mallorca, Spain, October 6-9, 2019, Proceedings
This book constitutes the proceedings of the 16th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2019, held in Alcudia, Mallorca, Spain, in October 2019. The 26 revised full papers and 6 short papers presented were carefully reviewed and selected from 68 submissions. The achievement, progress and future challenges are reported in areas such as aerospace engineering, remote medical monitoring, automatic machine monitoring, cooperative personal data analytics, mobile banking, remote cooperative art performance management etc. In traditional areas such as architecture, civil engineering and construction, cooperative learning, enterprise management etc. authors also show new findings and new methodologies in their papers. This gives the readers a fresh look of how the CDVE technology is shaping our industry and daily life.
https://magrudy-assets.storage.googleapis.com/9783030309480.jpg
73.490000 USD

Cooperative Design, Visualization, and Engineering: 16th International Conference, CDVE 2019, Mallorca, Spain, October 6-9, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 17th International Conference on Computational Methods in Systems Biology, CMSB 2019, held in Trieste, Italy, in September 2019. The 14 full papers, 7 tool papers and 11 posters were carefully reviewed and selected from 53 submissions. Topics of interest include formalisms for ...
Computational Methods in Systems Biology: 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings
This book constitutes the refereed proceedings of the 17th International Conference on Computational Methods in Systems Biology, CMSB 2019, held in Trieste, Italy, in September 2019. The 14 full papers, 7 tool papers and 11 posters were carefully reviewed and selected from 53 submissions. Topics of interest include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; computational approaches for synthetic biology; and case studies in systems and synthetic biology.
https://magrudy-assets.storage.googleapis.com/9783030313036.jpg
83.990000 USD

Computational Methods in Systems Biology: 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 18th International Conference on Perspectives in Business Informatics Research, BIR 2019, held in Katowice, Poland, in September 2019. This year's theme was: Responsibilities of Digitalization - Responsible designing and shaping of future technology for digital preservation, global data storage and cost-effective management. The ...
Perspectives in Business Informatics Research: 18th International Conference, BIR 2019, Katowice, Poland, September 23-25, 2019, Proceedings
This book constitutes the proceedings of the 18th International Conference on Perspectives in Business Informatics Research, BIR 2019, held in Katowice, Poland, in September 2019. This year's theme was: Responsibilities of Digitalization - Responsible designing and shaping of future technology for digital preservation, global data storage and cost-effective management. The 17 papers presented in this volume were carefully reviewed and selected from 74 submissions. This year the contributions focus on topics such as: responsibilities of digitalization; responsible designing and shaping the future of technology for digital preservation, global data storage and cost-effective management.
https://magrudy-assets.storage.googleapis.com/9783030311421.jpg
73.490000 USD

Perspectives in Business Informatics Research: 18th International Conference, BIR 2019, Katowice, Poland, September 23-25, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 17th International Conference on Service-Oriented Computing, ICSOC 2019, held in Toulouse, France, in October 2019. The 28 full and 12 short papers presented together with 7 poster and 2 invited papers in this volume were carefully reviewed and selected from 181 submissions. The ...
Service-Oriented Computing: 17th International Conference, ICSOC 2019, Toulouse, France, October 28-31, 2019, Proceedings
This book constitutes the proceedings of the 17th International Conference on Service-Oriented Computing, ICSOC 2019, held in Toulouse, France, in October 2019. The 28 full and 12 short papers presented together with 7 poster and 2 invited papers in this volume were carefully reviewed and selected from 181 submissions. The papers have been organized in the following topical sections: Service Engineering; Run-time Service Operations and Management; Services and Data; Services in the Cloud; Services on the Internet of Things; Services in Organizations, Business and Society; and Services at the Edge.
https://magrudy-assets.storage.googleapis.com/9783030337018.jpg
104.990000 USD

Service-Oriented Computing: 17th International Conference, ICSOC 2019, Toulouse, France, October 28-31, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held inThessaloniki, Greece, in October 2019. The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. The papers are organized in topical sections on safety models and languages; ...
Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings
This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held inThessaloniki, Greece, in October 2019. The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. The papers are organized in topical sections on safety models and languages; dependability analysis process; safety assessment; safety assessment in automotive industry; AI in safety assessment.
https://magrudy-assets.storage.googleapis.com/9783030328719.jpg
83.990000 USD

Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019. The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions. The papers are grouped in topical sections on pointers and dataflow; ...
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings
This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019. The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions. The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis and security; and temporal properties and termination.
https://magrudy-assets.storage.googleapis.com/9783030323035.jpg
94.490000 USD

Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings

Paperback / softback
Book cover image
This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday. Scott A. Smolka made fundamental research contributions in a number of areas, including process algebra, model checking, probabilistic processes, runtime verification, and the modeling and analysis of ...
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday. Scott A. Smolka made fundamental research contributions in a number of areas, including process algebra, model checking, probabilistic processes, runtime verification, and the modeling and analysis of cardiac cells, neural circuits and flocking behaviors. He is perhaps best known for the algorithm he and Paris Kanellakis invented for checking bi-simulation. The title of this volume From Reactive Systems to Cyber-Physical Systems reflects Scott's main research focus throughout his career. It contains the papers written by his closest friends and collaborators. The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.
https://magrudy-assets.storage.googleapis.com/9783030315139.jpg
115.490000 USD

From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Paperback / softback
Book cover image
This volume LNCS 11877 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2019, Ontologies, Databases, and Applications of Semantics, ODBASE 2019, and Cloud and Trusted Computing, C&TC, held as part of OTM 2019 in October 2019 in Rhodes, Greece. The 38 full papers presented together ...
On the Move to Meaningful Internet Systems: OTM 2019 Conferences: Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21-25, 2019, Proceedings
This volume LNCS 11877 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2019, Ontologies, Databases, and Applications of Semantics, ODBASE 2019, and Cloud and Trusted Computing, C&TC, held as part of OTM 2019 in October 2019 in Rhodes, Greece. The 38 full papers presented together with 8 short papers were carefully reviewed and selected from 156 submissions. The OTM program every year covers data and Web semantics, distributed objects, Web services, databases, informationsystems, enterprise workflow and collaboration, ubiquity, interoperability, mobility, grid and high-performance computing.
https://magrudy-assets.storage.googleapis.com/9783030332457.jpg
115.490000 USD

On the Move to Meaningful Internet Systems: OTM 2019 Conferences: Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21-25, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the thoroughly refereed proceedings of the 8th International Congress on Telematics and Computing, WITCOM 2019, held in Merida, Mexico, in November 2019. The 31 full papers presented in this volume were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections: GIS & ...
Telematics and Computing: 8th International Congress, WITCOM 2019, Merida, Mexico, November 4-8, 2019, Proceedings
This book constitutes the thoroughly refereed proceedings of the 8th International Congress on Telematics and Computing, WITCOM 2019, held in Merida, Mexico, in November 2019. The 31 full papers presented in this volume were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections: GIS & climate change; telematics & electronics; artificial intelligence & machine learning; software engineering & education; internet of things; and informatics security.
https://magrudy-assets.storage.googleapis.com/9783030332280.jpg
104.990000 USD

Telematics and Computing: 8th International Congress, WITCOM 2019, Merida, Mexico, November 4-8, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.The 44 full papers presented in this volume were carefully reviewed and selected from 118 submissions. They deal with all aspects of computing ...
Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings
This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.The 44 full papers presented in this volume were carefully reviewed and selected from 118 submissions. They deal with all aspects of computing with constraints including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The papers were organized according to the following topics/tracks: technical track; application track; multi-agent and parallel CP track; testing and verification track; CP and data science track; computational sustainability; and CP and life sciences track.
https://magrudy-assets.storage.googleapis.com/9783030300470.jpg
125.990000 USD

Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings

Paperback / softback
Page 1 of 15