Suche
Kategorie
108395 Treffer
×
Johannes Gutenberg-Universität Mainz
×
Universität Koblenz
×
Hochschule Mainz
×
Hochschule Kaiserslautern
×
Hochschule Worms
×
Theologische Fakultät Trier
- Ullrich, Peter
- Georg Friedrich Bernhard Riemann
- Noretta Koertge (Hrsg). New Dictionary of Scientific Biography: Volume 6; Pachymeres - Szilard. Detroit, MI: Charles Scribner's Sons 2008 S. 250 - 254
- Hinze, Michael; Volkwein, Stefan
- Error estimates for abstract linear-quadratic optimal control problems using proper orthogonal decomposition
- Computational Optimization and Applications. Bd. 39. H. 3. New York, NY: Springer 2008 S. 319 - 345
- Remmert, Reinhold; Ullrich, Peter
- Elementare Zahlentheorie
- Basel: Birkhäuser 2008
- Bicking, Melanie; Janssen, Marijn; Wimmer, Maria A.
- Scenarios for eGovernments in 2020: Towards a Roadmap for Future eGovernment Research in Europe
- Paul Cunningham;Miriam Cunningham (Hrsg). Exploiting the Knowledge Economy: Issues, Applications and Case Studies; Part 1. Amsterdam: IOS Press 2006 S. 407 - 415
- Jürjens, Jan
- Security Analysis of Crypto-based Java Programs using Automated Theorem Provers
- Shinichi Honiden;Sebastian Uchitel;Steve Easterbrook (Hrsg). Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering ASE 2006: 18 - 22 September 2006; Tokyo, Japan. Los Alamitos, CA: IEEE Computer Society 2006 S. 167 - 176
- Jürjens, Jan
- Security Analysis of Crypto-based Java Programs using Automated Theorem Provers.
- ASE. 2006 S. 167 - 176
- Tanatmis, Akin; Ruzika, Stefan; Hamacher, Horst W. et al.
- A Separation Algorithm for Improved LP-Decoding of Linear Block Codes
- IEEE TRANSACTIONS ON INFORMATION THEORY. Bd. 56. H. 7. 2010 S. 3277 - 3289
- Miksa, Krzysztof; Kasztelnik, Marek; Sabina, Pawel et al.
- Towards Semantic Modeling of Network Physical Devices.
- MoDELS Workshops. 2009 S. 329 - 343
- Schubert, Petra; Leimstoll, Uwe; Risch, Daniel
- Personalization Beyond Recommender Systems: An Application-Oriented Overview of Personalization Functions
- Reima Suomi;Regis Cabral;J. Felix Hampe;Arto Heikkilä;Jonna Järveläinen;Eija Koskivaara (Hrsg). Project E-Society: Building Bricks - 6TH IFIP International Conference on e-Commerce, e-Business, and e-Government (13E 2006), October 11–13, 2006, Turku, Finland. Boston, MA: Springer 2006 S. 126 - 139
- Jürjens, Jan
- Modeling and Compositional Design for Secure Embedded Systems (Invited Talk)
- NSF-IST workshop: Long Term Challenges in High Confidence Composable Embedded Systems, Helsinki (Finland), June 20--23, 2006. 2006