Browse by Subject

All Subjects   Computer Science   Software

Subcategories: There are no further subcategories

312 Results for this Subject

Subscribe to RSS feed for this result set

Page 1 of 13

Result pages:    1 2 3 4 5 6 7 8 9 10 Next Page › Last Page »

1. A Collection-Oriented Application Framework for Mobile Information Systems

Spindler, Alexandre de (2010)


Doctoral and Habilitation Theses

2. A combination of system software techniques aimed at raising the run-time safety of complex mechatronic applications

Brega, Roberto (2002)


Doctoral and Habilitation Theses

3. A component language for pointer-free concurrent programming and its application to simulation

Bläser, Luc (2007)


Doctoral and Habilitation Theses

4. A cost-flexible approach to transforming a legacy PL/I application to perform an asynchronous remote service call

Ambrošová, Lucia (2011)


Master Theses

5. Adaptive parallelism in distributed shared memory environments

Scherer, Alex Patrick (2001)


Doctoral and Habilitation Theses

6. Adaptive sensor selection algorithms for wireless sensor networks

Santini, Silvia (2009)


Doctoral and Habilitation Theses

7. A distributed framework for integrated software process and deployment support

Scherer, Daniel Bernhard (1998)


Reports

8. A flexible software environment for steady-state power flow optimization with series FACTS devices

Orfanogianni, Tina (2000)


Doctoral and Habilitation Theses

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

Lehner, Hermann (2011)


Doctoral and Habilitation Theses

10. A generic kernel for reliable process support

Hagen, Claus (1999)


Doctoral and Habilitation Theses

11. A graphical development environment for quantum algorithms

Zeiter, Daniel (2008)


Master Theses

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

Nunkesser, Marc (2006)


Doctoral and Habilitation Theses

13. Algorithmic approaches for solving hard problems

Mömke, Tobias (2009)


Doctoral and Habilitation Theses

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

Weber, Birgitta (2005)


Doctoral and Habilitation Theses

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

Neyer, Gabriele (2000)


Doctoral and Habilitation Theses

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

Burdet, Etienne (1996)


Doctoral and Habilitation Theses

17. Analysis of random-access algorithms

Mathys, Peter (1984)


Doctoral and Habilitation Theses

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

Odersky, Martin, Odersky, Martin and Odersky, Martin (1989)


Doctoral and Habilitation Theses

19. Angewandte Geometrie

Pauly, Mark (2006)


Videos

20. An Implementation of a plane-sweep algorithm on a personal computer

Beretta, Giordano B. (Giordano Bruno), Beretta, Giordano B. (Giordano Bruno) and Beretta, Giordano B. (Giordano Bruno) (1984)


Doctoral and Habilitation Theses

21. An interactive proof environment for object-oriented specifications

Brucker, Achim D. (2007)


Doctoral and Habilitation Theses

22. AOP Implementation in .NET

Grawehr, Patrick (2003)


Master Theses

23. A parallelizing compiler for distributed memory parallel processors

Rühl, Roland (1992)


Doctoral and Habilitation Theses

24. A parallel resolution method for logic programs

Zolliker, Urs (1993)


Doctoral and Habilitation Theses

25. Application Collusion Attack on the Permission-Based Security Model and its Implications for Modern Smartphone Systems

Marforio, Claudio, Francillon, Aurélien and Capkun, Srdjan (2011)


Reports


Page 1 of 13

Result pages:    1 2 3 4 5 6 7 8 9 10 Next Page › Last Page »