» książki » Mathematics - Logic
 |
Computation, Physics and Beyond: International Workshop on Theoretical Computer Science, Wtcs 2012, Dedicated to Cristian S. Calude on the Occasion of
ISBN: 9783642276538 / Angielski / Miękka / 427 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Festschrift volume has been published in honor of Cristian Calude on the occasion of his 60th birthday and contains contributions from invited speakers and regular papers presented at the International Workshop on Theoretical Computer Science, WTCS 2012, held in Auckland, New Zealand, in February 2012. Cristian Calude has made a significant contribution to research in computer science theory. Along with early work by Chaitin, Ku era, Kurtz, Solovay, and Terwijn his papers published in the mid-1990s jointly with Khoussainov, Hertling, and Wang laid the foundation for the development... This Festschrift volume has been published in honor of Cristian Calude on the occasion of his 60th birthday and contains contributions from invited... |
cena:
201,24 |
 |
Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
ISBN: 9783642284113 / Angielski / Miękka / 303 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and...
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT...
|
cena:
201,24 |
 |
Verified Software: Theories, Tools, Experiments: 4th International Conference, Vstte 2012, Philadelphia, Pa, Usa, January 28-29, 2012 Proceedings
ISBN: 9783642277047 / Angielski / Miękka / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial submissions for inclusion in the book. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. The papers address topics such as: specification and verification...
This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in P...
|
cena:
201,24 |
 |
The Mathematics of Language: 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings
ISBN: 9783642232107 / Angielski / Miękka / 227 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 12th Biennial Meeting on Mathematics in Language, MOL 12, held in Nara, Japan, in September 2011. Presented in this volume are 12 carefully selected papers, as well as the paper of the invited speaker Andreas Maletti. The papers cover such diverse topics as formal languages (string and tree transducers, grammar-independent syntactic structures, probabilistic and weighted context-free grammars, formalization of minimalist syntax), parsing and unification, lexical and compositional semantics, statistical language models, and theories of... This book constitutes the proceedings of the 12th Biennial Meeting on Mathematics in Language, MOL 12, held in Nara, Japan, in September 2011. ... |
cena:
201,24 |
 |
Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings
ISBN: 9783642242878 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Workshop on Reachability Problems, RP 2011, held in Genoa, Italy, in September 2011. The 16 papers presented together with 4 invited talks were carefully reviewed and selected from 24 submissions. The workshop deals with reachability problems that appear in algebraic structures, computational models, hybrid systems, logic, and verification. Reachability is a fundamental problem that appears in several different contexts: finite- and infinite-state concurrent systems, computational models like cellular automata and Petri...
This book constitutes the refereed proceedings of the 5th International Workshop on Reachability Problems, RP 2011, held in Genoa, Italy, in September...
|
cena:
201,24 |
 |
Modeling and Using Context: 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011, Proceedings
ISBN: 9783642242786 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 7th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2011, held in Karlsruhe, Germany in September 2011. The 17 full papers and 7 short papers presented were carefully reviewed and selected from 54 submissions. In addition the book contains two keynote speeches and 8 poster papers. They cover cutting-edge results from the wide range of disciplines concerned with context, including the cognitive sciences (linguistics, psychology, philosophy, computer science, neuroscience), the social sciences and organization...
This book constitutes the proceedings of the 7th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2011, held in K...
|
cena:
201,24 |
 |
Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
ISBN: 9783642244513 / Angielski / Miękka / 291 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed post-proceedings of the 20th International Workshop on Implementation and Applications of Functional Languages, IFL 2008, held in Hatfield, UK, in September 2008.
Constitutes the refereed post-proceedings of the 20th International Workshop on Implementation and Applications of Functional Languages, IFL 2008, hel...
|
cena:
201,24 |
 |
Multidisciplinary Aspects of Time and Time Perception: Cost Td0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papers
ISBN: 9783642214776 / Angielski / Miękka / 291 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the documentation of the scientific outcome of the first meeting of the TIMELY network, the International Workshop on Multidisciplinary Aspects of Time and Time Perception, which took place in Athens, Greece, in October 2010. The 21 papers presented were carefully reviewed and selected for inclusion in the book. They cover the following topics: conceptual analysis and measurement of time; exploring factors associated with time perception variability; extending time research to ecologically-valid stimuli and real-world applications; and uncovering the neural... This book constitutes the documentation of the scientific outcome of the first meeting of the TIMELY network, the International Workshop on Multidi... |
cena:
201,24 |
 |
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
ISBN: 9783642221095 / Angielski / Miękka / 763 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011. The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the following workshops: 4th International Workshop on Numerical Software Verification (NSV 2011), 10th International Workshop on Parallel and Distributed Methods in Verifications (PDMC 2011), 4th International Workshop on Exploiting Concurrency... This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT,... |
cena:
201,24 |
 |
Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings
ISBN: 9783642229527 / Angielski / Miękka / 373 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 18th International Symposium Fundamentals of Computation Theory, FCT 2011, held in Oslo, Norway, in August 2011. The 28 revised full papers presented were carefully reviewed and selected from 78 submissions. FCT 2011 focused on algorithms, formal methods, and emerging fields, such as ad hoc, dynamic and evolving systems; algorithmic game theory; computational biology; foundations of cloud computing and ubiquitous systems; and quantum computation.
This book constitutes the refereed proceedings of the 18th International Symposium Fundamentals of Computation Theory, FCT 2011, held in Oslo, Norway,...
|
cena:
201,24 |
 |
Machine Learning and Data Mining in Pattern Recognition: 7th International Conference, MLDM 2011, New York, NY, USA, August 30-September 3, 2011Proceedings
ISBN: 9783642231988 / Angielski / Miękka / 614 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Machine Learning and Data Mining in Pattern Recognition, MLDM 2011, held in New York, NY, USA.The 44 revised full papers presented were carefully reviewed and selected from 170 submissions. The papers are organized in topical sections on classification and decision theory, theory of learning, clustering, appilication in medicine, Webmining and information mining; and machine learning and image mining.
This book constitutes the refereed proceedings of the 7th International Conference on Machine Learning and Data Mining in Pattern Recognition, MLDM 20...
|
cena:
201,24 |
 |
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings
ISBN: 9783642244308 / Angielski / Miękka / 261 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento...
|
cena:
201,24 |
 |
e-Business and Telecommunications: 7th International Joint Conference, ICETE, Athens, Greece, July 26-28, 2010, Revised Selected Papers
ISBN: 9783642252051 / Angielski / Miękka / 468 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Joint Conference on e-Business and Telecommunications, ICETE 2010, held in Athens, Greece, in July 2010. The 28 revised full papers presented together with 1 invited paper in this volume were carefully reviewed and selected from 422 initial submissions. They have passed two rounds of selection and improvement. According to the topics of the particular conference the papers are organized in thematical parts on data communication networking (DCNET), e-business (ICE-B), optical communication...
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Joint Conference on e-Business and Telecommunicatio...
|
cena:
201,24 |
 |
Certified Programs and Proofs: First International Conference, Cpp 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
ISBN: 9783642253782 / Angielski / Miękka / 401 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011.
The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls. This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiw...
|
cena:
201,24 |
 |
Algebraic and Numeric Biology: 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers
ISBN: 9783642280665 / Angielski / Miękka / 185 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Biology, ANB 2010, held at the Castle of Hagenberg, Austria in July/August 2010. The conference is a follow up of the AB Conference. The 10 papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on mathematical modeling, system analysis and design, genomics, molecular structure analysis, automata theory, artificial intelligence, sequence analysis, automated reasoning, formal language and hybrid symbolic numerical methods.
This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Biology, ANB 2010, held at the Castle of Hagenberg, Au...
|
cena:
201,24 |
 |
Foundations of Information and Knowledge Systems: 7th International Symposium, Foiks 2012, Kiel, Germany, March 5-9, 2012, Proceedings
ISBN: 9783642284717 / Angielski / Miękka / 405 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel, Germany, in March 2012. The 12 regular and 8 short papers, presented together with two invited talks in full paper-length, were carefully reviewed and selected from 53 submissions. The contributions cover foundational aspects of information and knowledge systems. These include the application of ideas, theories or methods from specific disciplines to information and knowledge systems, such as discrete mathematics, logic and algebra, model...
This book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel...
|
cena:
201,24 |
 |
Reversible Computation: Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers
ISBN: 9783642295164 / Angielski / Miękka / 123 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. This title addresses topics such as: functional language for reversible computations, logic design, and reversible circuits designed by a software toolkit called RevKit.
Constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in Ju...
|
cena:
201,24 |
 |
Formal Concept Analysis: 10th International Conference, Icfca 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
ISBN: 9783642298912 / Angielski / Miękka / 309 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 10th International Conference on Formal Concept Analysis, ICFCA 2012, held in Leuven, Belgium in May 2012. The topics covered in this volume range from recent advances in machine learning and data mining;
This book constitutes the refereed proceedings of the 10th International Conference on Formal Concept Analysis, ICFCA 2012, held in Leuven, Belgium in...
|
cena:
201,24 |
 |
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and
ISBN: 9783642313738 / Angielski / Miękka / 473 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012 and more.
Constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th S...
|
cena:
201,24 |
 |
Logical Aspects of Computational Linguistics: 7th International Conference, Lacl 2012, Nantes, France, July 2-4, 2012, Proceedings
ISBN: 9783642312618 / Angielski / Miękka / 251 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Conference on Logical Aspects of Computational Linguistics, LACL 2012, held in Nantes, France, in July 2012. The 15 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 24 submissions. The papers are organized in topical sections on logical foundation of syntactic formalisms, logics for semantics of lexical items, sentences, discourse and dialog, applications of these models to natural...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th Inte...
|
cena:
201,24 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
