Browsing by Series Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 3 to 22 of 105 < previous   next >
Issue DateTitleAuthor(s)
2009Abschlussbericht des Verbundprojekts Tools4BPELIron, Rolf; Kopp, Oliver; Leiner, Andreas; Leymann, Frank; Massuthe, Peter
1997Abschlußbericht der Projektgruppe Evolutionäre AlgorithmenGroßmann, Matthias; Leonhardi, Alexander; Schmidt, Thomas
2008Abstract syntax of WS-BPEL 2.0Kopp, Oliver; Mietzner, Ralph; Leymann, Frank
2006Abstraction refinement with craig interpolation and symbolic pushdown systemsEsparza, Javier; Kiefer, Stefan; Schwoon, Stefan
1997Adaptive scheduling of multimedia documentsWirag, Stefan
2001Adressierung und Semantik von geographischen NachrichtenCoschurba, Peter
1999An agent based framework for the transparent distribution of computationsStraßer, Markus; Baumann, Joachim; Schwehm, Markus
1998AIDA I - AbschlußberichtHohl, Fritz; Baumann, Joachim; Rothermel, Kurt; Schwehm, Markus; Straßer, Markus
2000AIDA II - AbschlußberichtHohl, Fritz; Baumann, Joachim; Rothermel, Kurt; Schwehm, Markus; Theilmann, Wolfgang
1999Analysis of distribution schemes for the management of location informationKubach, Uwe; Leonhardi, Alexander; Rothermel, Kurt; Schwehm, Markus
2001Application sharing in teaching context with wireless networksBurger, Cora; Papakosta, Stella; Rothermel, Kurt
1993ArabTeX : a system for typesetting Arabic; user manual version 3.00Lagally, Klaus
2001Architecture of a large scale location serviceLeonhardi, Alexander; Rothermel, Kurt
2011Around dot-depth oneKufleitner, Manfred; Lauser, Alexander
2002ASN und die relationalen Datenbanksysteme (Realisierungsaspekte)Mesina, Marian
1998ATOMAS : a transaction-oriented open multi agent system; final reportStraßer, Markus; Baumann, Joachim; Hohl, Fritz; Schwehm, Markus; Rothermel, Kurt
2000Bericht zum Seminar über Elektro-CAD (Sommersemester 2000)-
2004A case study : verifying a mutual exclusion protocol with process creation using graph transformation systemsDotti, Fernando Luis; König, Barbara; Santos, Osmar Marchi dos; Ribeiro, Leila
1999A comparison of mechanisms for locating mobile agentsBaumann, Joachim
2000A comparison of protocols for updating location informationLeonhardi, Alexander; Rothermel, Kurt