Patrice Enjalbert - Böcker
Visar alla böcker från författaren Patrice Enjalbert. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
STACS 93
10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings
Häftad, Engelska, 1993
1 096 kr
Skickas inom 10-15 vardagar
This volume contains the proceedings of the tenth annualSymposium on Theoretical Aspects of Computer Science (STACS'93), held in Wrzburg, February 25-27, 1993. The STACS symposia are held alternately in Germany andFrance, and organized jointly by the Special Interest Groupfor Theoretical Computer Science of the Gesellschaft frInformatik (GI) and theSpecial Interest Group for AppliedMathematics of the Association Francaise des Sciences etTechnologies de l'Information et des Syst mes (afcet). The volume includes the three invited talks which opened thethree days of the symposium: "Causal and distributedsemantics for concurrent processes" (I. Castellani),"Parallel architectures: design and efficient use" (B. Monien et al. ), and "Transparent proofs" (L. Babai). Theselection of contributed papers is organized into parts on:computational complexity, logic in computer science,efficient algorithms, parallel and distributed computation,language theory, computational geometry, automata theory,semantics and logic of programming languages, automatatheory and logic, circuit complexity, omega-automata,non-classical complexity, learning theory and cryptography,and systems.
STACS 94
11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings
Häftad, Engelska, 1994
552 kr
Skickas inom 10-15 vardagar
This volume constitutes the proceedings of the 11th annual Symposium on Theoretical Aspects of Computer Science (STACS '94), held in Caen, France, February 24-26, 1994. Besides three prominent invited papers, the proceedings contains 60 accepted contributions chosen by the international program committee during a highly competitive reviewing process from a total of 234 submissions for 38 countries. The volume competently represents most areas of theoretical computer science with a certain emphasis on (parallel) algorithms and complexity.