![]() |
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
ISBN: 9783642396335 / Angielski / Miękka / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, i...
|
cena:
204,55 |
![]() |
Computational Science and Its Applications -- Iccsa 2013: 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Par
ISBN: 9783642396366 / Angielski / Miękka / 732 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam, in June 2013. Apart from the general track, ICCSA 2013 also include 33 special sessions and workshops, in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as computer graphics and virtual reality. There are 46 papers from the general track, and 202 in special sessions and workshops.
The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applicat...
|
cena:
204,55 |
![]() |
Computational Science and Its Applications -- ICCSA 2013: 13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V
ISBN: 9783642396397 / Angielski / Miękka / 659 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam in June 2013. The 248 revised papers presented in five tracks and 33 special sessions and workshops were carefully reviewed and selected. The 46 papers included in the five general tracks are organized in the following topical sections: computational methods, algorithms and scientific applications; high-performance computing and networks; geometric modeling, graphics and visualization; advanced...
The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applicat...
|
cena:
204,55 |
![]() |
Computational Science and Its Applications -- Iccsa 2013: 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Par
ISBN: 9783642396427 / Angielski / Miękka / 715 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam, in June 2013. Apart from the general track, ICCSA 2013 also include 33 special sessions and workshops, in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as computer graphics and virtual reality. There are 46 papers from the general track, and 202 in special sessions and workshops.
The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applicat...
|
cena:
204,55 |
![]() |
Computational Science and Its Applications -- Iccsa 2013: 13th International Conference, Iccsa 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proc
ISBN: 9783642396458 / Angielski / Miękka / 649 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam in June 2013. The 248 revised papers presented in five tracks and 33 special sessions and workshops were carefully reviewed and selected. The 46 papers included in the five general tracks are organized in the following topical sections: computational methods, algorithms and scientific applications; high-performance computing and networks; geometric modeling, graphics and visualization; advanced...
The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applicat...
|
cena:
204,55 |
![]() |
Computational Science and Its Applications -- ICCSA 2013: 13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV
ISBN: 9783642396489 / Angielski / Miękka / 679 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam in June 2013. The 248 revised papers presented in five tracks and 33 special sessions and workshops were carefully reviewed and selected. The 46 papers included in the five general tracks are organized in the following topical sections: computational methods, algorithms and scientific applications; high-performance computing and networks; geometric modeling, graphics and visualization; advanced...
The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applicat...
|
cena:
204,55 |
![]() |
Structure and Interpretation of Computer Programs
ISBN: 9780262510875 / Angielski / Miękka / 657 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains changes throughout the text. There are new implementations of most of the major programming systems in the book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experience teaching the course at MIT since the first edition was published. A new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in... Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-a... |
cena:
378,85 |
![]() |
Game Theory for Control of Optical Networks
ISBN: 9780817683214 / Angielski / Twarda / 261 str. Termin realizacji zamówienia: 22 dni roboczych Optical networks epitomize complex communication systems, and they comprise the Internet's infrastructural backbone. The first of its kind, this book develops the mathematical framework needed from a control perspective to tackle various game-theoretical problems in optical networks. In doing so, it aims to help design control algorithms that optimally allocate the resources of these networks. With its fresh problem-solving approach, Game Theory in Optical Networks is a unique resource for researchers, practitioners, and graduate students in applied mathematics and systems/control...
Optical networks epitomize complex communication systems, and they comprise the Internet's infrastructural backbone. The first of its kind, this book ...
|
299,59 |
![]() |
Numerical Methods for Ordinary Differential Equations: Initial Value Problems
ISBN: 9780857291479 / Angielski / Miękka / 271 str. Termin realizacji zamówienia: 22 dni roboczych Numerical Methods for Ordinary Differential Equations is a self-contained introduction to a fundamental field of numerical analysis and scientific computation. Written for undergraduate students with a mathematical background, this book focuses on the analysis of numerical methods without losing sight of the practical nature of the subject. It covers the topics traditionally treated in a first course, but also highlights new and emerging themes. Chapters are broken down into lecture' sized pieces, motivated and illustrated by numerous theoretical and computational examples. ...Numerical Methods for Ordinary Differential Equations is a self-contained introduction to a fundamental field of numerical analysis and scientific ... |
107,50 |
![]() |
Grid Computing: Techniques and Applications
ISBN: 9781420069532 / Angielski / Twarda / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Based on the author's own course, this textbook is designed for a first course on grid computing at the senior undergraduate and first-year graduate levels. Unlike other texts on the subject, this book includes a lecture structure and student programming assignments. It covers security concepts, schedulers, and work flow editors, along with various grid-enabling applications. The author also explains how to design both a system infrastructure and a grid portal. The supplementary website offers useful resources for instructors, including PowerPoint slides and software.
Based on the author's own course, this textbook is designed for a first course on grid computing at the senior undergraduate and first-year graduate l...
|
cena:
1051,56 |
![]() |
Software Engineering : The Current Practice
ISBN: 9781439841228 / Angielski / Twarda / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software Engineering: The Current Practice teaches students basic software engineering skills and helps practitioners refresh their knowledge and explore recent developments in the field, including software changes and iterative processes of software development. After a historical overview and an introduction to software technology and models, the book discusses the software change and its phases, including concept location, impact analysis, refactoring, actualization, and verification. It then covers the most common iterative processes: agile, directed, and... Software Engineering: The Current Practice teaches students basic software engineering skills and helps practitioners refresh thei... |
cena:
475,66 |
![]() |
Introduction to Reversible Computing
ISBN: 9781439873403 / Angielski / Twarda / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Few books comprehensively cover the software and programming aspects of reversible computing. Filling this gap, Introduction to Reversible Computing offers an expanded view of the field that includes the traditional energy-motivated hardware viewpoint as well as the emerging application-motivated software approach. Collecting scattered knowledge into one coherent account, the book provides a compendium of both classical and recently developed results on reversible computing. It explores up-and-coming theories, techniques, and tools for the application of... Few books comprehensively cover the software and programming aspects of reversible computing. Filling this gap, Introduction to Reversible ... |
cena:
851,27 |
![]() |
Handbook of Graph Theory
ISBN: 9781439880180 / Angielski / Twarda / 1630 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the ten years since the publication of the best-selling first edition, more than 1,000 graph theory papers have been published each year. Reflecting these advances, Handbook of Graph Theory, Second Edition provides comprehensive coverage of the main topics in pure and applied graph theory. This second edition over 400 pages longer than its predecessor incorporates 14 new sections. Each chapter includes lists of essential definitions and facts, accompanied by examples, tables, remarks, and, in some cases, conjectures and open problems. A... In the ten years since the publication of the best-selling first edition, more than 1,000 graph theory papers have been published each year |
cena:
1151,71 |
![]() |
Finitely Generated Abelian Groups and Similarity of Matrices Over a Field
ISBN: 9781447127291 / Angielski / Miękka / 381 str. Termin realizacji zamówienia: 22 dni roboczych At first sight, finitely generated abelian groups and canonical forms of matrices appear to have little in common. However, reduction to Smith normal form, named after its originator H.J.S.Smith in 1861, is a matrix version of the Euclidean algorithm and is exactly what the theory requires in both cases. Starting with matrices over the integers, Part1 of this book provides a measured introduction to such groups: two finitely generated abelian groups are isomorphic if and only if their invariant factor sequences are identical. The analogous theory of matrix similarity over a field is then... At first sight, finitely generated abelian groups and canonical forms of matrices appear to have little in common. However, reduction to Smith norm... |
107,50 |
![]() |
Polyhedral and Algebraic Methods in Computational Geometry
ISBN: 9781447148166 / Angielski / Miękka / 250 str. Termin realizacji zamówienia: 22 dni roboczych Polyhedral and Algebraic Methods in Computational Geometry provides a thorough introduction into algorithmic geometry and its applications. It presents its primary topics from the viewpoints of discrete, convex and elementary algebraic geometry. The first part of the book studies classical problems and techniques that refer to polyhedral structures. The authors include a study on algorithms for computing convex hulls as well as the construction of Voronoi diagrams and Delone triangulations. The second part of the book develops the primary concepts of (non-linear)... Polyhedral and Algebraic Methods in Computational Geometry provides a thorough introduction into algorithmic geometry and its applications. ... |
210,93 |
![]() |
Efficient Algorithms for Discrete Wavelet Transform: With Applications to Denoising and Fuzzy Inference Systems
ISBN: 9781447149408 / Angielski / Miękka / 91 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Due to its inherent time-scale locality characteristics, the discrete wavelet transform (DWT) has received considerable attention in signal/image processing. Wavelet transforms have excellent energy compaction characteristics and can provide perfect reconstruction. The shifting (translation) and scaling (dilation) are unique to wavelets. Orthogonality of wavelets with respect to dilations leads to multigrid representation. As the computation of DWT involves filtering, an efficient filtering process is essential in DWT hardware implementation. In the multistage DWT, coefficients are calculated...
Due to its inherent time-scale locality characteristics, the discrete wavelet transform (DWT) has received considerable attention in signal/image proc...
|
cena:
204,55 |
![]() |
Design and Analysis of Approximation Algorithms
ISBN: 9781461417002 / Angielski / Twarda / 440 str. Termin realizacji zamówienia: 22 dni roboczych This book is intended to be used as a textbook for graduate students studying theoretical computer science. It can also be used as a reference book for researchers in the area of design and analysis of approximation algorithms. Design and Analysis of Approximation Algorithms is a graduate course in theoretical computer science taught widely in the universities, both in the United States and abroad. There are, however, very few textbooks available for this course. Among those available in the market, most books follow a problem-oriented format; that is, they collected many important...
This book is intended to be used as a textbook for graduate students studying theoretical computer science. It can also be used as a reference book fo...
|
151,83 |
![]() |
Computational Intelligence: Concepts to Implementations
ISBN: 9781558607590 / Angielski / Twarda / 467 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computational Intelligence: Concepts to Implementations provides the most complete and practical coverage of computational intelligence tools and techniques to date. This book integrates various natural and engineering disciplines to establish Computational Intelligence. This is the first comprehensive textbook on the subject, supported with lots of practical examples. It asserts that computational intelligence rests on a foundation of evolutionary computation. This refreshing view has set the book apart from other books on computational intelligence. This book lays emphasis... Computational Intelligence: Concepts to Implementations provides the most complete and practical coverage of computational intelligence tool... |
cena:
315,42 |
![]() |
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
ISBN: 9783540627524 / Angielski / Twarda / 302 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms. In this textbook a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides...
Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor cluste...
|
cena:
163,47 |
![]() |
Introduction to Reliable and Secure Distributed Programming
ISBN: 9783642152597 / Angielski / Twarda / 367 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The scope of this second edition of the introduction to fundamental distributed programming abstractions has been extended to cover 'Byzantine fault tolerance'. It includes algorithms to implement these abstractions in vulnerable distributed systems.
The scope of this second edition of the introduction to fundamental distributed programming abstractions has been extended to cover 'Byzantine faul... |
cena:
368,22 |