![]() |
OpenMP in a Heterogeneous World: 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings
ISBN: 9783642309601 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains constitutes the refereed proceedings of the 8th International Workshop on OpenMP, held in in Rome, Italy, in June 2012. This title includes papers that are organized in topical sections on proposed extensions to OpenMP, runtime environments, optimization and accelerators, task parallelism, validations and benchmarks.
Contains constitutes the refereed proceedings of the 8th International Workshop on OpenMP, held in in Rome, Italy, in June 2012. This title includes p...
|
cena:
204,55 |
![]() |
Computational Science and Its Applications -- Iccsa 2012: 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Par
ISBN: 9783642310744 / Angielski / Miękka / 759 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.
The four volumes contain papers presented in the following workshops: 7333 - advances in high performance algorithms and applications (AHPAA); bioinspired computing and applications (BIOCA); computational geometry and applicatons (CGA); chemistry and materials sciences and technologies (CMST); cities, technologies and planning (CTP); 7334 - econometrics and multidimensional... The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applicat...
|
cena:
204,55 |
![]() |
Computational Science and Its Applications -- Iccsa 2012: 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Par
ISBN: 9783642311246 / Angielski / Miękka / 759 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.
Constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador ...
|
cena:
204,55 |
![]() |
Computational Science and Its Applications -- Iccsa 2012: 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Par
ISBN: 9783642311277 / Angielski / Miękka / 661 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.
Constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador ...
|
cena:
204,55 |
![]() |
Computational Science and Its Applications -- Iccsa 2012: 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Par
ISBN: 9783642311369 / Angielski / Miękka / 765 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.
Constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador ...
|
cena:
204,55 |
![]() |
Funktionentheorie Erkunden Mit Maple
ISBN: 9783642294112 / Niemiecki / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Funktionentheorie wird in dieser Einfuhrung auf ganz neue Weise dargestellt. Nach einem kurzen Textteil folgen in jedem Kapitel die zugrundeliegende Theorien und sorgfaltig ausgewahlte Beispiele. Dann schliesst ein Worksheet-Teil an, in dem die Funktionentheorie mit der Computeranwendung und MAPLE verbunden wird. In ausgefeilten MAPLE-Worksheets illustrieren eindrucksvolle Graphiken Beispiele zur Anwendung aus unterschiedlichen Fachern. Das Buch zeigt ferner wie mit einem Computeralgebrasystem Ideen gestaltet und umgesetzt werden konnen."
Die Funktionentheorie wird in dieser Einfuhrung auf ganz neue Weise dargestellt. Nach einem kurzen Textteil folgen in jedem Kapitel die zugrundeliegen...
|
cena:
114,69 |
![]() |
Advances in Grid and Pervasive Computing: 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012, Proceedings
ISBN: 9783642307669 / Angielski / Miękka / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 7th International Conference on Grid and Pervasive Computing, GPC 2012, held in Hong Kong, China, in May 2012.
Constitutes the refereed proceedings of the 7th International Conference on Grid and Pervasive Computing, GPC 2012, held in Hong Kong, China, in May 2...
|
cena:
204,55 |
![]() |
Combinatorial Pattern Matching: 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012, Proceedings
ISBN: 9783642312649 / Angielski / Miękka / 454 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012, held in Helsinki, Finland, in July 2012.
The 33 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 60 submissions. The papers address issues of searching and matching strings and more complicated patterns such as trees, regular expressions, graphs, point sets, and arrays. The goal is to derive non-trivial combinatorial properties of such structures and to exploit these properties in order to either achieve superior... This book constitutes the refereed proceedings of the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012, held in Helsinki, Finland, in...
|
cena:
204,55 |
![]() |
Progress in VLSI Design and Test: 16th International Symposium on Vsli Design and Test, Vdat 2012, Shipur, India, July 1-4, 2012, Proceedings
ISBN: 9783642314933 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th International Symposium on VSLI Design and Test, VDAT 2012, held in Shibpur, India, in July 2012. The 30 revised regular papers presented together with 10 short papers and 13 poster sessions were carefully selected from 135 submissions. The papers are organized in topical sections on VLSI design, design and modeling of digital circuits and systems, testing and verification, design for testability, testing memories and regular logic arrays, embedded systems: hardware/software co-design and verification, emerging technology: nanoscale...
This book constitutes the refereed proceedings of the 16th International Symposium on VSLI Design and Test, VDAT 2012, held in Shibpur, India, in July...
|
cena:
204,55 |
![]() |
The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics
ISBN: 9783642315541 / Angielski / Miękka / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is intended for students in computer science, formal linguistics, mathematical logic and to colleagues interested in categorial grammars and their logical foundations. These lecture notes present categorial grammars as deductive systems, in the approach called parsing-as-deduction, and the book includes detailed proofs of their main properties. The papers are organized in topical sections on AB grammars, Lambek's syntactic calculus, Lambek calculus and montague grammar, non-associative Lambek calculus, multimodal Lambek calculus, Lambek calculus, linear logic and proof nets and...
This book is intended for students in computer science, formal linguistics, mathematical logic and to colleagues interested in categorial grammars and...
|
cena:
286,39 |
![]() |
Arithmetic of Finite Fields: 4th International Workshop, Waifi 2012, Bochum, Germany, July 16-19, 2012, Proceedings
ISBN: 9783642316616 / Angielski / Miękka / 247 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 4th International Workshop on the Arithmetic of Finite Field, WAIFI 2012, held in Bochum, Germany, in July 2012.
Constitutes the refereed proceedings of the 4th International Workshop on the Arithmetic of Finite Field, WAIFI 2012, held in Bochum, Germany, in July...
|
cena:
188,22 |
![]() |
High Performance Visualization: Enabling Extreme-Scale Scientific Insight
ISBN: 9781439875728 / Angielski / Twarda / 520 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Visualization and analysis tools, techniques, and algorithms have undergone a rapid evolution in recent decades to accommodate explosive growth in data size and complexity and to exploit emerging multi- and many-core computational platforms. High Performance Visualization: Enabling Extreme-Scale Scientific Insight focuses on the subset of scientific visualization concerned with algorithm design, implementation, and optimization for use on today s largest computational platforms. The book collects some of the most seminal work in the field, including... Visualization and analysis tools, techniques, and algorithms have undergone a rapid evolution in recent decades to accommodate explosive growth in ... |
cena:
726,09 |
![]() |
Recent Algorithms and Applications in Swarm Intelligence Research
ISBN: 9781466624795 / Angielski / Twarda / 342 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advancements in the nature-inspired swarm intelligence algorithms continue to be useful in solving complicated problems in nonlinear, non-differentiable, and un-continuous functions as well as being applied to solve real-world applications. Recent Algorithms and Applications in Swarm Intelligence Research highlights the current research on swarm intelligence algorithms and its applications. Including research and survey and application papers, this book serves as a platform for students and scholars interested in achieving their studies on swarm intelligence algorithms and their...
Advancements in the nature-inspired swarm intelligence algorithms continue to be useful in solving complicated problems in nonlinear, non-differentiab...
|
cena:
1037,53 |
![]() |
Euro-Par 2010, Parallel Processing Workshops: Heteropar, Hpcc, Hibb, Coregrid, Uchpc, Hpcf, Proper, Ccpi, Vhpc, Iscia, Italy, August 31 - September 3,
ISBN: 9783642218774 / Angielski / Miękka / 699 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes refereed post-conference proceedings of the workshops of the 16th International Conference on Parallel Computing, Euro-Par 2010, held in Ischia, Italy, in August/September 2010. This book presents the papers that focus on promotion and advancement of various aspects of parallel and distributed computing.
Constitutes refereed post-conference proceedings of the workshops of the 16th International Conference on Parallel Computing, Euro-Par 2010, held in I...
|
cena:
409,14 |
![]() |
Theorem Proving with the Real Numbers
ISBN: 9781447115939 / Angielski / Miękka / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book discusses the use of the real numbers in theorem proving. Typ ically, theorem provers only support a few 'discrete' datatypes such as the natural numbers. However the availability of the real numbers opens up many interesting and important application areas, such as the verification of float ing point hardware and hybrid systems. It also allows the formalization of many more branches of classical mathematics, which is particularly relevant for attempts to inject more rigour into computer algebra systems. Our work is conducted in a version of the HOL theorem prover. We de scribe the...
This book discusses the use of the real numbers in theorem proving. Typ ically, theorem provers only support a few 'discrete' datatypes such as the na...
|
cena:
409,14 |
![]() |
Complexity Theory Retrospective: In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988
ISBN: 9781461287933 / Angielski / Miękka / 234 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 1965 Juris Hartmanis and Richard E. Stearns published a paper "On the Computational Complexity of Algorithms." The field of complexity theory takes its name from this seminal paper and many of the major concepts and issues of complexity theory were introduced by Hartmanis in subsequent work. In honor of the contribution of Juris Hartmanis to the field of complexity theory, a special session of invited talks by Richard E. Stearns, Allan Borodin and Paul Young was held at the third annual meeting of the Structure in Complexity conference, and the first three chapters of this book are the...
In 1965 Juris Hartmanis and Richard E. Stearns published a paper "On the Computational Complexity of Algorithms." The field of complexity theory takes...
|
cena:
409,14 |
![]() |
Progress in Mathematical Programming: Interior-Point and Related Methods
ISBN: 9781461396192 / Angielski / Miękka / 158 str. Termin realizacji zamówienia: 22 dni roboczych The starting point of this volume was a conference entitled "Progress in Mathematical Programming," held at the Asilomar Conference Center in Pacific Grove, California, March 1-4, 1987. The main topic of the conference was developments in the theory and practice of linear programming since Karmarkar's algorithm. There were thirty presentations and approximately fifty people attended. Presentations included new algorithms, new analyses of algorithms, reports on computational experience, and some other topics related to the practice of mathematical programming. Interestingly, most of the...
The starting point of this volume was a conference entitled "Progress in Mathematical Programming," held at the Asilomar Conference Center in Pacific ...
|
151,83 |
![]() |
The Book of L
ISBN: 9783642954887 / Angielski / Miękka / 471 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is dedicated to Aristid Lindenmayer on the occasion of his 60th birthday on November 17, 1985. Contributions range from mathematics and theoretical computer science to biology. Aristid Lindenmayer introduced language-theoretic models for developmental biology in 1968. Since then the models have been cus tomarily referred to as L systems. Lindenmayer's invention turned out to be one of the most beautiful examples of interdisciplinary science: work in one area (developmental biology) induces most fruitful ideas in other areas (theory of formal languages and automata, and formal power...
This book is dedicated to Aristid Lindenmayer on the occasion of his 60th birthday on November 17, 1985. Contributions range from mathematics and theo...
|
cena:
409,14 |
![]() |
Internet of Things, Smart Spaces, and Next Generation Networking: 12th International Conference, New2an 2012, and 5th Conference, Rusmart 2012, St. Pe
ISBN: 9783642326851 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the joint refereed proceedings of the 12 International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networking, NEW2AN, and the 5th Conference on Internet of Things and Smart Spaces, ruSMART 2012, held in St. Petersburg, Russia, in August 2012. The total of 42 papers was carefully reviewed and selected for inclusion in this book. The 14 papers selected from ruSMART are organized in topical sections named: defining an internet-of-things ecosystem; future services; and smart space governing through service mashups. The 28 papers from NEW2AN deal...
This book constitutes the joint refereed proceedings of the 12 International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Net...
|
cena:
204,55 |
![]() |
Bio-Inspired Models of Network, Information, and Computing Systems: 6th International Icst Conference, Bionetics 2011, York, Uk, December 5-6, 2011, R
ISBN: 9783642327100 / Angielski / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Bio-Inspired Models of Network, Information, and Computing Systems (Bionetics). The event took place in the city of York, UK, in December 2011. Bionetics main objective is to bring bio-inspired paradigms into computer engineering and networking, and to enhance the fruitful interactions between these fields and biology. The papers of the conference were accepted in 2 categories: full papers and work-in progress. Full papers describe significant advances in the Bionetics field, while...
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Bio-Inspired Models of Network, Infor...
|
cena:
204,55 |