» książki » Computers - Logic Design
topmenu
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
Frontiers in Algorithms: 4th International Workshop, Faw 2010, Wuhan, China, August 11-13, 2010, Proceedings
ISBN: 9783642145520 / Angielski / Miękka / 339 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thepapers inthis volumewereselectedfor presentationatthe 4thInternational FrontiersofAlgorithmicsWorkshop(FAW2010), heldduringAugust11-13,2010 at Wuhan University, Wuhan, China. Previous meetings of this workshop were held in Lanzhou (2007), Changsha (2008), and Hefei (2009). In response to the Call-for-Papers, 57 extended abstracts were submitted from 12 countries and regions, of which 28 were accepted. The submitted papers were from China, France, Hong Kong, India, Israel, Italy, Japan, Republic of Korea, Lebanon, The Netherlands, Taiwan, and USA....
Thepapers inthis volumewereselectedfor presentationatthe 4thInternational FrontiersofAlgorithmicsWorkshop(FAW2010), heldduringAugust11-13,2010 at Wuha...
|
cena:
201,24 |
 |
Principles and Practice of Constraint Programming - Cp 2003: 9th International Conference, Cp 2003, Kinsale, Ireland, September 29 - October 3, 2003,
ISBN: 9783540202028 / Angielski / Miękka / 1008 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming (CP 2003), held in Kinsale, Ireland, from September 29 to October 3, 2003. Detailed information about the CP 2003 conference can be found at the URL http: //www.cs.ucc.ie/cp2003/ The CP conferences are held annually and provide an international forum for the latest results on all aspects of constraint programming. Previous CP conferences were held in Cassis (France) in 1995, in Cambridge (USA) in 1996, in Schloss Hagenberg (Austria) in 1997, in Pisa (Italy) in 1998,...
This volume contains the proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming (CP 2003), held in Kin...
|
cena:
402,53 |
 |
Developments in Language Theory: 6th International Conference, Dlt 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers
ISBN: 9783540404316 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The refereed proceedings of the 6th International Conference on Developments in Language Theory, DLT 2002, held in Kyoto, Japan in September 2002. The 28 revised full papers presented together with 8 invited papers were carefully reviewed and selected from 63 submissions. Among the topics addressed are grammars and acceptors for strings, graphs, arrays, etc; efficient algorithms for languages; combinatorial and algebraic properties of languages; decision problems; relations to complexity theory, logic picture description and analysis, DNA computing, cryptography, concurrency,... The refereed proceedings of the 6th International Conference on Developments in Language Theory, DLT 2002, held in Kyoto, Japan in September 2002. ... |
cena:
201,24 |
 |
Fme 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
ISBN: 9783540408284 / Angielski / Miękka / 946 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ThisvolumecontainstheproceedingsofFM2003, the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8 14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once - ery 18 months. Throughout the years the symposia have been notably successful in bringing together researchers, tool developers, vendors, and users, both...
ThisvolumecontainstheproceedingsofFM2003, the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8 14, 2003. F...
|
cena:
402,53 |
 |
Models in Software Engineering: Workshops and Symposia at Models 2009, Denver, Co, Usa, October 4-9, 2009. Reports and Revised Selected Papers
ISBN: 9783642122606 / Angielski / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The MODELS series of conferences is the premier venue for the exchange of innovative technical ideas and experiences relating to model-driven approaches inthedevelopmentofsoftware-basedsystems.Followingthetraditionofprevious conferences, MODELS2009hostedseveralsatelliteeventsinDenver.Therewere ten workshops and two symposia. The selection of the workshops was performed by a Workshop Committee, which consisted of the following experts: - James M. Bieman, Colorado State University, USA (Chair) - Peter Clarke, Florida International University, USA - Holger Giese, University of Paderborn, Germany...
The MODELS series of conferences is the premier venue for the exchange of innovative technical ideas and experiences relating to model-driven approach...
|
cena:
201,24 |
 |
Finite-State Methods and Natural Language Processing: 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selec
ISBN: 9783642146831 / Angielski / Miękka / 147 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume of Lecture Notes in Arti?cial Intelligence is a collection of revised versions of the papers and lectures presented at the 8th International Workshop on Finite-State Methods and Natural Language Processing, FSMNLP 2009. The workshop was held at the University of Pretoria, South Africa, during July 21 24, 2009. This was the ?rst time in the history of the FSMNLP series that the event was not located in Europe. As its predecessors, the scope of FSMNLP 2009 included a range of t- ics around computational morphology, natural language processing, ?nite-state methods, automata, and...
This volume of Lecture Notes in Arti?cial Intelligence is a collection of revised versions of the papers and lectures presented at the 8th Internation...
|
cena:
201,24 |
 |
Objektorientierter Softwareentwurf: Integration Mit UML
ISBN: 9783540412861 / Niemiecki / Twarda / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch vermittelt die grundlegenden Konzepte und Zusammenhange objektorientierter Entwurfsmethoden. Im Mittelpunkt stehen dabei die graphischen Beschreibungstechniken der Unified Modeling Language (UML). Neben einer kurzen Einfuhrung in Klassen-, Sequenz- und Zustandsdiagramme wird der Leser zunachst mit den Grundbegriffen objektorientierter Systemmodellierung vertraut gemacht. Im Vordergrund steht das Zusammenspiel der unterschiedlichen Diagrammtypen und ihre methodische Verwendung im Use-Case-gesteuerten Entwurf.
Das Buch, das nur Grundkenntnisse in objektorientierter Technologie... Das Buch vermittelt die grundlegenden Konzepte und Zusammenhange objektorientierter Entwurfsmethoden. Im Mittelpunkt stehen dabei die graphischen Besc...
|
cena:
206,88 |
 |
Deontic Logic in Computer Science: 10th International Conference, Deon 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
ISBN: 9783642141829 / Angielski / Miękka / 323 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the papers contributed to ?EON 2008, the 10th Int- national Conference on Deontic Logic in Computer Science, held in Fiesole (Florence), July 7 9, 2010. This biennial conference series is designed to p- mote international cooperation amongst scholars who are interested in deontic logic and its use in computer science. The scope of the conference is interd- ciplinary, it covers formal-logical studies of normative concepts and normative systems and their links with computer science, arti?cial intelligence, philosophy, organization theory, and law. This edition of ?EON...
This volume presents the papers contributed to ?EON 2008, the 10th Int- national Conference on Deontic Logic in Computer Science, held in Fiesole (Flo...
|
cena:
201,24 |
 |
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, Uk, July 11-14, 2010, Proceedings
ISBN: 9783642141850 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at SAT 2010, the 13th International Conference on Theory and Applications of Satis?ability Testing. SAT 2010 was held as part of the 2010 Federated Logic Conference (FLoC) and was hosted by the School of Informatics at the University of Edinburgh, Scotland. In addition to SAT, FLoC included the conferences CAV, CSF, ICLP, IJCAR, ITP, LICS, RTA, as well as over 50 workshops. A?liated with SAT were the workshops LaSh (Logic and Search, co-a?liated with ICLP), LoCoCo (Logics for C- ponent Con?guration), POS (Pragmatics Of SAT), PPC (Propositional Proof...
This volume contains the papers presented at SAT 2010, the 13th International Conference on Theory and Applications of Satis?ability Testing. SAT 2010...
|
cena:
201,24 |
 |
Logic and the Foundations of Game and Decision Theory - LOFT 8: 8th International Conference, Amsterdam, the Netherlands, July 3-5, 2008, Revised Sele
ISBN: 9783642151637 / Angielski / Miękka / 207 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is conceived as a rami?cation of the eighth conference on Logic and the Foundations of the Theory of Games and Decisions (LOFT8), which took placein Amsterdam, inJuly2008.Inall,61papersweresubmitted to thisevent, of which 48 were presented. This volume is based on a selection of the presented papers and the invited talks: they survived a thorough and lengthy reviewing process. The LOFT conferences have been a regular biannual event since 1994. The ?rstconference washosted by the Centre Internationalde RecherchesMathe- tiques in Marseille (France), the next four took place at the...
This volume is conceived as a rami?cation of the eighth conference on Logic and the Foundations of the Theory of Games and Decisions (LOFT8), which to...
|
cena:
201,24 |
 |
Logics in Artificial Intelligence: 12th European Conference, Jelia 2010, Helsinki, Finland, September 13-15, 2010, Proceedings
ISBN: 9783642156748 / Angielski / Miękka / 374 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on E-learning and Games, Edutainment 2010, held in Changchun, China, in August 2010.The book includes 3 invited talks, 26 regular papers, and 5 system descriptions.
This book constitutes the refereed proceedings of the 5th International Conference on E-learning and Games, Edutainment 2010, held in Changchun, China...
|
cena:
201,24 |
 |
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, Proceedings
ISBN: 9783642158971 / Angielski / Miękka / 231 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which was held on September 20-21, 2010, in Antwerp, Belgium. Previous workshops of the ERCIM working group on Formal Methods for Industrial Critical Systems wereheld in Oxford(March 1996), Cesena (July 1997), Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July 2002), Trondheim(June2003), Linz(September 2004), Lisbon(September 2005), Bonn (August 2006), Berlin (July 2007), L Aquila (September 2008), and Eindhoven...
This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which was ...
|
cena:
201,24 |
 |
Universal Logic: An Anthology: From Paul Hertz to Dov Gabbay
ISBN: 9783034601443 / Angielski / Miękka / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Godel, Kripke - giving a general perspective about logical systems. These papers discuss questions such as the relativity and nature of logic, present tools such as consequence operators and combinations of logics, prove theorems such as translations between logics, investigate the domain of validity and application of fundamental results such as compactness and completeness. Each of these papers is presented by a specialist explaining its context, import and influence.
A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Godel, Kripke - giving a general perspective about logical systems. These paper...
|
cena:
201,24 |
 |
Algorithmic Learning Theory: 21st International Conference, ALT 2010 Canberra, Australia, October 2010 Proceedings
ISBN: 9783642161070 / Angielski / Miękka / 421 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the 21st International Conf- ence on Algorithmic Learning Theory (ALT 2010), which was held in Canberra, Australia, October 6-8, 2010. The conference was co-located with the 13th - ternational Conference on Discovery Science (DS 2010) and with the Machine Learning Summer School, which was held just before ALT 2010. The tech- cal program of ALT 2010, contained 26 papers selected from 44 submissions and ?ve invited talks. The invited talks were presented in joint sessions of both conferences. ALT 2010 was dedicated to the theoretical foundations of...
This volume contains the papers presented at the 21st International Conf- ence on Algorithmic Learning Theory (ALT 2010), which was held in Canberra, ...
|
cena:
201,24 |
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
