Discrete Geometry for Computer Imagery: 10th International Conference, Dgci 2002, Bordeaux, France, April 3-5, 2002. Proceedings
ISBN: 9783540433804 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 10th International Conference on Digital Geometry for Computer Imagery, DGCI 2002, held in Bordeaux, France, in April 2002. The 22 revised full papers and 13 posters presented together with 3 invited papers were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections on topology, combinatorial image analysis, morphological analysis, shape representation, models for discrete geometry, segmentation and shape recognition, and applications.
This volume constitutes the refereed proceedings of the 10th International Conference on Digital Geometry for Computer Imagery, DGCI 2002, held in Bor...
|
|
cena:
194,52 zł |
Mathematical Foundations of Computer Science 1999: 24th International Symposium, Mfcs'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings
ISBN: 9783540664086 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains papers selected for presentation during the 24th Interna tional Symposium on Mathematical Foundations of Computer Science held on September 6-10, 1999 in Szklarska Por DEGREESba, Poland. The symposium, organized alternately in the Czech Republic, Slovakia, and Poland, focuses on theoretical aspects and mathematical foundations of computer science. The scientific program of the symposium consists of five invited talks given by Martin Dyer, Dexter Kozen, Giovanni Manzini, Sergio Rajsbaum, and Mads Tofte, and 37 accepted papers chosen out of 68 submissions. The volume...
This volume contains papers selected for presentation during the 24th Interna tional Symposium on Mathematical Foundations of Computer Science held on...
|
|
cena:
194,52 zł |
Fundamentals of Computation Theory: 12th International Symposium, Fct'99 Iasi, Romania, August 30 - September 3, 1999 Proceedings
ISBN: 9783540664123 / Angielski / Miękka / 576 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th International Symposium on Fundamentals of Computation Theory, FCT '99, held in Iasi, Romania in August/September 1999.
The 42 revised full papers presented together with four invited papers were carefully selected from a total of 102 submissions. Among the topics addressed are abstract data types, algorithms and data structures, automata and formal languages, categorical and topological approaches, complexity, computational geometry, concurrency, cryptology, distributed computing, logics in computer science, process algebras,... This book constitutes the refereed proceedings of the 12th International Symposium on Fundamentals of Computation Theory, FCT '99, held in Iasi, Roman...
|
|
cena:
389,09 zł |
Basic Simple Type Theory
ISBN: 9780521054225 / Angielski / Miękka / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An introduction to type theory for computer scientists.
An introduction to type theory for computer scientists.
|
|
cena:
176,25 zł |
Geometric Integration Theory
ISBN: 9780817646769 / Angielski / Twarda / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Geometric measure theory has roots going back to ancient Greek mathematics, for considerations of the isoperimetric problem (to ?nd the planar domain of given perimeter having greatest area) led naturally to questions about spatial regions and boundaries. In more modern times, the Plateau problem is considered to be the wellspring of questions in geometric measure theory. Named in honor of the nineteenth century Belgian physicist Joseph Plateau, who studied surface tension phenomena in general, andsoap?lmsandsoapbubblesinparticular, thequestion(initsoriginalformulation) was to show that a...
Geometric measure theory has roots going back to ancient Greek mathematics, for considerations of the isoperimetric problem (to ?nd the planar domain ...
|
|
cena:
389,09 zł |
Advances in Cryptology - Eurocrypt '98: International Conference on the Theory and Application of Cryptographic Techniques, Espoo, Finland, May 31 - J
ISBN: 9783540645184 / Angielski / Miękka / 613 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 1998 International Conference on the Theory and Application of Cryptographic Techniques, EUROCRYPT '98, held in Espoo, Finland, in May/June 1998.
The book presents 44 revised full papers selected from a total of 161 submissions. The papers are organized in sections on distributed cryptography, complexity, cryptanalysis of block ciphers, computational algorithms, paradigms for symmetric systems, public key cryptosystems, multi-party computation, digital signatures, Boolean functions, combinatorial design and analysis, elliptic curve... This book constitutes the refereed proceedings of the 1998 International Conference on the Theory and Application of Cryptographic Techniques, EUROCRY...
|
|
cena:
194,52 zł |
Practice and Theory of Automated Timetabling IV: 4th International Conference, Patat 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers
ISBN: 9783540406990 / Angielski / Miękka / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thisvolumecontainsaselectionofpapersfromthe4thInternationalConference on the Practice and Theory of Automated Timetabling (PATAT 2002) held in Gent, August 21-23, 2002. Since the ?rst conference in Edinburgh in 1995, the range of timetabling applications at the conferences has become broader and more diverse. In the s- ected papers volume from the 1995 conference, there were just two contributions (out of 22) which did not speci?cally address school and university timetabling. In the selected papers volume from the 1997 conference in Toronto, the number of papers which tackled non-educational...
Thisvolumecontainsaselectionofpapersfromthe4thInternationalConference on the Practice and Theory of Automated Timetabling (PATAT 2002) held in Gent, A...
|
|
cena:
194,52 zł |
Practice and Theory of Automated Timetabling III: Third International Conference, Patat 2000 Konstanz, Germany, August 16-18, 2000 Selected Papers
ISBN: 9783540424215 / Angielski / Miękka / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the thoroughly refereed post-proceedings of the Third International Conference on Practice and Theory of Automated Timetabling, PATAT 2000, held in Konstanz, Germany, in August 2000. The 22 revised full papers were carefully selected after two rounds of reviewing and revision. Besides foundational and methodological issues from combinatorics, optimization, evolutionary computing, genetic algorithms, planning, constraints, and searching, a variety of application fields are addressed including course and school timetabling, examination timetabling, employee timetabling,...
This volume constitutes the thoroughly refereed post-proceedings of the Third International Conference on Practice and Theory of Automated Timetabling...
|
|
cena:
194,52 zł |
Computing and Combinatorics: 7th Annual International Conference, Cocoon 2001, Guilin, China, August 20-23, 2001, Proceedings
ISBN: 9783540424949 / Angielski / Miękka / 606 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON 2001, held in Guilin, China, in August 2001. The 50 revised full papers and 16 short papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on complexity theory, computational biology, computational geometry, data structures and algorithms, games and combinatorics, graph algorithms and complexity, graph drawing, graph theory, online algorithms, randomized and average-case algorithms, Steiner trees,...
This volume constitutes the refereed proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON 2001, held in Guili...
|
|
cena:
389,09 zł |
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 14th International Symposium, Aaecc-14, Melbourne, Australia, November 26-30, 2001.
ISBN: 9783540429111 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The AAECC Symposia Series was started in 1983 by Alain Poli (Toulouse), who, together with R. Desq, D. Lazard, and P. Camion, organized the ?rst conference. Originally the acronym AAECC meant Applied Algebra and Error-Correcting Codes . Over the years its meaning has shifted to Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes, re?ecting the growing importance of complexity in both decoding algorithms and computational algebra. AAECC aims to encourage cross-fertilization between algebraic methods and their applications in computing and communications. The algebraic orientation...
The AAECC Symposia Series was started in 1983 by Alain Poli (Toulouse), who, together with R. Desq, D. Lazard, and P. Camion, organized the ?rst confe...
|
|
cena:
194,52 zł |
Stochastic Algorithms: Foundations and Applications: International Symposium, Saga 2001 Berlin, Germany, December 13-14, 2001 Proceedings
ISBN: 9783540430254 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. SAGA 2001, the ?rst Symposium on Stochastic Algorithms, Foundations and Applications, took place on December 13-14, 2001 in Berlin, Germany. The present volume comprises contributed papers and four invited talks that were included in the ?nal program of the symposium. Stochastic algorithms constitute a general approach to ?nding approximate solutions to a wide variety of problems. Although there is no formal proof that stochastic algorithms perform better than deterministic ones, there is evidence by empirical observations that stochastic algorithms produce for a broad range of applications...
SAGA 2001, the ?rst Symposium on Stochastic Algorithms, Foundations and Applications, took place on December 13-14, 2001 in Berlin, Germany. The prese...
|
|
cena:
194,52 zł |
Solving Irregularly Structured Problems in Parallel: 5th International Symosium, Irregular'98, Berkeley, California, Usa, August 9-11, 1998. Proceedin
ISBN: 9783540648093 / Angielski / Miękka / 414 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'98, held in Berkeley, California, in August 1998.
The 26 revised full papers presented were carefully reviewed and selected for inclusion from several dozen submissions. Also included are abstracts of four invited talks and 6 invited presentations given during minisymposia held in parallel. The book presents a unique overview on algorithmic, applicational, and systems aspects arising in the development of efficient parallel solutions to... This book constitutes the refereed proceedings of the 5th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'98...
|
|
cena:
194,52 zł |
Algorithmic Number Theory: 4th International Symposium, Ants-IV Leiden, the Netherlands, July 2-7, 2000 Proceedings
ISBN: 9783540676959 / Angielski / Miękka / 612 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Algorithmic Number Theory Symposium, ANTS-IV, held in Leiden, The Netherlands, in July 2000.The book presents 36 contributed papers which have gone through a thorough round of reviewing, selection and revision. Also included are 4 invited survey papers. Among the topics addressed are gcd algorithms, primality, factoring, sieve methods, cryptography, linear algebra, lattices, algebraic number fields, class groups and fields, elliptic curves, polynomials, function fields, and power sums.
This book constitutes the refereed proceedings of the 4th International Algorithmic Number Theory Symposium, ANTS-IV, held in Leiden, The Netherlands,...
|
|
cena:
389,09 zł |
Algorithms and Computation: 14th International Symposium, Isaac 2003, Kyoto, Japan, December 15-17, 2003, Proceedings
ISBN: 9783540206958 / Angielski / Miękka / 748 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 14th Annual International S- posium on Algorithms and Computation (ISAAC 2003), held in Kyoto, Japan, 15 17 December 2003. In the past, it was held in Tokyo (1990), Taipei (1991), Nagoya (1992), Hong Kong (1993), Beijing (1994), Cairns (1995), Osaka (1996), Singapore (1997), Taejon (1998), Chennai (1999), Taipei (2000), Christchurch (2001), and Vancouver (2002). ISAACisanannualinternationalsymposiumthatcoverstheverywiderange of topics in algorithms and computation. The main purpose of the symposium is to provide a forum for researchers working in...
This volume contains the proceedings of the 14th Annual International S- posium on Algorithms and Computation (ISAAC 2003), held in Kyoto, Japan, 15 1...
|
|
cena:
389,09 zł |
List Decoding of Error-Correcting Codes: Winning Thesis of the 2002 ACM Doctoral Dissertation Competition
ISBN: 9783540240518 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. How can one exchange information e?ectively when the medium of com- nication introduces errors? This question has been investigated extensively starting with the seminal works of Shannon (1948) and Hamming (1950), and has led to the rich theory of error-correcting codes . This theory has traditionally gone hand in hand with the algorithmic theory of decoding that tackles the problem of recovering from the errors e?ciently. This thesis presents some spectacular new results in the area of decoding algorithms for error-correctingcodes. Speci?cally, itshowshowthenotionof list-decoding can be...
How can one exchange information e?ectively when the medium of com- nication introduces errors? This question has been investigated extensively starti...
|
|
cena:
194,52 zł |
Combinatorial Geometry and Graph Theory: Indonesia-Japan Joint Conference, Ijccggt 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected P
ISBN: 9783540244011 / Angielski / Miękka / 227 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the Indonesia-Japan Joint Conference on Combinatorial Geometry and Graph Theory, IJCCGGT 2003, held in Bandung, Indonesia in September 2003.The 23 revised papers presented were carefully selected during two rounds of reviewing and improvement. Among the topics covered are coverings, convex polygons, convex polyhedra, matchings, graph colourings, crossing numbers, subdivision numbers, combinatorial optimization, combinatorics, spanning trees, various graph characteristica, convex bodies, labelling, Ramsey number estimation,...
This book constitutes the thoroughly refereed post-proceedings of the Indonesia-Japan Joint Conference on Combinatorial Geometry and Graph Theory, IJC...
|
|
cena:
194,52 zł |
Cryptography and Coding: 8th Ima International Conference Cirencester, Uk, December 17-19, 2001 Proceedings
ISBN: 9783540430261 / Angielski / Miękka / 419 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The mathematical theory and practice of cryptography and coding underpins the provision of effective security and reliability for data communication, processing, and storage. Theoretical and implementational advances in the fields of cryptography and coding are therefore a key factor in facilitating the growth of data communications and data networks of various types. Thus, this Eight International Conference in an established and successful IMA series on the theme of Cryptography and Coding was both timely and relevant. The theme of this conference was the future of coding and cryptography,...
The mathematical theory and practice of cryptography and coding underpins the provision of effective security and reliability for data communication, ...
|
|
cena:
194,52 zł |
Integer Programming and Combinatorial Optimization: 5th International Ipco Conference Vancouver, British Columbia, Canada June 3-5, 1996 Proceedings
ISBN: 9783540613107 / Angielski / Miękka / 514 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the Fifth Integer Programming and Combinatorial Optimization Conference, IPCO V, held in Vancouver, British Columbia, Canada, in June 1996.
The 36 revised papers included in the book were selected from a total of 99 submissions; they highlight recent developments in theory, computation, and applications of integer programming and combinatorial optimization. The volume is organized in sections on integer programming theory and models, network flow algorithms, approximation algorithms, semi-definite methods, matrix models, set systems and... This volume presents the proceedings of the Fifth Integer Programming and Combinatorial Optimization Conference, IPCO V, held in Vancouver, British Co...
|
|
cena:
194,52 zł |
Algorithms and Data Structures: 5th International Workshop, Wads '97, Halifax, Nova Scotia, Canada, August 6-8, 1997. Proceedings
ISBN: 9783540633075 / Angielski / Miękka / 481 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97, held in Nova Scotia, Halifax, Canada, in August 1997.
The 37 revised full papers presented were carefully selected from a total of 81 submissions. Also included are four abstracts and one full contribution corresponding to the invited talks. Among the topics covered are data structures and algorithmic aspects in a variety of areas like computational geometry, graph theory, networking, load balancing, optimization, approximation, sorting, pattern matching, etc. This book constitutes the refereed proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97, held in Nova Scotia, Hali...
|
|
cena:
194,52 zł |
Computing and Combinatorics: 5th Annual International Conference, Cocoon'99, Tokyo, Japan, July 26-28, 1999, Proceedings
ISBN: 9783540662006 / Angielski / Miękka / 494 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The abstracts and papers in this volume were presented at the Fifth Annual International Computing and Combinatorics Conference (COCOON 99), which was held in Tokyo, Japan from July 26 to 28, 1999. The topics cover most aspects of theoretical computer science and combinatorics pertaining to computing. In response to the call for papers, 88 high-quality extended abstracts were submitted internationally, of which 46 were selected for presentation by the p- gram committee. Every submitted paper was reviewed by at least three program committee members. Many of these papers represent reports on...
The abstracts and papers in this volume were presented at the Fifth Annual International Computing and Combinatorics Conference (COCOON 99), which was...
|
|
cena:
194,52 zł |