Filter
(found 3763 products)
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
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
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
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
62.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
62.990000 USD

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

by Christopher Michael Kormanyos
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
Book cover image
Some algebraic, combinatorial and algebraic-differential me- thods have beenused in recent years in order to solve many problems in control theory, by effective algorithms. Imple- mentation of these algorithms generally involves algebraic computation systems and tools. Software realizations are al- ready developed in an increasing number of research centres. The ...
Algebraic Computing in Control: Proceedings of the First European Conference Paris, March 13-15, 1991
Some algebraic, combinatorial and algebraic-differential me- thods have beenused in recent years in order to solve many problems in control theory, by effective algorithms. Imple- mentation of these algorithms generally involves algebraic computation systems and tools. Software realizations are al- ready developed in an increasing number of research centres. The goal of the First European Conference on Algebraic Com- puting in Control has been to present the main actual me- thods for analysis and control of systems which naturally lead to the use of algebraic computing. The maintopics and themes are as follows: mathematic tools in control theory that lead to effective algorithms, algebraic computing tools, that are available in the field of control theory, software realizations in control involving algebraic computing.
https://magrudy-assets.storage.googleapis.com/9783540544081.jpg
114.450000 USD

Algebraic Computing in Control: Proceedings of the First European Conference Paris, March 13-15, 1991

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on ...
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.
https://magrudy-assets.storage.googleapis.com/9783642214363.jpg
114.450000 USD

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

Paperback / softback
Book cover image
The Second Future Internet Symposium washeld during September 1-3, 2009 in Berlin, Germany. FIS 2009 provided a forum for leading researchers and pr- titioners to meet and discuss the wide-ranging scienti?c and technical issues related to the design of a new Internet. This second edition of the symposium con?rmed the ...
Future Internet - FIS 2009: Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009, Revised Selected Papers
The Second Future Internet Symposium washeld during September 1-3, 2009 in Berlin, Germany. FIS 2009 provided a forum for leading researchers and pr- titioners to meet and discuss the wide-ranging scienti?c and technical issues related to the design of a new Internet. This second edition of the symposium con?rmed the sentiment shared during the First Future Internet Symposium, held in Vienna in 2008: designing the Future Internet is a very exciting and challenging task, and a new research community needs to be built around it. With overa billionusers,today's Internet is arguablythe most successful- man artifact ever created. The Internet's physical infrastructure, software, and content now play an integral part of the lives of everyoneon the planet, whether they interact with it directly or not. Now nearing its ?fth decade, the Int- net has shown remarkable resilience and ?exibility in the face of ever-increasing numbers of users, data volume, and changing usage patterns, but faces growing challenges in meeting the needs of our knowledge society. Yet, Internet access moves increasingly from ?xed to mobile, the trend towards mobile usage is - deniable and predictions are that by 2014 about 2 billion users will access the Internet via mobile broadband services. This adds a new layer of complexity to the already immense challenges. Globally, many major initiatives are underway to address the need for more scienti?c research, physical infrastructure inve- ment, better education, and better utilization of the Internet. Japan, the USA andEuropeareinvestingheavilyin this area.
https://magrudy-assets.storage.googleapis.com/9783642149559.jpg
94.490000 USD

Future Internet - FIS 2009: Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009, Revised Selected Papers

Paperback / softback
Book cover image
This volume of the LNCS series contains the papers accepted for presentation at the Third IFIP international working conference on active networks (IWAN 2001). The workshop was held at the Sheraton University City Hotel, in Philadelphia USA, and was hosted by the University of Pennsylvania. Active networks aim to ease ...
Active Networks: IFIP-TC6 Third International Working Conference, IWAN 2001, Philadelphia, PA, USA, September 30-October 2, 2001. Proceedings
This volume of the LNCS series contains the papers accepted for presentation at the Third IFIP international working conference on active networks (IWAN 2001). The workshop was held at the Sheraton University City Hotel, in Philadelphia USA, and was hosted by the University of Pennsylvania. Active networks aim to ease the introduction of network services by adding dynamic programmability to network devices such as routers, and making aspects of the programmability accessible to users. Active networks research has focused on the development and testing of active techniques, that enable dynamic programmability in a networked environment. These techniques have a wide variety of applications. At IWAN 2001 we aimed to bring together members of the various communities using active and related techniques, and provide a forum for discussion and collaboration, involving researchers, developers, and potential users. Papers presented at IWAN 2001 covered the application of active techniques to many aspects of network based communication, including active multicast, active QoS, active security, active GRIDs, and active management. In addition, there were papers on architectures, language, and API issues. Although there were only 22 submissions, the standard of the 10 accepted papers was very high. This indicated clearly a substantial amount of ongoing high quality research in active networking, despite the current unfavorable economic conditions in the telecommunications industry. The papers also demonstrated that the research is genuinely global, and justifies an international workshop of this type. We would like to thank all the authors who submitted their work.
https://magrudy-assets.storage.googleapis.com/9783540426783.jpg
103.950000 USD

Active Networks: IFIP-TC6 Third International Working Conference, IWAN 2001, Philadelphia, PA, USA, September 30-October 2, 2001. Proceedings

Paperback / softback
Book cover image
This book on multimedia tools for communicating mathematics arose from presentations at an international workshop organized at the Centro de Mate- matica e Aplica
Multimedia Tools for Communicating Mathematics
This book on multimedia tools for communicating mathematics arose from presentations at an international workshop organized at the Centro de Mate- matica e Aplica
https://magrudy-assets.storage.googleapis.com/9783642627019.jpg
209.990000 USD

Multimedia Tools for Communicating Mathematics

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, held in Guilin, China, in August 2006. The book presents 39 revised full papers and 57 revised short papers together with 4 invited talks, addressing subjects from theoretical and methodological issues to applications. ...
Agent Computing and Multi-Agent Systems: 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings
This book constitutes the refereed proceedings of the 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, held in Guilin, China, in August 2006. The book presents 39 revised full papers and 57 revised short papers together with 4 invited talks, addressing subjects from theoretical and methodological issues to applications. Topics include agent models, agent architectures, agent-oriented software engineering, semantic Web service, collaboration, coordination and negotiation, and more.
https://magrudy-assets.storage.googleapis.com/9783540367079.jpg
166.950000 USD

Agent Computing and Multi-Agent Systems: 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings

Paperback / softback
Page 1 of 40