Advances in Cryptology – EUROCRYPT ’97 |
- isbn : 978-3-540-69053-5
- pisbn : 978-3-540-62975-7
- doi : 10.1007/3-540-69053-0
|
Fulltext
|
Automatic Verification of Sequential Infinite-State Processes |
- isbn : 978-3-540-69678-0
- pisbn : 978-3-540-63982-4
- doi : 10.1007/3-540-69678-4
|
Fulltext
|
Advances in Intelligent Data Analysis. Reasoning about Data |
- isbn : 978-3-540-69520-2
- pisbn : 978-3-540-63346-4
- doi : 10.1007/BFb0052824
|
Fulltext
|
Lectures on Embedded Systems |
- isbn : 978-3-540-49498-0
- pisbn : 978-3-540-65193-2
- doi : 10.1007/3-540-65193-4
|
Fulltext
|
Software Process Technology |
- isbn : 978-3-540-49907-7
- pisbn : 978-3-540-64956-4
- doi : 10.1007/3-540-64956-5
|
Fulltext
|
Lectures on Petri Nets II: Applications |
- isbn : 978-3-540-49441-6
- pisbn : 978-3-540-65307-3
- doi : 10.1007/3-540-65307-4
|
Fulltext
|
Graphics Recognition: Algorithms and Systems |
- isbn : 978-3-540-69766-4
- pisbn : 978-3-540-64381-4
- doi : 10.1007/3-540-64381-8
|
Fulltext
|
Research and Development in Knowledge Discovery and Data Mining |
- isbn : 978-3-540-69768-8
- pisbn : 978-3-540-64383-8
- doi : 10.1007/3-540-64383-4
|
Fulltext
|
Machine Learning: ECML-98 |
- isbn : 978-3-540-69781-7
- pisbn : 978-3-540-64417-0
- doi : 10.1007/BFb0026664
|
Fulltext
|
Artificial Evolution |
- isbn : 978-3-540-69698-8
- pisbn : 978-3-540-64169-8
- doi : 10.1007/BFb0026588
|
Fulltext
|