» książki » Computers - Data Science - General
topmenu
 |
Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings
ISBN: 9783642315695 / Angielski / Miękka / 215 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal...
This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, No...
|
cena:
185,18 |
 |
Speech, Sound and Music Processing: Embracing Research in India: 8th International Symposium, CMMR 2011 and 20th International Symposium, FRSM 2011, Bhubaneswar, India, March 9-12, 2011, Revised Selec
ISBN: 9783642319792 / Angielski / Miękka / 235 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 8th International Symposium on Computer Music Modeling and Retrieval, CMMR 2011 and the 20th International Symposium on Frontiers of Research in Speech and Music, FRSM 2011. This year the 2 conferences merged for the first time and were held in Bhubanes, India, in March 2011. The 17 revised full papers presented were specially reviewed and revised for inclusion in this proceedings volume. The book is divided in four main chapters which reflect the high quality of the sessions of CMMR 2011, the collaboration with FRSM 2011...
This book constitutes the thoroughly refereed post-proceedings of the 8th International Symposium on Computer Music Modeling and Retrieval, CMMR 2011 ...
|
cena:
185,18 |
 |
Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
ISBN: 9783642322105 / Angielski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOP...
|
cena:
185,18 |
 |
Business Process Model and Notation: 4th International Workshop, BPMN 2012, Vienna, Austria, September 12-13, 2012, Proceedings
ISBN: 9783642331541 / Angielski / Miękka / 127 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the proceedings of the 4th workshop on Business Process Model and Notation, BPMN 2012, held in Vienna, Austria, in September 2012.
Constitutes the proceedings of the 4th workshop on Business Process Model and Notation, BPMN 2012, held in Vienna, Austria, in September 2012.
|
cena:
185,18 |
 |
Perspectives in Business Informatics Research: 11th International Conference, BIR 2012, Nizhny Novgorod, Russia, September 24-26, 2012, Proceedings
ISBN: 9783642332807 / Angielski / Miękka / 201 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes a collection of selected contributions from the 11th International Conference on Perspectives in Business Informatics Research, BIR 2012, held in Nizhny Novgorod, Russia, in September 2012.
Constitutes a collection of selected contributions from the 11th International Conference on Perspectives in Business Informatics Research, BIR 2012, ...
|
cena:
185,18 |
 |
Computational Logistics: Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012, Proceedings
ISBN: 9783642335860 / Angielski / Miękka / 217 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Conference on Computational Logistics, held in Shanghai, China, in September 2012. The 15 revised full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on maritime shipping; logistics and supply chain management; planning and operations; and case studies.
This book constitutes the refereed proceedings of the Third International Conference on Computational Logistics, held in Shanghai, China, in September...
|
cena:
185,18 |
 |
Business Information Systems Workshops: BIS 2012 International Workshops and Future Internet Symposium, Vilnius, Lithuania, May 21-23, 2012 Revised Papers
ISBN: 9783642342271 / Angielski / Miękka / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the four workshops that were organized in conjunction with the International Conference on Business Information Systems, BIS 2012, which took place in Vilnius, Lithuania, May 21-23, 2012.
Constitutes the refereed proceedings of the four workshops that were organized in conjunction with the International Conference on Business Informatio...
|
cena:
185,18 |
 |
Agent Based Simulation for a Sustainable Society and Multiagent Smart Computing: International Workshops, PRIMA 2011, Wollongong, Australia, November 14, 2011, Revised Selected Papers
ISBN: 9783642356117 / Angielski / Miękka / 125 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the two workshops held at the 14th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2011, held in Wollongong, Australia, in November. The workshops were, Workshop on Agent Based Simulation for a Sustainable Society (ABSSS 2011) and International Workshop on Multi-Agent Smart Computing (MASmart 2011). The 8 papers presented were carefully reviewed and selected from various submissions. The papers cover topics from agent based simulation for a sustainable society and on multi-agent smart computing.
This book constitutes the refereed proceedings of the two workshops held at the 14th International Conference on Principles and Practice of Multi-Agen...
|
cena:
185,18 |
 |
Current Trends in Web Engineering: ICWE 2012 International Workshops MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers
ISBN: 9783642356223 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings and the doctoral symposium of the 12th International Conference on Web Engineering, ICWE 2012, held in Berlin, Germany, in July 2012. This book constitutes the thoroughly refereed post-workshop proceedings and the doctoral symposium of the 12th International Conference on Web Engi... |
cena:
185,18 |
 |
Theory of Quantum Computation, Communication, and Cryptography: 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers
ISBN: 9783642356551 / Angielski / Miękka / 153 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes revised selected papers from the 7th Conference on Theory of Quantum Computation, Communication, and Cryptography, TQC 2012, held in Tokyo, Japan, in May 2012. The 12 papers presented were carefully reviewed and selected for inclusion in this book. They contain original research on the rapidly growing, interdisciplinary field of quantum computation, communication and cryptography. Topics addressed are such as quantum algorithms, quantum computation models, quantum complexity theory, simulation of quantum systems, quantum programming languages, quantum cryptography,...
This book constitutes revised selected papers from the 7th Conference on Theory of Quantum Computation, Communication, and Cryptography, TQC 2012, hel...
|
cena:
185,18 |
 |
Logic and Its Applications: 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings
ISBN: 9783642360381 / Angielski / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indian Conference on Logic and Its Applications, ICLA 2013, held in Chennai, India, in January 2013. The 15 revised full papers presented together with 7 invited talks were carefully reviewed and selected from numerous submissions. The papers cover the topics related to pure and applied logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indi...
|
cena:
185,18 |
 |
Algorithms for Sensor Systems: 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 1
ISBN: 9783642360916 / Angielski / Miękka / 145 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2012, held in Ljubljana, Slovenia, in September 2012. The 11 revised full papers presented together with two invited keynote talks and two brief announcements were carefully reviewed and selected from 24 submissions. The papers are organized in two tracks: sensor networks - covering topics such as barrier resilience, localization, connectivity with directional antennas, broadcast...
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Algorithms for Sensor Systems, Wireless...
|
cena:
185,18 |
 |
Genetic Programming: 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013, Proceedings
ISBN: 9783642372063 / Angielski / Miękka / 277 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th European Conference on Genetic Programming, EuroGP 2013, held in Vienna, Austria, in April 2013 co-located with the Evo* 2013 events, EvoMUSART, EvoCOP, EvoBIO, and EvoApplications.
The 18 revised full papers presented together with 5 poster papers were carefully reviewed and selected from 47 submissions. The wide range of topics in this volume reflects the current state of research in the field, including different genres of GP (tree-based, linear, grammar-based, Cartesian), theory, novel operators, and applications. This book constitutes the refereed proceedings of the 16th European Conference on Genetic Programming, EuroGP 2013, held in Vienna, Austria, in April ...
|
cena:
185,18 |
 |
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
ISBN: 9783642366741 / Angielski / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especillay a fantastic system builder and software engineer. The volume includes 13 full papers, which are presenting research in all aspects of automated reasoning and its applications to mathematics. These papers have been thoroughly reviewed and selected out of 15 submissions received in response to the call for paper issued in September 2011. The topics covered are: strategies, indexing, superposition-based theorem proving,...
This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist ...
|
cena:
185,18 |
 |
Augmented Environments for Computer-Assisted Interventions: 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers
ISBN: 9783642380846 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the International Workshop on Augemented Environments for Computer-Assisted Interventions, held in conjunction with MICCAI 2012, in Nice, France in September 2012. The 16 revised full papers presented were carefully reviewed and selected from 22 submissions. The papers cover the topics of image registration and fusion, calibration, visualization and 3D perception, hardware and optical design, real-time implementation, as well as validation, clinical applications, and clinical evaluation.
This book constitutes the refereed proceedings of the International Workshop on Augemented Environments for Computer-Assisted Interventions, held in c...
|
cena:
185,18 |
 |
Logic-Based Program Synthesis and Transformation: 22nd International Symposium, Lopstr 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected
ISBN: 9783642381966 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Tra...
|
cena:
185,18 |
 |
Modeling and Simulation in Engineering, Economics, and Management: International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013, Pr
ISBN: 9783642382789 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the refereed proceedings of the International Conference on Modeling and Simulation in Engineering, Economics, and Management, MS 2013, held in Castellon de la Plana, Spain, in June 2013. The event was co-organized by the AMSE Association and the SoGReS Research Group of the Jaume I University. This edition of the conference paid special attention to modeling and simulation in diverse fields of business management. The 28 full papers in this book were carefully reviewed and selected from 65 submissions. They are organized in topical sections on: modeling and simulation in...
This book contains the refereed proceedings of the International Conference on Modeling and Simulation in Engineering, Economics, and Management, MS 2...
|
cena:
185,18 |
 |
Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
ISBN: 9783642389450 / Angielski / Miękka / 251 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Conference on Typed Lambda Calculi and Applications, TLCA 2013, held in Eindhoven, The Netherlands, in June 2013 as part of RDP 2013, the 7th Federated Conference on Rewriting, Deduction, and Programming, together with the 24th International Conference on Rewriting Techniques and Applications, RTA 2013, and several related events.
The 15 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers provide prevailing research results on all current aspects of typed lambda calculi,... This book constitutes the refereed proceedings of the 11th International Conference on Typed Lambda Calculi and Applications, TLCA 2013, held in Eindh...
|
cena:
185,18 |
 |
Enterprise and Organizational Modeling and Simulation: 9th International Workshop, EOMAS 2013, Held at CAiSE 2013, Valencia, Spain, June 17, 2013, Selected Papers
ISBN: 9783642416378 / Angielski / Miękka / 161 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 9th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2013, held in conjunction with CAiSE 2013 in Valencia, Spain, in June 2013. Tools and methods for modeling and simulation are widely used in enterprise engineering, organizational studies and business process management. In monitoring and evaluating business processes and the interactions of actors in a realistic environment, modeling and simulation have proven to be both powerful, efficient and economic, especially if complemented by animation and... This book constitutes the proceedings of the 9th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2013, held ... |
cena:
185,18 |
 |
E-Commerce, and Web Technologies: 14th International Conference, EC-Web 2013, Prague, Czech Republic, August 27-28, 2013, Proceedings
ISBN: 9783642398773 / Angielski / Miękka / 211 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th International Conference on Electronic Commerce and Web Technologies (EC-Web) held in Prague, Czech Republic, in August 2013. In 2013, EC-Web focused on recommender systems, semantic e-business, business services and process management, and agent-based e-commerce. The 13 full and 6 short papers accepted for EC-Web, selected from 43 submissions, were carefully reviewed based on their originality, quality, relevance, and presentation.
This book constitutes the refereed proceedings of the 14th International Conference on Electronic Commerce and Web Technologies (EC-Web) held in Pragu...
|
cena:
185,18 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
