ZUM '98: The Z Formal Specification Notation
Unknown Author
0
0
Automata, Languages and Programming
Unknown Author
0
0
TAPSOFT'97: Theory and Practice of Software Development
Unknown Author
0
0
ZUM'97: The Z Formal Specification Notation
Unknown Author
0
0
Image Technology
Unknown Author
0
0
Languages and Compilers for Parallel Computing
Unknown Author
0
0
Linguistic Concepts and Methods in CSCW
Unknown Author
0
0
Recent Trends in Data Type Specification
Unknown Author
0
0
STACS 96
Unknown Author
0
0
Design Patterns
Unknown Author
0
1
0
0
Software Engineering and Human-Computer Interaction
Unknown Author
0
0
Evolutionary Computing
Unknown Author
0
0
Extensions of Logic Programming
Unknown Author
0
0
Memory Management
Unknown Author
0
0
State of the Art in Computer Graphics
Unknown Author
0
0
CAAP '90
Unknown Author
0
0
CONPAR '90. VAPP IV
Unknown Author
0
0
ESEC '89
Unknown Author
0
0
Supercomputing
Unknown Author
0
0
The Formal Complexity of Natural Language
Unknown Author
0
0