This book constitutes the strictly refereed post-workshop proceedings of the 5th International Workshop on Security Protocols, held in Paris, France, in April 1997. The 17 revised full papers presented address all current aspects of security protocols. Among the topics covered are secure distribution of knowledge, electronic voting systems, secure ...
This book constitutes the refereed proceedings of the First International Workshop on Practical Aspects of Declarative Languages, PADL'99, held in San Antonio, Texas, USA in January 1999.The 24 revised full papers presented were carefully reviewed and selected from a total of 53 submissions; also included are abstracts of two invited talks. The ...
This book constitutes the refereed proceedings of the 4th European Workshop on Case-Based Reasoning, EWCBR-98, held in Dublin, Ireland, in September 1998. The 41 revised full papers presented were carefully selected and reviewed for inclusion in the proceedings. The contributions address the representation and organization of cases in case-bases, ...
This book constitutes the refereed proceedings of the 5th International Symposium on Static Analysis, SAS'98, held in Pisa, Italy, in September 1998. The 20 revised full papers presented were carefully reviewed and selected from a total of 48 submissions. Also included is an invited tutorial. The papers are organized in topical sections on data ...
This book presents a collection of refereed papers on formal language theory arranged for the occasion of the 50th birthday of Jurgen Dassow, who has made a significant contribution to the areas of regulated rewriting and grammar systems.The volume comprises 33 revised full papers organized in sections on regulated rewriting, cooperating ...
This book constitutes the refereed proceedings of the 10th International Conference on Advanced Information Systems Engineering, CAiSE'98, held in Pisa, Italy, in June 1998. The book presents 21 revised full papers together with one invited survey; the papers were selected from a total of 102 submissions. The book is divided into sections on ...
This book constitutes the refereed proceedings of the 6th International Conference on Extending Database Technology, EDBT '98, held in Valencia, Spain, in March 1998. The 32 revised full papers presented together with one invited keynote were selected from a total of 191 submissions. The book is divided in sections on similarity search and ...
This book presents the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96, held in San Jose, California, in August 1996. The book contains 35 carefully revised full papers together with nine poster presentations. The papers are organized in topical sections on ...
This book constitutes the refereed proceedings of the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'98, held jointly with the 6th International Conference on Algebraic and Logic Programming, ALP'98, in Pisa, Italy, in September 1998. The 26 revised full papers presented were carefully reviewed ...
This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997.The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system ...
This book constitutes the refereed proceedings of the 12th International Symposium on Distributed Computing, DISC'98, held in Andros, Greece, in September 1998. The 28 revised papers presented were carefully reviewed and selected from a total of 87 submissions. Also included are one invited paper and two abstracts of invited contributions. The ...
This book comprises a strictly refereed selection of papers presented at three international workshops on advanced communication services (ACoS'98), visualization issues for formal methods (VISUAL'98), and advanced intelligent networks (AIN'97). The 20 revised full papers included in the book together with three invited presentations are centered ...
This book constitutes the refereed proceedings of the Second International Conference on Evolvable Systems: From Biology to Hardware, ICES '98, held in Lausanne, Switzerland in September 1998. The 38 revised papers presented were carefully selected for inclusion in the book from numerous submissions. The papers are organized in topical sections on ...
This volume constitutes the refereed proceedings of the First International Conference on Rough Sets and Current Trends in Computing, RSCTC'98, held in Warsaw, Poland, in June 1998.The volume presents 82 revised papers carefully selected for inclusion in the proceedings; also included are five invited contributions. The volume is divided in ...
This book constitutes the refereed proceedings of the Second International Workshop on Cooperative Information Systems, CIA'98, held in cognition with Agents World in July 1998 in Paris. The book presents nine invited contributions together with 14 revised full papers selected from a total of 54 submissions. The book is divided in parts on systems ...
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, ...
This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997. The volume presents 26 revised full papers selected after two rounds of ...
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions. ...
This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Conference on the Practice and Theory of Automated Timetabling, PATAT'97, held in Toronto, Canada, in August 1997. The 17 revised full papers presented were carefully selected for presentation at the conference and then had to pass a second round of ...
This book constitutes the refereed proceedings of the International Conference on the Theory and Application of Cryptographic Techniques, EUROCRYPT '99, held in Prague, Czech Republic in May 1999. The 32 revised full papers presented were carefully selected during highly competitive reviewing process. The book is divided in topical sections on ...
This book constitutes the refereed proceedings of the International Conference on Trends in Electronic Commerce, TREC'98, held in Hamburg, Germany, in June 1998. The book presents 19 revised full papers selected from a total of 75 submissions. While focussing mainly on technological issues, the book also takes into account important social, ...
This book presents the history and state of the art of universal routing strategies, which can be applied to networks independently of their respective topologies. It opens with a self-contained introduction, accessible also to newcomers. The main original results are new universal network protocols for store-and-forward and wormhole routing with ...
This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Types in Compilation, TIC '98, held in Kyoto, Japan in March 1998.The book presents 13 revised full papers carefully selected during an iterated reviewing process together with three invited papers. The papers are organized in topical ...
This volume presents the proceedings of the 4th International Conference on Computers for Handicapped Persons, held in Vienna in September 1994. It addresses human-computer interaction from the viewpoint of the handicapped.
This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the ...
We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.
