» książki » Mathematics - Discrete Mathematics
 |
The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic
ISBN: 9783540206071 / Angielski / Miękka / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of contextual logic is to provide a formal theory of elementary logic, which is based on the doctrines of concepts, judgements, and conclusions. Concepts are mathematized using Formal Concept Analysis (FCA), while an approach to the formalization of judgements and conclusions is conceptual graphs, based on Peirce's existential graphs. Combining FCA and a mathematization of conceptual graphs yields so-called concept graphs, which offer a formal and diagrammatic theory of elementary logic. Expressing negation in contextual logic is a difficult task. Based on the author's... The aim of contextual logic is to provide a formal theory of elementary logic, which is based on the doctrines of concepts, judgements, and conclus... |
cena:
201,72 |
 |
Combinatorial Stochastic Processes: Ecole d'Eté de Probabilités de Saint-Flour XXXII - 2002
ISBN: 9783540309901 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Three series of lectures were given at the 32nd Probability Summer School in Saint-Flour (July 7 24, 2002), by the Professors Pitman, Tsirelson and Werner. ThecoursesofProfessorsTsirelson( Scalinglimit, noise, stability )andWerner ( Random planar curves and Schramm-Loewner evolutions ) have been p- lished in a previous issue ofLectures Notes in Mathematics (volume 1840). This volume contains the course Combinatorial stochastic processes of Professor Pitman. We cordially thank the author for his performance in Saint-Flour and for these notes. 76 participants have attended this school. 33 of...
Three series of lectures were given at the 32nd Probability Summer School in Saint-Flour (July 7 24, 2002), by the Professors Pitman, Tsirelson and We...
|
cena:
221,90 |
 |
Symbolic and Numerical Scientific Computation: Second International Conference, Snsc 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers
ISBN: 9783540405542 / Angielski / Miękka / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych.
This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Symbolic and Numerical Scientific Computation, SNSC 2001, held in Hagenberg, Austria, in September 2001. The 19 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on symbolics and numerics of differential equations, symbolics and numerics in algebra and geometry, and applications in physics and engineering.
This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Symbolic and Numerical Scientific... |
cena:
201,72 |
 |
Mathematical Foundations of Computer Science 2008: 33rd International Symposium, Mfcs 2008, Torun, Poland, August 25-29, 2008, Proceedings
ISBN: 9783540852377 / Angielski / Miękka / 626 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The symposia on Mathematical Foundations of Computer Science, generally known under the acronym MFCS, have been organized alternately in Poland, the Czech Republic and Slovakia since 1972. They have a well-established tradition and inter- tional recognition as an event bringing together researchers in all branches of theore- cal computer science. The previous meetings took place in Jab?onna 1972, trbske Pleso 1973; Jadwisin 1974, Marianske Lazn ?, 1975, Gda ?sk 1976, Tatranska Lomnica 1977, Zakopane 1978, Olomouc 1979, Rydzyna 1980, trbske Pleso 1981, Prague 1984, Bratislava 1986, Karlovy...
The symposia on Mathematical Foundations of Computer Science, generally known under the acronym MFCS, have been organized alternately in Poland, the C...
|
cena:
403,47 |
 |
Theory of Quantum Computation, Communication, and Cryptography: Third Workshop, Tqc 2008 Tokyo, Japan, January 30 - February 1, 2008, Revised Selected
ISBN: 9783540893035 / Angielski / Miękka / 118 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the Third Workshop on Theory of Quantum Computation, Communication, and Cryptography, TQC 2008, held in Tokyo, Japan, in January/February 2008. The 10 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers present current original research and focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are part of a larger interdisciplinary field that casts information science in a quantum mechanical framework.
This book constitutes the thoroughly refereed post-workshop proceedings of the Third Workshop on Theory of Quantum Computation, Communication, and Cry...
|
cena:
201,72 |
 |
Measurement Theory: Volume 7: With Applications to Decisionmaking, Utility, and the Social Sciences
ISBN: 9780521102438 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides an introduction to measurement theory for non-specialists and puts measurement in the social and behavioural sciences on a firm mathematical foundation. Results are applied to such topics as measurement of utility, psychophysical scaling and decision-making about pollution, energy, transportation and health. The results and questions presented should be of interest to both students and practising mathematicians since the author sets forth an area of mathematics unfamiliar to most mathematicians, but which has many potentially significant applications.
This book provides an introduction to measurement theory for non-specialists and puts measurement in the social and behavioural sciences on a firm mat...
|
cena:
449,03 |
 |
Latin 2004: Theoretical Informatics: 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings
ISBN: 9783540212584 / Angielski / Miękka / 632 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Latin American Theoretical Inf- matics (LATIN) conference that was held in Buenos Aires, Argentina, April 5 8, 2004. The LATIN series of symposia was launched in 1992 to foster interactions between the Latin American community and computer scientists around the world. This was the sixth event in the series, following S ao Paulo, Brazil (1992), Valparaiso, Chile (1995), Campinas, Brazil (1998), Punta del Este, Uruguay (2000), and Cancun, Mexico (2002). The proceedings of these conferences were also published by Springer-Verlag in the Lecture Notes in...
This volume contains the proceedings of the Latin American Theoretical Inf- matics (LATIN) conference that was held in Buenos Aires, Argentina, April ...
|
cena:
403,47 |
 |
Algorithms in Bioinformatics: 4th International Workshop, Wabi 2004, Bergen, Norway, September 17-21, 2004, Proceedings
ISBN: 9783540230182 / Angielski / Miękka / 477 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It gives us great pleasure to present the proceedings of the 4th Workshop on Algorithms in Bioinformatics (WABI 2004) which took place in Bergen, Norway, September 17 21, 2004. The WABI 2004 workshop was part of a ?- conference meeting, which in addition to WABI, included ESA, WAOA, IWPEC, and ATMOS, hosted by the University of Bergen, Norway. See http: //www.ii.uib.no/algo2004/ for more details. TheWorkshoponAlgorithmsinBioinformaticscoversresearchonallaspects of algorithmic work in bioinformatics. The emphasis is on discrete algorithms that address important problems in molecular biology....
It gives us great pleasure to present the proceedings of the 4th Workshop on Algorithms in Bioinformatics (WABI 2004) which took place in Bergen, Norw...
|
cena:
403,47 |
 |
Progress in Cryptology - Indocrypt 2004: 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004, Proceedings
ISBN: 9783540241300 / Angielski / Miękka / 431 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The INDOCRYPT series of conferences started in 2000. INDOCRYPT 2004 was the ?fth one in this series. The popularity of this series is increasing every year. The number of papers submitted to INDOCRYPT 2004 was 181, out of which 147 papers conformed to the speci?cations in the call for papers and, therefore, were accepted to the review process. Those 147 submissions were spread over 22 countries. Only 30 papers were accepted to this proceedings. We should note that many of the papers that were not accepted were of good quality but only the top 30 papers were accepted. Each submission received...
The INDOCRYPT series of conferences started in 2000. INDOCRYPT 2004 was the ?fth one in this series. The popularity of this series is increasing every...
|
cena:
201,72 |
 |
Information Retrieval Technology: Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers
ISBN: 9783540250654 / Angielski / Miękka / 337 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the Asia Information Retrieval Symposium, AIRS 2004, held in Beijing, China, in October 2004. The 28 revised full papers presented have passed through two rounds of reviewing and improvement and were selected from 106 papers submitted. All current issues in information retrieval are addressed, ranging from algorithmic and methodological issues to application in various fields. Particular emphasis is given to aspects of Asian languages; text retrieval and Web information retrieval are addressed in several papers.
This book constitutes the thoroughly refereed post-proceedings of the Asia Information Retrieval Symposium, AIRS 2004, held in Beijing, China, in O... |
cena:
201,72 |
 |
Algorithms and Data Structures: 8th International Workshop, Wads 2003, Ottawa, Ontario, Canada, July 30 - August 1, 2003, Proceedings
ISBN: 9783540405450 / Angielski / Miękka / 522 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The refereed proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS 2003, held in Ottawa, Ontario, Canada, in July/August 2003. The 40 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 126 submissions. A broad variety of current aspects in algorithmics and data structures is addressed. The refereed proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS 2003, held in Ottawa, Ontario, Canada, in July/A... |
cena:
201,72 |
 |
Conceptual Structures: Current Practices: Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16 - 20, 1994. Proceedings
ISBN: 9783540583288 / Angielski / Miękka / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is the proceedings of the Second International Conference on Conceptual Structures, ICCS '94, held at College Park, Maryland, USA in August 1994.
This proceedings presents, on an international scale, up-to- the-minute research results on theoretical and applicational aspects of conceptual graphs, particularly on the use of contexts in knowledge representation. The concept of contexts is highly important for all kinds of knowledge-intensive systems. The book is organized into sections on natural language understanding, rational problem solving, conceptual graph theory, contexts... This book is the proceedings of the Second International Conference on Conceptual Structures, ICCS '94, held at College Park, Maryland, USA in August ...
|
cena:
201,72 |
 |
Algorithms - ESA '96: Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996. Proceedings
ISBN: 9783540616801 / Angielski / Miękka / 568 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th European Symposium on Algorithms, ESA '96, held in Barcelona, Spain, in September 1996.
The book presents 40 revised full papers selected from 124 submissions; also are included extended abstracts of two invited presentations. The papers included cover all research areas on algorithms and their analysis as it is carried out in the fields of computer science, discrete applied and algorithmic mathematics, operations research, and all other areas of algorithms-oriented research, design and analysis. This book constitutes the refereed proceedings of the 4th European Symposium on Algorithms, ESA '96, held in Barcelona, Spain, in September 1996.
T... |
cena:
201,72 |
 |
Graph Drawing: Symposium on Graph Drawing Gd'96, Berkeley, California, Usa, September 18 - 20, 1996, Proceedings
ISBN: 9783540624950 / Angielski / Miękka / 415 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed post-conference proceedings of the International Symposium on Graph Drawing, GD'96, held in Berkeley, California, in September 1996.
The 24 revised full papers and the 8 systems demonstrations presented in the book were carefully selected from a total of 50 papers and 24 demos submitted. Also included is a summary of the annual graph drawing competition. Among the topics covered are planarity, upward and orthogonal drawing, heuristics, experimental results, and graph drawing systems. This book constitutes the strictly refereed post-conference proceedings of the International Symposium on Graph Drawing, GD'96, held in Berkeley, Cali...
|
cena:
201,72 |
 |
Solving Irregularly Structured Problems in Parallel: 4th International Symposium, Irregular '97, Paderborn, Germany, June 12-13, 1997, Proceedings
ISBN: 9783540631385 / Angielski / Miękka / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'97, held in Paderborn, Germany, in June 1997.
The 18 revised full papers presented were carefully selected by the program committee for inclusion in the volume; also included are full papers by the five invited speakers. Among the topics covered are discrete algorithms, randomized methods and approximation algorithms, implementations, programming environments, systems and applications, and scheduling and load balancing. This book constitutes the refereed proceedings of the 4th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'97...
|
cena:
201,72 |
 |
Application and Theory of Petri Nets 1997: 18th International Conference, Icatpn'97, Toulouse, France, June 23-27, 1997, Proceedings
ISBN: 9783540631392 / Angielski / Miękka / 475 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997.
The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also included are three invited contributions. All relevant topics in the area are addressed. Besides a variety of Petri net classes, workflow management, telecommunication networking, constraint satisfaction, program semantics, concurrency, and temporal logic are among the topics addressed. This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in To...
|
cena:
201,72 |
 |
Topics in Cryptology -- Ct-Rsa 2003: The Cryptographers' Track at the Rsa Conference 2003, San Francisco, Ca, USA April 13-17, 2003, Proceedings
ISBN: 9783540008477 / Angielski / Miękka / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These are the proceedings of CT-RSA 2003, the Cryptographers' Track at RSA Conference 2003. The proceedings of CT-RSA 2001 and CT-RSA 2002 were published in Springer-Verlag's Lecture Notes in Computer Science series as LNCS 2020 and LNCS 2271, respectively. The Cryptographers' Track is one of the many parallel tracks of the RSA Conference. With many thousands of participants, the RSA Conference is the largest security and cryptography event of the year. There were 97 submitted contributions this year, of which 26, or 27%, were selected for presentation. The program also included two invited...
These are the proceedings of CT-RSA 2003, the Cryptographers' Track at RSA Conference 2003. The proceedings of CT-RSA 2001 and CT-RSA 2002 were publis...
|
cena:
201,72 |
 |
Advances in Cryptology -- Asiacrypt 2006: 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai
ISBN: 9783540494751 / Angielski / Miękka / 470 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th International Conference on the Theory and Application of Cryptology and Information Security, held in Shanghai, China, December 2006. The 30 revised full papers cover attacks on hash functions, stream ciphers, biometrics and ECC computation, id-based schemes, public-key schemes, RSA and factorization, construction of hash function, protocols, block ciphers, and signatures. This book constitutes the refereed proceedings of the 12th International Conference on the Theory and Application of Cryptology and Information Sec... |
cena:
201,72 |
 |
Ray Shooting, Depth Orders and Hidden Surface Removal
ISBN: 9783540570202 / Angielski / Miękka / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computational geometry is the part of theoretical computer science that concerns itself with geometrical objects; it aims to define efficient algorithms for problems involving points, lines, polygons, and so on. The field has gained popularity very rapidly during the last decade. This is partly due to the many application areas of computational geometry and partly due to the beauty of the field itself. This monograph focuses on three problems that arise in three-dimensional computational geometry. The first problem is the ray shooting problem: preprocess a set of polyhedra into a data...
Computational geometry is the part of theoretical computer science that concerns itself with geometrical objects; it aims to define efficient algorith...
|
cena:
201,72 |
 |
Algebraic Coding: First French-Israeli Workshop, Paris, France, July 19 - 21, 1993. Proceedings
ISBN: 9783540578437 / Angielski / Miękka / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presenting the proceedings of the 1st French-Israeli Workshop on Algebraic Coding, held in Paris in July 1993, this volume contains papers on convolutional codes and special channels, covering codes, cryptography, sequences, graphs and codes, sphere packings and lattices.
Presenting the proceedings of the 1st French-Israeli Workshop on Algebraic Coding, held in Paris in July 1993, this volume contains papers on convolut...
|
cena:
201,72 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
