» książki » Computers - Logic Design
topmenu
 |
Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX Dresden, Germany, September 29-30, 2008 Revised Selected and Invited
ISBN: 9783642027338 / Angielski / Miękka / 173 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multi-Agent Systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become very popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to educational aids, to electronic commerce and...
Multi-Agent Systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their...
|
cena:
200,77 |
 |
Job Scheduling Strategies for Parallel Processing: 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009, Revised Papers
ISBN: 9783642046322 / Angielski / Miękka / 301 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. th Thisvolumecontainsthepaperspresentedatthe14 workshoponJobSched- ing Strategies for ParallelProcessing.The workshop was held in Rome, Italy, on May 29, 2009, in conjunction with the IEEE International Parallel Processing Symposium 2009. This year 25 papers were submitted to the workshop. All submitted - pers went through a complete review process, with the full version being read and evaluated by an average of four reviewers. We would like to especially thank the program committee members and additional referees for their wi- ingness to participate in this e?ort and their excellent,...
th Thisvolumecontainsthepaperspresentedatthe14 workshoponJobSched- ing Strategies for ParallelProcessing.The workshop was held in Rome, Italy, on May ...
|
cena:
200,77 |
 |
Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings
ISBN: 9783540678397 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July 26- 29, 2000, just prior to the AAAI 2000 conference in Austin. Previous SARA conferences took place at Jackson Hole in Wyoming (1994), Ville d'Esterel in Quebec (1995), and Asilomar in California (1998). The symposium grewout of a series of workshops on abstraction, approximation, and reformulation that had taken place alongside AAAI since 1989. This year's symposium was...
This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was h...
|
cena:
200,77 |
 |
Automated Deduction in Classical and Non-Classical Logics: Selected Papers
ISBN: 9783540671909 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories.
Five invited papers by prominent researchers give a consolidated view of the recent developments in first-order theorem proving. The 14 research papers presented went through a twofold selection process and were first presented at the International Workshop on First-Order Theorem Proving, FTP'98, held in Vienna, Austria, in November 1998. The contributed papers reflect the current status in research in the... This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with ...
|
cena:
200,77 |
 |
The Semantic Web - Iswc 2002: First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings
ISBN: 9783540437604 / Angielski / Miękka / 476 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First International Semantic Web Conference, ISWC 2002, held in Sardinia, Italy, in June 2002.The 27 revised full research papers, 6 position papers, and 7 system descriptions presented were carefully reviewed and selected from a total of 133 submissions. All current issues in this exciting new field are addressed, ranging from theoretical aspects to applications in various fields.
This book constitutes the refereed proceedings of the First International Semantic Web Conference, ISWC 2002, held in Sardinia, Italy, in June 2002.Th...
|
cena:
200,77 |
 |
Model Checking Software: 9th International Spin Workshop Grenoble, France, April 11-13, 2002 Proceedings
ISBN: 9783540434771 / Angielski / Miękka / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis at Montr eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), andToronto(2001). Whilethe?rstSPINworkshopwasastand-aloneevent, later workshopshavebeenorganizedasmoreorlesscloselya?liatedeventswithlarger conferences, in particular with CAV (1996),...
The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the ...
|
cena:
200,77 |
 |
Relational Methods in Computer Science
ISBN: 9783211829714 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The calculus of relations turned into an important conceptual and methodological tool in computer science. The methods presented in this book include questions of relational databases, applications to program specification, resource-conscious linear logic, semantic and refinement consideration, nonclassical logics for reasoning about programs, tabular methods in software construction, algorithm development, linguistic problems, followed by a comprehensive bibliography. The reader gets an overview of the wide-ranging applicability of relational methods in computer science. ..". While this is a...
The calculus of relations turned into an important conceptual and methodological tool in computer science. The methods presented in this book include ...
|
cena:
200,77 |
 |
Sdl 2009: Design for Motes and Mobiles: 14th International Sdl Forum Bochum, Germany, September 22-24, 2009 Proceedings
ISBN: 9783642045530 / Angielski / Miękka / 257 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the 14th SDL Forum, Bochum, Germany entitled Design for Motes and Mobiles. The SDL Forum has been held every two years for the last three decades and is one of the most important open events in the calendar for anyone from academia or industry involved in System DesignLanguagesandmodelling technologies. It is a primary conference event for discussion of the evolution and use of these languages. The most recent innovations, trends, experiences, and concerns in the ?eld are discussed and presented. The SDL Forum series addresses issues related to the...
This volume contains the papers presented at the 14th SDL Forum, Bochum, Germany entitled Design for Motes and Mobiles. The SDL Forum has been held ev...
|
cena:
200,77 |
 |
Declarative Agent Languages and Technologies VII
ISBN: 9783642113543 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Declarative Agent Languages and Technologies, DALT 2009, held in Budapest, Hungary, on May 11, 2009, as a satellite workshop of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009. The 11 revised full papers presented together with 1 invited lecture and 3 invited papers from the AAMAS main conference - substantially enhanced after the workshop - were carefully selected from 17 initial submissions. The papers combine declarative and... This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Declarative Agent Languages and Techno... |
cena:
200,77 |
 |
Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
ISBN: 9783642117961 / Angielski / Miękka / 163 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2009, held in Brussels, Belgium, in September 2009. The 12 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The workshop features current research and gives some indication of the new directions in which task analysis theories, methods, techniques and tools are progressing. The papers are organized in topical sections on business process, design process, model driven approach, task...
This book constitutes the refereed proceedings of the 8th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2009, ...
|
cena:
200,77 |
 |
Software Language Engineering: Second International Conference, Sle 2009, Denver, Co, Usa, October 5-6, 2009 Revised Selected Papers
ISBN: 9783642121067 / Angielski / Miękka / 390 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Includes the refereed post-conference proceedings of the Second International Conference on Software Language Engineering, SLE 2009, held in Denver, CO, USA, in October 2009.
Includes the refereed post-conference proceedings of the Second International Conference on Software Language Engineering, SLE 2009, held in Denver, C...
|
cena:
200,77 |
 |
Abstract State Machines, Alloy, B and Z
ISBN: 9783642118104 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ABZ 2010 was held in the beautiful natural setting of Orford in the Eastern Townships of Qu ebec, during February22 25,2010, midwaythroughthe Ca- dian winter and the 21st Winter Olympics, bringing participants from all over the world to brave this rigorous climate. ABZcoversrecentadvancesinfourequallyrigorousmethodsforsoftwareand hardware development: Abstract State Machines (ASM), Alloy, B and Z. They shareacommonconceptualframework, centeredaroundthe notionsofstateand operation, andpromotemathematicalprecisioninthemodeling, veri?cation, and construction of highly dependable systems. These...
ABZ 2010 was held in the beautiful natural setting of Orford in the Eastern Townships of Qu ebec, during February22 25,2010, midwaythroughthe Ca- dian...
|
cena:
200,77 |
 |
Foundations of Information and Knowledge Systems: 6th International Symposium, Foiks 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings
ISBN: 9783642118289 / Angielski / Miękka / 363 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the articles presented at the 6th International Symposium on Foundationsof Informationand KnowledgeSystems (FoIKS 2010)which was held in So?a, Bulgaria during February 15 19, 2010. The FoIKS symposia provide a biennial forum for presenting and discussing theoreticalandappliedresearchoninformationandknowledgesystems.Thegoal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2010 solicited original contributions dealing with any foundational...
This volume contains the articles presented at the 6th International Symposium on Foundationsof Informationand KnowledgeSystems (FoIKS 2010)which was ...
|
cena:
200,77 |
 |
Research Into Practice - Reality and Gaps: 6th International Conference on the Quality of Software Architectures, Qosa 2010, Prague, Czech Republic, J
ISBN: 9783642138201 / Angielski / Miękka / 183 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the thoroughly refereed proceedings of the 6th International Conference, QoSA 2010, held in Prague, Czech Republic in June 2010.
Constitutes the thoroughly refereed proceedings of the 6th International Conference, QoSA 2010, held in Prague, Czech Republic in June 2010.
|
cena:
200,77 |
 |
Logic, Language, Information and Computation: 17th International Workshop, Wollic 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings
ISBN: 9783642138232 / Angielski / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at WoLLIC 2010: 17th Workshop on Logic, Language, Information and Computation held during July 6-9, 2010, on the campus of Universidade de Bras ?lia (UnB), Brazil. The Workshop on Logic, Language, Information and Computation (WoL- LIC) is an annual event, meeting every year since 1994, which aims at fostering interdisciplinary research in pure and applied logic. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow...
This volume contains the papers presented at WoLLIC 2010: 17th Workshop on Logic, Language, Information and Computation held during July 6-9, 2010, on...
|
cena:
200,77 |
 |
Inductive Logic Programming: 19th International Conference, Ilp 2009, Leuven, Belgium, July 2-4, 2010, Revised Papers
ISBN: 9783642138393 / Angielski / Miękka / 257 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The ILP conference series has been the premier forum for work on logic-based approaches to machine learning for almost two decades. The 19th International Conference on Inductive Logic Programming, which was organized in Leuven, July2-4,2009, continuedthistraditionbutalsoreachedouttoothercommunities as it was colocated with SRL-2009 the International Workshop on Statistical RelationalLearning, andMLG-2009 the7thInternationalWorkshoponMining andLearningwithGraphs. While thesethreeseriesofeventseachhavetheirown focus, emphasis andtradition, they essentiallysharethe problemthatis studied:...
The ILP conference series has been the premier forum for work on logic-based approaches to machine learning for almost two decades. The 19th Internati...
|
cena:
200,77 |
 |
The Mathematics of Language: 10th and 11th Biennial Conference, Mol 10, Los Angeles, Ca, Usa, July 28-30, 2007 and Mol 11, Bielefeld, Germany, Augu
ISBN: 9783642143212 / Angielski / Miękka / 297 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains a selection of papers presented at the 10th and 11th Meeting of the Association for Mathematics of Language, held in Los Angeles, CA, USA in July 2007 and in Bielefeld, Germany, in August 2009. This title reflects a range of theoretical topics relating to language and computation.
Contains a selection of papers presented at the 10th and 11th Meeting of the Association for Mathematics of Language, held in Los Angeles, CA, USA in ...
|
cena:
200,77 |
 |
Approaches and Applications of Inductive Programming: Third International Workshop, Aaip 2009, Edinburgh, Uk, September 4, 2009, Revised Papers
ISBN: 9783642119309 / Angielski / Miękka / 195 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Inductive programming is concerned with the automated construction of decl- ative-often functional -recursiveprogramsfromincompletespeci?cationssuch as input/output examples. The inferred program must be correct with respect to the provided examples in a generalizing sense: it should be neither equivalent to it, nor inconsistent. Inductive programming algorithms are guided explicitly or implicitly by a language bias (the class of programs that can be induced) and a search bias (determining which generalized program is constructed ?rst). Induction strategiesare either generate-and-testor...
Inductive programming is concerned with the automated construction of decl- ative-often functional -recursiveprogramsfromincompletespeci?cationssuch a...
|
cena:
200,77 |
 |
Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach
ISBN: 9783642145377 / Angielski / Miękka / 411 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based frameworks. This framework allows non-experts to graphically specify interaction models, which are then transformed into a corresponding formal representation.
Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based fra...
|
cena:
200,77 |
 |
Dependency Structures and Lexicalized Grammars: An Algebraic Approach
ISBN: 9783642145674 / Angielski / Miękka / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since 2002, FoLLI has awarded an annual prize for outstanding dissertations in the fields of Logic, Language and Information. This book is based on the PhD thesis of Marco Kuhlmann, joint winner of the E.W. Beth dissertation award in 2008. Kuhlmann's thesis lays new theoretical foundations for the study of non-projective dependency grammars. These grammars are becoming increasingly important for approaches to statistical parsing in computational linguistics that deal with free word order and long-distance dependencies. The author provides new formal tools to define and understand dependency...
Since 2002, FoLLI has awarded an annual prize for outstanding dissertations in the fields of Logic, Language and Information. This book is based on th...
|
cena:
200,77 |
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
