Conditional and Typed Rewriting Systems |
- isbn : 978-3-540-47558-3
- pisbn : 978-3-540-54317-6
|
Fulltext
|
PARLE '89 - Parallel Architectures and Languages Europe |
- isbn : 978-3-540-46184-5
- pisbn : 978-3-540-51285-1
|
Fulltext
|
Extensions of Logic Programming |
- isbn : 978-3-540-49751-6
- pisbn : 978-3-540-60983-4
|
Fulltext
|
Application and Theory of Petri Nets 1994 |
- isbn : 978-3-540-48462-2
- pisbn : 978-3-540-58152-9
|
Fulltext
|
Human-Computer Interaction |
- isbn : 978-3-540-48484-4
- pisbn : 978-3-540-60614-7
|
Fulltext
|
Machine Learning: ECML-93 |
- isbn : 978-3-540-47597-2
- pisbn : 978-3-540-56602-1
|
Fulltext
|
Logic Programming and Automated Reasoning |
- isbn : 978-3-540-48573-5
- pisbn : 978-3-540-58216-8
|
Fulltext
|
Objective Software Quality |
- isbn : 978-3-540-49268-9
- pisbn : 978-3-540-59449-9
|
Fulltext
|
Job Scheduling Strategies for Parallel Processing |
- isbn : 978-3-540-49459-1
- pisbn : 978-3-540-60153-1
|
Fulltext
|
Geometry and Robotics |
- isbn : 978-3-540-46748-9
- pisbn : 978-3-540-51683-5
|
Fulltext
|