» książki » Mathematics - Logic
topmenu
 |
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
ISBN: 9783642041662 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
| |
Fundamentals of Computation Theory: 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings
ISBN: 9783642034084 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Symposium on Fundamentals of Computation Theory was established in 1977 for researchers interested in all aspects of theoretical computer science, in particular in algorithms, complexity, and formal and logical methods. It is a biennialconference, whichhaspreviouslybeenheldinPoznan (1977), Wendisch- Rietz (1979), Szeged (1981), Borgholm (1983), Cottbus (1985), Kazan (1987), Szeged (1989), Gosen-Berlin (1991), Szeged (1993), Dresden (1995), Krak ow (1997), Ia, si (1999), Riga (2001), Malmo ] (2003), Lu ]beck (2005) and Budapest (2007)....
The Symposium on Fundamentals of Computation Theory was established in 1977 for researchers interested in all aspects of theoretical computer science,...
|
cena:
201,24 |
| |
Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
ISBN: 9783642034282 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains selected papers from WADT 2008, the 19th International WorkshoponAlgebraicDevelopmentTechniques. Afterhavingjoinedforceswith CMCS for CALCO 2007 in Bergen, WADT took place in 2008 as an individual workshop and in its traditional format. Like its predecessors, WADT 2008 focussed on the algebraic approach to the speci?cation and development of systems, which encompasses many aspects of formal design. Originally born around formal methods for reasoning about abstract data types, WADT now covers new speci?cation frameworks and p- gramming paradigms (such as object-oriented,...
This volume contains selected papers from WADT 2008, the 19th International WorkshoponAlgebraicDevelopmentTechniques. Afterhavingjoinedforceswith CMCS...
|
cena:
201,24 |
| |
Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings
ISBN: 9783642044199 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Third International Workshop on Reachability Problems, RP 2009 was held in Ecole Polytechnique, September 23-25, 2009, in Palaiseau, near to Paris, France. Reachability Problems 2009 was hosted as an edition of the annual LIX Fall Colloquium. The LIX Fall Colloquium is the annual colloquium organized by the computer science laboratory of Ecole Polytechnique. The topics of this c- loquiumchange everyyear. Previouseditions includeEmerging Trends in Visual Computing (ETVC 2008) in 2008, Complex Industrial Systems: Modeling, Ve- ?cationandOptimization in2007, and Emerging...
The Third International Workshop on Reachability Problems, RP 2009 was held in Ecole Polytechnique, September 23-25, 2009, in Palaiseau, near to Paris...
|
cena:
201,24 |
| |
Algebraic Informatics: 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009
ISBN: 9783642035630 / Angielski / Miękka / 361 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Conference on Algebraic Informatics, CAI 2009, held in Thessaloniki, Greece, in May 2009. The 16 full papers were carefully reviewed and selected from 25 submissions. The papers cover topics such as algebraic semantics on graph and trees, formal power series, syntactic objects, algebraic picture processing, finite and infinite computations, acceptors and transducers for strings, trees, graphs arrays, etc. decision problems, algebraic characterization of logical theories, process algebra, algebraic algorithms, algebraic...
This book constitutes the refereed proceedings of the Third International Conference on Algebraic Informatics, CAI 2009, held in Thessaloniki, Greece,...
|
cena:
201,24 |
| |
Infinity in Logic and Computation
ISBN: 9783642030918 / Angielski / Miękka / 137 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
| |
Conceptual Structures: Leveraging Semantic Technologies: 17th International Conference on Conceptual Structures, ICCS 2009 Moscow, Russia, July 26-31,
ISBN: 9783642030789 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The nature of conceptual thinking constitutes a central topic in a variety of scienti?c disciplines. Since 1993, the International Conference on Conceptual Structures (ICCS) has served as a platform that brings together researchersand practioners in information and computer sciences as well as social science to explore novel ways of representing and analyzing conceptual knowledge. Ori- nally centered around research on knowledge representation and reasoning with conceptual graphs, over the years ICCS has broadened its scope to include in- vations from a wider range of theories and related...
The nature of conceptual thinking constitutes a central topic in a variety of scienti?c disciplines. Since 1993, the International Conference on Conce...
|
cena:
201,24 |
| |
The State of the Art in Computational Intelligence: Proceedings of the European Symposium on Computational Intelligence Held in Kosice, Slovak Republi
ISBN: 9783790813227 / Angielski / Miękka / 401 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computational intelligence integrates fields such as neural networks, fuzzy systems, evolutionary computation and intelligent systems in general. This book contains theoretical studies as well as a chapter on applications and case studies.
Computational intelligence integrates fields such as neural networks, fuzzy systems, evolutionary computation and intelligent systems in general. This...
|
cena:
201,24 |
| |
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings
ISBN: 9783540679592 / Angielski / Miękka / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods....
The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-2...
|
cena:
201,24 |
| |
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
ISBN: 9783540676645 / Angielski / Miękka / 526 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for the 17th International Conference on Automated Deduction, CADE-17, held June 17-20, 2000, at Carnegie Mellon University, Pittsburgh, Pennsylvania (USA). Fifty-three research papers and twenty system descriptions were submitted by researchers from ?fteen countries. Each submission was reviewed by at least three reviewers. Twenty-four research papers and ?fteen system descriptions were accepted. The...
For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains th...
|
cena:
201,24 |
| |
Natural Language Processing - NLP 2000: Second International Conference Patras, Greece, June 2-4, 2000 Proceedings
ISBN: 9783540676058 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers prepared for the 2nd International Conference on Natural Language Processing, held 2-4 June in Patras, Greece. The conference program features invited talks and submitted papers, c- ering a wide range of NLP areas: text segmentation, morphological analysis, lexical knowledge acquisition and representation, grammar formalism and s- tacticparsing, discourse analysis, languagegeneration, man-machineinteraction, machine translation, word sense disambiguation, and information extraction. The program committee received 71 abstracts, of which unfortunately no more...
This volume contains the papers prepared for the 2nd International Conference on Natural Language Processing, held 2-4 June in Patras, Greece. The con...
|
cena:
201,24 |
| |
Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers
ISBN: 9783540420712 / Angielski / Miękka / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000.
The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications. This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AI...
|
cena:
201,24 |
| |
Learning Language in Logic
ISBN: 9783540411451 / Angielski / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume has its origins in the ?rst Learning Language in Logic (LLL) wo- shop which took place on 30 June 1999 in Bled, Slovenia immediately after the Ninth International Workshop on Inductive Logic Programming (ILP'99) and the Sixteenth International Conference on Machine Learning (ICML'99). LLL is a research area lying at the intersection of computational linguistics, machine learning, and computational logic. As such it is of interest to all those working in these three ?elds. I am pleased to say that the workshop attracted subm- sions from both the natural language processing (NLP)...
This volume has its origins in the ?rst Learning Language in Logic (LLL) wo- shop which took place on 30 June 1999 in Bled, Slovenia immediately after...
|
cena:
201,24 |
| |
The Pillars of Computation Theory: State, Encoding, Nondeterminism
ISBN: 9780387096384 / Angielski / Miękka / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The abstract branch of theoretical computer science known as Computation Theory typically appears in undergraduate academic curricula in a form that obscures both the mathematical concepts that are central to the various components of the theory and the relevance of the theory to the typical student. This regrettable situation is due largely to the thematic tension among three main competing principles for organizing the material in the course. This book is motivated by the belief that a deep understanding of, and operational control over, the few "big" mathematical ideas that... The abstract branch of theoretical computer science known as Computation Theory typically appears in undergraduate academic curricula in a form tha... |
cena:
201,24 |
| |
Membrane Computing
ISBN: 9783642114663 / Angielski / Miękka / 485 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains a selection of papers presented at the 10th Workshop on Membrane Computing, WMC 2009, which took place in Curtea de Arge, s, Romania, during August 24 27, 2009. The?rstthreeWorkshopsonMembraneComputingwereorganizedinCurtea de Arge, s, Romania they took place in August 2000 (with the proceedings p- lished in Lecture Notes in Computer Science, volume 2235), in August 2001 (with a selection of papers published as a special issue ofFundamenta Inform- icae, volume 49, numbers 1 3, 2002), and in August 2002 (with the proceedings publishedinLectureNotesinComputerScience,...
This volume contains a selection of papers presented at the 10th Workshop on Membrane Computing, WMC 2009, which took place in Curtea de Arge, s, Roma...
|
cena:
201,24 |
| |
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
ISBN: 9783642114465 / Angielski / Miękka / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Egon B] orger Tribute to Egon B] orger on th the Occasion of his 60 Birthday 1 2 Jean-Raymond Abrial and Uwe Glasser ] 1 jrabrial@neuf. fr 2 glaesser@cs. sfu. ca Egon B] orger was born on May 13, 1946, in Westfalia (Germany). After the cl- sic baccalaur eat, from 1965-1971 he studied philosophy, logic and mathematics at the Sorbonne (Paris, France), Institut Sup erieur de Philosophie de Louvain (Belgium), Universit e de Louvain and Universitat ] Munster ] (Germany), where he got his doctoral degree and in 1976 his Habilitation in mathematics. The themes of his doctoral dissertation,...
Egon B] orger Tribute to Egon B] orger on th the Occasion of his 60 Birthday 1 2 Jean-Raymond Abrial and Uwe Glasser ] 1 jrabrial@neuf. fr 2 glaesser@...
|
cena:
201,24 |
| |
Knowledge Representation for Agents and Multi-Agent Systems: First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers
ISBN: 9783642053009 / Angielski / Miękka / 162 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book comprises the formal proceedings of KRAMAS 2008, a workshop on Knowledge Representation for Agents and Multi-Agent Systems, held at KR 2008, Sydney, Australia, September 17, 2008. The initiative for KRAMAS 2008 wastakenbylastyear'sKRChairstoenhancecross-fertilizationbetweentheKR (KnowledgeRepresentationandReasoning)andagentcommunities. Topromote participation in the KR schedule, the workshop was conveniently 'sandwiched' between days with regular KR sessions. The topics solicited included: - Knowledge representation and reasoning aspects of agent systems (lang- ges, ontologies,...
This book comprises the formal proceedings of KRAMAS 2008, a workshop on Knowledge Representation for Agents and Multi-Agent Systems, held at KR 2008,...
|
cena:
201,24 |
| |
Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12-16, 1982
ISBN: 9783540115762 / Angielski / Miękka / 615 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
| |
Theory and Applications of Models of Computation: 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
ISBN: 9783642135613 / Angielski / Miękka / 480 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Models of Computation, TAMC 2010, held in Prague, Czech Republic, in June 2010. This book presents the papers addressing the three main themes of the conference which were computability, complexity, and algorithms.
Constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Models of Computation, TAMC 2010, held in Pragu...
|
cena:
201,24 |
| |
Computational Logic in Multi-Agent Systems: 14th International Workshop, Clima XIV, Corunna, Spain, September 16-18, 2013, Proceedings
ISBN: 9783642406232 / Angielski / Miękka / 391 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013. The 23 regular papers were carefully reviewed and selected from 44 submissions and presented with four invited talks. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This edition will feature two special sessions: Argumentation Technologies and Norms and...
This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Sp...
|
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
