Theory of Computing and Systems [electronic resource] : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings /
ISTCS '92, the Israel Symposium on the Theory of Computing and Systems, cameabout spontaneously as a result of informal interaction between a group of people who viewed the conference as an appropriate expression of Israeli strength in theoretical aspects of computing and systems. The enthusiasm that the symposium created resulted in the submission of a large number of extremely high quality papers, which led in turn to strict acceptance criteria. This volume contains nineteen selected papers representing the cream of Israeli talent in the field, on a variety of active and interesting topics in the theory of computing and systems.
Saved in:
Main Authors: | Dolev, D. editor., Galil, Z. editor., Rodeh, M. editor., SpringerLink (Online service) |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1992
|
Subjects: | Computer science., Computer memory systems., Computers., Algorithms., Computer logic., Mathematical logic., Computer Science., Theory of Computation., Computation by Abstract Devices., Algorithm Analysis and Problem Complexity., Logics and Meanings of Programs., Mathematical Logic and Formal Languages., Memory Structures., |
Online Access: | http://dx.doi.org/10.1007/BFb0035160 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Theory of Computing and Systems [electronic resource] : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings /
by: Dolev, D. editor., et al.
Published: (1992) -
Automata, Languages and Programming [electronic resource] : 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings /
by: Abiteboul, Serge. editor., et al.
Published: (1994) -
Automata, Languages and Programming [electronic resource] : 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings /
by: Abiteboul, Serge. editor., et al.
Published: (1994) -
STACS 90 [electronic resource] : 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings /
by: Choffrut, Christian. editor., et al.
Published: (1990) -
STACS 90 [electronic resource] : 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings /
by: Choffrut, Christian. editor., et al.
Published: (1990)