Filter
(found 12717 products)
Book cover image
This book introduces the reader to the fundamentals of contemporary, emerging and future technologies and services in Internet computing. It covers essential concepts such as distributed systems architectures and web technologies, contemporary paradigms such as cloud computing and the Internet of things, and emerging technologies like distributed ledger technologies and ...
Internet Computing: Principles of Distributed Systems and Emerging Internet-Based Technologies
This book introduces the reader to the fundamentals of contemporary, emerging and future technologies and services in Internet computing. It covers essential concepts such as distributed systems architectures and web technologies, contemporary paradigms such as cloud computing and the Internet of things, and emerging technologies like distributed ledger technologies and fog computing. The book also highlights the interconnection and recombination of these Internet-based technologies, which together form a critical information infrastructure with major impacts on individuals, organizations, governments, economies, and society as a whole. Intended as a textbook for upper undergraduate and graduate classes, it features a wealth of examples, learning goals and summaries for every chapter, numerous recommendations for further reading, and questions for checking students' comprehension. A dedicated author website offers additional teaching material and more elaborate examples. Accordingly, the book enables students and young professionals in IT-related fields to familiarize themselves with the Internet's basic mechanisms, and with the most promising Internet-based technologies of our time.
https://magrudy-assets.storage.googleapis.com/9783030349561.jpg
83.990000 USD

Internet Computing: Principles of Distributed Systems and Emerging Internet-Based Technologies

by Ali Sunyaev
Hardback
Book cover image
The comprehensive study aide for those preparing for the new Oracle Certified Professional Java SE Programmer I Exam 1Z0-815 Used primarily in mobile and desktop application development, Java is a platform-independent, object-oriented programming language. It is the principal language used in Android application development as well as a popular language ...
OCP Oracle Certified Professional Java SE 11 Programmer I Study Guide: Exam 1Z0-815
The comprehensive study aide for those preparing for the new Oracle Certified Professional Java SE Programmer I Exam 1Z0-815 Used primarily in mobile and desktop application development, Java is a platform-independent, object-oriented programming language. It is the principal language used in Android application development as well as a popular language for client-side cloud applications. Oracle has updated its Java Programmer certification tracks for Oracle Certified Professional. OCP Oracle Certified Professional Java SE 11 Programmer I Study Guide covers 100% of the exam objectives, ensuring that you are thoroughly prepared for this challenging certification exam. This comprehensive, in-depth study guide helps you develop the functional-programming knowledge required to pass the exam and earn certification. All vital topics are covered, including Java building blocks, operators and loops, String and StringBuilder, Array and ArrayList, and more. Included is access to Sybex's superior online interactive learning environment and test bank--containing self-assessment tests, chapter tests, bonus practice exam questions, electronic flashcards, and a searchable glossary of important terms. This indispensable guide: Clarifies complex material and strengthens your comprehension and retention of key topics Covers all exam objectives such as methods and encapsulation, exceptions, inheriting abstract classes and interfaces, and Java 8 Dates and Lambda Expressions Explains object-oriented design principles and patterns Helps you master the fundamentals of functional programming Enables you to create Java solutions applicable to real-world scenarios There are over 9 millions developers using Java around the world, yet hiring managers face challenges filling open positions with qualified candidates. The OCP Oracle Certified Professional Java SE 11 Programmer I Study Guide will help you take the next step in your career.
https://magrudy-assets.storage.googleapis.com/9781119584704.jpg
63.000000 USD

OCP Oracle Certified Professional Java SE 11 Programmer I Study Guide: Exam 1Z0-815

by Scott Selikoff, Jeanne Boyarsky
Paperback / softback
Book cover image
The development of software has expanded substantially in recent years. As these technologies continue to advance, well-known organizations have begun implementing these programs into the ways they conduct business. These large companies play a vital role in the economic environment, so understanding the software that they utilize is pertinent in ...
Tools and Techniques for Software Development in Large Organizations: Emerging Research and Opportunities
The development of software has expanded substantially in recent years. As these technologies continue to advance, well-known organizations have begun implementing these programs into the ways they conduct business. These large companies play a vital role in the economic environment, so understanding the software that they utilize is pertinent in many aspects. Researching and analyzing the tools that these corporations use will assist in the practice of software engineering and give other organizations an outline of how to successfully implement their own computational methods. Tools and Techniques for Software Development in Large Organizations: Emerging Research and Opportunities is an essential reference source that discusses advanced software methods that prominent companies have adopted to develop high quality products. This book will examine the various devices that organizations such as Google, Cisco, and Facebook have implemented into their production and development processes. Featuring research on topics such as database management, quality assurance, and machine learning, this book is ideally designed for software engineers, data scientists, developers, programmers, professors, researchers, and students seeking coverage on the advancement of software devices in today's major corporations.
https://magrudy-assets.storage.googleapis.com/9781799818632.jpg
204.750000 USD

Tools and Techniques for Software Development in Large Organizations: Emerging Research and Opportunities

Hardback
Book cover image
When you need answers for using C# 8.0, this tightly focused and practical book tells you exactly what you need to know without long introductions or bloated samples. Succinct, yet easy to browse, C# 8.0 Pocket Reference is ideal as a quick reference or as a guide to get you ...
C# 8.0 Pocket Reference: Instant Help for C# 8.0 Programmers
When you need answers for using C# 8.0, this tightly focused and practical book tells you exactly what you need to know without long introductions or bloated samples. Succinct, yet easy to browse, C# 8.0 Pocket Reference is ideal as a quick reference or as a guide to get you rapidly up to speed if you already know Java, C++, or an earlier version of C#. All programs and code snippets in this book are available as interactive samples in LINQPad. You can edit these samples and instantly see the results without needing to set up projects in Visual Studio. Written by the authors of C# 8.0 in a Nutshell, this pocket reference covers C# 8.0 without skimping on detail.
https://magrudy-assets.storage.googleapis.com/9781492051213.jpg
37.18 USD

C# 8.0 Pocket Reference: Instant Help for C# 8.0 Programmers

by Ben Albahari, Joseph Albahari
Paperback / softback
Book cover image
This book focuses on mathematical modeling, describes the process of constructing and evaluating models, discusses the challenges and delicacies of the modeling process, and explicitly outlines the required rules and regulations so that the reader will be able to generalize and reuse concepts in other problems by relying on mathematical ...
Methods and Models in Mathematical Programming
This book focuses on mathematical modeling, describes the process of constructing and evaluating models, discusses the challenges and delicacies of the modeling process, and explicitly outlines the required rules and regulations so that the reader will be able to generalize and reuse concepts in other problems by relying on mathematical logic.Undergraduate and postgraduate students of different academic disciplines would find this book a suitable option preparing them for jobs and research fields requiring modeling techniques. Furthermore, this book can be used as a reference book for experts and practitioners requiring advanced skills of model building in their jobs.
https://magrudy-assets.storage.googleapis.com/9783030270445.jpg
157.490000 USD

Methods and Models in Mathematical Programming

by F. Hooshmand, S.A. MirHassani
Hardback
Book cover image
It's not easy to design good application interfaces in a world where companies must create compelling, seamless user experiences across an exploding number of channels, screens, and contexts. Design patterns, design systems, and component-based UI frameworks have emerged and now rapidly evolve to meet the challenge. This bestselling book is ...
Designing Interfaces: Patterns for Effective Interaction Design
It's not easy to design good application interfaces in a world where companies must create compelling, seamless user experiences across an exploding number of channels, screens, and contexts. Design patterns, design systems, and component-based UI frameworks have emerged and now rapidly evolve to meet the challenge. This bestselling book is one of the few reliable sources to help you navigate through the maze of design options. By capturing UI best practices and reusable ideas as design patterns, Designing Interfaces provides solutions to common design problems that you can tailor to the situation at hand. This updated edition includes patterns for mobile apps and social media, as well as web applications and desktop software. Each pattern contains full-color examples and practical design advice that you can use immediately. Experienced designers can use this guide as a sourcebook of ideas; novices will find a roadmap to the world of interface and interaction design.
https://magrudy-assets.storage.googleapis.com/9781492051961.jpg
89.25 USD

Designing Interfaces: Patterns for Effective Interaction Design

by Aynne Valencia-Brooks, Charles Brewer, Jenifer Tidwell
Paperback / softback
Book cover image
This book describes several approaches to adaptability that are applied for the optimization of parallel applications, such as thread-level parallelism exploitation and dynamic voltage and frequency scaling on multicore systems. This book explains how software developers can apply a novel technique to adapt the number of threads at runtime without ...
Parallel Computing Hits the Power Wall: Principles, Challenges, and a Survey of Solutions
This book describes several approaches to adaptability that are applied for the optimization of parallel applications, such as thread-level parallelism exploitation and dynamic voltage and frequency scaling on multicore systems. This book explains how software developers can apply a novel technique to adapt the number of threads at runtime without any modification in the source code nor recompilation. This book is useful for software developers in general since it offers realistic examples throughout to demonstrate various techniques presented.
https://magrudy-assets.storage.googleapis.com/9783030287184.jpg
62.990000 USD

Parallel Computing Hits the Power Wall: Principles, Challenges, and a Survey of Solutions

by Antonio Carlos Schneider Beck Filho, Arthur Francisco Lorenzon
Paperback / softback
Book cover image
This book examines the requirements, risks, and solutions to improve the security and quality of complex cyber-physical systems (C-CPS), such as production systems, power plants, and airplanes, in order to ascertain whether it is possible to protect engineering organizations against cyber threats and to ensure engineering project quality. The book ...
Security and Quality in Cyber-Physical Systems Engineering: With Forewords by Robert M. Lee and Tom Gilb
This book examines the requirements, risks, and solutions to improve the security and quality of complex cyber-physical systems (C-CPS), such as production systems, power plants, and airplanes, in order to ascertain whether it is possible to protect engineering organizations against cyber threats and to ensure engineering project quality. The book consists of three parts that logically build upon each other. Part I Product Engineering of Complex Cyber-Physical Systems discusses the structure and behavior of engineering organizations producing complex cyber-physical systems, providing insights into processes and engineering activities, and highlighting the requirements and border conditions for secure and high-quality engineering. Part II Engineering Quality Improvement addresses quality improvements with a focus on engineering data generation, exchange, aggregation, and use within an engineering organization, and the need for proper data modeling and engineering-result validation. Lastly, Part III Engineering Security Improvement considers security aspects concerning C-CPS engineering, including engineering organizations' security assessments and engineering data management, security concepts and technologies that may be leveraged to mitigate the manipulation of engineering data, as well as design and run-time aspects of secure complex cyber-physical systems. The book is intended for several target groups: it enables computer scientists to identify research issues related to the development of new methods, architectures, and technologies for improving quality and security in multi-disciplinary engineering, pushing forward the current state of the art. It also allows researchers involved in the engineering of C-CPS to gain a better understanding of the challenges and requirements of multi-disciplinary engineering that will guide them in their future research and development activities. Lastly, it offers practicing engineers and managers with engineering backgrounds insights into the benefits and limitations of applicable methods, architectures, and technologies for selected use cases.
https://magrudy-assets.storage.googleapis.com/9783030253110.jpg
157.490000 USD

Security and Quality in Cyber-Physical Systems Engineering: With Forewords by Robert M. Lee and Tom Gilb

Hardback
Book cover image
From the beginning of software time, people have wondered why it isn't possible to accelerate software projects by simply adding staff. This is sometimes known as the nine women can't make a baby in one month problem. The most famous treatise declaring this to be impossible is Fred Brooks' 1975 ...
Parallel Agile - faster delivery, fewer defects, lower cost
From the beginning of software time, people have wondered why it isn't possible to accelerate software projects by simply adding staff. This is sometimes known as the nine women can't make a baby in one month problem. The most famous treatise declaring this to be impossible is Fred Brooks' 1975 book The Mythical Man-Month, in which he declares that adding more programmers to a late software project makes it later, and indeed this has proven largely true over the decades. Aided by a domain-driven code generator that quickly creates database and API code, Parallel Agile (PA) achieves significant schedule compression using parallelism: as many developers as necessary can independently and concurrently develop the scenarios from initial prototype through production code. Projects can scale by elastic staffing, rather than by stretching schedules for larger development efforts. Schedule compression with a large team of developers working in parallel is analogous to hardware acceleration of compute problems using parallel CPUs. PA has some similarities with and differences from other Agile approaches. Like most Agile methods, PA gets to code early and uses feedback from executable software to drive requirements and design. PA uses technical prototyping as a risk-mitigation strategy, to help sanity-check requirements for feasibility, and to evaluate different technical architectures and technologies. Unlike many Agile methods, PA does not support design by refactoring, and it doesn't drive designs from unit tests. Instead, PA uses a minimalist UML-based design approach (Agile/ICONIX) that starts out with a domain model to facilitate communication across the development team, and partitions the system along use case boundaries, which enables parallel development. Parallel Agile is fully compatible with the Incremental Commitment Spiral Model (ICSM), which involves concurrent effort of a systems engineering team, a development team, and a test team working alongside the developers. The authors have been researching and refining the PA process for several years on multiple test projects that have involved over 200 developers. The book's example project details the design of one of these test projects, a crowdsourced traffic safety system.
https://magrudy-assets.storage.googleapis.com/9783030307004.jpg
52.490000 USD

Parallel Agile - faster delivery, fewer defects, lower cost

by Matt Stephens, Charles A. Suscheck, Shobha Rani Dhalipathi, Bo Wang, Barry Boehm, Doug Rosenberg
Paperback / softback
Book cover image
Advances in Computers, Volume 116, presents innovations in computer hardware, software, theory, design, and applications, with this updated volume including new chapters on Teaching Graduate Students How to Review Research Articles and How to Respond to Reviewer Comments, ALGATOR - An Automatic Algorithm Evaluation System, Graph Grammar Induction, Asymmetric Windows ...
Advances in Computers: Volume 116
Advances in Computers, Volume 116, presents innovations in computer hardware, software, theory, design, and applications, with this updated volume including new chapters on Teaching Graduate Students How to Review Research Articles and How to Respond to Reviewer Comments, ALGATOR - An Automatic Algorithm Evaluation System, Graph Grammar Induction, Asymmetric Windows in Digital Signal Processing, Intelligent Agents in Games: Review With an Open-Source Tool, Using Clickstream Data to Enhance Reverse Engineering of Web Applications, and more.
https://magrudy-assets.storage.googleapis.com/9780128201961.jpg
191.100000 USD

Advances in Computers: Volume 116

by Veljko Milutinovic
Hardback
Book cover image
Even today, many software projects still run catastrophically over schedule and budget; some organizations simply conclude that software development can't be managed well. But it can -- and it starts with people. In their eagerly awaited, extensively updated Managing the Unmanageable, Second Edition, Mickey W. Mantle and Ron Lichty show ...
Managing the Unmanageable: Rules, Tools, and Insights for Managing Software People and Teams
Even today, many software projects still run catastrophically over schedule and budget; some organizations simply conclude that software development can't be managed well. But it can -- and it starts with people. In their eagerly awaited, extensively updated Managing the Unmanageable, Second Edition, Mickey W. Mantle and Ron Lichty show how software managers can hire and develop programmers and build teams that are truly, consistently manageable. Mantle and Lichty write for software managers at all levels, especially those who've recently moved into management. Drawing on their combined 80 years of software development and management experience, and the insights and wisdom of other successful managers, they guide you in: Hiring the right people Motivating them Building a culture of excellence Managing up to gain buy-in from the executive suite Leading your teams to deliver outstanding products -- consistently on time and budget Significant updates in this edition include: A new chapter on software management in agile environments, with modern agile coverage woven in throughout the book Solutions for managing your youngest developers (beyond millennials) Making the most of today's developer recruiting tools Achieving quick wins by onboarding more effectively Expanded coverage of managing (and removing) problem employees
https://magrudy-assets.storage.googleapis.com/9780135667361.jpg
47.240000 USD

Managing the Unmanageable: Rules, Tools, and Insights for Managing Software People and Teams

by Ron Lichty, Mickey W. Mantle
Paperback / softback
Book cover image
Create and implement AI-based features in your Swift apps for iOS, macOS, tvOS, and watchOS. With this practical book, programmers and developers of all kinds will find a one-stop shop for AI and machine learning with Swift. Taking a task-based approach, you'll learn how to build features that use powerful ...
Practical Artificial Intelligence with Swift: From Fundamental Theory to Development of AI-Driven Apps
Create and implement AI-based features in your Swift apps for iOS, macOS, tvOS, and watchOS. With this practical book, programmers and developers of all kinds will find a one-stop shop for AI and machine learning with Swift. Taking a task-based approach, you'll learn how to build features that use powerful AI features to identify images, make predictions, generate content, recommend things, and more. AI is increasingly essential for every developer-and you don't need to be a data scientist or mathematician to take advantage of it in your apps. Explore Swift-based AI and ML techniques for building applications. Learn where and how AI-driven features make sense. Inspect tools such as Apple's Python-powered Turi Create and Google's Swift for TensorFlow to train and build models. I: Fundamentals and Tools-Learn AI basics, our task-based approach, and discover how to build or find a dataset. II: Task Based AI-Build vision, audio, text, motion, and augmentation-related features; learn how to convert preexisting models. III: Beyond-Discover the theory behind task-based practice, explore AI and ML methods, and learn how you can build it all from scratch... if you want to
https://magrudy-assets.storage.googleapis.com/9781492044819.jpg
89.25 USD

Practical Artificial Intelligence with Swift: From Fundamental Theory to Development of AI-Driven Apps

by Tim Nugent, Paris Buttfield-Addison, Jonathon Manning, Mars Geldard
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 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 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 refereed proceedings of the 22nd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2019, held in Turin, Italy, in October 2019. The 25 full papers presented and 25 short papers were carefully reviewed and selected from 112 submissions. The papers presented at the PRIMA ...
PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings
This book constitutes the refereed proceedings of the 22nd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2019, held in Turin, Italy, in October 2019. The 25 full papers presented and 25 short papers were carefully reviewed and selected from 112 submissions. The papers presented at the PRIMA 2019 conference focus on the following topics: Logic and Reasoning, Engineering Multi-Agent Systems, Agent-Based Modeling and Simulation, Collaboration and Coordination, Economic Paradigms, Human-Agent Interaction, Decentralized Paradigms, and Application Domains for Multi-Agent Systems.
https://magrudy-assets.storage.googleapis.com/9783030337919.jpg
115.490000 USD

PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings

Paperback / softback
Book cover image
Use this book as your one-stop shop for architecting a world-class DevOps environment with Microsoft technologies. .NET DevOps for Azure is a synthesis of practices, tools, and process that, together, can equip a software organization to move fast and deliver the highest quality software. The book begins by discussing the ...
.NET DevOps for Azure: A Developer's Guide to DevOps Architecture the Right Way
Use this book as your one-stop shop for architecting a world-class DevOps environment with Microsoft technologies. .NET DevOps for Azure is a synthesis of practices, tools, and process that, together, can equip a software organization to move fast and deliver the highest quality software. The book begins by discussing the most common challenges faced by developers in DevOps today and offers options and proven solutions on how to implement DevOps for your team. Daily, millions of developers use .NET to build and operate mission-critical software systems for organizations around the world. While the marketplace has scores of information about the technology, it is completely up to you to put together all the blocks in the right way for your environment. This book provides you with a model to build on. The relevant principles are covered first along with how to implement that part of the environment. And while variances in tools, language, or requirements will change the needed implementation, the DevOps model is the architecture for the working environment for your team. You can modify parts of the model to customize it to your enterprise, but the architecture will enable all of your teams and applications to accelerate in performance. What You Will Learn Get your .NET applications into a DevOps environment in Azure Analyze and address the part of your DevOps process that causes delays or bottlenecks Track code using Azure Repos and conduct acceptance tests Apply the rules for segmenting applications into Git repositories Understand the different types of builds and when to use each Know how to think about code validation in your DevOps environment Provision and configure environments; deploy release candidates across the environments in Azure Monitor and support software that has been deployed to a production environment Who This Book Is For .NET Developers who are using or want to use DevOps in Azure but don't know where to begin
https://magrudy-assets.storage.googleapis.com/9781484253427.jpg
39.890000 USD

.NET DevOps for Azure: A Developer's Guide to DevOps Architecture the Right Way

by Jeffrey Palermo
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 refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers presented together with an invited paper were carefully reviewed and selected from 22 submissions. The papers deal with mathematical principles ...
Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers presented together with an invited paper were carefully reviewed and selected from 22 submissions. The papers deal with mathematical principles and techniques for constructing computer programs. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.
https://magrudy-assets.storage.googleapis.com/9783030336356.jpg
94.490000 USD

Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 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 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 proceedings of the Second International Conference on Frontiers in Cyber Security, FCS 2019, held in Xi'an, China, in November 2019. The 20 full papers along with the 2 short papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections ...
Frontiers in Cyber Security: Second International Conference, FCS 2019, Xi'an, China, November 15-17, 2019, Proceedings
This book constitutes the proceedings of the Second International Conference on Frontiers in Cyber Security, FCS 2019, held in Xi'an, China, in November 2019. The 20 full papers along with the 2 short papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections on: symmetric key cryptography; public key cryptography; post-quantum cryptography: signature; attack and behavior detection; authenticated key agreement; blockchain; system and network security.
https://magrudy-assets.storage.googleapis.com/9789811508172.jpg
104.990000 USD

Frontiers in Cyber Security: Second International Conference, FCS 2019, Xi'an, China, November 15-17, 2019, Proceedings

Paperback / softback
Book cover image
Practical solutions to overcome challenges in creating console and web applications and working with systems-level and embedded code, network programming, deep neural networks, and much more. Key Features Work through recipes featuring advanced concepts such as concurrency, unsafe code, and macros to migrate your codebase to the Rust programming language ...
Rust Programming Cookbook: Explore the latest features of Rust 2018 for building fast and secure apps
Practical solutions to overcome challenges in creating console and web applications and working with systems-level and embedded code, network programming, deep neural networks, and much more. Key Features Work through recipes featuring advanced concepts such as concurrency, unsafe code, and macros to migrate your codebase to the Rust programming language Learn how to run machine learning models with Rust Explore error handling, macros, and modularization to write maintainable code Book DescriptionRust 2018, Rust's first major milestone since version 1.0, brings more advancement in the Rust language. The Rust Programming Cookbook is a practical guide to help you overcome challenges when writing Rust code. This Rust book covers recipes for configuring Rust for different environments and architectural designs, and provides solutions to practical problems. It will also take you through Rust's core concepts, enabling you to create efficient, high-performance applications that use features such as zero-cost abstractions and improved memory management. As you progress, you'll delve into more advanced topics, including channels and actors, for building scalable, production-grade applications, and even get to grips with error handling, macros, and modularization to write maintainable code. You will then learn how to overcome common roadblocks when using Rust for systems programming, IoT, web development, and network programming. Finally, you'll discover what Rust 2018 has to offer for embedded programmers. By the end of the book, you'll have learned how to build fast and safe applications and services using Rust. What you will learn Understand how Rust provides unique solutions to solve system programming language problems Grasp the core concepts of Rust to develop fast and safe applications Explore the possibility of integrating Rust units into existing applications for improved efficiency Discover how to achieve better parallelism and security with Rust Write Python extensions in Rust Compile external assembly files and use the Foreign Function Interface (FFI) Build web applications and services using Rust for high performance Who this book is forThe Rust cookbook is for software developers looking to enhance their knowledge of Rust and leverage its features using modern programming practices. Familiarity with Rust language is expected to get the most out of this book.
https://magrudy-assets.storage.googleapis.com/9781789530667.jpg
41.990000 USD

Rust Programming Cookbook: Explore the latest features of Rust 2018 for building fast and secure apps

by Claus Matzinger
Paperback / softback
Book cover image
This volume contains selected tutorial and young scientist school papers of the 5th RAAI Summer School on Artificial Intelligence, held in July 2019 at Institute of Physics and Technology (MIPT) campus in Dolgoprudny, a suburb of Moscow, Russia. The 11 chapters in this volume present papers focusing on various important ...
Artificial Intelligence: 5th RAAI Summer School, Dolgoprudny, Russia, July 4-7, 2019, Tutorial Lectures
This volume contains selected tutorial and young scientist school papers of the 5th RAAI Summer School on Artificial Intelligence, held in July 2019 at Institute of Physics and Technology (MIPT) campus in Dolgoprudny, a suburb of Moscow, Russia. The 11 chapters in this volume present papers focusing on various important aspects of Multiagent systems; Behavior planning; Natural language processing; Modeling of reasoning; and Machine learning and data analysis.
https://magrudy-assets.storage.googleapis.com/9783030332730.jpg
62.990000 USD

Artificial Intelligence: 5th RAAI Summer School, Dolgoprudny, Russia, July 4-7, 2019, Tutorial Lectures

Paperback / softback
Book cover image
This book contains a selection of papers from The 2019 International Conference on Software Process Improvement (CIMPS'19), held between the 23th and 25th of October in Leon, Guanajuato, Mexico. The CIMPS'19 is a global forum for researchers and practitioners that present and discuss the most recent innovations, trends, results, experiences ...
Trends and Applications in Software Engineering: Proceedings of the 8th International Conference on Software Process Improvement (CIMPS 2019)
This book contains a selection of papers from The 2019 International Conference on Software Process Improvement (CIMPS'19), held between the 23th and 25th of October in Leon, Guanajuato, Mexico. The CIMPS'19 is a global forum for researchers and practitioners that present and discuss the most recent innovations, trends, results, experiences and concerns in the several perspectives of Software Engineering with clear relationship but not limited to software processes, Security in Information and Communication Technology and Data Analysis Field. The main topics covered are: Organizational Models, Standards and Methodologies, Software Process Improvement, Knowledge Management, Software Systems, Applications and Tools, Information and Communication Technologies and Processes in non-software domains (Mining, automotive, aerospace, business, health care, manufacturing, etc.) with a demonstrated relationship to Software Engineering Challenges.
https://magrudy-assets.storage.googleapis.com/9783030335465.jpg
209.990000 USD

Trends and Applications in Software Engineering: Proceedings of the 8th International Conference on Software Process Improvement (CIMPS 2019)

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. ...
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.
https://magrudy-assets.storage.googleapis.com/9783030324407.jpg
73.490000 USD

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

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 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
For Scrum Teams and Agile Leaders who want to enable greater business agility, this book is a practical guide to overcoming challenges and maximizing the benefits of Scrum, unlike books that are focused on basic understanding of the framework, or are too heavy on theory. Mastering Professional Scrum is based ...
Mastering Professional Scrum: Coaches' Notes for Busting Myths, Solving Challenges, and Growing Agility
For Scrum Teams and Agile Leaders who want to enable greater business agility, this book is a practical guide to overcoming challenges and maximizing the benefits of Scrum, unlike books that are focused on basic understanding of the framework, or are too heavy on theory. Mastering Professional Scrum is based on years of training, coaching, and working with Scrum to deliver products across many industry sectors, from startups to multinationals all around the world. The book begins with an overview of why business agility matters and why Scrum works. Then the authors cover the situations that cause organizations to have to change the way they do things, and the challenges of a rapidly evolving marketplace. Adopting an approach that is based on high quality and fast feedback helps to manage risk and provide the flexibility to adapt to changing requirements and situations. The importance of professionalism in the industry is introduced. Many Scrum implementations have drifted from the framework and/or are going through the motions without the true spirit of professionalism and transformation. This common pitfall will be examined using a case study to be referenced throughout the book. The case study will be representative of where many existing Scrum Teams and organizations may find themselves - a team has been doing Scrum and has seen some benefits, but there are still many challenges that arise from both within the team and from pressures in the organization and the market.
https://magrudy-assets.storage.googleapis.com/9780134841526.jpg
36.740000 USD

Mastering Professional Scrum: Coaches' Notes for Busting Myths, Solving Challenges, and Growing Agility

by Simon Reindl, Stephanie Ockerman
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
Page 1 of 40