Formal Techniques for Safety-Critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
ISBN: 9783319295091 / Angielski / Miękka / 271 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.
The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools. This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in...
|
|
cena:
195,42 zł |
Evolutionary Computation in Combinatorial Optimization: 16th European Conference, Evocop 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings
ISBN: 9783319306971 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2016, held in Porto, Portugal, in March/April 2016, co-located with the Evo*2015 events EuroGP, EvoMUSART and EvoApplications. This book constitutes the refereed proceedings of the 16th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 20... |
|
cena:
195,42 zł |
Mastering Business Microcomputing
ISBN: 9780333525111 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Designed to give an overview of the business applications of microcomputers, this is an introduction for college and polytechnic students on computing and business courses. Managers of small or medium sized businesses or of departments in larger companies will also find the book helpful.
Designed to give an overview of the business applications of microcomputers, this is an introduction for college and polytechnic students on computing...
|
|
cena:
195,42 zł |
Transactions on Computational Collective Intelligence XXI: Special Issue on Keyword Search and Big Data
ISBN: 9783662495209 / Angielski / Miękka / 175 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies, such as fuzzy systems, evolutionary computation, neural systems, consensus... These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range... |
|
cena:
195,42 zł |
Abstract State Machines, Alloy, B, Tla, VDM, and Z: 5th International Conference, Abz 2016, Linz, Austria, May 23-27, 2016, Proceedings
ISBN: 9783319335995 / Angielski / Miękka / 426 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016,... |
|
cena:
195,42 zł |
Multi-Agent Based Simulation XVI: International Workshop, Mabs 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers
ISBN: 9783319314464 / Angielski / Miękka / 189 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Multi-Agent-Based Simulation, MABS 2015, held in Istanbul, Turkey, in May 2015. The workshop was held in conjunction with the 14th International Conference on Autonomous Agents and Multi-agent Systems, AAMAS 2015. The 12 revised full papers included in this volume ware carefully selected from 22 submissions. The papers focus on the influence of social sciences and multi-agent systems, with a strong application/empirical vein, and its emphasis is stressed on exploratory... This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Multi-Agent-Based Simulation, MABS ... |
|
cena:
164,19 zł |
Decision Procedures: An Algorithmic Point of View
ISBN: 9783662504963 / Angielski / Twarda / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry. The authors introduce the basic... A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories t... |
|
cena:
293,15 zł |
Hybrid Artificial Intelligent Systems: 11th International Conference, Hais 2016, Seville, Spain, April 18-20, 2016, Proceedings
ISBN: 9783319320335 / Angielski / Miękka / 765 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 11th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2016, held in Seville, Spain, in April 2016. The 63 full papers published in this volume were carefully reviewed and selected from 150 submissions. They are organized in topical sections on data mining and knowledge discovery; time series; bio-inspired models and evolutionary computation; learning algorithms; video and image; classification and cluster analysis; applications; bioinformatics; and hybrid intelligent systems for data mining and... This volume constitutes the refereed proceedings of the 11th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2016, held in ... |
|
cena:
195,42 zł |
A First Course in Machine Learning
ISBN: 9781498738484 / Angielski / Twarda / 397 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "A First Course in Machine Learning by Simon Rogers and Mark Girolami is the best introductory book for ML currently available. It combines rigor and precision with accessibility, starts from a detailed explanation of the basic foundations of Bayesian analysis in the simplest of settings, and goes all the way to the frontiers of the subject such as infinite mixture models, GPs, and MCMC." "This textbook manages to be easier to read than other comparable... "A First Course in Machine Learning by Simon Rogers and Mark Girolami is the best introductory book for ML currently available. It... |
|
cena:
332,57 zł |
Learning with Uncertainty
ISBN: 9781498724128 / Angielski / Twarda / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learning with uncertainty covers a broad range of scenarios in machine learning, this book mainly focuses on: (1) Decision tree learning with uncertainty, (2) Clustering under uncertainty environment, (3) Active learning based on uncertainty criterion, and (4) Ensemble learning in a framework of uncertainty. The book starts with the introduction to uncertainty including randomness, roughness, fuzziness and non-specificity and then comprehensively discusses a number of key issues in learning with uncertainty, such as uncertainty representation in learning, the influence of uncertainty on... Learning with uncertainty covers a broad range of scenarios in machine learning, this book mainly focuses on: (1) Decision tree learning with uncer... |
|
cena:
895,50 zł |
Energie- Und Paritätsgewinnbedingungen Auf Spielstrukturen
ISBN: 9783658125363 / Niemiecki / Miękka / 74 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Auf dem Gebiet der Petri-Netze und Vektoradditionssysteme sind viele Entscheidungsfragen ungeklart, die Uli Schlachter in seiner Masterarbeit motiviert haben, Spiele auf sogenannten Spielstrukturen mit einer ahnlichen Semantik zu untersuchen. Hierbei handelt es sich um eine Art von Zwei-Spieler-Spielen auf einem gerichteten Graphen. Der Autor erarbeitet verschiedene Gewinnbedingungen und zeigt ihre Entscheidbarkeit. Die Arbeit beleuchtet diese Themen spieltheoretisch, bietet aber auch eine exemplarische Anwendung verschiedener Aspekte der Spieltheorie. Auf dem Gebiet der Petri-Netze und Vektoradditionssysteme sind viele Entscheidungsfragen ungeklart, die Uli Schlachter in seiner Masterarbeit motiv... |
|
cena:
182,64 zł |
Descriptional Complexity of Formal Systems: 18th Ifip Wg 1.2 International Conference, Dcfs 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
ISBN: 9783319411132 / Angielski / Miękka / 217 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016. The 13 full papers presented together with 4 invited talks were carefully reviewed and selected from 21 submissions.Descriptional Complexity is a field in Computer Science that deals with the size of all kind of objects that occur in computational models, such as Turing Machines, finte automata, grammars, splicing systems and others. The topics of this conference are related to all aspects of...
his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in B...
|
|
cena:
195,42 zł |
Stochastische Integration: Eine Einführung in Die Finanzmathematik
ISBN: 9783658141318 / Niemiecki / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Michael Hoffmann stellt auf leicht verstandliche Art und Weise die Grundlagen der stochastischen Analysis dar, d.h. die Begriffe der stochastischen Integration und der stochastischen Differentialgleichungen. Die gewonnene Theorie wird anschlieend dazu verwendet, das verallgemeinerte Black-Scholes-Modell zu definieren. Es folgt eine Diskussion zu Arbitrage und der Bewertung von Finanzderivaten, ehe das klassische Black-Scholes-Modell als Spezialfall identifiziert wird. Das Werk ist besonders geeignet fur Studenten, die einen leichten Einstieg in die theoretischen Grundlagen der...
Michael Hoffmann stellt auf leicht verstandliche Art und Weise die Grundlagen der stochastischen Analysis dar, d.h. die Begriffe der stochastischen In...
|
|
cena:
200,89 zł |
Matrix and Tensor Factorization Techniques for Recommender Systems
ISBN: 9783319413563 / Angielski / Miękka / 102 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a detailed theoretical mathematical background of matrix/tensor factorization techniques and a step-by-step analysis of each method on the basis of an integrated toy example that runs throughout all its chapters and helps the reader to understand the key differences among methods.
This book provides a detailed theoretical mathematical background of matrix/tensor factorization techniques and a step-by-step analysis of each method...
|
|
cena:
273,60 zł |
Programmieren Für Ingenieure Und Naturwissenschaftler: Grundlagen
ISBN: 9783662504567 / Niemiecki / Miękka / 466 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
182,64 zł |
Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms with the Coq System
ISBN: 9781785481123 / Angielski / Twarda / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer Arithmetic and Formal Proofs: Floating-point Algorithms with the Coq System explores floating-point arithmetic, a tool that is ubiquitous in modern computing as the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and cause numerous failures. This book explains how to avoid this and increase confidence in floating-point software by using the computer-assisted verification of correctness proof (the Coq proof assistant), the tool that is comprehensively discussed throughout this book. ...Computer Arithmetic and Formal Proofs: Floating-point Algorithms with the Coq System explores floating-point arithmetic, a tool that is ubiq... |
|
cena:
685,70 zł |
Formal Grammar: 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Boz
ISBN: 9783662530412 / Angielski / Miękka / 323 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Information in August 2015/2016. The 19 revised full papers presented together with 2 invited talks were carefully reviewed and selected from a total of 34 submissions.
The focus of papers are as follows:
This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the Euro...
|
|
cena:
195,42 zł |
Models of Computation
ISBN: 9783319428987 / Angielski / Twarda / 395 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and... This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descript... |
|
cena:
234,51 zł |
Transactions on Computational Collective Intelligence XXIII
ISBN: 9783662528853 / Angielski / Miękka / 251 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies, such as fuzzy systems, evolutionary computation, neural systems, consensus... These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range... |
|
cena:
195,42 zł |
Computational Methods in Systems Biology: 14th International Conference, Cmsb 2016, Cambridge, Uk, September 21-23, 2016, Proceedings
ISBN: 9783319451763 / Angielski / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th International Conference on Computational Methods in Systems Biology, CMSB 2016, held in Cambridge, UK, in September 2016. The 20 full papers, 3 tool papers and 9 posters presented were carefully reviewed and selected from 37 regular paper submissions. The topics include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model... This book constitutes the refereed proceedings of the 14th International Conference on Computational Methods in Systems Biology, CMSB 2016, held in... |
|
cena:
195,42 zł |