Filter
(found 3342 products)
Book cover image
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in ...
Transactions on Computational Science XXXIV
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions, and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. This, the 34th issue of the Transactions on Computational Science, contains seven in-depth papers focusing on research on data analytics using machine learning and pattern recognition, with applications in wireless networks, databases, and remotely sensed data.
https://magrudy-assets.storage.googleapis.com/9783662599570.jpg
78.740000 USD

Transactions on Computational Science XXXIV

Paperback / softback
Book cover image
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Conference on Financial Cryptography and Data Security, FC 2018, held in Nieuwport, Curacao, in February/ March 2018.The 27 revised full papers and 2 short papers were carefully selected and reviewed from 110 submissions. The papers are grouped in ...
Financial Cryptography and Data Security: 22nd International Conference, FC 2018, Nieuwpoort, Curacao, February 26 - March 2, 2018, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Conference on Financial Cryptography and Data Security, FC 2018, held in Nieuwport, Curacao, in February/ March 2018.The 27 revised full papers and 2 short papers were carefully selected and reviewed from 110 submissions. The papers are grouped in the following topical sections: Financial Cryptography and Data Security, Applied Cryptography, Mobile Systems Security and Privacy, Risk Assessment and Management, Social Networks Security and Privacy and much more.
https://magrudy-assets.storage.googleapis.com/9783662583869.jpg
104.990000 USD

Financial Cryptography and Data Security: 22nd International Conference, FC 2018, Nieuwpoort, Curacao, February 26 - March 2, 2018, Revised Selected Papers

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

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

Paperback / softback
Book cover image
This book collects the refereed proceedings of the 8th Indian Conference on Logic and Its Applications, ICLA 2019, held in Delhi, India, in March 2019. The volume contains 13 full revised papers along with 6 invited talks presented at the conference. The aim of this conference series is to bring ...
Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
This book collects the refereed proceedings of the 8th Indian Conference on Logic and Its Applications, ICLA 2019, held in Delhi, India, in March 2019. The volume contains 13 full revised papers along with 6 invited talks presented at the conference. The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. Areas of interest include mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, and the relationship between logic and other branches of knowledge. Of special interest are studies in systems of logic in the Indian tradition, and historical research on logic.
https://magrudy-assets.storage.googleapis.com/9783662587706.jpg
62.990000 USD

Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

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
83.990000 USD

Fundamentals of Business Process Management

by Hajo A. Reijers, Jan Mendling, Marcello La Rosa, Marlon Dumas
Paperback / softback
Book cover image
With this book, Christopher Kormanyos delivers a highly practical guide to programming real-time embedded microcontroller systems in C++. It is divided into three parts plus several appendices. Part I provides a foundation for real-time C++ by covering language technologies, including object-oriented methods, template programming and optimization. Next, part II presents ...
Real-Time C++: Efficient Object-Oriented and Template Microcontroller Programming
With this book, Christopher Kormanyos delivers a highly practical guide to programming real-time embedded microcontroller systems in C++. It is divided into three parts plus several appendices. Part I provides a foundation for real-time C++ by covering language technologies, including object-oriented methods, template programming and optimization. Next, part II presents detailed descriptions of a variety of C++ components that are widely used in microcontroller programming. It details some of C++'s most powerful language elements, such as class types, templates and the STL, to develop components for microcontroller register access, low-level drivers, custom memory management, embedded containers, multitasking, etc. Finally, part III describes mathematical methods and generic utilities that can be employed to solve recurring problems in real-time C++. The appendices include a brief C++ language tutorial, information on the real-time C++ development environment and instructions for building GNU GCC cross-compilers and a microcontroller circuit. For this third edition, the most recent specification of C++17 in ISO/IEC 14882:2017 is used throughout the text. Several sections on new C++17 functionality have been added, and various others reworked to reflect changes in the standard. Also several new sample projects are introduced and existing ones extended, and various user suggestions have been incorporated. To facilitate portability, no libraries other than those specified in the language standard itself are used. Efficiency is always in focus and numerous examples are backed up with real-time performance measurements and size analyses that quantify the true costs of the code down to the very last byte and microsecond. The target audience of this book mainly consists of students and professionals interested in real-time C++. Readers should be familiar with C or another programming language and will benefit most if they have had some previous experience with microcontroller electronics and the performance and size issues prevalent in embedded systems programming.
https://magrudy-assets.storage.googleapis.com/9783662585931.jpg
83.990000 USD

Real-Time C++: Efficient Object-Oriented and Template Microcontroller Programming

by Christopher Michael Kormanyos
Paperback / softback
Book cover image
Beginning Windows 8 Application Development - XAML Edition introduces you to the Windows 8 modern app design paradigm and the new Windows 8 programming model developed around this paradigm. You'll learn to build rich, immersive applications designed to run on the many devices that will be powered by Windows 8. ...
Beginning Windows 8 Application Development - XAML Edition
Beginning Windows 8 Application Development - XAML Edition introduces you to the Windows 8 modern app design paradigm and the new Windows 8 programming model developed around this paradigm. You'll learn to build rich, immersive applications designed to run on the many devices that will be powered by Windows 8. With the introduction of Windows 8, once again Microsoft has re-envisioned the way that PCs and devices will be used and applications will be built in a world that has become far more connected. The Windows 8 modern UI style is far more than a programming model and Beginning Windows 8 Application Development - XAML Edition takes you beyond the syntax of any development language. We examine the factors such as UX (User Experience), social integration, and maintaining data and settings across multiple devices. Gives an early start to building next-generation connected applications Introduces new programming libraries available in Windows 8 Explores Windows 8 app design concepts
https://magrudy-assets.storage.googleapis.com/9781430245667.jpg
41.990000 USD

Beginning Windows 8 Application Development - XAML Edition

by Kyle Burns
Paperback / softback
Book cover image
Foundations of Python Network Programming, Third Edition, covers all of the classic topics found in the second edition of this book, including network protocols, network data and errors, email, server architecture, and HTTP and web applications, plus updates for Python 3. Some of the new topics in this edition include: ...
Foundations of Python Network Programming
Foundations of Python Network Programming, Third Edition, covers all of the classic topics found in the second edition of this book, including network protocols, network data and errors, email, server architecture, and HTTP and web applications, plus updates for Python 3. Some of the new topics in this edition include: * Extensive coverage of the updated SSL support in Python 3 * How to write your own asynchronous I/O loop. * An overview of the asyncio framework that comes with Python 3.4. * How the Flask web framework connects URLs to your Python code. * How cross-site scripting and cross-site request forgery can be used to attack your web site, and how to protect against them. * How a full-stack web framework like Django can automate the round trip from your database to the screen and back. If you're a Python programmer who needs a deep understanding of how to use Python for network-related tasks and applications, this is the book for you. From web application developers, to systems integrators, to system administrators-this book has everything that you need to know.
https://magrudy-assets.storage.googleapis.com/9781430258544.jpg
52.490000 USD

Foundations of Python Network Programming

by John Goerzen, Brandon Rhodes
Paperback / softback
Book cover image
Microsoft's Windows Presentation Foundation (WPF) provides the foundation for building applications and high-quality user experiences for the Windows operating system. It blends the application user interface, documents, and media content, while exploiting the full power of your computer's operating system. Its functionality extends to the support for tablet PCs and ...
Pro WPF in C# 2010: Windows Presentation Foundation in .NET 4
Microsoft's Windows Presentation Foundation (WPF) provides the foundation for building applications and high-quality user experiences for the Windows operating system. It blends the application user interface, documents, and media content, while exploiting the full power of your computer's operating system. Its functionality extends to the support for tablet PCs and other forms of input device, and it provides a more modern imaging and printing pipeline, accessibility and UI automation infrastructure, data-driven user interfaces and visualization, and integration points for weaving the application experience into the Windows shell. This book shows you how WPF really works. It provides you with the no-nonsense, practical advice that you need in order to build high-quality WPF applications quickly and easily. After giving you a firm foundation, it goes on to explore the more advance aspects of WPF and how they relate to the others elements of the .NET 4.0 platform and associated technologies such as Silverlight.
https://magrudy-assets.storage.googleapis.com/9781430272052.jpg
57.740000 USD

Pro WPF in C# 2010: Windows Presentation Foundation in .NET 4

by Matthew MacDonald
Paperback / softback
Book cover image
This new edition of Pro C# 5.0 and the .NET 4.5 Platform has been completely revised and rewritten to reflect the latest changes to the C# language specification and new advances in the .NET Framework. You'll find new chapters covering all the important new features that make .NET 4.5 the ...
Pro C# 5.0 and the .NET 4.5 Framework
This new edition of Pro C# 5.0 and the .NET 4.5 Platform has been completely revised and rewritten to reflect the latest changes to the C# language specification and new advances in the .NET Framework. You'll find new chapters covering all the important new features that make .NET 4.5 the most comprehensive release yet, including: .NET APIs for Windows 8 style UI apps New asynchronous task-based model for async operations How HTML5 support is being wrapped into C# web applications New programming interfaces for HTTP applications, including improved IPv6 support Expanded WPF, WCF and WF libraries giving C# more power than ever before This comes on top of award winning coverage of core C# features, both old and new, that have made the previous editions of this book so popular (you'll find everything from generics to pLINQ covered here). The mission of this text is to provide you with a rock-solid foundation in the C# programming language and the core aspects of the .NET platform (assemblies, remoting, Windows Forms, Web Forms, ADO.NET, XML web services, etc.). Once you digest the information presented in these 25 chapters, you'll be in a perfect position to apply this knowledge to your specific programming assignments, and you'll be well equipped to explore the .NET universe on your own terms.
https://magrudy-assets.storage.googleapis.com/9781430242338.jpg
83.990000 USD

Pro C# 5.0 and the .NET 4.5 Framework

by Andrew W. Troelsen
Paperback / softback
Book cover image
Microsoft's Windows Presentation Foundation (WPF) provides you with a development framework for building high-quality user experiences for the Windows operating system. It blends together rich content from a wide range of sources and allows you unparalleled access to the processing power of your Windows computer. Pro WPF 4.5 in C# ...
Pro WPF 4.5 in C#: Windows Presentation Foundation in .NET 4.5
Microsoft's Windows Presentation Foundation (WPF) provides you with a development framework for building high-quality user experiences for the Windows operating system. It blends together rich content from a wide range of sources and allows you unparalleled access to the processing power of your Windows computer. Pro WPF 4.5 in C# provides a thorough, authoritative guide to how WPF really works. Packed with no-nonsense examples and practical advice you'll learn everything you need to know in order to use WPF in a professional setting. The book begins by building a firm foundation of elementary concepts, using your existing C# skills as a frame of reference, before moving on to discuss advanced concepts and demonstrate them in a hands-on way that emphasizes the time and effort savings that can be gained.
https://magrudy-assets.storage.googleapis.com/9781430243656.jpg
78.740000 USD

Pro WPF 4.5 in C#: Windows Presentation Foundation in .NET 4.5

by Matthew MacDonald
Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 21st International Conference on Integrated Circuit and System Design, PATMOS 2011, held in Madrid, Spain, in September 2011. The 34 revised full papers presented were carefully reviewed and selected from numerous submissions. The paper feature emerging challenges in methodologies and tools for ...
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011, Proceedings
This book constitutes the refereed proceedings of the 21st International Conference on Integrated Circuit and System Design, PATMOS 2011, held in Madrid, Spain, in September 2011. The 34 revised full papers presented were carefully reviewed and selected from numerous submissions. The paper feature emerging challenges in methodologies and tools for the design of upcoming generations of integrated circuits and systems and focus especially on timing, performance and power consumption as well as architectural aspects with particular emphasis on modeling, design, characterization, analysis and optimization.
https://magrudy-assets.storage.googleapis.com/9783642241536.jpg
94.490000 USD

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011, Proceedings

Paperback / softback
Book cover image
The ASP.NET MVC 4 Framework is the latest evolution of Microsoft's ASP.NET web platform. It provides a high-productivity programming model that promotes cleaner code architecture, test-driven development, and powerful extensibility, combined with all the benefits of ASP.NET. ASP.NET MVC 4 contains a number of significant advances over previous versions. New ...
Pro ASP.NET MVC 4
The ASP.NET MVC 4 Framework is the latest evolution of Microsoft's ASP.NET web platform. It provides a high-productivity programming model that promotes cleaner code architecture, test-driven development, and powerful extensibility, combined with all the benefits of ASP.NET. ASP.NET MVC 4 contains a number of significant advances over previous versions. New mobile and desktop templates (employing adaptive rendering) are included together with support for jQuery Mobile for the first time. New display modes allow your application to select views based on the browser that's making the request while Code Generation Recipes for Visual Studio help you auto-generate project-specific code for a wide variety of situtations including NuGet support. In this fourth edition, the core model-view-controller (MVC) architectural concepts are not simply explained or discussed in isolation, but are demonstrated in action. You'll work through an extended tutorial to create a working e-commerce web application that combines ASP.NET MVC with the latest C# language features and unit-testing best practices. By gaining this invaluable, practical experience, you'll discover MVC's strengths and weaknesses for yourself-and put your best-learned theory into practice. The book's authors, Steve Sanderson and Adam Freeman, have both watched the growth of ASP.NET MVC since its first release. Steve is a well-known blogger on the MVC Framework and a member of the Microsoft Web Platform and Tools team. Adam started designing and building web applications 15 years ago and has been responsible for some of the world's largest and most ambitious projects. You can be sure you are in safe hands.
https://magrudy-assets.storage.googleapis.com/9781430242369.jpg
62.990000 USD

Pro ASP.NET MVC 4

by Steven Sanderson, Adam Freeman
Paperback / softback
Book cover image
If you're new to C++ but understand some basic programming, then Learn C++ for Game Development lays the foundation for the C++ language and API that you'll need to build game apps and applications. Learn C++ for Game Development will show you how to: Master C++ features such as variables, ...
Learn C++ for Game Development
If you're new to C++ but understand some basic programming, then Learn C++ for Game Development lays the foundation for the C++ language and API that you'll need to build game apps and applications. Learn C++ for Game Development will show you how to: Master C++ features such as variables, pointers, flow controls, functions, I/O, classes, exceptions, templates, and the Standard Template Library (STL) Use design patterns to simplify your coding and make more powerful games Manage memory efficiently to get the most out of your creativity Load and save games using file I/O, so that your users are never disappointed Most of today's popular console and PC game platforms use C++ in their SDKs. Even the Android NDK and now the iOS SDK allow for C++; so C++ is growing in use for today's mobile game apps. Game apps using C++ become much more robust, better looking, more dynamic, and better performing. After reading this book, you'll have the skills to become a successful and profitable game app or applications developer in today's increasingly competitive indie game marketplace. The next stage is to take the foundation from this book and explore SDKs such as Android/Ouya, PlayStation, Wii, Nintendo DS, DirectX, Unity3D, and GameMaker Studio to make your career really take off.
https://magrudy-assets.storage.googleapis.com/9781430264576.jpg
61.35 USD

Learn C++ for Game Development

by Bruce Sutherland
Paperback / softback
Book cover image
Silverlight 5 is the latest iteration of Microsoft's cross-browser technology for creating rich user experiences on the Web. Like its predecessor, it rides atop the .NET Framework for maximum ease of use and coding efficiency. The new technology carries forward much of the work that has been done before and ...
Pro Silverlight 5 in C#
Silverlight 5 is the latest iteration of Microsoft's cross-browser technology for creating rich user experiences on the Web. Like its predecessor, it rides atop the .NET Framework for maximum ease of use and coding efficiency. The new technology carries forward much of the work that has been done before and augments it in many important respects, including support for H.264 video, major improvements to the graphics engine (including true 3D rendering), and much richer data-binding options for interfacing with other applications. Pro Silverlight 5 in C# is an invaluable reference for professional developers who want to discover the new features of Silverlight. Author Matthew MacDonald's expert advice guides you through creating rich media applications using Silverlight in the environment you're most productive in-no matter what the target platform. As you learn about the features that put Silverlight in direct competition with Adobe Flash, such as rich support for 2D and 3D drawing, animations, and media playback, you'll experience the plumbing of .NET and the design model of WPF through Silverlight-all of the same .NET technology that developers use to design next-generation Windows applications. Pro Silverlight 5 in C# is a comprehensive tutorial, written from professional developer to professional developer. Please note: the print version of this title is black & white; the eBook is full color.
https://magrudy-assets.storage.googleapis.com/9781430234791.jpg
52.490000 USD

Pro Silverlight 5 in C#

by Matthew MacDonald
Paperback / softback
Book cover image
This, the 37th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains five revised selected regular papers. Topics covered include data security in clouds, privacy languages, probabilistic modelling in linked data integration, business intelligence based on multi-agent systems, collaborative filtering, and prediction accuracy.
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII
This, the 37th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains five revised selected regular papers. Topics covered include data security in clouds, privacy languages, probabilistic modelling in linked data integration, business intelligence based on multi-agent systems, collaborative filtering, and prediction accuracy.
https://magrudy-assets.storage.googleapis.com/9783662579312.jpg
62.990000 USD

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII

Paperback / softback
Book cover image
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in ...
Decision Procedures: An Algorithmic Point of View
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry. The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic; equalities and uninterpreted functions; linear arithmetic; bit vectors; arrays; pointer logic; and quantified formulas.
https://magrudy-assets.storage.googleapis.com/9783662570654.jpg
62.990000 USD

Decision Procedures: An Algorithmic Point of View

by Ofer Strichman, Daniel Kroening
Paperback / softback
Book cover image
This practice-oriented book explores a variety of cross-project topics and specific aspects of different project phases. It also offers tips, examples, templates and checklists, and discusses concrete problems and solutions from project practice in IT and the automotive industry. The authors combine their extensive practical experience in years of project ...
Project-Management in Practice: A Guideline and Toolbox for Successful Projects
This practice-oriented book explores a variety of cross-project topics and specific aspects of different project phases. It also offers tips, examples, templates and checklists, and discusses concrete problems and solutions from project practice in IT and the automotive industry. The authors combine their extensive practical experience in years of project work with relevant project-management theory. Each chapter begins with a list of the learning objectives and concludes with a summary of the insights provided. Accordingly, the book offers a valuable resource for: Beginners wishing to acquire basic project management skills Participants in more advanced project management training who are looking for instructional material Project management experts who want to learn about further aspects, and to employ templates and checklists for even more successful projects
https://magrudy-assets.storage.googleapis.com/9783662570999.jpg
73.490000 USD

Project-Management in Practice: A Guideline and Toolbox for Successful Projects

by Uwe F Guhl, M Daud Alam
Paperback / softback
Book cover image
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018. The 16 full papers together with 3 short papers and 3 invited talks presented ...
Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018. The 16 full papers together with 3 short papers and 3 invited talks presented were fully reviewed and selected from 30 submissions. The vision for the conference is to provide an annual forum which is large enough to provide meaningful interactions between logic and the sciences related to information and computation.
https://magrudy-assets.storage.googleapis.com/9783662576687.jpg
83.990000 USD

Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Paperback / softback
Book cover image
Lankhorst and his co-authors present ArchiMate (R) 3.0, enterprise modelling language that captures the complexity of architectural domains and their relations and allows the construction of integrated enterprise architecture models. They provide architects with concrete instruments that improve their architectural practice. As this is not enough, they additionally present techniques ...
Enterprise Architecture at Work: Modelling, Communication and Analysis
Lankhorst and his co-authors present ArchiMate (R) 3.0, enterprise modelling language that captures the complexity of architectural domains and their relations and allows the construction of integrated enterprise architecture models. They provide architects with concrete instruments that improve their architectural practice. As this is not enough, they additionally present techniques and heuristics for communicating with all relevant stakeholders about these architectures. Since an architecture model is useful not only for providing insight into the current or future situation but can also be used to evaluate the transition from 'as-is' to 'to-be', the authors also describe analysis methods for assessing both the qualitative impact of changes to an architecture and the quantitative aspects of architectures, such as performance and cost issues. The modelling language presented has been proven in practice in many real-life case studies and has been adopted by The Open Group as an international standard. So this book is an ideal companion for enterprise IT or business architects in industry as well as for computer or management science students studying the field of enterprise architecture. This fourth edition of the book has been completely reworked to be compatible with ArchiMate (R) 3.0, and it includes a new chapter relating this new version to other standards. New sections on capability analysis, risk analysis, and business architecture in general have also been introduced.
https://magrudy-assets.storage.googleapis.com/9783662571699.jpg
62.990000 USD

Enterprise Architecture at Work: Modelling, Communication and Analysis

by Marc Lankhorst
Paperback / softback
Book cover image
This is the second edition of Wil van der Aalst's seminal book on process mining, which now discusses the field also in the broader context of data science and big data approaches. It includes several additions and updates, e.g. on inductive mining techniques, the notion of alignments, a considerably expanded ...
Process Mining: Data Science in Action
This is the second edition of Wil van der Aalst's seminal book on process mining, which now discusses the field also in the broader context of data science and big data approaches. It includes several additions and updates, e.g. on inductive mining techniques, the notion of alignments, a considerably expanded section on software tools and a completely new chapter of process mining in the large. It is self-contained, while at the same time covering the entire process-mining spectrum from process discovery to predictive analytics. After a general introduction to data science and process mining in Part I, Part II provides the basics of business process modeling and data mining necessary to understand the remainder of the book. Next, Part III focuses on process discovery as the most important process mining task, while Part IV moves beyond discovering the control flow of processes, highlighting conformance checking, and organizational and time perspectives. Part V offers a guide to successfully applying process mining in practice, including an introduction to the widely used open-source tool ProM and several commercial products. Lastly, Part VI takes a step back, reflecting on the material presented and the key open challenges. Overall, this book provides a comprehensive overview of the state of the art in process mining. It is intended for business process analysts, business consultants, process managers, graduate students, and BPM researchers.
https://magrudy-assets.storage.googleapis.com/9783662570418.jpg
62.990000 USD

Process Mining: Data Science in Action

by Wil M P Van Der Aalst
Paperback / softback
Book cover image
Sch tzungsweise 80% aller verf gbaren Daten haben geographischen Bezug. Dank der rasanten Entwicklung von Hard- und Software ist es heute leichter denn je, diese raumbezogenen Daten als Karte abzubilden. Zunehmend bedienen sich daher heute auch Praktiker und Wissenschaftler ohne spezielle Kartographiekenntnisse dieser Form der Darstellung. Dem Leser wird zun ...
Desktop Mapping: Grundlagen Und Praxis in Kartographie Und GIS
Sch tzungsweise 80% aller verf gbaren Daten haben geographischen Bezug. Dank der rasanten Entwicklung von Hard- und Software ist es heute leichter denn je, diese raumbezogenen Daten als Karte abzubilden. Zunehmend bedienen sich daher heute auch Praktiker und Wissenschaftler ohne spezielle Kartographiekenntnisse dieser Form der Darstellung. Dem Leser wird zun chst unverzichtbares Basiswissen aus dem Bereich der thematischen Kartographie vermittelt und darauf aufbauend die Methodik der angewandten digitalen Kartographie erl utert. Wie sieht ein kartographischer PC-Arbeitsplatz aus? Wie kommen die Daten in den PC? Wie wird eine Karte daraus und wie kommt diese anschlie end auf den Drucker oder ins Internet? Diese Fragen werden in einem separaten Kapitel zur angewandten digitalen Kartographie beantwortet. Ein ausf hrlicher berblick ber g ngige Software rundet das Buch ab. Die beiliegende CD-ROM enth lt Demoversionen zu diesen Programmen.
https://magrudy-assets.storage.googleapis.com/9783642629747.jpg
52.490000 USD

Desktop Mapping: Grundlagen Und Praxis in Kartographie Und GIS

by Jurgen Schweikart, Michael Quick, Gerold Olbrich
Paperback / softback
Book cover image
Das vorliegende Buch ist der 2. Teil einer Einf hrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise. Die Grundidee ist, da es zu jedem Problem ein angepa tes Verarbeitungsmodell (eine abstrakte Maschine) gibt, das mit Hilfe einer zugeordneten Programmiersprache operabel gemacht ...
Programmiermethoden Der K nstlichen Intelligenz
Das vorliegende Buch ist der 2. Teil einer Einf hrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise. Die Grundidee ist, da es zu jedem Problem ein angepa tes Verarbeitungsmodell (eine abstrakte Maschine) gibt, das mit Hilfe einer zugeordneten Programmiersprache operabel gemacht werden kann. Programmiersprachen k nnen jedoch auch uminterpretiert werden, indem ihnen konzeptionell ein neues Verarbeitungsmodell zugrunde gelegt wird. Diese Ausdrucksvielfalt f hrt zu verschiedenen Programmierstilen . Um den angehenden KI-Programmierer mit KI-Programmiersprachen (Wissensrepr sentationsformalismen) und ihrer Implementierung vertraut zu machen, wird eine Reihe etablierter oder zeitweise wichtiger Sprachen vorgestellt. Das Besondere an diesem Sprachspektrum ist die Vielfalt der Verarbeitungsmodelle, auf denen die Sprachen beruhen, und die Unterschiedlichkeit der Programmierstile, denen der Programmierer folgen kann. Im ersten Band werden Funktions-, Muster-, Operator- und Logik-orientierte Formen der Programmierung behandelt und an einem durchgehenden Problembeispiel vorgestellt. Im vorliegenden zweiten Band stehen Relations-, Regel-, Plan-, Anweisungs- und Objekt-orientierte Formen sowie die ATN-Programmierung (Augmented Transition Networks) im Vordergrund.
https://magrudy-assets.storage.googleapis.com/9783540524694.jpg
73.450000 USD

Programmiermethoden Der K nstlichen Intelligenz

by Herbert Stoyan
Paperback / softback
Book cover image
This volume contains the proceedings of TestCom 2003, the IFIP TC6/WG 6.1 International Conference on Testing of Communicating Systems, held in Sophia Antipolis, France, during May 26-28, 2003. TestCom denotes a series of int- national working conferences on testing communicating systems in the data and telecommunication domain. The conference provides ...
Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings
This volume contains the proceedings of TestCom 2003, the IFIP TC6/WG 6.1 International Conference on Testing of Communicating Systems, held in Sophia Antipolis, France, during May 26-28, 2003. TestCom denotes a series of int- national working conferences on testing communicating systems in the data and telecommunication domain. The conference provides a forum for researchers, vendors and users to review, discuss and learn about new approaches, concepts andexperiencesinthe?eldoftestingofcommunicatingsystems.Thisconference in particular focuses on new ways of testing for new-generation networks. TestCom2003isthe?fteenthinaseriesofannualmeetingssponsoredbyIFIP TC6/WG6.1.The14previousmeetingswereheldinVancouver,Canada(1988), Berlin, Germany (1989), McLean, USA (1990), Leidschendam, The Netherlands (1991), Montreal, Canada (1992), Pau, France (1993), Tokyo, Japan (1994), Evry, France (1995), Darmstadt, Germany (1996), Cheju Island, Korea (1997), Tomsk, Russia (1998), Budapest, Hungary (1999), Ottawa, Canada (2000), and Berlin, Germany (2002). The scope of the papers presented at TestCom 2003 covers interoperability testing, TTCN-3, automata-based testing, testing of next-generation networks, IPandUMTS,testsystemsandtools,testspeci?cationdesignandmethodology, and industrial experience in testing communication systems. TheTestCom2003programconsistedof6technicalsessions,3positionsta- ment sessions, and a special session on interoperability testing. Three invited speeches gave an overview on actual trends in the testing and telecommuni- tion area and formulated requirements to the testing process. The proceedings contain the 19 regular papers accepted and presented at the conference. They were selected from 53 submitted papers in a careful selection procedure based on the assessment of three referees for each paper. The p- ceedings also include the text of the invited talk by Elaine Weyuker, Philippe Cousin, and Ana Cavalli.
https://magrudy-assets.storage.googleapis.com/9783540401230.jpg
135.450000 USD

Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings

Paperback / softback
Book cover image
This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995. Type theory is a ...
Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995. Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory.
https://magrudy-assets.storage.googleapis.com/9783540617808.jpg
103.950000 USD

Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers

Paperback / softback
Book cover image
This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern trend, viewing verification as ...
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern trend, viewing verification as a computer-aided activity, and as algorithmic as possible, not as a paper and pencil one, dealing exclusively with semantic and logical issues. Patrice Godefroid uses state-space exploration as the key technique, which, as such or elaborated into model checking, is attracting growing attention for the verification of concurrent systems. For most realistic examples, the methods presented provide a significant reduction of memory and time requirements for protocol verification.
https://magrudy-assets.storage.googleapis.com/9783540607618.jpg
83.990000 USD

Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem

Paperback / softback
Book cover image
This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995. The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were ...
Software Engineering - ESEC '95: 5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings
This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995. The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were carefully selected from more than 150 submissions and address all current aspects of relevance. Among the topics covered are business process (re-)engineering, real-time, software metrics, concurrency, version and configuration management, formal methods, design process, program analysis, software quality, and object-oriented software development.
https://magrudy-assets.storage.googleapis.com/9783540604068.jpg
145.950000 USD

Software Engineering - ESEC '95: 5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 20th International Conference on Conceptual Modeling, ER 2001, held in Tokohama, Japan, in November 2001. The 45 revised full papers presented together with three keynote presentations were carefully reviewed and selected from a total of 197 submissions. The papers are organized in ...
Conceptual Modeling - ER 2001: 20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Conceptual Modeling, ER 2001, held in Tokohama, Japan, in November 2001. The 45 revised full papers presented together with three keynote presentations were carefully reviewed and selected from a total of 197 submissions. The papers are organized in topical sections on spatial databases, spatio-temporal databases, XML, information modeling, database design, data integration, data warehouse, UML, conceptual models, systems design, method reengineering and video databases, workflows, web information systems, applications, and software engineering.
https://magrudy-assets.storage.googleapis.com/9783540428664.jpg
156.450000 USD

Conceptual Modeling - ER 2001: 20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001, Proceedings

Paperback / softback
Book cover image
The working conference dealt with recent developments in the field of modelling and optimization and with knowledge based decision support systems. This contributed to the realiza- tion of the aims of the working group 7.6 which are: - to promote theoretical research in the field of optimization including mathematical programming ...
Optimization-Based Computer-Aided Modelling and Design: Proceedings of the First Working Conference of the IFIP TC 7.6 Working Group, The Hague, The Netherlands, 1991
The working conference dealt with recent developments in the field of modelling and optimization and with knowledge based decision support systems. This contributed to the realiza- tion of the aims of the working group 7.6 which are: - to promote theoretical research in the field of optimization including mathematical programming and optimal control; -to encourage the development of sophisticated knowledge based systems in which refined optimization models and algorithms are used; - to contribute to the exchange and dissemination of information and collective experience among the inter- ested groups and individuals; - to support the practical ap- plication of such systems in control, engineering, industry, economy etc. A selection of papers is included into this proceedings vo- lume since they reflect the current state of research in areas of interest to the field of (KB)DDS, and/or they are the value for the dissemination and exchange of information related to research topicsof interest, and/or they describe relevant practical experience related to designing, buil- ding, implementing and using (KB)DSS.
https://magrudy-assets.storage.googleapis.com/9783540551355.jpg
114.450000 USD

Optimization-Based Computer-Aided Modelling and Design: Proceedings of the First Working Conference of the IFIP TC 7.6 Working Group, The Hague, The Netherlands, 1991

Paperback / softback
Book cover image
This volume originates from the School on Embedded Systems held in Veldhoven, The Netherlands, in November 1996 as the first event organized by the European Educational Forum. Besides thoroughly reviewed and revised chapters based on lectures given during the school, additional papers have been solicited for inclusion in the present ...
Lectures on Embedded Systems: European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996
This volume originates from the School on Embedded Systems held in Veldhoven, The Netherlands, in November 1996 as the first event organized by the European Educational Forum. Besides thoroughly reviewed and revised chapters based on lectures given during the school, additional papers have been solicited for inclusion in the present book in order to complete coverage of the relevant topics. The authors adress professionals involved in the design and management of embedded systems in industry as well as researchers and students interested in a competent survey. The book will convince the reader that many architectural and algorithmic problems in the area of embedded systems have well documented optimal or correct solutions, notably in the fields of real-time computing, distributed computing, and fault-tolerant computing.
https://magrudy-assets.storage.googleapis.com/9783540651932.jpg
73.490000 USD

Lectures on Embedded Systems: European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996

Paperback / softback
Page 1 of 40