„Online-Ressource“

Suchergebnisse

5.954 Treffer

• Segmentation of cells and sub-cellular structures from microscopic recordings – = Segmentierung von Zellen und subzellulären Strukturen in mikroskopischen Aufnahmen
  Keuper, Margret ; Brox, Thomas 2013 Universität
• Verification of business rules programs – = Verifikation von Geschäftsregel-Programmen
  Berstel-Da Silva, Bruno ; Podelski, Andreas 2012 Universität
• Cost efficient management of IT-infrastructures – energy-aware operation, purchasing strategies and resource failure management = Effizientes Kostenmanagement von IT-Infrastrukturen : Energiebewusster Betrieb, Einkaufsstrategien und Management von Betriebsausfällen
  Bodenstein, Christian Felix ; Neumann, Dirk 2012 Universität
• Techniques for multi-robot coordination and navigation – = Roboterteams: Techniken zur Koordinierung und Navigation
  Wurm, Kai M. ; Burgard, Wolfram 2012 Universität
• Mechanismen zur Sicherheitszertifizierung formalisierter Geschäftsprozesse
  Wonnemann, Claus Hendrik ; Müller, Günter 2011 Universität
• Consistency, isolation, and irrevocability in software transactional memory – = Konsistenz, Isolation und Unwiderruflichkeit in Software Transactional Memory
  Bieniusa, Annette ; Thiemann, Peter 2011 Universität
• Java(X): A Type-Based Program Analysis Framework – = Java(X): Ein Typ basiertes Programmanalyse Framework
  Degen, Markus ; Thiemann, Peter 2011 Universität
• Verification of hypervisor subroutines written in Assembler – = Verifikation von Hypervisorunterrutinen, geschrieben in Assembler
  Maus, Stefan ; Podelski, Andreas 2011 Universität
• Computational Methods for Lattice Protein Models – = Rechnerische Methoden für Gitterproteinmodelle
  Raden, Martin ; Backofen, Rolf 2011 Universität
• Analyse klinischer und genetischer Faktoren in der Entstehung der schweren RSV-Infektion
  Kraft, Christine Maren ; Heinzmann, Andrea 2011 Universität
• CD90 - ein Marker der Transdifferenzierung von Makrophagen
  Kollert, Florian Kim ; Müller-Quernheim, Joachim 2007 Universität
• Gramática bilingüe en interacción – expresar la causa en el quechua y español bolivianos = Grammatik in bilingualer Interaktion : Kausalität im Quechua und im bolivianischen Spanisch
  Soto Rodríguez, Mario ; Pfänder, Stefan 2013 Universität
• Terrorismos postautónomos en la literatura argentina actual – en torno a Washington Cucurto, escritor = Postautonome Terrorismen in der argentinischen Gegenwartsliteratur : der Fall Washington Cucurto, Schriftsteller
  Pereyra, Soledad ; Pfänder, Stefan 2013 Universität
• Quotatives in the Jamaican acrolect – corpus-based variationist studies of vernacular globalisation in World Englishes = Redeeinleitende verbale Ausdrücke im jamaikanischen Akrolekt : korpus-basierte variationistische Studien zur Globalisierung von umgangssprachlichen Formen in Varietäten des Englischen
  Höhn, Nicole ; Mair, Christian 2011 Universität
• Polizeipräsenz und Kriminalitätsfurcht – eine empirische Untersuchung über die Situation in türkischen Stadtvierteln
  Aktaş, Ebutalip ; Blinkert, Baldo 2012 Universität
• Charakterisierung der Aktin- und Rho-modifizierenden Toxine PTC3 und PTC5 aus Photorhabdus luminescens
  Pfaumann, Vanda Filomena ; Friedrich, Thorsten 2015 Universität
• Biological effects of NF-E2 overexpression in hematopoietic stem cells – = Biologische Effekte der NF-E2 Überexpression in hämatopoietischen Stammzellen
  Bogeska, Ruzhica ; Pahl, Heike L. 2012 Universität
• Metabolische Divergenz durch NADPH-abhängige Reduktion von Ketotautomeren phenolischer Verbindungen
  Schätzle, Michael Andreas ; Müller, Michael 2013 Universität
• La representació dels déus en les tragèdies d'Eurípides i de Sèneca – = Die Darstellung der Götter in den Tragödien von Euripides und Seneca
  Mussarra Roca, Joan Josep ; Zimmermann, Bernhard 2014 Universität
• First-order and modal logics for spatial reasoning – = Raum und Logik: Prädikaten- und modallogische Methoden für das räumliche Schließen
  Giritli, Mehmet ; Nebel, Bernhard 2012 Universität