FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
Constraint Solving for InterpolationByron Cook; Andreas Podelski (Hrsg). Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings. Berlin: Springer 2007 S. 346 - 362
Georg, Geri; Houmb, Siv Hilde; France, Robert B. et al.
Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop ReportThomas Kühne (Hrsg). Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers. Berlin: Springer 2007 S. 27 - 31
Schlich, Michaela
Dampfgaren - ein altes Garverfahren neu entdecktHaushalt & Bildung. Bd. 84. H. 4. Baltmannsweiler: Schneider Hohengehren 2007 S. 12 - 22
Arndt, Richard; Schweiger, Roland; Ritter, Werner et al.
Detection and Tracking of Multiple Pedestrians in Automotive ApplicationsLevent Guvenc; Petros Ioannou; Emre Köse (Hrsg). Proceedings of the 18th IEEE Intelligent Vehicles Symposium IV 2007: June 13 - 15, 2007, Istanbul, Turkey. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2007 S. 13 - 18
Schneider, Christian; Schmidt, Clemens; Steneberg, Stephan et al.
Detection of Ornamental RegionsVito Cappellini; James Hemsley (Hrsg). EVA 2007 Florence: Conference, Workshops, Meetings, Training & Exhibition; 26.-30. March, 2007. Bologna: Pitagora Editrice 2007 S. 120 - 125
Wimmer, Maria A.; Codagnone, Cristiano; Ma, Xiaofeng
Developing an E-Government Research Roadmap: Method and Example from E-GovRTD2020Maria A. Wimmer;Jochen Scholl;Åke Grönlund (Hrsg). Electronic Government: 6th International Conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007 Proceedings. Berlin: Springer 2007 S. 1 - 12
Jürjens, Jan
Developing Secure Embedded Systems: Pitfalls and How to Avoid ThemJohn Knight; Gregg Rothermel; Wolfgang Emmerich (Hrsg). Proceeding of the 29th International Conference on Software Engineering ICSE 2007 Companion Volume: 20-26 May 2007; Minneapolis, Minnesota. Los Alamitos, CA: IEEE Computer Society 2007 S. 182 - 183
Loukis, Euripides; Wimmer, Maria A.; Triantafillou, Anna et al.
Development of Legislation through Electronic Support of Participation: LEX-ISPaul Cunningham;Miriam Cunningham (Hrsg). Expanding the Knowledge Economy: Issues, Applications, Case Studies; Part 1-2. Amsterdam: IOS Press 2007 S. 477 - 484
Von Kortzfleisch, Harald
Direktiven für die Weiterbildung des ManagementsCHECK.point eLearning. Berlin: INFObases GmbH 2007
Williams, Susan P.; Hardy, Catherine A.
E-Procurement: Current Issues Future ChallengesHubert Österle; Joachim Schelp; Robert Winter (Hrsg). Proceedings of the 15th European Conference on Information Systems, ECIS 2007 - "Relevant rigour - rigorous relevance": St. Gallen, Switzerland; June 07 - 09, 2007. Atlanta, GA: Association for Information Systems/AIS eLibrary 2007 S. 131 - 142