Wyniki wyszukiwania:
wyszukanych pozycji: 11
 |
SAT 2005: Satisfiability Research in the Year 2005
ISBN: 9789400787155 / Angielski / Miękka / 2014 / 293 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. The core of many reasoning problems in automated deduction are propositional. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. In 1957, Allen Newell and Herb Simon introduced the Logic Theory Machine to prove propositional theorems from Whitehead and Russel's "Principia... This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional satisfiability is a powerf... |
cena:
605,23 |
 |
Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Rev
ISBN: 9783540208518 / Angielski / Miękka / 2004 / 530 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book is devoted to the 6th International Conference on Theory and - plications of Satis?ability Testing (SAT 2003) held in Santa Margherita Ligure (Genoa, Italy), during May5 8,2003. SAT 2003followedthe WorkshopsonS- is?ability held in Siena (1996), Paderborn (1998), and Renesse (2000), and the Workshop on Theory and Applications of Satis?ability Testing held in Boston (2001) and in Cincinnati (2002). As in the last edition, the SAT event hosted a SAT solvers competition, and, starting from the 2003 edition, also a Quanti?ed Boolean Formulas (QBFs) solvers comparative evaluation. There...
This book is devoted to the 6th International Conference on Theory and - plications of Satis?ability Testing (SAT 2003) held in Santa Margherita Ligur...
|
cena:
201,72 |
 |
SAT 2005: Satisfiability Research in the Year 2005
ISBN: 9781402045523 / Angielski / Twarda / 2006 / 293 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. The core of many reasoning problems in automated deduction are propositional. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. In 1957, Allen Newell and Herb Simon introduced the Logic Theory Machine to prove propositional theorems from Whitehead and Russel's "Principia... This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional satisfiability is a powerf... |
cena:
605,23 |
 |
Artificial Intelligence: Methodology, Systems, and Applications: 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings
ISBN: 9783540649939 / Angielski / Miękka / 1998 / 508 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA'98, held in Sozopol, Bulgaria, in September 1998.
The 40 revised full papers presented were carefully reviewed and selected from a total of 90 submissions. The papers address the whole spectrum of current topics in AI, in particular case-based reasoning, multi-agent systems, planning and temporal reasoning, decision procedures, inductive reasoning, abduction, constraint-based reasoning, knowledge acquisition, knowledge-based systems,... This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIM...
|
cena:
201,72 |
 |
Agent-Oriented Software Engineering III: Third International Workshop, Aose 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributi
ISBN: 9783540007135 / Angielski / Miękka / 2003 / 234 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Over the past three decades, software engineers have derived a progressively better understanding of the characteristics of complexity in software. It is now widely recognised thatinteraction is probably the most important single char- teristic of complex software. Software architectures that contain many dyna- cally interacting components, each with their own thread of control, and eng- ing in complex coordination protocols, are typically orders of magnitude more complex to correctly and e?ciently engineer than those that simply compute a function of some input through a single thread of...
Over the past three decades, software engineers have derived a progressively better understanding of the characteristics of complexity in software. It...
|
cena:
201,72 |
 |
Pratique de l'enseignement dans la formation initiale des enseignants
ISBN: 9786206613367 / Francuski Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
178,89 |
 |
Teaching practice in initial teacher education
ISBN: 9786206613350 / Angielski Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
178,89 |
 |
La pratica didattica nella formazione iniziale degli insegnanti
ISBN: 9786206613398 / Włoski Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
178,89 |
 |
Unterrichtspraxis in der Erstausbildung von Lehrern
ISBN: 9786206613343 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
178,89 |
 |
Pr?tica de ensino na forma??o inicial de professores
ISBN: 9786206613381 / Portugalski Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
178,89 |
 |
Cooperative Information Systems: 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001. Proceedings
ISBN: 9783540425243 / Angielski / Miękka / 2001 / 456 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume constitutes the refereed proceedings of the ninth International Conference on Co-operative Information Systems, CoopIS 2001, held in Trento, Italy in September 2001. The 29 revised full papers presented together with three invited contributions were carefully reviewed and selected from 79 submissions. The papers are organized in sections on: agent and systems; information integration; middleware, platforms, and architectures; models; multi and federated database systems; Web information systems; workflow management systems; and recommendation and information seeking systems.
This volume constitutes the refereed proceedings of the ninth International Conference on Co-operative Information Systems, CoopIS 2001, held in Trent...
|
cena:
201,72 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
