Browsen nach Sachgebiet

Alle Sachgebiete   Informatik   Software

Unterbegriffe: Es stehen keine Unterbegriffe zur Verfügung

616 Ergebnisse zu diesem Sachgebiet

Diese Suchanfrage als RSS-Feed abonnieren

26. A formal definition of JML in Coq and its application to runtime assertion checking

Lehner, Hermann (2011)


Dissertationen und Habilitationen

27. A framework for modelling and testing of security policies

Brügger, Lukas Alexander (2012)


Dissertationen und Habilitationen

28. A generic kernel for reliable process support

Hagen, Claus (1999)


Dissertationen und Habilitationen

29. A graphical development environment for quantum algorithms

Zeiter, Daniel (2008)


Masterarbeiten

30. A highly scalable memory efficient multigrid solver for µ-finite element analyses

Flaig,Cyril (2012)


Dissertationen und Habilitationen

31. Algebraic Communication Complexity of Distributed Computation

Bläser, Markus und Vicari, Elias (2005)


Reports

32. Algorithm design and analysis of problems in manufacturing, logistic, and telecommunications: An algorithmic jam session

Nunkesser, Marc (2006)


Dissertationen und Habilitationen

33. Algorithmic approaches for solving hard problems

Mömke, Tobias (2009)


Dissertationen und Habilitationen

34. Algorithms and complexity for some machine scheduling and prefetching problems

Weber, Birgitta (2005)


Dissertationen und Habilitationen

35. Algorithms, complexity, and software engineering in computational geometry

Neyer, Gabriele (2000)


Dissertationen und Habilitationen

36. Algorithms for the polar decomposition

Gander, Walter (1989)


Reports

37. Algorithms of human motor control and their implementation in robotics

Burdet, Etienne (1996)


Dissertationen und Habilitationen

38. A model transformation semantics and analysis methodology for SecureUML

Brucker, Achim D., Doser, Jürgen und Wolff, Burkhart (2006)


Reports

39. An adaptable and extensible geometry Kernel

Hert, Susan, Hoffmann, Michael, Kettner, Lutz, Pion, Sylvain und Seel, Michael (2001)


Reports

40. Analyse von Methoden und Werkzeugen zur Entwicklung grosser Datenbank-Anwendungs-Systeme

Mentzer, Sven (1992)


Reports

41. Analysis of Communicating Authorization Policies

Frau, Simone und Torabi Dashti, Mohammad (2012)


Reports

42. Analysis of random-access algorithms

Mathys, Peter (1984)


Dissertationen und Habilitationen

43. Analysis of the .NET CLR Exception Handling Mechanism

Fruja, Nicu Georgian und Börger E. (Egon) (2005)


Reports

44. Analyzing Covert Channels on Mobile Devices

Ritzdorf, Hubert (2012)


Masterarbeiten

45. An ASM specification of C# threads and the .NET memory model

Stärk, Robert F. und Börger E. (Egon) (2003)


Reports

46. An axiomatic definition of the programming language Pascal

Hoare, Charles Antony Richard und Wirth, Niklaus (1972)


Reports

47. An essay on programming

Wirth, Niklaus (1999)


Reports

48. A new approach to formal language definition and its application to Oberon

Odersky, Martin, Odersky, Martin und Odersky, Martin (1989)


Dissertationen und Habilitationen

49. A new method to approximate the volume rendering equation using wavelet bases and piecewise polynomials

Gross, Markus H. (1994)


Reports

50. An Executable Structural Operational Semantics For Scoop

Schill, Mischael (2012)


Masterarbeiten