0
Your cart

Your cart is empty

Browse All departments
Price
  • R100 - R250 (4)
  • R250 - R500 (28)
  • R500+ (4,940)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Artificial General Intelligence - 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015,... Artificial General Intelligence - 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings (Paperback, 2015 ed.)
Jordi Bieger, Ben Goertzel, Alexey Potapov
R1,912 R1,456 Discovery Miles 14 560 Save R456 (24%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 8th International Conference on Artificial General Intelligence, AGI 2015, held in Berlin, Germany in July 2015. The 41 papers were carefully reviewed and selected from 72 submissions. The AGI conference series has played and continues to play, a significant role in this resurgence of research on artificial intelligence in the deeper, original sense of the term of "artificial intelligence". The conferences encourage interdisciplinary research based on different understandings of intelligence and exploring different approaches. AGI research differs from the ordinary AI research by stressing on the versatility and wholeness of intelligence and by carrying out the engineering practice according to an outline of a system comparable to the human mind in a certain sense.

Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.... Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. (Paperback, 2015 ed.)
Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
R1,874 R1,324 Discovery Miles 13 240 Save R550 (29%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 13th European Conference, ECSQARU 2015, Compiegne, France,... Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 13th European Conference, ECSQARU 2015, Compiegne, France, July 15-17, 2015. Proceedings (Paperback, 2015 ed.)
Sebastien Destercke, Thierry Denoeux
R2,338 R1,767 Discovery Miles 17 670 Save R571 (24%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015, held in Compiegne, France, in July 2015. The 49 revised full papers presented were carefully reviewed and selected from 69 submissions and cover topics on decision theory and preferences; argumentation; conditionals; game theory; belief update; classification; inconsistency; graphical models; Bayesian networks; belief functions; logic; and probabilistic graphical models for scalable data analytics. Papers come from researchers interested in advancing the technology and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms.

Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies,... Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings (Paperback, 2015 ed.)
Juan Antonio De La Puente, Tullio Vardanega
R1,096 R1,017 Discovery Miles 10 170 Save R79 (7%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, held in Madrid, Spain, in June 2015. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 36 submissions. They are organized in topical sections on language technology, real-time applications, critical systems, and multicore and distributed systems.

Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015... Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Paperback, 2015 ed.)
Manuel Nunez, Matthias Gudemann
R1,641 R1,006 Discovery Miles 10 060 Save R635 (39%) Shipped within 7 - 12 working days

This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.

Mathematics of Program Construction - 12th International Conference, MPC 2015, Koenigswinter, Germany, June 29--July 1, 2015.... Mathematics of Program Construction - 12th International Conference, MPC 2015, Koenigswinter, Germany, June 29--July 1, 2015. Proceedings (Paperback, 2015 ed.)
Ralf Hinze, Janis Voigtlander
R1,836 R1,286 Discovery Miles 12 860 Save R550 (30%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Koenigswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.

Analytical and Stochastic Modelling Techniques and Applications - 22nd International Conference, ASMTA 2015, Albena, Bulgaria,... Analytical and Stochastic Modelling Techniques and Applications - 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings (Paperback, 2015 ed.)
Marco Gribaudo, Daniele Manini, Anne Remke
R1,082 R1,003 Discovery Miles 10 030 Save R79 (7%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 22nd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2015, held in Albena, Bulgaria, in May 2015. The 15 full papers presented in this book were carefully reviewed and selected from numerous submissions. The papers discuss the latest developments in analytical, numerical and simulation algorithms for stochastic systems, including Markov processes, queueing networks, stochastic Petri nets, process algebras, game theory, etc.

Learning and Intelligent Optimization - 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised... Learning and Intelligent Optimization - 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers (Paperback, 2015 ed.)
Laetitia Jourdan, Clarisse Dhaenens, Marie-Eleonore Marmion
R1,825 R1,275 Discovery Miles 12 750 Save R550 (30%) Shipped within 7 - 12 working days

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Learning and Optimization, LION 9, which was held in Lille, France, in January 2015. The 31 contributions presented were carefully reviewed and selected for inclusion in this book. The papers address all fields between machine learning, artificial intelligence, mathematical programming and algorithms for hard optimization problems. Special focus is given to algorithm selection and configuration, learning, fitness landscape, applications, dynamic optimization, multi-objective, max-clique problems, bayesian optimization and global optimization, data mining and - in a special session - also on dynamic optimization.

Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015.... Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings (Paperback, 2015 ed.)
Arnold Beckmann, Victor Mitrana, Mariya Soskova
R1,870 R1,415 Discovery Miles 14 150 Save R455 (24%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe, CiE 2015, held in Bucharest, Romania, in June/July 2015. The 26 revised papers presented were carefully reviewed and selected from 64 submissions and included together with 10 invited papers in this proceedings. The conference CiE 2015 has six special sessions: two sessions, Representing Streams and Reverse Mathematics, were introduced for the first time in the conference series. In addition to this, new developments in areas frequently covered in the CiE conference series were addressed in the further special sessions on Automata, Logic and Infinite Games; Bio-inspired Computation; Classical Computability Theory; as well as History and Philosophy of Computing.

Experimental Algorithms - 14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015,  Proceedings... Experimental Algorithms - 14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, Proceedings (Paperback, 2015 ed.)
Evripidis Bampis
R1,899 R1,541 Discovery Miles 15 410 Save R358 (19%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 14th International Symposium on Experimental Algorithms, SEA 2015, held in Paris, France, in June/July 2015. The 30 revised full papers presented were carefully reviewed and selected from 76 submissions. The main theme of the symposium is the role of experimentation and of algorithm engineering techniques in the design and evaluation of algorithms and data structures. The papers are grouped in topical sections on data structures, graph problems, combinatorial optimization, scheduling and allocation, and transportation networks.

Computer Networks - 22nd International Conference, CN 2015, Brunow, Poland, June 16-19, 2015. Proceedings (Paperback, 2015... Computer Networks - 22nd International Conference, CN 2015, Brunow, Poland, June 16-19, 2015. Proceedings (Paperback, 2015 ed.)
Piotr Gaj, Andrzej Kwiecien, Piotr Stera
R1,791 R1,404 Discovery Miles 14 040 Save R387 (22%) Shipped within 7 - 12 working days

This book constitutes the thoroughly refereed proceedings of the 22st International Conference on Computer Networks, CN 2015, held in Brunow, Poland, in June 2015. The 42 revised full papers presented were carefully reviewed and selected from 79 submissions. The papers in these proceedings cover the following topics: computer networks, distributed computer systems, communications and teleinformatics.

Formal Concept Analysis - 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings (Paperback,... Formal Concept Analysis - 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings (Paperback, 2015 ed.)
Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego
R1,829 R1,279 Discovery Miles 12 790 Save R550 (30%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 13th International Conference on Formal Concept Analysis, ICFCA 2015, held in Neja, Spain, in June 2015. The 16 revised full papers presented were carefully reviewed and selected from 38 submissions. The topics in this volume cover theoretical aspects of FCA; methods and applications of FCA to different fields and enhanced FCA that show new trends in FCA, for instance, pattern structures of fuzzy FCA.

Frontiers in Algorithmics - 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings (Paperback, 2015... Frontiers in Algorithmics - 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings (Paperback, 2015 ed.)
Jianxin Wang, Chee Yap
R1,563 R1,013 Discovery Miles 10 130 Save R550 (35%) Shipped within 7 - 12 working days

This book constitutes the proceedings of the 9th International Workshop on Frontiers in Algorithmics, FAW 2015, held in Guilin, China, in July 2015. The 28 papers presented in this volume were carefully reviewed and selected from 65 submissions. They deal with graph algorithms, approximation algorithms, combinatorial optimization, parameterized algorithms, and online algorithms.

Facets of Uncertainties and Applications - ICFUA, Kolkata, India, December 2013 (Hardcover, 2015 ed.): Mihir K. Chakraborty,... Facets of Uncertainties and Applications - ICFUA, Kolkata, India, December 2013 (Hardcover, 2015 ed.)
Mihir K. Chakraborty, Andrzej Skowron, Manoranjan Maiti, Samarjit Kar
R3,489 R2,740 Discovery Miles 27 400 Save R749 (21%) Shipped within 7 - 12 working days

Since the emergence of the formal concept of probability theory in the seventeenth century, uncertainty has been perceived solely in terms of probability theory. However, this apparently unique link between uncertainty and probability theory has come under investigation a few decades back. Uncertainties are nowadays accepted to be of various kinds. Uncertainty in general could refer to different sense like not certainly known, questionable, problematic, vague, not definite or determined, ambiguous, liable to change, not reliable. In Indian languages, particularly in Sanskrit-based languages, there are other higher levels of uncertainties. It has been shown that several mathematical concepts such as the theory of fuzzy sets, theory of rough sets, evidence theory, possibility theory, theory of complex systems and complex network, theory of fuzzy measures and uncertainty theory can also successfully model uncertainty.

Mathematical Morphology and Its Applications to Signal and Image Processing - 12th International Symposium, ISMM 2015,... Mathematical Morphology and Its Applications to Signal and Image Processing - 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings (Paperback, 2015 ed.)
Jon Atli Benediktsson, Jocelyn Chanussot, Laurent Najman, Hugues Talbot
R2,315 R1,525 Discovery Miles 15 250 Save R790 (34%) Shipped within 7 - 12 working days

This book contains the thoroughly refereed proceedings of the 12th International Symposium on Mathematical Morphology, ISMM 2015 held in Reykjavik, Iceland, in May 2015. The 62 revised full papers were carefully reviewed and selected from 72 submissions. The papers are organized in topical sections on evaluations and applications; hierarchies; color, multivalued and orientation fields; optimization, differential calculus and probabilities; topology and discrete geometry; and algorithms and implementation.

Logic, Language, and Computation - 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013,... Logic, Language, and Computation - 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers (Paperback, 2015 ed.)
Martin Aher, Daniel Hole, Emil Jerabek, Clemens Kupke
R1,563 R1,013 Discovery Miles 10 130 Save R550 (35%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference series is centered around the interaction between logic, language and computation. The contributions represent these three fields and the symposia aim to foster interaction between them. The book consists of 16 papers that were carefully reviewed and selected from 26 submissions. Each paper has passed through a rigorous peer-review process before being accepted for publication. The volume also contains two summaries of the tutorials that took place at the symposium: the one on admissible rules and the one on the formal semantics of aspectual meaning from a cross-linguistic perspective.

Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015,... Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings (Paperback, 2015 ed.)
Susanne Graf, Mahesh Viswanathan
R1,665 R1,312 Discovery Miles 13 120 Save R353 (21%) Shipped within 7 - 12 working days

This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.

Evolutionary Computation in Combinatorial Optimization - 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April... Evolutionary Computation in Combinatorial Optimization - 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings (Paperback, 2015 ed.)
Gabriela Ochoa, Francisco Chicano
R1,452 R818 Discovery Miles 8 180 Save R634 (44%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 15th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2015, held in Copenhagen, Denmark, in April 2015, co-located with the Evo*2015 events EuroGP, EvoMUSART and EvoApplications. The 19 revised full papers presented were carefully reviewed and selected from 46 submissions. The papers cover methodology, applications and theoretical studies. The methods included evolutionary and memetic (hybrid) algorithms, iterated local search, variable neighbourhood search, ant colony optimization, artificial immune systems, hyper-heuristics and other adaptive approaches. The applications include both traditional domains, such as graph coloring, knapsack, vehicle routing, job-shop scheduling, the p-median and the orienteering problems; and new(er) domains such as designing deep recurrent neural networks, detecting network community structure, lock scheduling of ships, cloud resource management, the fire-fighter problem and AI planning. The theoretical studies involved approximation ratio, runtime and black-box complexity analyses.

NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Paperback, 2015... NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Paperback, 2015 ed.)
Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi
R1,574 R1,119 Discovery Miles 11 190 Save R455 (29%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.

The Linear Algebra a Beginning Graduate Student Ought to Know (Paperback, 3rd ed. 2012): Jonathan S. Golan The Linear Algebra a Beginning Graduate Student Ought to Know (Paperback, 3rd ed. 2012)
Jonathan S. Golan
R1,474 R1,170 Discovery Miles 11 700 Save R304 (21%) Shipped within 7 - 12 working days

Linear algebra is a living, active branch of mathematics which is central to almost all other areas of mathematics, both pure and applied, as well as to computer science, to the physical, biological, and social sciences, and to engineering. It encompasses an extensive corpus of theoretical results as well as a large and rapidly-growing body of computational techniques. Unfortunately, in the past decade, the content of linear algebra courses required to complete an undergraduate degree in mathematics has been depleted to the extent that they fail to provide a sufficient theoretical or computational background. Students are not only less able to formulate or even follow mathematical proofs, they are also less able to understand the mathematics of the numerical algorithms they need for applications. Certainly, the material presented in the average undergraduate course is insufficient for graduate study. This book is intended to fill the gap which has developed by providing enough theoretical and computational material to allow the advanced undergraduate or beginning graduate student to overcome this deficiency and be able to work independently or in advanced courses. The book is intended to be used either as a self-study guide, a textbook for a course in advanced linear algebra, or as a reference book. It is also designed to prepare a student for the linear algebra portion of prelim exams or PhD qualifying exams. The volume is self-contained to the extent that it does not assume any previous formal knowledge of linear algebra, though the reader is assumed to have been exposed, at least informally, to some of the basic ideas and techniques, such as manipulation of small matrices and the solution of small systems of linear equations over the real numbers. More importantly, it assumes a seriousness of purpose, considerable motivation, and a modicum of mathematical sophistication on the part of the reader. In the latest edition, new major theorems have been added, as well as many new examples. There are over 130 additional exercises and many of the previous exercises have been revised or rewritten. In addition, a large number of additional biographical notes and thumbnail portraits of mathematicians have been included.

Information, Physics, and Computation (Hardcover): Marc Mezard, Andrea Montanari Information, Physics, and Computation (Hardcover)
Marc Mezard, Andrea Montanari
R1,418 Discovery Miles 14 180 Shipped within 7 - 12 working days

This book presents a unified approach to a rich and rapidly evolving research domain at the interface between statistical physics, theoretical computer science/discrete mathematics, and coding/information theory. It is accessible to graduate students and researchers without a specific training in any of these fields. The selected topics include spin glasses, error correcting codes, satisfiability, and are central to each field. The approach focuses on large random instances and adopts a common probabilistic formulation in terms of graphical models. It presents message passing algorithms like belief propagation and survey propagation, and their use in decoding and constraint satisfaction solving. It also explains analysis techniques like density evolution and the cavity method, and uses them to study phase transitions.

Numerical Methods of Statistics (Paperback, 2nd Revised edition): John F. Monahan Numerical Methods of Statistics (Paperback, 2nd Revised edition)
John F. Monahan
R1,032 R974 Discovery Miles 9 740 Save R58 (6%) Shipped within 7 - 12 working days

This book explains how computer software is designed to perform the tasks required for sophisticated statistical analysis. For statisticians, it examines the nitty-gritty computational problems behind statistical methods. For mathematicians and computer scientists, it looks at the application of mathematical tools to statistical problems. The first half of the book offers a basic background in numerical analysis that emphasizes issues important to statisticians. The next several chapters cover a broad array of statistical tools, such as maximum likelihood and nonlinear regression. The author also treats the application of numerical tools; numerical integration and random number generation are explained in a unified manner reflecting complementary views of Monte Carlo methods. Each chapter contains exercises that range from simple questions to research problems. Most of the examples are accompanied by demonstration and source code available in from the author's Web site. New in this second edition are demonstrations coded in R, as well as new sections on linear programming and the Nelder-Mead search algorithm.

Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble,... Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers (Paperback, 2015 ed.)
Carlos Canal, Akram Idani
R1,918 R1,463 Discovery Miles 14 630 Save R455 (24%) Shipped within 7 - 12 working days

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.

Numerical Methods and Applications - 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised... Numerical Methods and Applications - 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers (Paperback, 2015 ed.)
Ivan Dimov, Stefka Fidanova, Ivan Lirkov
R1,714 R1,370 Discovery Miles 13 700 Save R344 (20%) Shipped within 7 - 12 working days

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Numerical Methods and Applications, NMA 2014, held in Borovets, Bulgaria, in August 2014. The 34 revised full papers presented were carefully reviewed and selected from 56 submissions for inclusion in this book. The papers are organized in the following topical sections: Monte Carlo and quasi-Monte Carlo methods; metaheuristics for optimization problems; advanced numerical methods for scientific computing; advanced numerical techniques for PDEs and applications; solving large engineering and scientific problems with advanced mathematical models; numerical simulations and back analysis in civil and mechanical engineering.

Algorithms for Sensor Systems - 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless... Algorithms for Sensor Systems - 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014, Revised Selected Papers (Paperback, 2015 ed.)
Jie Gao, Alon Efrat, Sandor P. Fekete, YanYong Zhang
R1,395 R869 Discovery Miles 8 690 Save R526 (38%) Shipped within 7 - 12 working days

This book constitutes thoroughly refereed and revised selected papers from the 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, held in Wroclaw, Poland, on September 12, 2014. The 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections named: robot planning; algorithms and data structures on graphs; and wireless networks.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Post-Quantum Cryptography - 6th…
Michele Mosca Paperback R1,359 R1,248 Discovery Miles 12 480
Practical Statistics for Data Scientists
Peter Bruce, Andrew Bruce Paperback R1,032 R589 Discovery Miles 5 890
Mathematics of Big Data - Spreadsheets…
Jeremy Kepner, Hayden Jananthan Hardcover R1,480 R1,098 Discovery Miles 10 980
Temporal Logics in Computer Science…
Stephane Demri, Valentin Goranko, … Hardcover R2,184 R1,906 Discovery Miles 19 060
Numerical Recipes Source Code CD-ROM 3rd…
William H. Press, Saul A. Teukolsky, … CD-ROM R1,793 R1,432 Discovery Miles 14 320
Linear Algebra and Learning from Data
Gilbert Strang Hardcover  (1)
R1,344 R1,276 Discovery Miles 12 760
Essential Maths Skills for AS/A Level…
Victoria Ellis, Gavin Craddock Paperback R278 Discovery Miles 2 780
Discrete Mathematics for Computing
Peter Grossman Paperback R1,087 R982 Discovery Miles 9 820
The Discrete Charm of the Machine - Why…
Kenneth Steiglitz Hardcover R586 R407 Discovery Miles 4 070
Studies in Complexity and Cryptography…
Oded Goldreich Paperback R2,502 R1,990 Discovery Miles 19 900

 

Partners