„Technische Informatik“

Suchergebnisse

1.000+ Treffer

• Towards a Dynamic Type Theory
  Kohlhase, Michael ; Kuschert, Susanna 1999 Technische Universität Kaiserslautern, Fachbereich Informatik
• The Refus Programming Language
  Eppler, Reinhard ; Knauber, Peter ; Vorwieger, Stefan ; Wippermann, Hans-Wilm 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Prognose Securitybedarf und Bewertung möglicher Sicherheitskonzepte – Teil 1: Technologieprognose
  Leining, Michael ; Schubert, Max ; Heinrich, Markus ; Katzenbeisser, Stefan ; Unger, Simon ; Krauß, Christoph ; Scheuerman, Dirk ; Iffländer, Lukas ; Buder, Thomas 2022 Deutsches Zentrum für Schienenverkehrsforschung beim Eisenbahn-Bundesamt
• Modulhandbuch Bachelor Ingenieurinformatik – Studienordnungsversion: 2008
  Ilmenau, Rektor Technischen Universität Ilmenau Rektor der Technischen Universität 2015 TU Ilmenau
• Entwicklung eines datenbankgestützten Black-Box-Testverfahrens am Beispiel des virtuellen Rathauses der Stadt Hagen
  Zarfl, Andreas 2005 Hochschulbibliothek der Technischen Hochschule Köln
• Quantum Integration in Sobolev Classes
  Heinrich, Stefan 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Optimal Summation and Integration by Deterministic, Randomized, and Quantum Algorithms
  Heinrich, Stefan ; Novak, Erich 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Schattenberechnung für die Visualisierung hybrider Datensätze
  Lengen, Rolf H. ˜vanœ 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Comparison and Analysis of IP Billing Technologies
  Zhang, Ge 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Theorie und Praxis neuronaler Netze
  Wendel, Oliver ; Wangenheim, Aldo ˜vonœ 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Interactive Global Illumination
  Wald, Ingo ; Kollig, Thomas ; Benthin, Carsten ; Keller, Alexander ; Slusallek, Philipp 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle
  Thees, J. ; Gotzhein, R. 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Partitioned chain grammars
  Schlichtiger, Peter 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• On the parsing of partitioned chain grammars
  Schlichtiger, Peter 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• On how to construct efficiently parsable grammars
  Peter, Schlichtiger 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Qualitätsorientierte, prozeß-sensitive Softwareentwicklungsumgebungen im MVP-Projekt
  Rombach, H. Dieter ; Birk, Andreas ; Bröckers, Alfred ; Lott, Christopher M. ; Verlage, Martin 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Partikelgestützte Triangulierung skelettbasierter impliziter Flächen
  Rodrian, Hans-Christian ; Schüller, Peter ; Moock, Hardy 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Performance Evaluation of Extended Storage Architectures for Transaction Processing
  Rahm, Erhard 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Metropolis Light Transport for Participating Media
  Pauly, Mark ; Kollig, Thomas ; Keller, Alexander 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Using Transport Services instead of specific Transport Protocols
  Müller, Paul ; Reuther, Bernd ; Schneider, Michael ; Schulz, Andreas 2017 Technische Universität Kaiserslautern, Fachbereich Informatik