| 141 |
Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007, proceedings / edited by Werner Damm, Holger Hermanns
|
Germany) 2007 : (19th CAV (Conference) Berlin
|
uuuu-uuuu |
Okänt |
| 142 |
Component-based software engineering : 11th international symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings / Michel R.V. Chaudron, Clemens Szyperski, Ralf Reussner (editors)
|
Germany) (2008 CBSE 2008 Karlsruhe
|
uuuu-uuuu |
Okänt |
| 143 |
Component-Based Software Engineering electronic resource : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / edited by Grace A. Lewis, Iman Poernomo, Christine Hofmeister
|
Germany) (2009 CBSE 2008 Karlsruhe
|
uuuu-uuuu |
Okänt |
| 144 |
Compiler Construction electronic resource : 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / edited by Jens Knoop
|
Germany) 2011 : (20th CC 2011 Saarbrücken
|
uuuu-uuuu |
Okänt |
| 145 |
Compiler Construction electronic resource : 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / edited by David A. Watt
|
Germany) 2000 : (9th CC (Conference) Berlin
|
uuuu-uuuu |
Okänt |
| 146 |
Aerodynamic Drag Reduction Technologies : Proceedings of the CEAS/DragNet European Drag Reduction Conference, 19–21 June 2000, Potsdam, Germany / edited by Peter Thiede
|
Germany) (2000 CEAS/DragNet European Drag Reduction Conference Potsdam
|
uuuu-uuuu |
Okänt |
| 147-148 |
eHealth electronic resource : combining health telematics, telemedicine, biomedical engineering and bioinformatics to the edge : CeHR conference proceedings 2007 / edited by Bernd Blobel ... et al.
(flera utgåvor)
|
Germany) (2007 CeHR International Conference Regensburg
|
uuuu-uuuu |
Okänt |
| 149 |
Cfn lectures on functional nanostructures : volume 1 / edited by K. Busch, 4 others
|
Germany) 2003 : (1st CFN Summer School on Functional Nanostructures Bad Herranalb
|
uuuu-uuuu |
Okänt |
| 150 |
Earth Observation with CHAMP electronic resource : Results from Three Years in Orbit / edited by Christoph Reigber, Hermann Lühr, Peter Schwintzer, Jens Wickert
|
Germany) 2003 : (3rd CHAMP Science Meeting Potsdam
|
uuuu-uuuu |
Okänt |
| 151 |
The Importance of laboratory animal genetics, health, and the environment in biomedical research electronic resource / edited by Edward C. Melby, Jr., Melvin W. Balk
|
Germany) 1983 : (5th Charles River International Symposium on Laboratory Animals Heidelberg
|
uuuu-uuuu |
Okänt |
| 152 |
The Importance of laboratory animal genetics, health, and the environment in biomedical research / edited by Edward C. Melby, Jr., Melvin W. Balk
|
Germany) 1983 : (5th Charles River International Symposium on Laboratory Animals Heidelberg
|
uuuu-uuuu |
Okänt |
| 153 |
Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005 : proceedings / Dominique Borrione, Wolfgang Paul (eds.)
|
Germany) (2005 CHARME 2005 Saarbrucken
|
uuuu-uuuu |
Okänt |
| 154 |
Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings / Laurence Pierre, Thomas Kropf (editors)
|
Germany) 1999 : (10th CHARME'99 Bad Herrenalb
|
uuuu-uuuu |
Okänt |
| 155 |
Cryptographic Hardware and Embedded Systems -- CHES 2003 electronic resource : 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings / edited by Colin D. Walter, Cetin K. Koc, Christof Paar
|
Germany) (2003 CHES 2003 Cologne
|
uuuu-uuuu |
Okänt |
| 156 |
Proceedings of the 2nd Annual Meeting of the Symposium on Human-Computer Interaction for Work / Edited by Susanne Boll, Anna Cox, Thomas Ludwig, Marta E Cecchinato
|
CHIWORK 2023: Annual Symposium on Human-Computer Interaction for Work 2023 Oldenburg Germany 2023
|
uuuu-uuuu |
Okänt |
| 157 |
Multimedia und Computeranwendungen in der Lehre : 6. CIP-Kongreß, Berlin, 6.–8. Oktober 1992 / herausgegeben von Klaus Dette, Dieter Haupt, Christoph Polze
|
Germany) 1992 : (6th CIP-Status-Kongress Berlin
|
uuuu-uuuu |
Okänt |
| 158 |
The Future of Product Development electronic resource : Proceedings of the 17th CIRP Design Conference / edited by Frank-Lothar Krause
|
Germany) 2007 : (17th CIRP Design Conference Berlin
|
uuuu-uuuu |
Okänt |
| 159 |
Smart Product Engineering electronic resource : Proceedings of the 23rd CIRP Design Conference, Bochum, Germany, March 11th - 13th, 2013 / edited by Michael Abramovici, Rainer Stark
|
Germany) 2013 : (23rd CIRP Design Conference Bochum
|
uuuu-uuuu |
Okänt |
| 160 |
Burrs - analysis, control and removal electronic resource : proceedings of the CIRP International Conference on BURRS 2nd-3rd April, 2009 University of Kaiserslautern, Germany / edited by Jan C. Aurich, David Dornfeld
|
Germany) (2009 CIRP International Conference on Burrs Kaiserslautern
|
uuuu-uuuu |
Okänt |