Filter
(found 12990 products)
Book cover image
Advances in Computers, Volume 112, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Mobile Application Quality Assurance, Advances in Combinatorial Testing, Advances in Applications of Object Constraint Language for Software ...
Advances in Computers: Volume 112
Advances in Computers, Volume 112, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Mobile Application Quality Assurance, Advances in Combinatorial Testing, Advances in Applications of Object Constraint Language for Software Engineering, Advances in Techniques for Test Prioritization, Data Warehouse Testing, Mutation Testing Advances: An Analysis and Survey, Event-Based Concurrency: Applications, Abstractions, and Analyses, and A Taxonomy of Software Integrity Protection Techniques.
https://magrudy-assets.storage.googleapis.com/9780128151211.jpg
194.250000 USD

Advances in Computers: Volume 112

Hardback
Book cover image
This book constitutes the refereed proceedings of the 47th Annual Conference of the Southern African Computer Lecturers' Association on ICT Education, SACLA 2018, held in Gordon's Bay, South Africa, in June 2018. The 23 revised full papers presented together with an extended abstract of a keynote paper were carefully reviewed ...
ICT Education: 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018, Gordon's Bay, South Africa, June 18-20, 2018, Revised Selected Papers
This book constitutes the refereed proceedings of the 47th Annual Conference of the Southern African Computer Lecturers' Association on ICT Education, SACLA 2018, held in Gordon's Bay, South Africa, in June 2018. The 23 revised full papers presented together with an extended abstract of a keynote paper were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections: playfulness, media and classrooms, academia and careers, teaching programming, adaptation and learning, teamwork and projects, learning systems, topic teaching.
https://magrudy-assets.storage.googleapis.com/9783030058128.jpg
104.990000 USD

ICT Education: 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018, Gordon's Bay, South Africa, June 18-20, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This book constitutes the refereed post-conference proceedings of the 7th IFIP WG 13.2 International Conference on Human-Centered Software Engineering, HCSE 2018, held in Sophia Antipolis, France, in September 2018. The 11 full papers and 7 short papers presented together with 5 poster and demo papers were carefully reviewed and selected ...
Human-Centered Software Engineering: 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3-5, 2018, Revised Selected Papers
This book constitutes the refereed post-conference proceedings of the 7th IFIP WG 13.2 International Conference on Human-Centered Software Engineering, HCSE 2018, held in Sophia Antipolis, France, in September 2018. The 11 full papers and 7 short papers presented together with 5 poster and demo papers were carefully reviewed and selected from 36 submissions. The papers focus on the interdependencies between user interface properties and contribute to the development of theories, methods, tools and approaches for dealing with multiple properties that should be taken into account when developing interactive systems. They are organized in the following topical sections: HCI education and training; model-based and model-driven approaches; task modeling and task-based approaches; tools and tool support; and usability evaluation and UI testing.
https://magrudy-assets.storage.googleapis.com/9783030059088.jpg
83.990000 USD

Human-Centered Software Engineering: 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3-5, 2018, Revised Selected Papers

Paperback / softback
Book cover image
Discover the power of functional programming, lazy evaluation, monads, concurrency, and immutability to create succinct and expressive implementations Key Features Get a solid understanding of how to apply functional programming concepts in TypeScript Explore TypeScript runtime features such as event loop, closures, and Prototypes Gain deeper knowledge on the pros ...
Hands-On Functional Programming with TypeScript: Explore functional and reactive programming to create robust and testable TypeScript applications
Discover the power of functional programming, lazy evaluation, monads, concurrency, and immutability to create succinct and expressive implementations Key Features Get a solid understanding of how to apply functional programming concepts in TypeScript Explore TypeScript runtime features such as event loop, closures, and Prototypes Gain deeper knowledge on the pros and cons of TypeScript Book DescriptionFunctional programming is a powerful programming paradigm that can help you to write better code. However, learning functional programming can be complicated, and the existing literature is often too complex for beginners. This book is an approachable introduction to functional programming and reactive programming with TypeScript for readers without previous experience in functional programming with JavaScript, TypeScript , or any other programming language. The book will help you understand the pros, cons, and core principles of functional programming in TypeScript. It will explain higher order functions, referential transparency, functional composition, and monads with the help of effective code examples. Using TypeScript as a functional programming language, you'll also be able to brush up on your knowledge of applying functional programming techniques, including currying, laziness, and immutability, to real-world scenarios. By the end of this book, you will be confident when it comes to using core functional and reactive programming techniques to help you build effective applications with TypeScript. What you will learn Understand the pros and cons of functional programming Delve into the principles, patterns, and best practices of functional and reactive programming Use lazy evaluation to improve the performance of applications Explore functional optics with Ramda Gain insights into category theory functional data structures such as Functors and Monads Use functions as values, so that they can be passed as arguments to other functions Who this book is forThis book is designed for readers with no prior experience of functional programming with JavaScript, TypeScript or any other programming language. Some familiarity with TypeScript and web development is a must to grasp the concepts in the book easily.
https://magrudy-assets.storage.googleapis.com/9781788831437.jpg
36.740000 USD

Hands-On Functional Programming with TypeScript: Explore functional and reactive programming to create robust and testable TypeScript applications

by Remo H. Jansen
Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 19th International Conference on CParallel and Distributed Computing, Applications and Technologies, PDCAT 2018, held in Jeju Island, South Korea, in August 2018. The 35 revised full papers presented along with the 14 short papers and were carefully reviewed and selected from 150 ...
Parallel and Distributed Computing, Applications and Technologies: 19th International Conference, PDCAT 2018, Jeju Island, South Korea, August 20-22, 2018, Revised Selected Papers
This book constitutes the refereed proceedings of the 19th International Conference on CParallel and Distributed Computing, Applications and Technologies, PDCAT 2018, held in Jeju Island, South Korea, in August 2018. The 35 revised full papers presented along with the 14 short papers and were carefully reviewed and selected from 150 submissions. The papers of this volume are organized in topical sections on wired and wireless communication systems, high dimensional data representation and processing, networks and information security, computing techniques for efficient networks design, electronic circuits for communication systems.
https://magrudy-assets.storage.googleapis.com/9789811359064.jpg
104.990000 USD

Parallel and Distributed Computing, Applications and Technologies: 19th International Conference, PDCAT 2018, Jeju Island, South Korea, August 20-22, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This book constitutes the thoroughly refereed post-conference proceedings of the 6th Annual Privacy Forum, APF 2018, held in Barcelona, Spain, in June 2018. The 11 revised full papers were carefully reviewed and selected from 49 submissions. The papers are grouped in topical sections named: technical analysis and techniques; privacy implementation; ...
Privacy Technologies and Policy: 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 6th Annual Privacy Forum, APF 2018, held in Barcelona, Spain, in June 2018. The 11 revised full papers were carefully reviewed and selected from 49 submissions. The papers are grouped in topical sections named: technical analysis and techniques; privacy implementation; compliance; and legal aspects.
https://magrudy-assets.storage.googleapis.com/9783030025465.jpg
73.490000 USD

Privacy Technologies and Policy: 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This book constitutes the revised selected papers from the 13th International Conference on Risks and Security of Internet and Systems, CRiSIS 2018, held in Arcachon, France, in October 2018. The 12 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 34 submissions. They ...
Risks and Security of Internet and Systems: 13th International Conference, CRiSIS 2018, Arcachon, France, October 16-18, 2018, Revised Selected Papers
This book constitutes the revised selected papers from the 13th International Conference on Risks and Security of Internet and Systems, CRiSIS 2018, held in Arcachon, France, in October 2018. The 12 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 34 submissions. They cover diverse research themes that range from classic topics, such as vulnerability analysis and classification; apps security; access control and filtering; cloud security; cyber-insurance and cyber threat intelligence; human-centric security and trust; and risk analysis.
https://magrudy-assets.storage.googleapis.com/9783030121426.jpg
73.490000 USD

Risks and Security of Internet and Systems: 13th International Conference, CRiSIS 2018, Arcachon, France, October 16-18, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This book constitutes the revised post-conference proceedings of the 16th European Conference on Multi-Agent Systems, EUMAS 2018, held at Bergen, Norway, in December 2018. The 18 full papers presented in this volume were carefully reviewed and selected from a total of 34 submissions. The papers report on both early and ...
Multi-Agent Systems: 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
This book constitutes the revised post-conference proceedings of the 16th European Conference on Multi-Agent Systems, EUMAS 2018, held at Bergen, Norway, in December 2018. The 18 full papers presented in this volume were carefully reviewed and selected from a total of 34 submissions. The papers report on both early and mature research and cover a wide range of topics in the field of multi-agent systems.
https://magrudy-assets.storage.googleapis.com/9783030141738.jpg
73.490000 USD

Multi-Agent Systems: 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2019, CT-RSA 2019, held in San Francisco, CA, USA, in March 2019. The 28 papers presented in this volume were carefully reviewed and selected from 75 submissions. CT-RSA is the track devoted to scientific papers on ...
Topics in Cryptology - CT-RSA 2019: The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4-8, 2019, Proceedings
This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2019, CT-RSA 2019, held in San Francisco, CA, USA, in March 2019. The 28 papers presented in this volume were carefully reviewed and selected from 75 submissions. CT-RSA is the track devoted to scientific papers on cryptography, public-key to symmetric-key cryptography and from crypto- graphic protocols to primitives and their implementation security.
https://magrudy-assets.storage.googleapis.com/9783030126117.jpg
104.990000 USD

Topics in Cryptology - CT-RSA 2019: The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4-8, 2019, Proceedings

Paperback / softback
Book cover image
This book addresses what software architects and developers need to know in order to build applications based on blockchain technology, by offering an architectural view of software systems that make beneficial use of blockchains. It provides guidance on assessing the suitability of blockchain, on the roles blockchain can play in ...
Architecture for Blockchain Applications
This book addresses what software architects and developers need to know in order to build applications based on blockchain technology, by offering an architectural view of software systems that make beneficial use of blockchains. It provides guidance on assessing the suitability of blockchain, on the roles blockchain can play in an architecture, on designing blockchain applications, and on assessing different architecture designs and tradeoffs. It also serves as a reference on blockchain design patterns and design analysis, and refers to practical examples of blockchain-based applications. The book is divided into four parts: Part I provides a general introduction to the topic and to existing blockchain platforms including Bitcoin, Ethereum, and Hyperledger Fabric, and offers examples of blockchain-based applications. Part II focuses on the functional aspects of software architecture, describing the main roles blockchain can play in an architecture, as well as its potential suitability and design process. It includes a catalogue of 15 design patterns and details how to use model-driven engineering to build blockchain-based applications. Part III covers the non-functional aspects of blockchain applications, which are cross-cutting concerns including cost, performance, security, and availability. Part IV then presents three detailed real-world use cases, offering additional insights from a practical perspective. An epilogue summarizes the book and speculates on the role blockchain and its applications can play in the future. This book focusses on the bigger picture for blockchain, covering the concepts and technical considerations in the design of blockchain-based applications. The use of mathematical formulas is limited to where they are critical. This book is primarily intended for developers, software architects and chief information officers who need to understand the basic technology, tools and methodologies to build blockchain applications. It also provides students and researchers new to this field an introduction to this hot topic.
https://magrudy-assets.storage.googleapis.com/9783030030346.jpg
89.240000 USD

Architecture for Blockchain Applications

by Xiwei Xu, Ingo Weber, Mark Staples
Hardback
Book cover image
Martin Fowler's Refactoring defined core ideas and techniques that hundreds of thousands of developers have used to improve their software. Now, Fowler has thoroughly updated his book to reflect modern programming techniques.
Refactoring: Improving the Design of Existing Code
Martin Fowler's Refactoring defined core ideas and techniques that hundreds of thousands of developers have used to improve their software. Now, Fowler has thoroughly updated his book to reflect modern programming techniques.
https://magrudy-assets.storage.googleapis.com/9780134757599.jpg
62.990000 USD

Refactoring: Improving the Design of Existing Code

by Martin Fowler
Hardback
Book cover image
This book constitutes the refereed proceedings of the First International Conference on Futuristic Trends in Network and Communication Technologies, FTNCT 2018, held in Solan, India, in February 2018. The 37 revised full papers presented were carefully reviewed and selected from 239 submissions. The prime aim of the conference is to ...
Futuristic Trends in Network and Communication Technologies: First International Conference, FTNCT 2018, Solan, India, February 9-10, 2018, Revised Selected Papers
This book constitutes the refereed proceedings of the First International Conference on Futuristic Trends in Network and Communication Technologies, FTNCT 2018, held in Solan, India, in February 2018. The 37 revised full papers presented were carefully reviewed and selected from 239 submissions. The prime aim of the conference is to invite researchers from different domains of network and communication technologies to a single platform to showcase their research ideas. The selected papers are organized in topical sections on communication technologies, Internet of Things (IoT), network technologies, and wireless networks.
https://magrudy-assets.storage.googleapis.com/9789811338038.jpg
115.490000 USD

Futuristic Trends in Network and Communication Technologies: First International Conference, FTNCT 2018, Solan, India, February 9-10, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This book constitutes the refereed post-conference proceedings of the 10th IFIP WG 5.14 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2016, held in Dongying, China, in October 2016. The 55 revised papers presented were carefully reviewed and selected from 128 submissions. They cover a wide range of ...
Computer and Computing Technologies in Agriculture X: 10th IFIP WG 5.14 International Conference, CCTA 2016, Dongying, China, October 19-21, 2016, Proceedings
This book constitutes the refereed post-conference proceedings of the 10th IFIP WG 5.14 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2016, held in Dongying, China, in October 2016. The 55 revised papers presented were carefully reviewed and selected from 128 submissions. They cover a wide range of interesting theories and applications of information technology in agriculture, including intelligent sensing, cloud computing, key technologies of the Internet of Things, precision agriculture, animal husbandry information technology, including Internet + modern animal husbandry, livestock big data platform and cloud computing applications, intelligent breeding equipment, precision production models, water product networking and big data , including fishery IoT, intelligent aquaculture facilities, and big data applications.
https://magrudy-assets.storage.googleapis.com/9783030061548.jpg
157.490000 USD

Computer and Computing Technologies in Agriculture X: 10th IFIP WG 5.14 International Conference, CCTA 2016, Dongying, China, October 19-21, 2016, Proceedings

Hardback
Book cover image
Advances in Computers, Volume 113, the latest volume in this innovative series published since 1960, presents detailed coverage of new advancements in computer hardware, software, theory, design and applications. Chapters in this updated release include A Survey on Regression Test-case Prioritization, Symbolic Execution and Recent Applications to Worst-Case Execution, Load ...
Advances in Computers: Volume 113
Advances in Computers, Volume 113, the latest volume in this innovative series published since 1960, presents detailed coverage of new advancements in computer hardware, software, theory, design and applications. Chapters in this updated release include A Survey on Regression Test-case Prioritization, Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing and Security Analysis, Model Based Test Cases Reuse and Optimization, Advances in Using Agile and Lean Processes for Software Development, Three Open Problems in the Context of E2E Web Testing and a Vision: NEONATE, Experiences with replicable experiments and replication kits for software engineering research, and Advances in Symbolic Execution.
https://magrudy-assets.storage.googleapis.com/9780128160701.jpg
191.100000 USD

Advances in Computers: Volume 113

Hardback
Book cover image
Cyber-attacks continue to rise as more individuals rely on storing personal information on networks. Even though these networks are continuously checked and secured, cybercriminals find new strategies to break through these protections. Thus, advanced security systems, rather than simple security patches, need to be designed and developed. Exploring Security in ...
Exploring Security in Software Architecture and Design
Cyber-attacks continue to rise as more individuals rely on storing personal information on networks. Even though these networks are continuously checked and secured, cybercriminals find new strategies to break through these protections. Thus, advanced security systems, rather than simple security patches, need to be designed and developed. Exploring Security in Software Architecture and Design is an essential reference source that discusses the development of security-aware software systems that are built into every phase of the software architecture. Featuring research on topics such as migration techniques, service-based software, and building security, this book is ideally designed for computer and software engineers, ICT specialists, researchers, academicians, and field experts.
https://magrudy-assets.storage.googleapis.com/9781522563136.jpg
225.750000 USD

Exploring Security in Software Architecture and Design

Hardback
Book cover image
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2018, held in Vancouver, Canada, in May 2018. The 7 revised full papers presented were carefully reviewed and selected from12 submissions. The papers cover topics in the fields of ...
Job Scheduling Strategies for Parallel Processing: 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2018, held in Vancouver, Canada, in May 2018. The 7 revised full papers presented were carefully reviewed and selected from12 submissions. The papers cover topics in the fields of design and evaluation of new scheduling approaches. They focus on several interesting problems in resource management and scheduling.
https://magrudy-assets.storage.googleapis.com/9783030106317.jpg
62.990000 USD

Job Scheduling Strategies for Parallel Processing: 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This book teaches the basics of Oracle GoldenGate, which is a product that is used to simplify the process of Oracle Database Replication. GoldenGate can be used for reporting, failover, high availability, live reporting, data warehousing, and BigData ETL process, as well as connecting to multiple other data sources outside ...
Working with Oracle GoldenGate 12c: From Implementation to Troubleshooting
This book teaches the basics of Oracle GoldenGate, which is a product that is used to simplify the process of Oracle Database Replication. GoldenGate can be used for reporting, failover, high availability, live reporting, data warehousing, and BigData ETL process, as well as connecting to multiple other data sources outside of Oracle Database such as SQL Server, MySQL, Teradata, PostgreSQL, and many others. The purpose of GoldenGate and its popularity is its ability to make the highly complex architecture of database replication into a much more simplistic task. This book teaches the reader how to use Oracle GoldenGate, from installation to troubleshooting.
https://magrudy-assets.storage.googleapis.com/9781138197572.jpg
92.13 USD

Working with Oracle GoldenGate 12c: From Implementation to Troubleshooting

by Gavin Powell
Hardback
Book cover image
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on the Security of Industrial Control Systems and Cyber-Physical Systems, CyberICPS 2018, and the Second International Workshop on Security and Privacy Requirements Engineering, SECPRE 2018, held in Barcelona, Spain, in September 2018, in conjunction with the 23rd ...
Computer Security: ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6-7, 2018, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on the Security of Industrial Control Systems and Cyber-Physical Systems, CyberICPS 2018, and the Second International Workshop on Security and Privacy Requirements Engineering, SECPRE 2018, held in Barcelona, Spain, in September 2018, in conjunction with the 23rd European Symposium on Research in Computer Security, ESORICS 2018. The CyberICPS Workshop received 15 submissions from which 8 full papers were selected for presentation. They cover topics related to threats, vulnerabilities and risks that cyber-physical systems and industrial control systems face; cyber attacks that may be launched against such systems; and ways of detecting and responding to such attacks. From the SECPRE Workshop 5 full papers out of 11 submissions are included. The selected papers deal with aspects of security and privacy requirements assurance and evaluation; and security requirements elicitation and modelling.
https://magrudy-assets.storage.googleapis.com/9783030127855.jpg
73.490000 USD

Computer Security: ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6-7, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides ...
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
https://magrudy-assets.storage.googleapis.com/9783030112448.jpg
104.990000 USD

Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 15th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2018, held in Pisa, Italy, in September 2018. The 21 full papers and 9 short papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions.This ...
Economics of Grids, Clouds, Systems, and Services: 15th International Conference, GECON 2018, Pisa, Italy, September 18-20, 2018, Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2018, held in Pisa, Italy, in September 2018. The 21 full papers and 9 short papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions.This GECON 2018 proceedings was structured in three special sessions on selected topics, namely: IT service ecosystems enabled through emerging digital technologies; machine learning, cognitive systems and data science for system management; and blockchain technologies and economics.
https://magrudy-assets.storage.googleapis.com/9783030133412.jpg
73.490000 USD

Economics of Grids, Clouds, Systems, and Services: 15th International Conference, GECON 2018, Pisa, Italy, September 18-20, 2018, Proceedings

Paperback / softback
Book cover image
The books in this trilogy capture the foundational core of advanced informatics. The authors make the foundations accessible, enabling students to become effective problem solvers. This first volume establishes the inductive approach as a fundamental principle for system and domain analysis. After a brief introduction to the elementary mathematical structures, ...
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
The books in this trilogy capture the foundational core of advanced informatics. The authors make the foundations accessible, enabling students to become effective problem solvers. This first volume establishes the inductive approach as a fundamental principle for system and domain analysis. After a brief introduction to the elementary mathematical structures, such as sets, propositional logic, relations, and functions, the authors focus on the separation between syntax (representation) and semantics (meaning), and on the advantages of the consistent and persistent use of inductive definitions. They identify compositionality as a feature that not only acts as a foundation for algebraic proofs but also as a key for more general scalability of modeling and analysis. A core principle throughout is invariance, which the authors consider a key for the mastery of change, whether in the form of extensions, transformations, or abstractions. This textbook is suitable for undergraduate and graduate courses in computer science and for self-study. Most chapters contain exercises and the content has been class-tested over many years in various universities.
https://magrudy-assets.storage.googleapis.com/9783030098339.jpg
41.990000 USD

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches

by Bernhard Steffen, Oliver Ruthing, Michael Huth
Paperback / softback
Book cover image
This book constitutes revised selected papers from the 9th Brazilian Workshop on Agile Methods, WBMA 2018, held in Campinas, Brazil, in October 2018. The 6 full and 1 short papers presented in this volume were carefully reviewed and selected from 18 submissions. Accepted papers in this edition present empirical results ...
Agile Methods: 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers
This book constitutes revised selected papers from the 9th Brazilian Workshop on Agile Methods, WBMA 2018, held in Campinas, Brazil, in October 2018. The 6 full and 1 short papers presented in this volume were carefully reviewed and selected from 18 submissions. Accepted papers in this edition present empirical results and literature reviews on agile requirements validation in Brazilian software development companies; a survey on Brazilian software processes about to be agile or not; an evaluation of an agile maturity model; strategies to increase customer value in agile software development; an agile development environment and scrum in a strongly hierarchical organization.
https://magrudy-assets.storage.googleapis.com/9783030143091.jpg
78.740000 USD

Agile Methods: 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This book constitutes thoroughly revised and selected papers from the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, held in Funchal, Madeira, Portugal, in January 2018. The 22 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 101 submissions. They contribute ...
Model-Driven Engineering and Software Development: 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers
This book constitutes thoroughly revised and selected papers from the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, held in Funchal, Madeira, Portugal, in January 2018. The 22 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 101 submissions. They contribute to the development of highly relevant research trends in model-driven engineering and software development such as innovative methods for MDD-based development and testing of web-based applications and user interfaces, support for development of Domain-Specific Languages (DSLs), MDD-based application development on multiprocessor platforms, advances in MDD tooling, formal semantics and behaviour modelling, and MDD-based product-line engineering.
https://magrudy-assets.storage.googleapis.com/9783030110291.jpg
104.990000 USD

Model-Driven Engineering and Software Development: 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), and International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for ...
On the Move to Meaningful Internet Systems: OTM 2018 Workshops: Confederated International Workshops: EI2N, FBM, ICSP, and Meta4eS 2018, Valletta, Malta, October 22-26, 2018, Revised Selected Papers
This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), and International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS), held as part of OTM 2018 in October 2018 in Valletta, Malta. As the three main conferences and the associated workshops all share the distributed aspects of modern computing systems, they experience the application pull created by the Internet and by the so-called Semantic Web, in particular developments of Big Data, increased importance of security issues, and the globalization of mobile-based technologies.
https://magrudy-assets.storage.googleapis.com/9783030116828.jpg
73.490000 USD

On the Move to Meaningful Internet Systems: OTM 2018 Workshops: Confederated International Workshops: EI2N, FBM, ICSP, and Meta4eS 2018, Valletta, Malta, October 22-26, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This book constitutes the refereed post-conference proceedings of the 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, held in Chamonix, France, in January 2018. The 20 revised full papers were carefully reviewed and selected from numerous submissions. The papers address topics such as machine vision and metrology for ...
Precision Assembly in the Digital Age: 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, Chamonix, France, January 14-16, 2018, Revised Selected Papers
This book constitutes the refereed post-conference proceedings of the 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, held in Chamonix, France, in January 2018. The 20 revised full papers were carefully reviewed and selected from numerous submissions. The papers address topics such as machine vision and metrology for assembly operations, gripping and handling technologies, numerical methods and planning in assembly, digital technologies and Industry 4.0 applications, precision assembly methods, assembly systems and platforms and human cooperation, and machine learning. They are organized in the following topical sections: design and deployment of assembly systems; human robot cooperation and machine vision; assembly methods and models; digital technologies and industry 4.0 applications; and gripping and handling solutions in assembly.
https://magrudy-assets.storage.googleapis.com/9783030059309.jpg
104.990000 USD

Precision Assembly in the Digital Age: 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, Chamonix, France, January 14-16, 2018, Revised Selected Papers

Hardback
Book cover image
This book constitutes the refereed proceedings of the 10th International Conference on Digital Forensics and Cyber Crime, ICDF2C 2018, held in New Orleans, LA, USA, in September 2018. The 11 reviewed full papers and 1 short paper were selected from 33 submissions and are grouped in topical sections on carving ...
Digital Forensics and Cyber Crime: 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10-12, 2018, Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Digital Forensics and Cyber Crime, ICDF2C 2018, held in New Orleans, LA, USA, in September 2018. The 11 reviewed full papers and 1 short paper were selected from 33 submissions and are grouped in topical sections on carving and data hiding, android, forensic readiness, hard drives and digital forensics, artefact correlation.
https://magrudy-assets.storage.googleapis.com/9783030054861.jpg
75.600000 USD

Digital Forensics and Cyber Crime: 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10-12, 2018, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 45th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2019, held in Novy Smokovec, Slovakia, in January 2019. The 34 full papers presented together with 6 invited talks were carefully reviewed and selected from 92 submissions. They ...
SOFSEM 2019: Theory and Practice of Computer Science: 45th International Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 27-30, 2019, Proceedings
This book constitutes the refereed proceedings of the 45th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2019, held in Novy Smokovec, Slovakia, in January 2019. The 34 full papers presented together with 6 invited talks were carefully reviewed and selected from 92 submissions. They presented new research results in the theory and practice of computer science in the each sub-area of SOFSEM 2019: Foundations of theoretical Computer Science, foundations of data science and engineering, and foundations of software engineering.
https://magrudy-assets.storage.googleapis.com/9783030108007.jpg
104.990000 USD

SOFSEM 2019: Theory and Practice of Computer Science: 45th International Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 27-30, 2019, Proceedings

Paperback / softback
Book cover image
This book presents a new paradigm of software testing by emphasizing the role of critical thinking, system thinking and rationality as the most important skills for the tester. It thus approaches software testing from a different perspective than in past literature, as the vast majority of books describe testing in ...
Thinking-Driven Testing: The Most Reasonable Approach to Quality Control
This book presents a new paradigm of software testing by emphasizing the role of critical thinking, system thinking and rationality as the most important skills for the tester. It thus approaches software testing from a different perspective than in past literature, as the vast majority of books describe testing in the context of specific tools, automation, documentation, particular test design techniques or test management. In addition, the book proposes a novel meta-approach for designing effective test strategies, which is based on recent advances in psychology, economics, system sciences and logic. Chapter 1 starts by introducing the fundamental ideas underlying software testing. Chapter 2 then describes meta-strategies in software testing, i.e. general approaches that can be adapted to many different situations that a software tester encounters. Next, Chapter 3 presents the concept of Thinking-Driven Testing (TDT). This approach utilizes the concepts discussed in the two previous chapters and introduces the main ideas that underlie a reasonable and optimal approach to software testing. Chapter 4 builds on this basis and proposes a specific approach to testing, called TQED, that makes it possible to increase creativity in the context of delivering effective, optimal test ideas. Chapter 5 provides an overview of different types of testing techniques in order to understand the fundamental concepts of test design, while Chapter 6 details various pitfalls a tester may encounter and that can originate from a wide range of testing process areas. Lastly, Chapter 7 puts all this into practice, as it contains several exercises that will help testers develop a number of crucial skills: logical thinking and reasoning, thinking out of the box, creativity, counting and estimating, and analytical thinking. By promoting critical, rational and creative thinking, this book invites readers to re-examine common assumptions regarding software testing and shows them how to become professional testers who bring added value to their company.
https://magrudy-assets.storage.googleapis.com/9783030103316.jpg
62.990000 USD

Thinking-Driven Testing: The Most Reasonable Approach to Quality Control

by Adam Roman
Paperback / softback
Book cover image
This textbook covers the entire Business Process Management (BPM) lifecycle, from process identification to process monitoring, covering along the way process modelling, analysis, redesign and automation. Concepts, methods and tools from business management, computer science and industrial engineering are blended into one comprehensive and inter-disciplinary approach. The presentation is illustrated ...
Fundamentals of Business Process Management
This textbook covers the entire Business Process Management (BPM) lifecycle, from process identification to process monitoring, covering along the way process modelling, analysis, redesign and automation. Concepts, methods and tools from business management, computer science and industrial engineering are blended into one comprehensive and inter-disciplinary approach. The presentation is illustrated using the BPMN industry standard defined by the Object Management Group and widely endorsed by practitioners and vendors worldwide. In addition to explaining the relevant conceptual background, the book provides dozens of examples, more than 230 exercises - many with solutions - and numerous suggestions for further reading. This second edition includes extended and completely revised chapters on process identification, process discovery, qualitative process analysis, process redesign, process automation and process monitoring. A new chapter on BPM as an enterprise capability has been added, which expands the scope of the book to encompass topics such as the strategic alignment and governance of BPM initiatives. The textbook is the result of many years of combined teaching experience of the authors, both at the undergraduate and graduate levels as well as in the context of professional training. Students and professionals from both business management and computer science will benefit from the step-by-step style of the textbook and its focus on fundamental concepts and proven methods. Lecturers will appreciate the class-tested format and the additional teaching material available on the accompanying website.
https://magrudy-assets.storage.googleapis.com/9783662585856.jpg
78.740000 USD

Fundamentals of Business Process Management

by Marlon Dumas, Marcello La Rosa, Jan Mendling, Hajo A. Reijers
Paperback / softback
Book cover image
This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018. The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are ...
Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018. The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.
https://magrudy-assets.storage.googleapis.com/9783030136505.jpg
62.990000 USD

Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Paperback / softback
Page 1 of 40