Information Hiding |
- isbn : 978-3-540-49380-8
- pisbn : 978-3-540-65386-8
- doi : 10.1007/3-540-49380-8
|
Fulltext
|
Integer Programming and Combinatorial Optimization |
- isbn : 978-3-540-69346-8
- pisbn : 978-3-540-64590-0
- doi : 10.1007/3-540-69346-7
|
Fulltext
|
Automated Deduction in Classical and Non-Classical Logics |
- isbn : 978-3-540-46508-9
- pisbn : 978-3-540-67190-9
- doi : 10.1007/3-540-46508-1
|
Fulltext
|
STACS 2000 |
- isbn : 978-3-540-46541-6
- pisbn : 978-3-540-67141-1
- doi : 10.1007/3-540-46541-3
|
Fulltext
|
Theorem Proving in Higher Order Logics |
- isbn : 978-3-540-48256-7
- pisbn : 978-3-540-66463-5
- doi : 10.1007/3-540-48256-3
|
Fulltext
|
Open Hypermedia Systems and Structural Computing |
- isbn : 978-3-540-39941-4
- pisbn : 978-3-540-41084-3
- doi : 10.1007/3-540-39941-0
|
Fulltext
|
Applications of Uncertainty Formalisms |
- pisbn : 978-3-540-65312-7
- isbn : 978-3-540-49426-3
- doi : 10.1007/3-540-49426-X
|
Fulltext
|
Perspectives of Systems Informatics |
- pisbn : 978-3-540-70880-3
- isbn : 978-3-540-70881-0
- doi : 10.1007/978-3-540-70881-0
|
Fulltext
|
Virtual Worlds |
- pisbn : 978-3-540-64780-5
- isbn : 978-3-540-68686-6
- doi : 10.1007/3-540-68686-X
|
Fulltext
|
Computer Supported Cooperative Work in Design III |
- pisbn : 978-3-540-72862-7
- isbn : 978-3-540-72863-4
- doi : 10.1007/978-3-540-72863-4
|
Fulltext
|