Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

1767 Publications


2003 | Book Review | LibreCat-ID: 19463
Seng E-M. Christof Thoenes, Opus incertum. Italienische Studien aus drei Jahrzehnten, München, Berlin 2002. Kunstform 4, 2003, Nr 9 und Sehepunkte 3, 2003, Nr 9. 2003;(Nr. 9).
LibreCat
 

2003 | Journal Article | LibreCat-ID: 19785
Salzwedel KA. Algorithmic Approaches for Storage Networks. Algorithms for Memory Hierarchies. 2003;2625. doi:10.1007/3-540-36574-5_12
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 3237
Wehrheim H. Preserving Properties Under Change. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures. Lecture Notes in Computer Science. ; 2003:330--343. doi:10.1007/978-3-540-30101-1_16
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 3238
Wehrheim H. Inheritance of Temporal Logic Properties. In: Najm E, Nestmann U, Stevens P, eds. Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:79--93. doi:10.1007/978-3-540-39958-2_6
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 3239
Rasch H, Wehrheim H. Checking Consistency in {UML} Diagramms: Classes and State Machines. In: Najm E, Nestmann U, Stevens P, eds. Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:229--243. doi:10.1007/978-3-540-39958-2_16
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 3240
Derrick J, Wehrheim H. Using Coupled Simulations in Non-atomic Refinement. In: Bert D, P. Bowen J, King S, A. Wald{\’{e}}n M, eds. {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:127--147. doi:10.1007/3-540-44880-2_10
LibreCat | DOI
 

2003 | Book Chapter | LibreCat-ID: 3016
Blömer J, May A. New Partial Key Exposure Attacks on RSA. In: Advances in Cryptology - CRYPTO 2003. Berlin, Heidelberg: Springer Berlin Heidelberg; 2003:27-43. doi:10.1007/978-3-540-45146-4_2
LibreCat | DOI
 

2003 | Book Chapter | LibreCat-ID: 3018
Blömer J, Seifert J-P. Fault Based Cryptanalysis of the Advanced Encryption Standard (AES). In: Financial Cryptography. Berlin, Heidelberg: Springer Berlin Heidelberg; 2003:162-181. doi:10.1007/978-3-540-45126-6_12
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 21058
Friedrich HE, Meschut G. Autovision – Zukünftige Werkstoffe und Fügekonzepte im Automobilbau. In: DVS-Berichte, Band 222. Vol 222. DVS-Berichte. Düsseldorf: DVS-Verlag GmbH; 2003:5-10.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 21154
Brüdgam S, Meschut G. Mechanisches Fügen und Kleben – Schlüsseltechnologien für die Mischbauweise. In: Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“. Paderborn; 2003:1-9.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 21155
Küting J, Meschut G. Niet- und Direktverschraubungstechniken für Fahrzeug-strukturen in Mischbauweise. In: Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“. Paderborn; 2003:22-34.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 21156
Haldenwanger H-G, Meschut G, Wetter H, Kläger O. Simulation thermisch beanspruchter Strukturklebungen unter dem Einfluss unterschiedlicher Alpha-Werte in Mischverbindungen. In: Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“. Paderborn; 2003:147-162.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 2128
Damerow V, Meyer auf der Heide F, Räcke H, Scheideler C, Sohler C. Smoothed Motion Complexity. In: ESA. Vol 2832. Lecture Notes in Computer Science. Springer; 2003:161--171. doi:10.1007/978-3-540-39658-1_17
LibreCat | DOI
 

2003 | Habilitation | LibreCat-ID: 18690
Seng E-M. Stadt und Planung. Neue Ansätze im Städtebau des 16. und 17. Jahrhunderts. Halle 1999 (425 S. Text): masch.; 2003.
LibreCat
 

2003 | Book | LibreCat-ID: 18694
Seng E-M. Stadt – Idee und Planung. Neue Ansätze im Städtebau des 16. und 17. Jahrhunderts. Berlin, München: Deutscher Kunstverlag; 2003.
LibreCat
 

2003 | Book Chapter | LibreCat-ID: 19144
Seng E-M. “Vom Kristallpalast zum gläsernen Menschen“. In: Wintzek BC, ed. Denkfalle Zeitgeist. Eine Ermutigung zu Maß und Mitte in 40 Essays. Asendorf; 2003:325-336.
LibreCat
 

2003 | Book Review | LibreCat-ID: 19375
Seng E-M. Andrea Langer, Die Gnadenkirche „Zum Kreuz Christi“ in Hirschberg. Zum protestantischen Kirchenbau Schlesiens im 18. Jahrhundert, Stuttgart 2003. Zeitschrift für Kirchengeschichte. 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 18196
Ziegler M. Quasi-optimal Arithmetic for Quaternion Polynomials. In: Proc. 14th Annual International Symposium on Algorithms and Computation (ISAAC’03). Lecture Notes in Computer Science, vol 2906. Springer, Berlin, Heidelberg. ; 2003:705-715. doi:10.1007/978-3-540-24587-2_72
LibreCat | DOI
 

2003 | Book Chapter | LibreCat-ID: 18258
Ziegler M. Fast Relative Approximation of Potential Fields. In: Dehne F, Sack J, Smid M, Algorithms and Data Structures. WADS 2003, eds. Lecture Notes in Computer Science. Vol 2748. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer; 2003. doi:10.1007/978-3-540-45078-8_13
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 7914
Heckel R, Lohmann M. Model-Based Development of Web Applications Using Graphical Reaction Rules. In: Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland). Vol 2621. LNCS. Berlin/Heidelberg: Springer; 2003:170-183. doi:http://dx.doi.org/10.1007/3-540-36578-8
LibreCat | DOI
 

Filters and Search Terms

isbn%3D3-540-32158-6

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed