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.

9733 Publications


2009 | Book Chapter | LibreCat-ID: 50709
Albus, V. (2009). Schön und hässlich. In J. Peters & B. Rolf (Eds.), philo praktisch 1, Unterrichtswerk für Praktische Philosophie in Nordrhein-Westfalen (pp. 160–173).
LibreCat
 

2009 | Dissertation | LibreCat-ID: 52697
Becher, A. (2009). Die Zeit des Holocaust in Vorstellungen von Grundschulkindern. Eine empirische Untersuchung im Kontext von Holocaust Education (Vol. 25). BIS.
LibreCat
 

2009 | Dissertation | LibreCat-ID: 53183
Januszewski, F. (2009). p-adische Rankin-Selberg-Faltungen. KIT Scientific Publishing, 2009. https://doi.org/10.5445/KSP/1000011510
LibreCat | DOI
 

2009 | Book (Editor) | LibreCat-ID: 40119
Ecker, W., Müller, W., & Dömer, R. (Eds.). (2009). Hardware-dependent Software. Springer Netherlands. https://doi.org/10.1007/978-1-4020-9436-1
LibreCat | DOI
 

2009 | Book Review | LibreCat-ID: 18671 | OA
Peckhaus, V. (2009). Bolzano, Bernard, Erbauungsreden der Studienjahre 1808/09, Teilband 1, hg. v. Edgar Morscher und Kurt F. Strasser (Bernard Bolzano-Gesamtausgabe: Reihe II.A.16,1), Friedrich Frommann Verlag-Günther Holzboog: Stuttgart-Bad Cannstatt 2008. In zbMATH Open, Zbl. 1160.01013 (Zbl. 1160.01013).
LibreCat | Download (ext.)
 

2009 | Book Review | LibreCat-ID: 18848
Peckhaus, V. (2009). Blanchette, Patricia A., “Frege on Consistency and Conceptual Analysis”, Philosophia Mathematica (3) 15 (2007), 321–346. In Mathematical Reviews, MR2361784 (2009b:03003) (MR2361784 (2009b:03003)).
LibreCat | Download (ext.)
 

2009 | Journal Article | LibreCat-ID: 54931
Svenningsen, P., Bistrup, C., Friis, U. G., Bertog, M., Haerteis, S., Krueger, B., Stubbe, J., Jensen, O. N., Thiesson, H. C., Uhrenholt, T. R., Jespersen, B., Jensen, B. L., Korbmacher, C., & Skøtt, O. (2009). Plasmin in Nephrotic Urine Activates the Epithelial Sodium Channel. Journal of the American Society of Nephrology, 20(2), 299–310. https://doi.org/10.1681/asn.2008040364
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 54932
Samarin, J., Rehm, M., Krueger, B., Waschke, J., & Goppelt-Struebe, M. (2009). Up-Regulation of Connective Tissue Growth Factor in Endothelial Cells by the Microtubule-Destabilizing Agent Combretastatin A-4. Molecular Cancer Research, 7(2), 180–188. https://doi.org/10.1158/1541-7786.mcr-08-0292
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 25396
Ngonga Ngomo, A.-C. (2008). SIGNUM: A Graph Algorithm for Terminology Extraction. In A. F. Gelbukh (Ed.), Computational Linguistics and Intelligent Text Processing, 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings (Vol. 4919, pp. 85–95). Springer. https://doi.org/10.1007/978-3-540-78135-6\_8
LibreCat | DOI
 

2008 | Dissertation | LibreCat-ID: 19615
Schomaker, G. (2008). Distributed Resource Allocation and Management in Heterogeneous Networks (Vol. 259). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat | Files available
 

2008 | Conference Paper | LibreCat-ID: 19686
Briest, P. (2008). Uniform Budgets and the Envy-Free Pricing Problem. In Proceedings of the 35th InternationalColloquium on Automata, Languages and Programming (ICALP). https://doi.org/10.1007/978-3-540-70575-8_66
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 19687
Briest, P., Krysta, P., & Babaioff, M. (2008). On the Approximability of Combinatorial Exchange Problems. In Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT). Cham. https://doi.org/10.1007/978-3-540-79309-0_9
LibreCat | DOI
 

2008 | Report | LibreCat-ID: 19688
Briest, P., Goldberg, P. W., & Roeglin, H. (2008). Approximate Equilibria in Games with Few Players.
LibreCat | arXiv
 

2008 | Conference Paper | LibreCat-ID: 1975
Battré, D., Hovestadt, M., Kao, O., Keller, A., & Voss, K. (2008). Virtual Execution Environments and the Negotiation of Service Level Agreements in Grid Systems. In Proc. Int. DMTF Academic Alliance Workshop on Systems and Virtualization Management: Standards and New Technologies. https://doi.org/10.1007/978-3-540-88708-9_1
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 19832
Ooi, C. C., & Schindelhauer, C. (2008). Energy-Efficient Distributed Target Tracking Using Wireless Relay Robots. In ARS’08: Proc. of the 9th International Symposium on Distributed Autonomous Robotic Systems (DARS 2008). https://doi.org/10.1007/978-3-642-00644-9_4
LibreCat | DOI
 

2008 | Dissertation | LibreCat-ID: 20262
Hamann, H. (2008). Space-Time Continuous Models of Swarm Robotic Systems. https://doi.org/10.1007/978-3-642-13377-0
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 26771
Hellmich, F. (2008). Individuelle und schulische Bedingungen im Leseunterricht der Grundschule. In B. Hofmann & R. Valtin (Eds.), Checkpoint Literacy. Tagungsband 1 zum 15. Europäischen Lesekongress 2007 in Berlin (pp. 172–182). Deutsche Gesellschaft für Lesen und Schreiben.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3207
Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim, H. (2008). From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In I. Schieferdecker & A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings (pp. 94--109). https://doi.org/10.1007/978-3-540-69100-6_7
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
Derrick, J., Schellhorn, G., & Wehrheim, H. (2008). Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In G. Barthe & F. S. de Boer (Eds.), Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings (pp. 78--95). https://doi.org/10.1007/978-3-540-68863-1_6
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3209
Metzler, B., Wehrheim, H., & Wonisch, D. (2008). Decomposition for Compositional Verification. In S. Liu, T. S. E. Maibaum, & K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings (pp. 105--125). https://doi.org/10.1007/978-3-540-88194-0_9
LibreCat | DOI
 

Filters and Search Terms

isbn%3D978-1-4244-8864-3

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed