Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Literaturtyp
Schlagwort
- Softwareentwicklung 145 Treffer
- Software Engineering 66 Treffer
- Verteiltes System 61 Treffer
- Formale Methode 56 Treffer
- Mehragentensystem 49 Treffer
-
45 weitere Werte:
- Model Checking 40 Treffer
- Programmierung 40 Treffer
- Software 33 Treffer
- Komponente (Software) 32 Treffer
- Verifikation 31 Treffer
- Informationssystem 29 Treffer
- Softwarespezifikation 28 Treffer
- Systementwicklung 28 Treffer
- Programmiersprache 27 Treffer
- Programmanalyse 26 Treffer
- Zuverlässigkeit 26 Treffer
- Anwendungssystem 25 Treffer
- Informatik 25 Treffer
- Dienstgüte 24 Treffer
- UML 24 Treffer
- Eingebettetes System 23 Treffer
- Formale Spezifikationstechnik 23 Treffer
- Programmverifikation 23 Treffer
- Agent (Informatik) 22 Treffer
- Mensch-Maschine-Kommunikation 22 Treffer
- Mobile Computing 21 Treffer
- CASE (Informatik) 20 Treffer
- Ubiquitous Computing 20 Treffer
- World Wide Web 20 Treffer
- Internet 19 Treffer
- Objektorientierung 17 Treffer
- Telekommunikationsnetz 17 Treffer
- Web Services 17 Treffer
- IP 15 Treffer
- Rechnernetz 15 Treffer
- Theoretische Informatik 15 Treffer
- Testen 14 Treffer
- Ada 13 Treffer
- Grid Computing 13 Treffer
- Nebenläufigkeit 13 Treffer
- Softwarearchitektur 13 Treffer
- Objektorientierte Programmierung 12 Treffer
- Programmtransformation 12 Treffer
- Statische Analyse 12 Treffer
- Datensicherung 11 Treffer
- Echtzeitsystem 11 Treffer
- Requirements engineering 11 Treffer
- Algebraische Methode 10 Treffer
- Funknetz 10 Treffer
- Qualitätsmanagement 10 Treffer
Sprache
Form
Person
- Bjørner, Dines (1937-) 6 Treffer
- Bernardo, Marco (1970-) 4 Treffer
- Bert, Didier 4 Treffer
- Bomarius, Frank 4 Treffer
- Bowen, Jonathan P. (1956-) 4 Treffer
-
45 weitere Werte:
- Brinksma, Ed 4 Treffer
- Broy, Manfred (1949-) 4 Treffer
- Ciancarini, Paolo 4 Treffer
- Guelfi, Nicolas 4 Treffer
- Alur, Rajeev 3 Treffer
- Boer, Frank S. de 3 Treffer
- Böhme, Thomas 3 Treffer
- Conradi, Reidar 3 Treffer
- Cousot, Radhia 3 Treffer
- Dignum, Frank 3 Treffer
- Ege, Raimund K. 3 Treffer
- Hinchey, Michael G. 3 Treffer
- Hutter, Dieter 3 Treffer
- Linden, Frank van der (1954-) 3 Treffer
- Margaria, Tiziana 3 Treffer
- Mařík, Vladimír 3 Treffer
- Müller, Jörg P. 3 Treffer
- Priami, Corrado 3 Treffer
- Schäfer, Wilhelm 3 Treffer
- Sommerville, Ian (1951-) 3 Treffer
- Wirsing, Martin (1948-) 3 Treffer
- Yang, Laurence Tianruo 3 Treffer
- Abramsky, Samson (1953-) 2 Treffer
- Ajmone Marsan, Marco (1951-) 2 Treffer
- Alagar, Vangalur S. (1940-) 2 Treffer
- Astesiano, Egidio (1939-) 2 Treffer
- Ball, Thomas 2 Treffer
- Baresi, Luciano 2 Treffer
- Bellahsène, Zohra 2 Treffer
- Berghammer, Rudolf (1952-) 2 Treffer
- Bidoit, Michel 2 Treffer
- Bordini, Rafael H. 2 Treffer
- Brueckner, Sven A. 2 Treffer
- Bézivin, Jean 2 Treffer
- Cap, Clemens H. (1965-) 2 Treffer
- Castelfranchi, Cristiano (1944) 2 Treffer
- Cerioli, Maura 2 Treffer
- Chen, Jian 2 Treffer
- Coplien, James O. 2 Treffer
- Cortesi, Agostino 2 Treffer
- Danvy, Olivier 2 Treffer
- DeNeumann, Bernard 2 Treffer
- Dumke, Reiner (1947-) 2 Treffer
- Díaz, Josep (1950-) 2 Treffer
- Ebert, Jürgen 2 Treffer
783 Treffer
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Objects, components, architectures, services, and applications for a networked world: revised papersBerlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: