Browsen nach Sachgebiet

Alle Sachgebiete   Informatik   Informatik allgemein

Unterbegriffe: Es stehen keine Unterbegriffe zur Verfügung

259 Ergebnisse zu diesem Sachgebiet

Diese Suchanfrage als RSS-Feed abonnieren

Seite 1 von 11

1 2 3 4 5 6 7 8 9 10 11 nächste › letzte »

1. Accelerated gradient descent by factor-centering decomposition

Schraudolph, Nicol (1998)


Reports

2. A comparative study of programmer-written and automatically inferred contracts

Polikarpova, Nadezhda, Ciupa, Ilinca und Meyer, Bertrand


Reports

3. A comparison of algorithms for modal analysis in the absence of a sparse direct method

Arbenz, Peter, Lehoucq, Richard B. und Zollinger, Aaron (2003)


Reports

4. A discourse on the Pivot rules random edge and random facet

Tschirschnitz, Falk (2000)


Reports

5. Advice complexity and barely random algorithms

Komm, Dennis und Královič, Richard (2010)


Reports

6. A dynamic lightweight Architecture for Ad-hoc Infrastructures

Frei, Andreas und Alonso, Gustavo (2004)


Reports

7. A Formalization of JML in the Coq Proof System

Kägi, Andreas, Lehner, Hermann und Müller, Peter (2009)


Reports

8. A generic 2D graphics API with object framework and applications

Oswald, Erich (2000)


Dissertationen und Habilitationen

9. A Jacobi-Davidson method for solving complex-symmetric Eigenvalue problems

Arbenz, Peter und Hochstenbach, Michiel E. (2002)


Reports

10. A Logic for Bytecode

Bannwart, Fabian Yves und Müller, Peter (2004)


Reports

11. Alternation Elimination for Automata over Nested Words

Dax, Christian Nikolaus und Klaedtke, Felix (2011)


Reports

12. A multipoint communication architecture for end-to-end quality of service guarantes

Bauer, Daniel (1997)


Dissertationen und Habilitationen

13. Analysis of approximation algorithms for the traveling salesman problem in near-metric graphs

Krug, Sacha (2011)


Reports

14. Analyzing connectivity-based multi-hop ad-hoc positioning

Bischoff, Regina und Wattenhofer, Roger (2003)


Reports

15. An Approach to Modular and Testable Security Models of Real-world Health-care Applications

Brucker, Achim D., Brügger, Lukas, Kearney, Paul und Wolff, Burkhart (2011)


Tagungsbeiträge

16. An Executable Specification of C♯

Jula, Horatiu V. und Fruja, Nicu Georgian (2005)


Reports

17. Anleitung zur Erstellung von problembasierten Prüfungsfragen für den ICT-Unterricht

Dahinden, Markus (2010)


Reports

18. An O(n4) time algorithm to compute the bisection width of solid grid graphs

Feldmann, Andreas Emil und Widmayer, Peter (2011)


Reports

19. AOP Implementation in .NET

Grawehr, Patrick (2003)


Masterarbeiten

20. Applying object-orientation to developing integrated environments for computer-aided control systems design

Qui, Xiaobing (1998)


Dissertationen und Habilitationen

21. A Privacy-friendly RFID Protocol using Reusable Anonymous Tickets

Asadpour, Mahdi und Torabi Dashti, Muhammad (2011)


Reports

22. A proposal for an XLink data model

Wilde, Erik (2002)


Reports

23. Ariadne

Glavic, Boris, Esmaili, Kyumars Sheykh, Fischer, Peter M. und Tatbul, Nesime (2012)


Reports

24. ASAP Adaptive QoS Support with Reduced Reservation Overhead in MANETs

Stuedi, Patrick, Xue, Jianbo und Alonso, Gustavo (2004)


Reports

25. A survey of academic and commerical approaches to transaction support in mobile computing environments

Türker, Can und Zini, Gabriele (2003)


Reports


Seite 1 von 11

1 2 3 4 5 6 7 8 9 10 11 nächste › letzte »