Filter
(found 3955 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 is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including basic results and applications of the algebraic theory of graph transformations, and references to the historical context. Then in the main part the book contains detailed chapters on M-adhesive categories, M-adhesive transformation systems, ...
Graph and Model Transformation: General Framework and Applications
This book is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including basic results and applications of the algebraic theory of graph transformations, and references to the historical context. Then in the main part the book contains detailed chapters on M-adhesive categories, M-adhesive transformation systems, and multi-amalgamated transformations, and model transformation based on triple graph grammars. In the final part of the book the authors examine application of the techniques in various domains, including chapters on case studies and tool support. The book will be of interest to researchers and practitioners in the areas of theoretical computer science, software engineering, concurrent and distributed systems, and visual modelling.
https://magrudy-assets.storage.googleapis.com/9783662569108.jpg
167.990000 USD

Graph and Model Transformation: General Framework and Applications

by Frank Hermann, Ulrike Golas, Claudia Ermel, Hartmut Ehrig
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
78.740000 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
78.740000 USD

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

by Christopher Michael Kormanyos
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
83.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
89.240000 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
78.740000 USD

Process Mining: Data Science in Action

by Wil M P Van Der Aalst
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
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 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
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
73.490000 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
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
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
47.240000 USD

Learn C++ for Game Development

by Bruce Sutherland
Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full papers and 5 invited papers presented were carefully reviewed and selected from 99 submissions. The papers cover topics of all aspects ...
Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
This book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full papers and 5 invited papers presented were carefully reviewed and selected from 99 submissions. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.
https://magrudy-assets.storage.googleapis.com/9783662557501.jpg
89.240000 USD

Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings

Paperback / softback
Book cover image
Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods are needed to model the systems and to support their development and validation. Impressive progress in mathematical methods for programming software systems makes it possible to think about unifying ...
Mathematical Methods in Program Development
Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods are needed to model the systems and to support their development and validation. Impressive progress in mathematical methods for programming software systems makes it possible to think about unifying the different approaches. This book gives a comprehensive overview of existing methods and presents some of the most recent results in applying them. The main topics are: advanced programming techniques, foundations of systems engineering, mathematical support methods, and application of the methods. The approaches presented are illustrated by examples and related to other approaches.
https://magrudy-assets.storage.googleapis.com/9783642645884.jpg
167.990000 USD

Mathematical Methods in Program Development

Paperback / softback
Book cover image
The idea for this workshop originated when I came across and read Martin Zelkowitz's book on Requirements for Software Engineering Environments (the proceedings of a small workshop held at the University of Maryland in 1986). Although stimulated by the book I was also disappointed in that it didn't adequately address ...
User-Centred Requirements for Software Engineering Environments
The idea for this workshop originated when I came across and read Martin Zelkowitz's book on Requirements for Software Engineering Environments (the proceedings of a small workshop held at the University of Maryland in 1986). Although stimulated by the book I was also disappointed in that it didn't adequately address two important questions - Whose requirements are these? and Will the environment which meets all these requirements be usable by software engineers? . And thus was the decision made to organise this workshop which would explicitly address these two questions. As time went by setting things up, it became clear that our workshop would happen more than five years after the Maryland workshop and thus, at the same time as addressing the two questions above, this workshop would attempt to update the Zelkowitz approach. Hence the workshop acquired two halves, one dominated by discussion of what we already know about usability problems in software engineering and the other by discussion of existing solutions (technical and otherwise) to these problems. This scheme also provided a good format for bringing together those in the HeI community concerned with the human factors of software engineering and those building tools to solve acknowledged, but rarely understood problems.
https://magrudy-assets.storage.googleapis.com/9783642081897.jpg
313.950000 USD

User-Centred Requirements for Software Engineering Environments

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 6th International Conference on Software Reuse, ICSR-6, held in Vienna, Austria, in June 2000. The 26 revised full papers presented were carefully reviewed and selected from numerous submissions. The book is divided into topical sections on generative reuse and formal description languages, ...
Software Reuse: Advances in Software Reusability: 6th International Conference, ICSR-6 Vienna, Austria, June 27-29, 2000 Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Software Reuse, ICSR-6, held in Vienna, Austria, in June 2000. The 26 revised full papers presented were carefully reviewed and selected from numerous submissions. The book is divided into topical sections on generative reuse and formal description languages, object-oriented methods, product line architectures, requirements reuse and business modeling, components and libraries, and design patterns.
https://magrudy-assets.storage.googleapis.com/9783540676966.jpg
135.450000 USD

Software Reuse: Advances in Software Reusability: 6th International Conference, ICSR-6 Vienna, Austria, June 27-29, 2000 Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total ...
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions. The volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems. The papers are organized in sections on model checking, design and architecture, various applications, fielded applications, verification of real-time systems, mixed analysis techniques, and case studies and experience.
https://magrudy-assets.storage.googleapis.com/9783540643562.jpg
135.450000 USD

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 7th International Conference on Compiler Construction, CC '98, held as part of the European Joint Conference on the Theory and Practice of Software, ETAPS '98, in Lisbon, Portugal, in March/April 1998. The volume presents 19 revised full papers selected from a total ...
Compiler Construction: 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Compiler Construction, CC '98, held as part of the European Joint Conference on the Theory and Practice of Software, ETAPS '98, in Lisbon, Portugal, in March/April 1998. The volume presents 19 revised full papers selected from a total of 50 submissions; also four system demonstrations and an abstract of an invited talk are included. The papers cover the classical issues of compiler construction centered around computer languages and their processors, with an emphasis on practical methods and tools, but also other aspects of language processing are addressed like interpretation, editing, and debugging.
https://magrudy-assets.storage.googleapis.com/9783540643043.jpg
103.950000 USD

Compiler Construction: 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings

Paperback / softback
Book cover image
Software engineering and the language Ada are playing a major role in the development of software and software technology for the new century. The11th Ada Europe conference shows that Ada has matured from a language, mainly of researchers and academics in the early 1980s, into a full-grown tool in software ...
Ada: Moving Towards 2000: 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. Proceedings
Software engineering and the language Ada are playing a major role in the development of software and software technology for the new century. The11th Ada Europe conference shows that Ada has matured from a language, mainly of researchers and academics in the early 1980s, into a full-grown tool in software engineering practice. This volume contains a selection of contributions to the conference. They demonstrate that Ada is very beneficially used in many software development projects and is gradually becoming accepted on the scale it deserves. Papers have been selected that show that Ada is indeed ripened in all aspects of software engineering. A variety of topics is addressed: management, economics, practical experiences, numerics, and the use of Ada for real-time and distributed systems.
https://magrudy-assets.storage.googleapis.com/9783540555858.jpg
103.950000 USD

Ada: Moving Towards 2000: 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. Proceedings

Paperback / softback
Book cover image
This volume presents a selection of the contributions to the Seventh Workshop on Informatics and Psychology. The theme of the workshop was Visualization in Human-Computer Interaction. Visualization is nowadays recognized as an important aspect of user-oriented human-computer interfaces. Both informatics and psychology are concerned with this topic. In informatics, the ...
Visualization in Human-Computer Interaction: 7th Interdisciplinary Workshop on Informatics and Psychology, Scharding, Austria, May 24-27, 1988. Selected Contributions
This volume presents a selection of the contributions to the Seventh Workshop on Informatics and Psychology. The theme of the workshop was Visualization in Human-Computer Interaction. Visualization is nowadays recognized as an important aspect of user-oriented human-computer interfaces. Both informatics and psychology are concerned with this topic. In informatics, the technology is being developed which makes visualization and interaction based on visual concepts feasible. Another important trend in informatics is the development of prototypical solutions. Visual programming, visual languages, graphical interfaces, visual representations and many other keywords characterize current efforts in this field. Psychologists are working on the question of how people represent knowledge visually and how they can take advantage of visual representations when solving tasks.
https://magrudy-assets.storage.googleapis.com/9783540526988.jpg
89.240000 USD

Visualization in Human-Computer Interaction: 7th Interdisciplinary Workshop on Informatics and Psychology, Scharding, Austria, May 24-27, 1988. Selected Contributions

Paperback / softback
Page 1 of 40