![]() |
Topics in Numerical Analysis: With Special Emphasis on Nonlinear Problems
ISBN: 9783211836736 / Angielski / Miękka / 249 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains eighteen papers submitted in celebration of the sixty-fifth birthday of Professor Tetsuro Yamamoto of Ehime University. Professor Yamamoto was born in Tottori, Japan on January 4, 1937. He obtained his B. S. and M. S. in mathematics from Hiroshima University in 1959 and 1961, respec tively. In 1966, he took a lecturer position in the Department of Mathematics, Faculty of General Education, Hiroshima University and obtained his Ph. D. degree from Hiroshima University two years later. In 1969, he moved to the Department of Applied Mathematics, Faculty of Engineering, Ehime...
This volume contains eighteen papers submitted in celebration of the sixty-fifth birthday of Professor Tetsuro Yamamoto of Ehime University. Professor...
|
cena:
414,81 |
![]() |
Algorithms - ESA 2001: 9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings
ISBN: 9783540424932 / Angielski / Miękka / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th Annual European Symposium on Algorithms, ESA 2001, held in Aarhus, Denmark, in August 2001.
The 41 revised full papers presented together with three invited contributions were carefully reviewed and selected from 102 submissions. The papers are organized in topical sections on caching and prefetching, online algorithms, data structures, optimization and approximation, sequences, scheduling, shortest paths, geometry, distributed algorithms, graph algorithms, pricing, broadcasting and multicasting, graph labeling and graph drawing,... This book constitutes the refereed proceedings of the 9th Annual European Symposium on Algorithms, ESA 2001, held in Aarhus, Denmark, in August 2001.<...
|
cena:
207,39 |
![]() |
Algorithm Engineering and Experimentation: Third International Workshop, Alenex 2001, Washington, DC, Usa, January 5-6, 2001. Revised Papers
ISBN: 9783540425601 / Angielski / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Algorithm Engineering and Experimentation, ALENEX 2001, held in Washington DC, USA in January 2001. The 15 revised full papers presented together with the abstracts of three invited presentations have gone through two rounds of reviewing and revision and were selected from 31 submissions. Among the topics addressed are heuristics for approximation, network optimization, TSP, randomization, sorting, information retrieval, graph computations, tree clustering, scheduling, network algorithms,...
This volume constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Algorithm Engineering and Experimentation, ALE...
|
cena:
207,39 |
![]() |
Progress in Cryptology - Indocrypt 2001: Second International Conference on Cryptology in India, Chennai, India, December 16-20, 2001
ISBN: 9783540430100 / Angielski / Miękka / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These are the refereed proceedings of the Second International Conference in Cryptology in India, INDOCRYPT 2001, held in Chennai, India in December 2001. The 31 revised full papers presented together with an invited survey were reviewed and selected from 77 submissions. The papers are organized in topical sections on hashing, algebraic schemes, elliptic curves, coding theory, applications, cryptanalysis, distributed cryptography, Boolean functions, digitial signatures, and shift registers.
These are the refereed proceedings of the Second International Conference in Cryptology in India, INDOCRYPT 2001, held in Chennai, India in December 2...
|
cena:
207,39 |
![]() |
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
ISBN: 9783642047602 / Angielski / Miękka / 428 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the 7th International Symposium on Automated Technologyfor Veri?cation and Analysis held during October 13- 16 in Macao SAR, China. The primary objective of the ATVA conferences - mains the same: to exchangeand promote the latest advances of state-of-the-art researchon theoretical and practical aspects of automated analysis, veri?cation, and synthesis. Among 74 research papers and 10 tool papers submitted to ATVA 2009, the Program Committee accepted 23 as regular papers and 3 as tool papers. In all, 33 experts from 17 countries worked hard to make...
This volume contains the papers presented at the 7th International Symposium on Automated Technologyfor Veri?cation and Analysis held during October 1...
|
cena:
207,39 |
![]() |
Algorithmic Aspects of Wireless Sensor Networks
ISBN: 9783642054334 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ALGOSENSORS, the International International Workshop on Algorithmic - pectsofWirelessSensorNetworks, isanannualforumforpresentationofresearch on all algorithmic aspects of sensor networks, including the theory, design, an- ysis, implementation, and application of algorithms for sensor networks. The 5th edition of ALGOSENSORS was held during July 10-11, 2009, on Rhodes, Greece. There were 41 extended abstracts submitted to ALGOSENSORS this year, and this volume contains the 21 contributions selected by the Program C- mittee. All submitted papers were read and evaluated by at least three...
ALGOSENSORS, the International International Workshop on Algorithmic - pectsofWirelessSensorNetworks, isanannualforumforpresentationofresearch on all ...
|
cena:
207,39 |
![]() |
Evolutionary Computation and Optimization Algorithms in Software Engineering: Applications and Techniques
ISBN: 9781615208098 / Angielski / Twarda / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Evolutionary Computation and Optimization Algorithms in Software Engineering: Applications and Techniques lays the foundation for the successful integration of evolutionary computation into software engineering. It surveys techniques ranging from genetic algorithms, to swarm optimization theory, to ant colony optimization, demonstrating their uses and capabilities. These techniques are applied to aspects of software engineering such as software testing, quality assessment, reliability assessment, and fault prediction models, among others, to providing researchers, scholars and students with...
Evolutionary Computation and Optimization Algorithms in Software Engineering: Applications and Techniques lays the foundation for the successful integ...
|
cena:
912,07 |
![]() |
Introduction to Evolutionary Algorithms
ISBN: 9781849961288 / Angielski / Twarda / 422 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Evolutionary algorithms (EAs) are becoming increasingly attractive for researchers from various disciplines, such as operations research, computer science, industrial engineering, electrical engineering, social science, economics, etc. This book presents an insightful, comprehensive, and up-to-date treatment of EAs, such as genetic algorithms, differential evolution, evolution strategy, constraint optimization, multimodal optimization, multiobjective optimization, combinatorial optimization, evolvable hardware, estimation of distribution algorithms, ant colony optimization,... Evolutionary algorithms (EAs) are becoming increasingly attractive for researchers from various disciplines, such as operations research, computer ... |
cena:
746,70 |
![]() |
Algorithms and Computation: 20th International Symposium, Isaac 2009, Honolulu, Hawaii, Usa, December 16-18, 2009. Proceedings
ISBN: 9783642106309 / Angielski / Miękka / 1228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 20th International Symposium on Algorithms and Computation, ISAAC 2009, held in Honolulu, Hawaii, USA in December 2009. The 120 revised full papers presented were carefully reviewed and selected from 279 submissions for inclusion in the book. This volume contains topics such as algorithms and data structures, approximation algorithms, combinatorial optimization, computational biology, computational complexity, computational geometry, cryptography, experimental algorithm methodologies, graph drawing and graph algorithms, internet...
This book constitutes the refereed proceedings of the 20th International Symposium on Algorithms and Computation, ISAAC 2009, held in Honolulu, Hawaii...
|
cena:
622,24 |
![]() |
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:
207,39 |
![]() |
WALCOM: Algorithms and Computation
ISBN: 9783642114397 / Angielski / Miękka / 305 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:
207,39 |
![]() |
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:
207,39 |
![]() |
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:
207,39 |
![]() |
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:
414,81 |
![]() |
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:
311,10 |
![]() |
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:
207,39 |
![]() |
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:
207,39 |
![]() |
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:
653,15 |
![]() |
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:
961,98 |
![]() |
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:
207,39 |