» książki » Mathematics - Logic
topmenu
 |
Graph Grammars and Their Application to Computer Science: 5th International Workshop, Williamsburg, Va, Usa, November (13-18), 1995. Selected Papers.
ISBN: 9783540612285 / Angielski / Miękka / 573 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains a collection of 37 refereed full papers selected from the contributions presented at the 5th International Workshop on Graph Grammars and Their Applications to Computer Science, held in Williamsburg, Virginia, USA, in November 1994.
The book covers the whole spectrum of methods and techniques for the investigation of the structure of graphs and graph transformations. The papers are divided into nine topical sections on rewriting techniques, specification and semantics, software engineering, algorithms and architectures, concurrency, graph languages, pattern and graphics,... This book contains a collection of 37 refereed full papers selected from the contributions presented at the 5th International Workshop on Graph Gramma...
|
cena:
402,53 |
 |
Transactions on Rough Sets VI: Commemorating Life and Work of Zdislaw Pawlak, Part I
ISBN: 9783540711988 / Angielski / Miękka / 500 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume of the Transactions on Rough Sets commemorates the life and work of Zdzislaw Pawlak (1926-2006), whose legacy is rich and varied. It presents papers that reflect the profound influence of a number of research initiatives by Professor Pawlak, introducing a number of new advances in the foundations and applications of artificial intelligence, engineering, logic, mathematics, and science. This volume of the Transactions on Rough Sets commemorates the life and work of Zdzislaw Pawlak (1926-2006), whose legacy is rich and varied. It pr... |
cena:
402,53 |
 |
Case-Based Reasoning Research and Development: 5th International Conference on Case-Based Reasoning, Iccbr 2003, Trondheim, Norway, June 23-26, 2003,
ISBN: 9783540404330 / Angielski / Miękka / 734 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The refereed proceedings of the 5th International Conference on Case-Based Reasoning, ICCBR 2003, held in Trondheim, Norway, in June 2003. The 51 revised full papers presented were carefully reviewed and selected from 92 submissions. All current aspects of CBR are addressed including case representation, similarity retrieval, adaptation, case library maintenance, multi-agent collaborative systems, data mining, soft computing, recommender systems, knowledge management, legal reasoning, software reuse, and music. The refereed proceedings of the 5th International Conference on Case-Based Reasoning, ICCBR 2003, held in Trondheim, Norway, in June 2003. T... |
cena:
402,53 |
 |
Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the Eacsl, Edinburgh, Scotland, Uk, September
ISBN: 9783540442400 / Angielski / Miękka / 628 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22-25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries...
The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on ...
|
cena:
402,53 |
 |
Foundations of the Logical Theory of Scientific Knowledge (Complex Logic)
ISBN: 9789027701930 / Angielski / Twarda / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Boston Studies in the Philosophy of Science are devoted to symposia, con- gresses, colloquia, monographs and collected papers on the philosophical foundations of the sciences. It is now our pleasure to include A. A. Zi- nov'ev's treatise on complex logic among these volumes. Zinov'ev is one of the most creative of modern Soviet logicians, and at the same time an innovative worker on the methodological foundations of science. More- over, Zinov'ev, although still a developing scholar, has exerted a sub- stantial and stimulating influence upon his colleagues and students in Moscow and within...
Boston Studies in the Philosophy of Science are devoted to symposia, con- gresses, colloquia, monographs and collected papers on the philosophical fou...
|
cena:
402,53 |
 |
Learning Theory: 18th Annual Conference on Learning Theory, Colt 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings
ISBN: 9783540265566 / Angielski / Miękka / 692 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains papers presented at the Eighteenth Annual Conference on Learning Theory (previously known as the Conference on Computational Learning Theory) held in Bertinoro, Italy from June 27 to 30, 2005. The technical program contained 45 papers selected from 120 submissions, 3 open problems selected from among 5 contributed, and 2 invited lectures. The invited lectures were given by Sergiu Hart on "Uncoupled Dynamics and Nash Equilibrium," and by Satinder Singh on "Rethinking State, Action, and Reward in Reinforcement Learning." These papers were not included in this volume. The...
This volume contains papers presented at the Eighteenth Annual Conference on Learning Theory (previously known as the Conference on Computational Lear...
|
cena:
402,53 |
 |
Applications of Graph Transformations with Industrial Relevance: International Workshop, Agtive'99 Kerkrade, the Netherlands, September 1-3, 1999 Proc
ISBN: 9783540676584 / Angielski / Miękka / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Graph Transformation with Industrial Relevance, AGTIVE'99, held in Kerkrade, The Netherlands, in June 1999.
The 28 revised full papers presented went through an iterated process of reviewing and revision. Also included are three invited papers, 10 tool demonstrations, a summary of a panel discussion, and lists of graph transformation systems and books on graph transformations. The papers are organized in sections on modularization concepts, distributed systems modeling, software architecture:... This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Graph Transformation with Industrial Relevance, AGTIVE...
|
cena:
402,53 |
 |
Learning Theory: 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006, Proceedings
ISBN: 9783540352945 / Angielski / Miękka / 660 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 19th Annual Conference on Learning Theory, COLT 2006, held in Pittsburgh, Pennsylvania, USA, June 2006. The book presents 43 revised full papers together with 2 articles on open problems and 3 invited lectures. The papers cover a wide range of topics including clustering, un- and semi-supervised learning, statistical learning theory, regularized learning and kernel methods, query learning and teaching, inductive inference, and more. This book constitutes the refereed proceedings of the 19th Annual Conference on Learning Theory, COLT 2006, held in Pittsburgh, Pennsylvania, USA, ... |
cena:
402,53 |
 |
Learning Theory and Kernel Machines: 16th Annual Conference on Computational Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003, Proceedings
ISBN: 9783540407201 / Angielski / Miękka / 754 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains papers presented at the joint 16th Annual Conference on Learning Theory (COLT) and the 7th Annual Workshop on Kernel Machines, heldinWashington, DC, USA, duringAugust24 27,2003.COLT, whichrecently merged with EuroCOLT, has traditionally been a meeting place for learning theorists. We hope that COLT will bene't from the collocation with the annual workshoponkernelmachines, formerlyheldasaNIPSpostconferenceworkshop. The technical program contained 47 papers selected from 92 submissions. All 47paperswerepresentedasposters;22ofthepaperswereadditionallypresented...
This volume contains papers presented at the joint 16th Annual Conference on Learning Theory (COLT) and the 7th Annual Workshop on Kernel Machines, he...
|
cena:
402,53 |
 |
Knowledge Discovery in Databases: Pkdd 2007: 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Warsaw, Poland,
ISBN: 9783540749752 / Angielski / Miękka / 644 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two premier annual European conferences in the areas of machine learning and data mining have been collocated ever since the ?rst joint conference in Freiburg, 2001. The European Conference on Machine Learning (ECML) traces its origins to 1986, when the ?rst European Working Session on Learning was held in Orsay, France. The European Conference on Principles and Practice of KnowledgeDiscoveryinDatabases(PKDD) was?rstheldin1997inTrondheim, Norway. Over the years, the ECML/PKDD series has evolved into one of the largest and most selective international conferences in machine learning and...
The two premier annual European conferences in the areas of machine learning and data mining have been collocated ever since the ?rst joint conference...
|
cena:
402,53 |
 |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings
ISBN: 9783540752554 / Angielski / Miękka / 916 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2007. Coverage in the 78 revised full papers, presented together with three invited papers, includes Bayesian networks, graphical models, learning causal networks, planning, causality and independence, preference modeling and decision, argumentation systems, inconsistency handling, and uncertainty measures. This book constitutes the refereed proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty... |
cena:
402,53 |
 |
Machine Learning and Knowledge Discovery in Databases
ISBN: 9783540874805 / Angielski / Miękka / 728 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the joint conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2008, held in Antwerp, Belgium, in September 2008. The 100 papers presented in two volumes, together with 5 invited talks, were carefully reviewed and selected from 521 submissions. In addition to the regular papers the volume contains 14 abstracts of papers appearing in full version in the Machine Learning Journal and the Knowledge Discovery and Databases Journal of Springer. The conference intends to provide an international forum for the discussion of...
This book constitutes the refereed proceedings of the joint conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2008, held ...
|
cena:
402,53 |
 |
Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, P
ISBN: 9783540875307 / Angielski / Miękka / 513 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. The 31 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 102 submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award.
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Confere...
|
cena:
402,53 |
 |
Advances in Case-Based Reasoning: 9th European Conference, ECCBR 2008 Trier, Germany, September 1-4, 2008 Proceedings
ISBN: 9783540855019 / Angielski / Miękka / 650 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the 9th European Conference on Case-Based Reasoning (ECCBR 2008). Case-based reasoning (CBR) is an arti?cial intelligence approach whereby new problems are solved by remembering, adapting and reusing solutions to a previously solved, similar problem. The collection of previously solved problems andtheirassociatedsolutionsisstoredinthecasebase. Neworadaptedsolutions are learned and updated in the case base as needed. In remembrance of the First European Workshop on Case-Based Reasoning, which took place 15 years ago at the European Academy...
This volume contains the papers presented at the 9th European Conference on Case-Based Reasoning (ECCBR 2008). Case-based reasoning (CBR) is an arti?c...
|
cena:
402,53 |
 |
Applications of Graph Transformations with Industrial Relevance: Third International Symposium, Agtive 2007, Kassel, Germany, October 10-12, 2007, Rev
ISBN: 9783540890195 / Angielski / Miękka / 594 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ThisvolumecompilesallpaperspresentedattheInternationalSymposiumon- plications of Graph Transformation with Industrial Relevance (AGTIVE 2007). Thesubmissions?rstunderwentathoroughreviewprocessbeforeAGTIVE2007. Asecondreviewroundwasorganizedafterthesymposiumfor(1)?nalpaperv- sions of presented contributions, (2) additional short tool surveys, and (3) the results ofa separatetoolcompetition satellite event. AGTIVE 2007 was the third practice-orientedscienti?c meeting of the graph transformationcommunity. The aim of the AGTIVE seriesasa whole is to serve...
ThisvolumecompilesallpaperspresentedattheInternationalSymposiumon- plications of Graph Transformation with Industrial Relevance (AGTIVE 2007). Thesubm...
|
cena:
402,53 |
 |
AI 2008: Advances in Artificial Intelligence: 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings
ISBN: 9783540893776 / Angielski / Miękka / 616 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, held in Auckland, New Zealand, in December 2008. The 42 revised full papers and 21 revised short papers presented together with 1 invited lecture were carefully reviewed and selected from 143 submissions. The papers are organized in topical sections on knowledge representation, constraints, planning, grammar and language processing, statistical learning, machine learning, data mining, knowledge discovery, soft computing, vision and image processing, and AI...
This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, held in Auckland, New Ze...
|
cena:
402,53 |
 |
Algebraic Methodology and Software Technology: 6th International Conference, Amast '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings
ISBN: 9783540638889 / Angielski / Miękka / 602 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents 48 revised full papers from the Sixth International Conference on Algebraic Methodology and Software Technology. One of the features of this conference is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies and industrial development. The volume addresses all aspects of formal methods in software engineering and programming methodology, with an emphasis on algebraic and logical foundations.
This volume presents 48 revised full papers from the Sixth International Conference on Algebraic Methodology and Software Technology. One of the featu...
|
cena:
402,53 |
 |
Transactions on Rough Sets IX
ISBN: 9783540898757 / Angielski / Miękka / 750 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. functions, rou- ness, singing voice recognition, and vagueness. A total of 47 researchers are represented in this volume.
functions, rou- ness, singing voice recognition, and vagueness. A total of 47 researchers are represented in this volume.
|
cena:
402,53 |
 |
Knowledge Discovery in Databases: Pkdd 2005: 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal,
ISBN: 9783540292449 / Angielski / Miękka / 719 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The European Conference on Machine Learning (ECML) and the European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) were jointly organized this year for the ?fth time in a row, after some years of mutual independence before. After Freiburg (2001), Helsinki (2002), Cavtat (2003) and Pisa (2004), Porto received the 16th edition of ECML and the 9th PKDD in October 3-7. Having the two conferences together seems to be working well: 585 di?erent paper submissions were received for both events, which maintains the high s- mission standard of last year. Of these, 335...
The European Conference on Machine Learning (ECML) and the European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) w...
|
cena:
402,53 |
 |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings
ISBN: 9783540273264 / Angielski / Miękka / 1028 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These are the proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005, held in Barcelona (Spain), July 6-8, 2005. The ECSQARU conferences are biennial and have become a major forum for advances in the theory and practice of r- soning under uncertainty. The ?rst ECSQARU conference was held in Marseille (1991), and after in Granada (1993), Fribourg (1995), Bonn (1997), London (1999), Toulouse (2001) and Aalborg (2003). The papers gathered in this volume were selected out of 130 submissions, after a strict review process by...
These are the proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005, held in ...
|
cena:
402,53 |
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
