Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

FB 4: Informatik

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2501
  • 0261/287-2502
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Sofronie-Stokkermans, Viorica

Automated theorem proving by resolution in non-classical logics

Annals of Mathematics and Artificial Intelligence. Bd. 49. H. 1-4. Dordrecht: Springer 2007 S. 221 - 252


Bouattour, Sahla; Paulus, Dietrich

Automatic Extraction of quasi-Synchronous Views from Rotational Angiography Sequence without ECG-Data

Joachim Hornegger (Hrsg). Proceedings of the 3rd Russian Bavarian Conference on Biomedical Engineering: At Friedrich Alexander University Erlangen-Nürnberg and Fraunhofer Institute for Integrated Circuits IIS, Erlangen, Bavaria, July 2 - 3, 2007. Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg, Technische Fakultät 2007 S. 42 - 46


Meletiadou, Anastasia; Hampe, J. Felix

Begriffsbestimmung und erwartete Trends im IT-Risk-Management: eine Delphi-Studie

Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 2007 S. 42


Höhfeld, Alexander; Frey, Hannes; Sturm, Peter

Beispielapplikationen für die Pervasive University

Rainer Koschke; Otthein Herzog; Karl-Heinz Rödiger; Marc Ronthaler (Hrsg). INFORMATIK 2007 - Informatik trifft Logistik, Band 1: Beiträge der 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI); September 24. - 27., 2007; Bremen. Bonn: Gesellschaft für Informatik 2007 S. 492 - 496


Wimmer, Maria A.

Beiträge der Wissenschaft zur erfolgreichen E-Government-Umsetzung

Achim Zechner (Hrsg). Handbuch E-Government: Strategien, Lösungen und Wirtschaftlichkeit. Stuttgart: Fraunhofer IRB Verlag 2007 S. 79 - 91


Fislake, Martin; Hartmann, Elke; Hüttner, Andreas et al.

Bildungsstandards im Fach Technik für den mittleren Schulabschluss

Düsseldorf: VDI 2007


Schubert, Petra

Business Software as a Facilitator for Business Process Excellence: Experiences from Case Studies

Electronic Markets. Bd. 17. H. 3. Heidelberg: Springer 2007 S. 187 - 198


Harbusch, Karin; Kempen, Gerard

Clausal Coordinate Ellipsis in German: The TIGER Treebank as a Source of Evidence

Joakim Nivre;Heiki-Jaan Kaalep;Kadri Muischnek;Mare Koit (Hrsg). Proceedings of the Sixteenth Nordic Conference of Computational Linguistics NODALIDA 2007: May 25. - 26., 2007; University of Tartu, Tartu, Estonia. Tartu: University of Tartu 2007 S. 81 - 88


Andersen, Kim Viborg; Nørbjerg, Jacob; Secher, Ann Christine et al.

Coach class or Red Carpet Treatment: Strategic choices for eParticipation in Local Government

Paul Cunningham; Miriam Cunningham (Hrsg). Expanding the Knowledge Economy: Issues, Applications, Case Studies; Part 1-2. Amsterdam: IOS Press 2007 S. 442 - 448


Kunegis, Jérôme; Schmidt, Stephan

Collaborative Filtering Using Electrical Resistance Network Models

Petra Perner (Hrsg). Advances in Data Mining - Theoretical Aspects and Applications: 7th Industrial Conference ICDM 2007, Leipzig, Germany, July 14-18, 2007, Proceedings. Berlin: Springer 2007 S. 269 - 282