FST TCS 2000: Foundations of Software Technology and Theoretical Science |
- isbn : 978-3-540-44450-3
- pisbn : 978-3-540-41413-1
- doi : 10.1007/3-540-44450-5
|
Fulltext
|
Computer Science Logic |
- isbn : 978-3-540-44622-4
- pisbn : 978-3-540-67895-3
- doi : 10.1007/3-540-44622-2
|
Fulltext
|
Cryptographic Hardware and Embedded Systems - CHES 2000 |
- isbn : 978-3-540-44499-2
- pisbn : 978-3-540-41455-1
- doi : 10.1007/3-540-44499-8
|
Fulltext
|
Conceptual Modeling - ER 2000 |
- isbn : 978-3-540-45393-2
- pisbn : 978-3-540-41072-0
- doi : 10.1007/3-540-45393-8
|
Fulltext
|
Advances in Multimodal Interfaces - ICMI 2000 |
- isbn : 978-3-540-40063-9
- pisbn : 978-3-540-41180-2
- doi : 10.1007/3-540-40063-X
|
Fulltext
|
Euro-Par 2000 Parallel Processing |
- isbn : 978-3-540-44520-3
- pisbn : 978-3-540-67956-1
- doi : 10.1007/3-540-44520-X
|
Fulltext
|
Integrated Formal Methods |
- isbn : 978-3-540-40911-3
- pisbn : 978-3-540-41196-3
- doi : 10.1007/3-540-40911-4
|
Fulltext
|
Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing |
- isbn : 978-3-540-44614-9
- pisbn : 978-3-540-67899-1
- doi : 10.1007/3-540-44614-1
|
Fulltext
|
Compiler Construction |
- isbn : 978-3-540-46423-5
- pisbn : 978-3-540-67263-0
- doi : 10.1007/3-540-46423-9
|
Fulltext
|
Hybrid Systems: Computation and Control |
- isbn : 978-3-540-46430-3
- pisbn : 978-3-540-67259-3
- doi : 10.1007/3-540-46430-1
|
Fulltext
|