Search
Now showing items 21-30 of 35
High performance VCSEL arrays for optical interconnection
Schnitzer, P et al. (1998)
Beitrag zu einer Konferenz
Device performance of ultra-violet emitting diodes grown by MBE
Mayer, M et al. (1998)
Beitrag zu einer Konferenz
Oxide confined 2D VCSEL arrays for high-density inter/intra-chip interconnects
King, R et al. (1998)
Beitrag zu einer Konferenz
InGaAs VCSEL arrays for 1 gbit/s bias-free and 8 gbit/s biased data transmission
Schnitzer, P et al. (1998)
Beitrag zu einer Konferenz
Formal Support for the Development of Knowledge-based Systems
Fensel, D. et al. (1998)
Wissenschaftlicher Artikel
Defining the Java Virtual Machine as Platform for Provably correct Java Compilation
Börger, Egon; Schulte, Wolfram; Brim, L.; Gruska, J.; Zlatuska, J. (1998)
Beitrag zu einer Konferenz
Applying Metrics to Cross-Technical Evaluations
Ernst, Dietmar; Houdek, Frank; Coombes, H.; Hooft van Huysduynen, M.; Peeters, B. (1998)
Beitrag zu einer Konferenz
Toward a taxonomy of NP-hard combinatorial optimization problems
Salamon, Peter et al. (1998)
Wissenschaftlicher Artikel
Software-Sicherheit mit formalen Methoden
Reif, Wolfgang (1998)
Wissenschaftlicher Artikel
The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV
Schellhorn, Gerhard; Ahrendt, W.; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches