1
Constructing Ambient Intelligence [E-Book] : AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers /
2
Large-Scale Scientific Computing [E-Book] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers /
3
Computer Supported Cooperative Work in Design IV [E-Book] : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers /
4
Extreme Man-Made and Natural Hazards in Dynamics of Structures [E-Book] /
5
Die Informatisierung des Alltags [E-Book] : Leben in smarten Umgebungen /
6
Embedded Software and Systems [E-Book] / Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings
7
Theory and Applications of Satisfiability Testing - SAT 2007 [E-Book] / 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
8
Formal Methods for Open Object-Based Distributed Systems [E-Book] / 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
9
Computer Supported Cooperative Work in Design III [E-Book] : 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers /
10
Distributed Applications and Interoperable Systems [E-Book] / 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings
11
Petri Nets and Other Models of Concurrency - ICATPN 2007 [E-Book] / 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceeding
12
Advances in Computer Systems Architecture [E-Book] : 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings /
13
Mikrocontroller und Mikroprozessoren [E-Book] /
14
Introduction to Operating System Design and Implementation [E-Book] : The OSP 2 Approach /
15
Formal Models of Operating System Kernels [E-Book] /
16
Grid Computing Security [E-Book] /
17
Engineering Self-Organising Systems [E-Book] : 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers /
18
Job Scheduling Strategies for Parallel Processing [E-Book] : 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers /
19
Recent Advances in Intrusion Detection [E-Book] : 10th International Symposium, RAID 2007, Gold Goast, Australia, September 5-7, 2007. Proceedings /
20
Formal Methods for Components and Objects [E-Book] : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /