Computer Security -- ESORICS 2013 |
- isbn : 978-3-642-40203-6
- pisbn : 978-3-642-40202-9
|
Fulltext
|
Formal Modeling and Analysis of Timed Systems |
- isbn : 978-3-642-40229-6
- pisbn : 978-3-642-40228-9
|
Fulltext
|
CONCUR 2013 -- Concurrency Theory |
- isbn : 978-3-642-40184-8
- pisbn : 978-3-642-40183-1
|
Fulltext
|
Algebra and Coalgebra in Computer Science |
- isbn : 978-3-642-40206-7
- pisbn : 978-3-642-40205-0
|
Fulltext
|
Quantitative Evaluation of Systems |
- isbn : 978-3-642-40196-1
- pisbn : 978-3-642-40195-4
|
Fulltext
|
Fundamentals of Software Engineering |
- isbn : 978-3-642-40213-5
- pisbn : 978-3-642-40212-8
|
Fulltext
|
Computer Analysis of Images and Patterns |
- isbn : 978-3-642-40261-6
- pisbn : 978-3-642-40260-9
|
Fulltext
|
Computer Analysis of Images and Patterns |
- isbn : 978-3-642-40246-3
- pisbn : 978-3-642-40245-6
|
Fulltext
|
Spatial and Temporal Databases |
- isbn : 978-3-642-40235-7
- pisbn : 978-3-642-40234-0
|
Fulltext
|
Database Systems for Advanced Applications |
- isbn : 978-3-642-40270-8
- pisbn : 978-3-642-40269-2
|
Fulltext
|