Browsen nach Sachgebiet

Alle Sachgebiete   Informatik   Software

Unterbegriffe: Es stehen keine Unterbegriffe zur Verfügung

619 Ergebnisse zu diesem Sachgebiet

Diese Suchanfrage als RSS-Feed abonnieren

Seite 1 von 25

1 2 3 4 5 nächste › letzte »

1. Abstract objective function graphs on the 3-cube

Gärtner, Bernd und Kaibel, Volker (1998)


Reports

2. A case study of a formalized security architecture

Brucker, Achim D.


Tagungsbeiträge

3. Accurate Theorem Proving for Program Verification

Cook, Byron, Kröning, Daniel und Sharygina, Natasha (2005)


Reports

4. A Collection of Pascal programs

Wirth, Niklaus (1979)


Reports

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

Spindler, Alexandre de (2010)


Dissertationen und Habilitationen

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

Brega, Roberto (2002)


Dissertationen und Habilitationen

7. A comparison of numerical implementations of the Eigenstate expansion method for quantum molecular dynamics simulations

Arbenz, Peter, Bröker, Oliver, Chinellato, Oscar, Gander, Walter, Geus, Roman und Strebel, Rolf (2000)


Reports

8. A comparison of parallel solvers for diagonally dominant and general narrow-banded linear systems

Arbenz, Peter, Cleary, Andrew, Dongarra, Jack und Hegland, Markus (1998)


Reports

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

Bläser, Luc (2007)


Dissertationen und Habilitationen

10. A computer system for model helicopter flight control

Wirth, Niklaus (1999)


Reports

11. A computer system for model helicopter flight control

Wirth, Niklaus (1999)


Reports

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

Ambrošová, Lucia (2011)


Masterarbeiten

13. Adaptive parallelism in distributed shared memory environments

Scherer, Alex Patrick (2001)


Dissertationen und Habilitationen

14. Adaptive quadrature re-revisited

Gonnet, Pedro (2009)


Dissertationen und Habilitationen

15. Adaptive quadrature - revisited

Gander, Walter und Gautschi, Walter (1998)


Reports

16. Adaptive sensor selection algorithms for wireless sensor networks

Santini, Silvia (2009)


Dissertationen und Habilitationen

17. A Discipline for Program Verification based on Backpointers and its Use in Observational Disjointness

Kassios, Ioannis T. und Kritikos, Eleftherios (2012)


Reports

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

Scherer, Daniel Bernhard (1998)


Reports

19. Advice and randomization in online computation

Komm, Dennis (2012)


Dissertationen und Habilitationen

20. Advice Complexity of the Online Vertex Coloring Problem

Seibert, Sebastian, Sprock, Andreas und Unger, Walter (2012)


Reports

21. A Dynamic AOPEngine for .NET

Frei, Andreas, Grawehr, Patrick und Alonso, Gustavo (2004)


Reports

22. A fast and compact compiler for Modula-2

Wirth, Niklaus und Gutknecht, Jürg (1985)


Reports

23. A faster distributed approximation scheme for the connected dominating set problem for growth-bounded graphs

Gfeller, Beat und Vicari, Elias


Reports

24. A fast+practical+deterministic algorithm for triangularizing integer matrices

Storjohann, Arne (1996)


Reports

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

Orfanogianni, Tina (2000)


Dissertationen und Habilitationen


Seite 1 von 25

1 2 3 4 5 nächste › letzte »