937 Results for this Organisational Unit

Subscribe to RSS feed for this result set

51. Algebras and combinators

Emgeler, Erwin (1979)


Reports

52. Algorithmic complexity of protein identification

Cieliebak, Mark, Erlebach, Thomas, Lipták, Zsuzsanna, Stoye, Jens and Welzl, Emo (2001)


Reports

53. Algorithm of OMA for large-scale orthology inference

Roth, Alexander C.J., Gonnet, Gaston H. and Dessimoz, Christophe (2002)


Journal Items

54. Algorithms for drawing thick lines and curves on raster devices

Stamm, Beat (1989)


Reports

55. Algorithms for the polar decomposition

Gander, Walter (1989)


Reports

56. Alignment of nucleotide with peptide sequences

Knecht, Lukas and Gonnet, Gaston H. (1992)


Reports

57. A Logic for Bytecode

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


Reports

58. A lower bound for a class of graph based loss resilient codes

Blömer, Johannes and Trachsler, Beat (1998)


Reports

59. Alternation Elimination for Automata over Nested Words

Dax, Christian Nikolaus and Klaedtke, Felix (2011)


Reports

60. A Modelica library for multiBond graphs and its application in 3D-mechanics

Zimmer, Dirk (2006)


Master Theses

61. A model transformation semantics and analysis methodology for SecureUML

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


Reports

62. A Modular Design for the Common Language Runtime (CLR) Architecture

Fruja, Nicu Georgian (2005)


Reports

63. A Modular Design for the Common Language Runtime (CLR) Architecture

Fruja, Nicu Georgian (2005)


Reports

64. A multimedia framework for effective language training

Gross, Markus H. and Voegeli, Christian


Reports

65. An adaptable and extensible geometry Kernel

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


Reports

66. An algebraic algorithm for the identification of glass networks with periodic orbits along cyclic attractors

Zinovik, Igor, Chebiryak, Yury and Kröning, Daniel (2007)


Conference Contributions

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

Mentzer, Sven (1992)


Reports

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

Krug, Sacha (2011)


Reports

69. Analysis of Communicating Authorization Policies

Frau, Simone and Torabi Dashti, Mohammad (2012)


Reports

70. Analysis of reachability properties in communicating authorization policies

Frau, Simone (2012)


Doctoral and Habilitation Theses

71. Analysis of the .NET CLR Exception Handling Mechanism

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


Reports

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

Bischoff, Regina and Wattenhofer, Roger (2003)


Reports

73. Analyzing Covert Channels on Mobile Devices

Ritzdorf, Hubert (2012)


Master Theses

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

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


Conference Contributions

75. An approach to recognition of printed music

Roth, Martin (1994)


Reports