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.

802 Publications


2014 | Conference Paper | LibreCat-ID: 3171
Travkin O, Wehrheim H. Handling {TSO} in Mechanized Linearizability Proofs. In: Yahav E, ed. Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:132--147. doi:10.1007/978-3-319-13338-6_11
LibreCat | DOI
 

2014 | Book Chapter | LibreCat-ID: 18956
Seng E-M. World Cultural Heritage: Cultural Identity and the War on Works of Art. Introduction, Sketch of Problems and Objects. In: The Challenge of the Object. Section 6, The Proceedings of the 33. International Congress in the History of Art. Nuremberg, 15.-20. July 2012. Comité International d’Histoire de l’Art, CIHA, Bd. 2. Vol 2. Nürnberg; 2014:430-434.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 22903
Kühn A, Bremer C, Dumitrescu R, Gausemeier J. Feature models supporting trade-off decisions in early mechatronic systems design. In: NordDesign 2014, Espoo, Finnland, 27. - 29. Aug. 2014. ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 41
Schwichtenberg S, Gerth C, Engels G. RSDL workbench results for OAEI 2014. In: Proceedings of the 9th International Workshop on Ontology Matching Collocated with the 13th International Semantic Web Conference (ISWC 2014), Riva Del Garda, Trentino, Italy, October 20, 2014. Vol 1317. CEUR-WS.org; 2014:155--162.
LibreCat | Download (ext.)
 

2014 | Book Chapter | LibreCat-ID: 29384
Schönhärl K. Vertrauensarbeit nach dem Bankrott: Die Internationale Finanzkommission für Griechenland zwischen 1898 und 1914. In: Hedwig A, ed. Finanzpolitik und Schuldenkrisen 16.-20. Jahrhundert. Hessisches Staatsarchiv Marburg; 2014:173-196.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 32528 | OA
Buhl HM, Scholwin B, Noack P. Individuation in Adults’ Family Interactions: An Observational Study. Journal of Adult Development. 2014;22(2):100-111. doi:10.1007/s10804-014-9204-z
LibreCat | DOI | Download (ext.)
 

2014 | Journal Article | LibreCat-ID: 4064
Hiller L, Stauden T, Kemper RM, Lindner J, As DJ, Pezoldt J. Hydrogen Effects in ECR-Etching of 3C-SiC(100) Mesa Structures. Materials Science Forum. 2014;778-780:730-733. doi:10.4028/www.scientific.net/msf.778-780.730
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 50128
Pauls K. „Partizipation – bildkompetent und interkulturell“. Bericht über eine Tagung des BDK Landesverbandes Nordrhein-Westfalen am 29. Januar 2014. BDK-Mitteilungen . 2014;2:35-36.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 53646
Janus R. Darf man Kunstwerke zu Illustrationen machen? Die Luther-Abbildungen in der Schulbuchreihe Kursbuch für Sek. I. In: Roggenkamp A, Wermke M, eds. Religiöse Sozialisation, Erziehung und Bildung in historischer Perspektive. Arbeitsfelder der Religionspädagogik. Vol 4. Studien zur religiösen Bildung. Evangelischer Verlagsanstalt; 2014:221-236.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 53645
Janus R. Vom Apophthegma zum Tweed. Minimalisierung als emergente Identitäts- und Weltkonstruktion. In: Nord I, Luthe S, eds. Social Media, christliche Religiosität und Kirche. Studien zur Praktischen Theologie mit religionspädagogischem Schwerpunkt. Vol 14. Populäre Kultur und Theologie. Garamond; 2014:195-207.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 24310
Awny A, Möller L, Junio J, Scheytt C, Thiede A. Design and Measurement Techniques for an 80 Gb/s 1-Tap Decision Feedback Equalizer. IEEE JOURNAL OF SOLID-STATE CIRCUITS. 2014;Vol.49(No.2):452-470. doi:10.1109/JSSC.2013.2285385
LibreCat | Files available | DOI
 

2014 | Book Chapter | LibreCat-ID: 37922
Grotjahn R. Stimmbesitzer und Sängerdarsteller. Die Inszenierung des Singens auf der Musiktheater-Bühne in den ersten Jahrzehnten des 20. Jahrhunderts. In: Steiert T, Coul PO de, eds. Blickpunkt Bühne. Musiktheater in Deutschland von 1900 Bis 1950. Dohr; 2014.
LibreCat | Files available
 

2014 | Journal Article | LibreCat-ID: 43908
Schroeter-Wittke H. Impuls und Design - Friedensklänge aus dem 20. Jahrhundert. Zum 100. Geburtstag von Andrzej Panufnik. Praktische Theologie. 2014;49:259-260.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 39497
Assion F, Geneiß V, Schönhoff M, Hedayat C, Hilleringmann U. Anodized Aluminum as Effective and Cheap Alternative Substrate for Thermoelectric Generators. In: Amaldi A, Tang F, eds. Proceedings of the 11th European Conference on Thermoelectrics. Springer International Publishing; 2014:83–88.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 56525
Peñaloza R, Thost V, Turhan A-Y. Certain Answers in a Rough World. In: Bienvenu M, Ortiz M, Rosati R, Simkus M, eds. Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Vol 1193. CEUR Workshop Proceedings. CEUR-WS.org; 2014:709–712.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 56524
Ecke A, Peñaloza R, Turhan A-Y. Mary, What’s Like All Cats? In: Bienvenu M, Ortiz M, Rosati R, Simkus M, eds. Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Vol 1193. CEUR Workshop Proceedings. CEUR-WS.org; 2014:526–529.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 56528
Ecke A, Peñaloza R, Turhan A-Y. Answering Instance Queries Relaxed by Concept Similarity. In: Baral C, Giacomo GD, Eiter T, eds. Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press; 2014.
LibreCat
 

2014 | Misc | LibreCat-ID: 65183
Hagemann S, Keuchen M. Jesus Christus. Themenheft für den evangelischen Religionsunterricht in der Oberstufe. Vandenhoeck&Ruprecht; 2014.
LibreCat | Files available | Download (ext.)
 

2013 | Journal Article | LibreCat-ID: 20946
Alissawi N, Peter T, Strunskus T, Ebbert C, Grundmeier G, Faupel F. Plasma-polymerized HMDSO coatings to adjust the silver ion release properties of Ag/polymer nanocomposites. JOURNAL OF NANOPARTICLE RESEARCH. 2013;15(11). doi:10.1007/s11051-013-2080-9
LibreCat | DOI | WoS
 

2013 | Book | LibreCat-ID: 22379
Hölscher C, Michaelis S, Strop M, Zimmer D. Energetische Optimierung Eines Mehrmotorenantriebssystems Für Kautschukinnenmischer. Nixdorf Institut (HNI); 2013:345-357.
LibreCat
 

Filters and Search Terms

%28project%3D78%29%20

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed