✦ LIBER ✦

Preface: Volume 7

✍ Scribed by Jayme Szwarcfiter

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 28 KB
Volume: 7
Category: Article
ISSN: 1571-0653
DOI: 10.1016/s1571-0653(04)00209-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preface: Volume 85, Issue 7

✍ Herman Geuvers; Fairouz Kamareddine 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 56 KB

Preface: Volume 65, Issue 7

✍ Benoît Caillaud; Anca Muscholl 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 47 KB

This volume contains the Proceedings of the International Workshop Validation and Implementation of Scenario-based Specifications (VISS'2002) that was held as satellite event of the 5th European Joint Conferences on Theory and Practice of Software (ETAPS'2002) in Grenoble, France, April 7th, 2002.

Preface: Volume 9

✍ Henry Kautz; Bart Selman 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 26 KB

Great strides have been made in recent years in the theory and practice of propositional satisfiability testing. On the theoretical side, a wide range of mathematical approaches -ranging from classical combinatorial analysis to arguments based on statistical physicshave increased our understanding o

Preface: Volume 10

✍ Jaroslav Nesetril; Marc Noy; Oriol Serra 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 24 KB

Preface: Volume 2

📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 25 KB

Preface: Volume 6

✍ Daniel Augot; Claude Carlet 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 29 KB

Our aim was to bring together researchers coming from coding theory and cryptography. More than 140 participants (77 academics, 27 studients, 19 researchers from industry . . .) coming from 31 countries attended the workshop -France (54), United States (13), Russia (13), Sweden (8), Germany (6), Nor