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.

7568 Publications


2008 | Encyclopedia Article | LibreCat-ID: 17736
V. Peckhaus, “Grellingsche Antinomie,” in Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn, 2., neubearb. u. wesentl. erg. Aufl., J. Mittelstraß, Ed. Stuttgart/Weimar: J.B. Metzler, 2008, pp. 210–211.
LibreCat | Download (ext.)
 

2008 | Encyclopedia Article | LibreCat-ID: 17737
V. Peckhaus, “Genidentität,” in Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn, 2., neubearb. u. wesentl. erg. Aufl., J. Mittelstraß, Ed. Stuttgart/Weimar: J.B. Metzler, 2008, p. 77.
LibreCat | Download (ext.)
 

2008 | Encyclopedia Article | LibreCat-ID: 17738
V. Peckhaus, “Hermes, Hans,” in Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn, 2., neubearb. u. wesentl. erg. Aufl., J. Mittelstraß, Ed. Stuttgart/Weimar: J.B. Metzler, 2008, pp. 370–371.
LibreCat | Download (ext.)
 

2008 | Encyclopedia Article | LibreCat-ID: 17733
V. Peckhaus and C. v. Bülow, “Galois, Évariste,” in Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn, 2., neubearb. u. wesentl. erg. Aufl., J. Mittelstraß, Ed. Stuttgart/Weimar: J.B. Metzler, 2008, pp. 12–14.
LibreCat | Download (ext.)
 

2008 | Encyclopedia Article | LibreCat-ID: 17735
V. Peckhaus, “Gregory, Duncan Farquharson,” in Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn, 2., neubearb. u. wesentl. erg. Aufl., J. Mittelstraß, Ed. Stuttgart/Weimar: J.B. Metzler, 2008, pp. 208–209.
LibreCat | Download (ext.)
 

2008 | Encyclopedia Article | LibreCat-ID: 17734
V. Peckhaus, “Graßmann, Robert,” in Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn, 2., neubearb. u. wesentl. erg. Aufl., J. Mittelstraß, Ed. Stuttgart/Weimar: J.B. Metzler, 2008, pp. 200–201.
LibreCat | Download (ext.)
 

2008 | Book Chapter | LibreCat-ID: 34945
J. Süßmann, “Bauen als Politik. Zum Versuch des Fürstbischofs Johann Philipp Franz von Schönborn, das Hochstift Würzburg in ein Gemeinwesen zu verwandeln,” in Geistliche Fürsten und Geistliche Staaten in der Spätphase des Alten Reiches, B. Braun, M. Menne, and M. Ströhmer, Eds. Epfendorf: bibliotheca academica, 2008, pp. 223–237.
LibreCat
 

2007 | Journal Article | LibreCat-ID: 2496
D. Dimitrov and C.-J. Haake, “A note on the paradox of smaller coalitions,” Social Choice and Welfare, vol. 30, no. 4, pp. 571–579, 2007.
LibreCat | Files available | DOI
 

2007 | Conference Paper | LibreCat-ID: 25395
A.-C. Ngonga Ngomo and F. Schumacher, “Involving the User in Semantic Search,” in Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design, Symposium on Human Interface 2007, Held as Part of {HCI} International 2007, Beijing, China, July 22-27, 2007, Proceedings Part {I}, 2007, vol. 4557, pp. 507–516, doi: 10.1007/978-3-540-73345-4\_58.
LibreCat | DOI
 

2007 | Book | LibreCat-ID: 25570
J. Gausemeier, Vorausschau und Technologieplanung. 3. Symposium für Vorausschau und Technologieplanung, vol. 219. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2007.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 2024
B. Awerbuch and C. Scheideler, “A Denial-of-Service Resistant DHT,” in Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings, 2007, vol. 4731, pp. 33--47.
LibreCat | DOI
 

2007 | Conference (Editor) | LibreCat-ID: 2025
J. Aspnes, C. Scheideler, A. Arora, and S. Madden, Eds., Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings, vol. 4549. 2007.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 24276
M. Bienkowski and J. Kutyłowski, “The k-Resource Problem on Uniform and on Uniformly Decomposable Metric Spaces,” 2007, doi: 10.1007/978-3-540-73951-7_30.
LibreCat | DOI
 

2007 | Book | LibreCat-ID: 24366
P. Mahlmann and C. Schindelhauer, Peer-to-Peer-Netzwerke. Berlin: Springer, 2007.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 3211
J. Derrick and H. Wehrheim, “On using data abstractions for model checking refinements,” Acta Inf., no. 1, pp. 41--71, 2007.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3214
G. Engels, B. Güldali, C. Soltenborn, and H. Wehrheim, “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts,” in Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3215
G. Engels, C. Soltenborn, and H. Wehrheim, “Analysis of {UML} Activities Using Dynamic Meta Modeling,” in Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3216
T. Ruhroth and H. Wehrheim, “Refactoring Object-Oriented Specifications with Data and Processes,” in Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3222
J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Linearizability Via Non-atomic Refinement,” in Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3293
T. Gries, “Global Shift – The European Union, the United States, and the Emergence of China,” in 50 Years of EU Economic Dynamics, R. Tilly, P. J. J. Welfens, and M. Heise, Eds. Springer, 2007, pp. 25–45.
LibreCat
 

Filters and Search Terms

isbn%3D978-3-540-60972-8

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed