![]() |
Parameterized and Exact Computation
ISBN: 9783642112683 / Angielski / Miękka / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Workshop on Parameterized and Exact Computation (IWPEC) is an - ternational workshop series that covers research in all aspects of parameterized and exact algorithms and complexity, and especially encourages the study of parameterized and exact computations for real-world applications and algori- mic engineering. The goal of the workshop is to present recent research results, including signi?cant work-in-progress, and to identify and explore directions for future research. IWPEC2009wasthefourthworkshopintheseries, heldinCopenhagen, D- mark, during September 10-11, 2009. The workshop was...
The Workshop on Parameterized and Exact Computation (IWPEC) is an - ternational workshop series that covers research in all aspects of parameterized a...
|
cena:
202,19 |
![]() |
WALCOM: Algorithms and Computation
ISBN: 9783642114397 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 4th International Workshop on Algorithms and Computation, held in Dhaka, Bangladesh, in February 2010. The 23 revised full papers were carefully reviewed and selected from 60 submissions. The volume also contains4 invited papers.The topics covered are graph drawing, computational geometry, graph algorithms, computational biology and strings, combinatorial optimization, approximation algorithms, and parameterized complexity. "
This book constitutes the proceedings of the 4th International Workshop on Algorithms and Computation, held in Dhaka, Bangladesh, in February 2010.... |
cena:
202,19 |
![]() |
Structural Information and Communication Complexity
ISBN: 9783642114755 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2009, held in Piran, Slovenia, in May 2009. The 23 revised full papers presented were carefully reviewed and selected from 53 submissions. The volume also contains two invited papers. SIROCCO addresses topics such as distributed computing, parallel computing, game theory, social networks, networking, mobile computing, peer to peer systems, communication complexity, combinatorial optimization. Special focus is put to...
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Colloquium on Structural Information and Communica...
|
cena:
202,19 |
![]() |
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
ISBN: 9783642115110 / Angielski / Miękka / 377 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. Fromourperspective-thatofwritersaddressinganaudienceofreaders-you are most likely Willem-Paul de Roever. Willem: our main motivation in putting together this Festschrift is to honor you on the occasion of your retirement. In terms of scienti?c ancestry, you are a father to two of us, and a grandfather to 1 the third, and you have had a profound impact on our formation as computer scientists.Atthepersonallevel, weknowyouasakind-hearted, generousperson. We are grateful to know...
Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. Fromourperspective-thatofwriters...
|
cena:
202,19 |
![]() |
The Functional Treatment of Parsing
ISBN: 9780792393764 / Angielski / Twarda / 158 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parsing technology traditionally consists of two branches, which correspond to the two main application areas of context-free grammars and their generalizations. Efficient deterministic parsing algorithms have been developed for parsing programming languages, and quite different algorithms are employed for analyzing natural language.
The Functional Treatment of Parsing provides a functional framework within which the different traditional techniques are restated and unified. The resulting theory provides new recursive implementations of parsers for context-free grammars. The new... Parsing technology traditionally consists of two branches, which correspond to the two main application areas of context-free grammars and their gener...
|
cena:
404,42 |
![]() |
Python Algorithms: Mastering Basic Algorithms in the Python Language
ISBN: 9781430232377 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Python Algorithms explains the Python approach to algorithm analysis and design. Written by Magnus Lie Hetland, author of Beginning Python, this book is sharply focused on classical algorithms, but it also gives a solid understanding of fundamental algorithmic problem-solving techniques.
Python Algorithms explains the Python approach to algorithm analysis and design. Written by Magnus Lie Hetland, author of |
cena:
303,30 |
![]() |
Tests and Proofs: 4th International Conference, Tap 2010, Málaga, Spain, July 1-2, 2010, Proceedings
ISBN: 9783642139765 / Angielski / Miękka / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 1 2 in M alaga, Spain as part of TOOLS Federated Conferences. TAP 2010wasthe fourth event of an ongoingseriesof conferencesdevoted to the convergence of proofs and tests. In the past, proving and testing were seen as very di?erent and even competing techniques. Proving people would say: If correctness is proved, what do we need tests for? Testers, on the other hand, would claim that proving is too limited in applicability and testing is the only truepathtocorrectness....
This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 1 2 in M alaga, Spain as part ...
|
cena:
202,19 |
![]() |
Mechanisms for Autonomous Management of Networks and Services: 4th International Conference on Autonomous Infrastructure, Management, and Security, Ai
ISBN: 9783642139857 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Conference on Autonomous Infrastructure, Management and Se- rity (AIMS 2010) was a single-track event integrating regular conference paper s- sions, tutorials, keynotes, and a PhD student workshop into a highly interactive event. The main goal of AIMS is to look beyond borders and to stimulate the exchange of ideas across different communities and among PhD students. AIMS 2010 collocated the International Summer School in Network and Service Management (ISSNSM 2010). This unique summer school offers hands-on learning experiences in network and service management topics,...
The International Conference on Autonomous Infrastructure, Management and Se- rity (AIMS 2010) was a single-track event integrating regular conference...
|
cena:
202,19 |
![]() |
Phase-Field Methods in Materials Science and Engineering
ISBN: 9783527407477 / Angielski / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This comprehensive and self-contained, one-stop source discusses phase-field methodology in a fundamental way, explaining advanced numerical techniques for solving phase-field and related continuum-field models. It also presents numerical techniques used to simulate various phenomena in a detailed, step-by-step way, such that readers can carry out their own code developments.
Features many examples of how the methods explained can be used in materials science and engineering applications. This comprehensive and self-contained, one-stop source discusses phase-field methodology in a fundamental way, explaining advanced numerical technique...
|
cena:
636,78 |
![]() |
Multicore Computing: Algorithms, Architectures, and Applications
ISBN: 9781439854341 / Angielski / Twarda / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Every area of science and engineering today has to process voluminous data sets. Using exact, or even approximate, algorithms to solve intractable problems in critical areas, such as computational biology, takes time that is exponential in some of the underlying parameters. Parallel computing addresses this issue and has become affordable with the advent of multicore architectures. However, programming multicore machines is much more difficult due to oddities existing in the architectures. Offering insights into different facets of this area, Multicore Computing:... Every area of science and engineering today has to process voluminous data sets. Using exact, or even approximate, algorithms to solve intractable ... |
cena:
865,83 |
![]() |
Mathematical Foundations of Programming Semantics: 5th International Conference, Tulane University, New Orleans, Louisiana, Usa, March 29-April 1, 198
ISBN: 9780387973753 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the latest in a series of proceedings of conferences on the Mathematical Foundations of Programming Semantics. The purpose of the series is to bring together mathematicians and theoretical computer scientists who share the common interests of working on problems related to programming language semantics. The purpose of the book is to bring into print as quickly as possible papers which reflect the state of research on the topics comprising this area. The intended audience for the book consists of those researchers and graduate students with an interest in the research areas which are...
This is the latest in a series of proceedings of conferences on the Mathematical Foundations of Programming Semantics. The purpose of the series is to...
|
cena:
202,19 |
![]() |
Genetic Programming Theory and Practice VIII
ISBN: 9781441977465 / Angielski / Twarda / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The contributions in this volume are written by the foremost international researchers and practitioners in the GP arena. They examine the similarities and differences between theoretical and empirical results on real-world problems. The text explores the synergy between theory and practice, producing a comprehensive view of the state of the art in GP application. Topics include: FINCH: A System for Evolving Java, Practical Autoconstructive Evolution, The Rubik Cube and GP Temporal Sequence Learning, Ensemble classifiers: AdaBoost and Orthogonal Evolution of Teams, Self-modifying... The contributions in this volume are written by the foremost international researchers and practitioners in the GP arena. They examine the similari... |
cena:
404,42 |
![]() |
Nonlinear Assignment Problems: Algorithms and Applications
ISBN: 9781441948410 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: 22 dni roboczych Nonlinear Assignment Problems (NAPs) are natural extensions of the classic Linear Assignment Problem, and despite the efforts of many researchers over the past three decades, they still remain some of the hardest combinatorial optimization problems to solve exactly. The purpose of this book is to provide in a single volume, major algorithmic aspects and applications of NAPs as contributed by leading international experts.
The chapters included in this book are concerned with major applications and the latest algorithmic solution approaches for NAPs. Approximation algorithms, polyhedral... Nonlinear Assignment Problems (NAPs) are natural extensions of the classic Linear Assignment Problem, and despite the efforts of many researchers over...
|
442,23 |
![]() |
The Design of Approximation Algorithms
ISBN: 9780521195270 / Angielski / Twarda / 518 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Designed as a textbook for graduate courses on algorithms, this book presents efficient algorithms that find provably near-optimal solutions.
Designed as a textbook for graduate courses on algorithms, this book presents efficient algorithms that find provably near-optimal solutions.
|
cena:
292,22 |
![]() |
Cellular Genetic Algorithms
ISBN: 9781441945945 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: 22 dni roboczych Cellular Genetic Algorithms defines a new class of optimization algorithms based on the concepts of structured populations and Genetic Algorithms (GAs). The authors explain and demonstrate the validity of these cellular genetic algorithms throughout the book. This class of genetic algorithms is shown to produce impressive results on a whole range of domains, including complex problems that are epistatic, multi-modal, deceptive, discrete, continuous, multi-objective, and random in nature. The focus of this book is twofold. On the one hand, the authors present new algorithmic models and... Cellular Genetic Algorithms defines a new class of optimization algorithms based on the concepts of structured populations and Genetic Algorithms (... |
150,12 |
![]() |
One Dimensional Spline Interpolation Algorithms
ISBN: 9781568810164 / Angielski / Twarda / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Together with its compagnion volume this book presents a practical introduction to computing spline functions, the fundamental tools for fitting curves and surfaces in computer-aided design (CAD) and computer graphics.
Together with its compagnion volume this book presents a practical introduction to computing spline functions, the fundamental tools for fitting curve...
|
cena:
940,04 |
![]() |
Two Dimensional Spline Interpolation Algorithms
ISBN: 9781568810171 / Angielski / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These volumes present a practical introduction to computing spline functions, the fundamental tools for fitting curves and surfaces in computer-aided deisgn (CAD) and computer graphics.
These volumes present a practical introduction to computing spline functions, the fundamental tools for fitting curves and surfaces in computer-aided ...
|
cena:
940,04 |
![]() |
Computer Algebra and Symbolic Computation: Elementary Algorithms
ISBN: 9781568811581 / Angielski / Twarda / 323 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a systematic approach for the algorithmic formulation and implementation of mathematical operations in computer algebra programming languages. The viewpoint is that mathematical expressions, represented by expression trees, are the data objects of computer algebra programs, and by using a few primitive operations that analyze and construct expressions, we can implement many elementary operations from algebra, trigonometry, calculus, and differential equations. With a minimum of prerequisites this book is accessible to and useful for students of mathematics, computer...
This book provides a systematic approach for the algorithmic formulation and implementation of mathematical operations in computer algebra programming...
|
cena:
469,97 |
![]() |
Towards a Service-Based Internet: Third European Conference, Servicewave 2010, Ghent, Belgium, December 13-15, 2010, Proceedings
ISBN: 9783642176937 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the Third European Conference, ServiceWave 2010, held in Ghent, Belgium, in December 2010. The 15 revised full papers presented were carefully reviewed and selected from 49 submissions. They cover a broad range of subjects related to service-oriented architectures and the underlying cloud infrastructure and are organized in topical sections on cloud computing, service adaptation and identification, infrastructures, applications and mashups, and engineering of service-oriented applications. In addition to the scientific track, 24 extended...
This volume constitutes the refereed proceedings of the Third European Conference, ServiceWave 2010, held in Ghent, Belgium, in December 2010. The 15 ...
|
cena:
202,19 |
![]() |
Iterative Methods in Combinatorial Optimization
ISBN: 9781107007512 / Angielski / Twarda / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With the advent of approximation algorithms for NP-hard combinatorial optimization problems, several techniques from exact optimization such as the primal-dual method have proven their staying power and versatility. This book describes a simple and powerful method that is iterative in essence, and similarly useful in a variety of settings for exact and approximate optimization. The authors highlight the commonality and uses of this method to prove a variety of classical polyhedral results on matchings, trees, matroids, and flows. The presentation style is elementary enough to be accessible to...
With the advent of approximation algorithms for NP-hard combinatorial optimization problems, several techniques from exact optimization such as the pr...
|
cena:
400,03 |