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.

1768 Publications


2004 | Book Review | LibreCat-ID: 18483 | OA
V. Peckhaus, “Tomassi, Paul, ‘Logic after Wittgenstein’, Nordic Journal of Philosophical Logic 6 (2001), 43–70,” zbMATH Open, Zbl. 1026.03006. 2004.
LibreCat | Download (ext.)
 

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

2003 | Journal Article | LibreCat-ID: 19785
K. A. Salzwedel, “Algorithmic Approaches for Storage Networks,” Algorithms for Memory Hierarchies, vol. 2625, 2003.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 3237
H. Wehrheim, “Preserving Properties Under Change,” in Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 3238
H. Wehrheim, “Inheritance of Temporal Logic Properties,” in Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 3239
H. Rasch and H. Wehrheim, “Checking Consistency in {UML} Diagramms: Classes and State Machines,” in Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 3240
J. Derrick and H. Wehrheim, “Using Coupled Simulations in Non-atomic Refinement,” in {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, 2003, pp. 127--147.
LibreCat | DOI
 

2003 | Book Chapter | LibreCat-ID: 3016
J. Blömer and A. May, “New Partial Key Exposure Attacks on RSA,” in Advances in Cryptology - CRYPTO 2003, Berlin, Heidelberg: Springer Berlin Heidelberg, 2003, pp. 27–43.
LibreCat | DOI
 

2003 | Book Chapter | LibreCat-ID: 3018
J. Blömer and J.-P. Seifert, “Fault Based Cryptanalysis of the Advanced Encryption Standard (AES),” in Financial Cryptography, Berlin, Heidelberg: Springer Berlin Heidelberg, 2003, pp. 162–181.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 21058
H. E. Friedrich and G. Meschut, “Autovision – Zukünftige Werkstoffe und Fügekonzepte im Automobilbau,” in DVS-Berichte, Band 222, Düsseldorf, 2003, vol. 222, pp. 5–10.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 21154
S. Brüdgam and G. Meschut, “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, pp. 1–9.
LibreCat
 

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

2003 | Conference Paper | LibreCat-ID: 21156
H.-G. Haldenwanger, G. Meschut, H. Wetter, and O. Kläger, “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, pp. 147–162.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 2128
V. Damerow, F. Meyer auf der Heide, H. Räcke, C. Scheideler, and C. Sohler, “Smoothed Motion Complexity,” in ESA, 2003, vol. 2832, pp. 161--171.
LibreCat | DOI
 

2003 | Habilitation | LibreCat-ID: 18690
E.-M. Seng, 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
E.-M. Seng, 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
E.-M. Seng, ““Vom Kristallpalast zum gläsernen Menschen“,” in Denkfalle Zeitgeist. Eine Ermutigung zu Maß und Mitte in 40 Essays, B. C. Wintzek, Ed. Asendorf, 2003, pp. 325–336.
LibreCat
 

2003 | Book Review | LibreCat-ID: 19375
E.-M. Seng, “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
M. Ziegler, “Quasi-optimal Arithmetic for Quaternion Polynomials,” in Proc. 14th Annual International Symposium on Algorithms and Computation (ISAAC’03), 2003, pp. 705–715.
LibreCat | DOI
 

2003 | Book Chapter | LibreCat-ID: 18258
M. Ziegler, “Fast Relative Approximation of Potential Fields,” in Lecture Notes in Computer Science, vol. 2748, F. Dehne, J. Sack, M. Smid, and Algorithms and Data Structures. WADS 2003, Eds. Berlin, Heidelberg: Springer, 2003.
LibreCat | DOI
 

Filters and Search Terms

isbn%3D3-540-32158-6

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed