![]() |
Exploring Neural Networks with C#
ISBN: 9781482233391 / Angielski / Miękka / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The utility of artificial neural network models lies in the fact that they can be used to infer functions from observations making them especially useful in applications where the complexity of data or tasks makes the design of such functions by hand impractical. The utility of artificial neural network models lies in the fact that they can be used to infer functions from observations making them especially ... |
cena:
406,47 |
![]() |
Theory and Applications of Formal Argumentation: Second International Workshop, Tafa 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers
ISBN: 9783642543722 / Angielski / Miękka / 209 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the second International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2013, held in Beijing, China, in August 2013. The Workshop was co-located with IJCAI 2013. The 15 revised full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections such as abstract argumentation frameworks, social abstract argumentation with votes on attacks, a normal form of argumentation frameworks, assumption-based argumentation, argument schemes for normative practical reasoning.
This book constitutes the refereed proceedings of the second International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2013,...
|
cena:
193,23 |
![]() |
Multi-Agent-Based Simulation XIV: International Workshop, Mabs 2013, Saint Paul, Mn, Usa, May 6-7, 2013, Revised Selected Papers
ISBN: 9783642547829 / Angielski / Miękka / 163 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Multi-Agent-Based Simulation, MABS 2013, held in Saint Paul, Minnesota, USA, in May 2013. The workshop was help in conjunction with Twelfth International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2013. The 11 revised full papers included in this volume were carefully selected from 29 submissions. The papers are organized in topical sections on MABS for real-time and online data, formal approaches in MABS: design and validation, MABS in environmental modeling,...
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Multi-Agent-Based Simulation, MABS 201...
|
cena:
161,03 |
![]() |
Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, Tacas 2014, Held as Part of the European Joint Confe
ISBN: 9783642548611 / Angielski / Miękka / 652 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions. In addition the book contains one invited contribution. The papers are organized...
This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS...
|
cena:
201,24 |
![]() |
Model-Driven Software Migration: A Methodology: Reengineering, Recovery and Modernization of Legacy Systems
ISBN: 9783658052690 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Today, reliable software systems are the basis of any business or company. The continuous further development of those systems is the central component in software evolution. It requires a huge amount of time- man power- as well as financial resources. The challenges are size, seniority and heterogeneity of those software systems. Christian Wagner addresses software evolution: the inherent problems and uncertainties in the process. He presents a model-driven method which leads to a synchronization between source code and design. As a result the model layer will be the central part in further...
Today, reliable software systems are the basis of any business or company. The continuous further development of those systems is the central componen...
|
cena:
483,04 |
![]() |
Case Studies in Secure Computing: Achievements and Trends
ISBN: 9781482207064 / Angielski / Twarda / 500 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In today s age of wireless and mobile computing, network and computer security is paramount. Case Studies in Secure Computing: Achievements and Trends gathers the latest research from researchers who share their insights and best practices through illustrative case studies. In today s age of wireless and mobile computing, network and computer security is paramount. Case Studies in Secure Computing: Achievements... |
cena:
759,15 |
![]() |
Advances in Artificial Intelligence: 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, Montréal, Qc, Canada, May 6-9, 2014. Proce
ISBN: 9783319064826 / Angielski / Miękka / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, held in Montreal, QC, Canada, in May 2014. The 22 regular papers and 18 short papers presented together with 3 invited talks were carefully reviewed and selected from 94 submissions. The papers cover a variety of topics within AI, such as: agent systems; AI applications; automated reasoning; bioinformatics and BioNLP; case-based reasoning; cognitive models; constraint satisfaction; data mining; E-commerce; evolutionary computation; games; information retrieval;...
This book constitutes the refereed proceedings of the 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, held in Montreal, QC, Can...
|
cena:
201,24 |
![]() |
Mathematical Tools for Data Mining: Set Theory, Partial Orders, Combinatorics
ISBN: 9781447164067 / Angielski / Twarda / 831 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Data mining essentially relies on several mathematical disciplines, many of which are presented in this second edition of this book. Topics include partially ordered sets, combinatorics, general topology, metric spaces, linear spaces, graph theory. To motivate the reader a significant number of applications of these mathematical tools are included ranging from association rules, clustering algorithms, classification, data constraints, logical data analysis, etc. The book is intended as a reference for researchers and graduate students. The current edition is a significant expansion of the...
Data mining essentially relies on several mathematical disciplines, many of which are presented in this second edition of this book. Topics include pa...
|
cena:
712,89 |
![]() |
Augmented Marked Graphs
ISBN: 9783319064277 / Angielski / Twarda / 150 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Petri nets are a formal and theoretically rich model for the modelling and analysis of systems. A subclass of Petri nets, augmented marked graphs possess a structure that is especially desirable for the modelling and analysis of systems with concurrent processes and shared resources. This monograph consists of three parts: Part I provides the conceptual background for readers who have no prior knowledge on Petri nets; Part II elaborates the theory of augmented marked graphs; finally, Part III discusses the application to system integration. The book is suitable as a first... Petri nets are a formal and theoretically rich model for the modelling and analysis of systems. A subclass of Petri nets, augmented marked graphs p... |
cena:
201,24 |
![]() |
Computer Science - Theory and Applications: 9th International Computer Science Symposium in Russia, Csr 2014, Moscow, Russia, June 7-11, 2014. Proceed
ISBN: 9783319066851 / Angielski / Miękka / 389 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 9th International Computer Science Symposium in Russia, CSR 2014, held in Moscow, Russia, in June 2014. The 27 full papers presented in this volume were carefully reviewed and selected from 76 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas in theoretical computer science and its applications.
This book constitutes the proceedings of the 9th International Computer Science Symposium in Russia, CSR 2014, held in Moscow, Russia, in June 2014. T...
|
cena:
201,24 |
![]() |
Programmgesteuerte Digitale Rechengeräte (Elektronische Rechenmaschinen)
ISBN: 9783034840415 / Niemiecki / Miękka / 102 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
199,35 |
![]() |
Coordination Models and Languages: 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoT
ISBN: 9783662433751 / Angielski / Miękka / 195 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 16th International Conference on Coordination Models and Languages, COORDINATION 2014, held in Berlin, Germany, in June 2014. The 12 papers included in this volume were carefully reviewed and selected from 31 submissions. They deal with topics such as programming abstractions and languages, coordination models and paradigms, applied software engineering principles, specification and verification, foundations and types, distributed middleware architectures, multicore programming, collaborative adaptive systems, and coordination related use cases.
This book constitutes the proceedings of the 16th International Conference on Coordination Models and Languages, COORDINATION 2014, held in Berlin, Ge...
|
cena:
201,24 |
![]() |
Algorithmics: The Spirit of Computing
ISBN: 9783642441356 / Angielski / Miękka / 572 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer science is the science of the future, and already underlies every facet of business and technology, and much of our everyday lives. In addition, it will play a crucial role in the science the 21st century, which will be dominated by biology and biochemistry, similar to the role of mathematics in the physical sciences of the 20th century. In this award-winning best-seller, the author and his co-author focus on the fundamentals of computer science, which revolve around the notion of the algorithm. They discuss the design of algorithms, and their... Computer science is the science of the future, and already underlies every facet of business and technology, and much of our everyday lives. In add... |
cena:
201,24 |
![]() |
Formal Techniques for Distributed Objects, Components, and Systems: 34th Ifip Wg 6.1 International Conference, Forte 2014, Held as Part of the 9th Int
ISBN: 9783662436127 / Angielski / Miękka / 301 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.
This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Sy...
|
cena:
201,24 |
![]() |
Abstract State Machines, Alloy, B, Tla, VDM, and Z: 4th International Conference, Abz 2014, Toulouse, France, June 2-6, 2014. Proceedings
ISBN: 9783662436516 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The 13 full papers presented together with 3 invited talks and 19 short papers were carefully reviewed and selected from 81 submissions. The ABZ conference series is dedicated to the cross-fertilization of six related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z. They share a common conceptual foundation and are widely used in both academia and...
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which too...
|
cena:
201,24 |
![]() |
Hybrid Artificial Intelligence Systems: 9th International Conference, Hais 2014, Salamanca, Spain, June 11-13, 2014, Proceedings
ISBN: 9783319076164 / Angielski / Miękka / 710 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 9th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2014, held in Salamanca, Spain, in June 2014. The 61 papers published in this volume were carefully reviewed and selected from 199 submissions. They are organized in topical sessions on HAIS applications; data mining and knowledge discovery; video and image analysis; bio-inspired models and evolutionary computation; learning algorithms; hybrid intelligent systems for data mining and applications and classification and cluster analysis.
This volume constitutes the proceedings of the 9th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2014, held in Salamanca, Sp...
|
cena:
402,53 |
![]() |
Hybrid Metaheuristics: 9th International Workshop, Hm 2014, Hamburg, Germany, June 11-13, 2014, Proceedings
ISBN: 9783319076430 / Angielski / Miękka / 199 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Workshop on Hybrid Metaheuristics, HM 2014, held in Hamburg, Germany, in June 2014. The 14 revised full papers presented were carefully reviewed and selected from 22 submissions. The selected papers cover both theoretical and experimental results, including new paradigmatic hybrid solvers and automatic design approaches as well as applications to logistics and public transport.
This book constitutes the refereed proceedings of the 9th International Workshop on Hybrid Metaheuristics, HM 2014, held in Hamburg, Germany, in June ...
|
cena:
201,24 |
![]() |
Abz 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, Tla, VDM, and
ISBN: 9783319075112 / Angielski / Miękka / 161 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.
This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 1...
|
cena:
201,24 |
![]() |
Supercomputing: 29th International Conference, Isc 2014, Leipzig, Germany, June 22-26, 2014, Proceedings
ISBN: 9783319075174 / Angielski / Miękka / 521 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 29th International Supercomputing Conference, ISC 2014, held in Leipzig, Germany, in June 2014. The 34 revised full papers presented together were carefully reviewed and selected from 79 submissions. The papers cover the following topics: scalable applications with 50K+ cores; advances in algorithms; scientific libraries; programming models; architectures; performance models and analysis; automatic performance optimization; parallel I/O and energy efficiency. This book constitutes the refereed proceedings of the 29th International Supercomputing Conference, ISC 2014, held in Leipzig, Germany, in June 201... |
cena:
201,24 |
![]() |
Applied Cryptography and Network Security: 12th International Conference, Acns 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings
ISBN: 9783319075358 / Angielski / Miękka / 586 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th International Conference on Applied Cryptography and Network Security, ACNS 2014, held in Lausanne, Switzerland, in June 2014. The 33 revised full papers included in this volume were carefully reviewed and selected from 147 submissions. They are organized in topical sections on key exchange; primitive construction; attacks (public-key cryptography); hashing; cryptanalysis and attacks (symmetric cryptography); network security; signatures; system security; and secure computation.
This book constitutes the refereed proceedings of the 12th International Conference on Applied Cryptography and Network Security, ACNS 2014, held in L...
|
cena:
201,24 |