Discrete mathematics

Integer Optimization addresses a wide spectrum of practically important optimization problems and represents a major challenge for algorithmics.

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.

With all of the news about the Internet and the Y2K problem, it is easy to forget that other areas of computer science still exist.

This book presents the state of the art in software visualization and thus attempts to establish it as a field on its own.

Annually sponsored by the Korea Institute of Information Security and Crypt- ogy (KIISC), the fourth International Conference on Information Security and Cryptology (ICISC2001) was held at the 63 Building in Seoul, Korea, Dec- ber 6-7, 2001.

This book constitutes the refereed proceedings of the 5th Workshop on Algorithm Engineering, WAE 2001, held in Aarhus, Denmark, in August 2001.

This volume contains the proceedings of the 4th International Conference on - formation and Communications Security (ICICS2002).

'Network' is a heavily overloaded term, so that 'network analysis' means different things to different people.

This book constitutes the proceedings of the International Symposium on Neural N- works (ISNN 2004) held in Dalian, Liaoning, China duringAugust 19-21, 2004.

The sixth Algorithmic Number Theory Symposium was held at the University of Vermont, in Burlington, from 13-18 June 2004.

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^ba, Poland.

I would like to welcome all the participants to the 3rd International Conference on Information Security and Cryptology (ICISC 2000).

This volume contains the papers presented at the Fourth IAPR Workshop on Graph Based Representations in Pattern Recognition.

This volume contains the contributed papers and invited talks presented at the 1stInternationalWorkshoponAlgorithmicAspectsofWirelessSensorNetworks (ALGOSENSORS 2004), which was held July 16, 2004, in Turku, Finland, - located with the 31st International Colloquium on Automata, Languages, and Programming (ICALP 2004).

The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2018, and the 18th International Conference on Application of Concurrency to System Design, ACSD 2018.

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Global Constraints Optimization and Costraint Satisfaction, COCOS 2002, held in Valbonne-Sophia Antipolis, France in October 2002.

Gheorghe Paun has played an important role within a wide range of disciplines, from the foundations of traditional computation theory and formal language theory to research gaining its inspiration from living nature.

The papers in this volume were presented at the Sixth Workshop on Algorithms and Data Structures (WADS '99).

Still today I am receiving requests for reprints of the book, but unfortunately it is out of print.

The papers in this volume were presented at the Fourth Italian Conference on Algorithms and Complexity (CIAC 2000).

This volume contains the proceedings of the 22nd International Conference on Application and Theory of Petri Nets.

This book constitutes the refereed proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science, MFCS 2002, held in Warsaw, Poland in August 2002.

This book presents refereed and revised papers presented at GREC 2001, the 4th IAPR International Workshop on Graphics Recognition, which took place in Kingston, Ontario, Canada in September 2001.

Crypto 2003, the 23rd Annual Crypto Conference, was sponsored by the Int- national Association for Cryptologic Research (IACR) in cooperation with the IEEE Computer Society Technical Committee on Security and Privacy and the Computer Science Department of the University of California at Santa Barbara.

Thisvolumecontainsaselectionofpapersfromthe4thInternationalConference on the Practice and Theory of Automated Timetabling (PATAT 2002) held in Gent, August 21-23, 2002.

Computerscientistscreatemodelsofaperceivedreality.

This book constitutes the refereed proceedings of the 8th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2002, held in Singapore, in December 2002.

 This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Information Security and Cryptology, ICISC 2002, held in Seoul, Korea in November 2002.

It is commonly assumed that computers process information.

Since 1993, cryptographic algorithm research has centered around the Fast So- ware Encryption (FSE) workshop.

This year's meeting marked the Eighth International Symposium on Graph D- wing.