945 Ergebnisse zu dieser Organisationseinheit

Diese Suchanfrage als RSS-Feed abonnieren

Seite 1 von 38

1 2 3 4 5 nächste › letzte »

1. A Bernstein-Bézier based approach to soft tissue simulation

Roth, Samuel Hans Martin, Gross, Markus H., Turello, Silvio und Carls, Friedrich R. (Friedrich Robert) (1998)


Reports

2. Abstract objective function graphs on the 3-cube

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


Reports

3. A bus-based on-chip message passing network

Liu, Ling (2009)


Reports

4. A case study of a formalized security architecture

Brucker, Achim D.


Tagungsbeiträge

5. Accountability in optimistic non-repudiation protocols

Torabi Dashti, Mohammad (2010)


Reports

6. Accurate Theorem Proving for Program Verification

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


Reports

7. A Collection of Pascal programs

Wirth, Niklaus (1979)


Reports

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

Polikarpova, Nadezhda, Ciupa, Ilinca und Meyer, Bertrand


Reports

9. 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

10. A comparison of CS student backgrounds at two universities

Pedroni, Michaela und Oriol, Manuel (2009)


Reports

11. 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

12. 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

13. A computer system for model helicopter flight control

Sanvido, Marco Aurelio Antonio (1999)


Reports

14. A computer system for model helicopter flight control

Wirth, Niklaus (1998)


Reports

15. A computer system for model helicopter flight control

Wirth, Niklaus (1999)


Reports

16. A computer system for model helicopter flight control

Wirth, Niklaus (1999)


Reports

17. A constrained eigenvalue problem

Gander, Walter, Golub, Gene Howard und Matt, Urs von (1988)


Reports

18. A Contribution to solving large linear systems

Bucher, W. (1976)


Reports

19. A 12-core processor implementation on FPGA

Liu, Ling (2009)


Reports

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

Ambrošová, Lucia (2011)


Masterarbeiten

21. A Cotangent Laplacian for Images as Surfaces

Jacobson, Alec und Sorkine-Hornung, Olga (2012)


Reports

22. Adaptive quadrature - revisited

Gander, Walter und Gautschi, Walter (1998)


Reports

23. A DDR2 SDRAM interface for Xilinx ML505 evaluation platform

Liu, Lisa (Ling) (2009)


Reports

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

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


Reports

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

Tschirschnitz, Falk (2000)


Reports


Seite 1 von 38

1 2 3 4 5 nächste › letzte »