Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Literaturtyp
Schlagwort
- Softwareentwicklung 151 Treffer
- Software Engineering 61 Treffer
- Formale Methode 58 Treffer
- Verteiltes System 55 Treffer
- Mehragentensystem 51 Treffer
-
45 weitere Werte:
- Programmierung 42 Treffer
- Model Checking 41 Treffer
- Komponente (Software) 34 Treffer
- Software 33 Treffer
- Verifikation 33 Treffer
- Informationssystem 30 Treffer
- Softwarespezifikation 30 Treffer
- Systementwicklung 29 Treffer
- UML 28 Treffer
- Dienstgüte 26 Treffer
- Programmiersprache 26 Treffer
- Anwendungssystem 25 Treffer
- Programmanalyse 25 Treffer
- Eingebettetes System 24 Treffer
- Formale Spezifikationstechnik 24 Treffer
- Agent (Informatik) 23 Treffer
- Zuverlässigkeit 23 Treffer
- Informatik 22 Treffer
- Mensch-Maschine-Kommunikation 22 Treffer
- Mobile Computing 21 Treffer
- Programmverifikation 21 Treffer
- World Wide Web 21 Treffer
- Internet 20 Treffer
- Ubiquitous Computing 20 Treffer
- CASE (Informatik) 19 Treffer
- Objektorientierte Programmierung 19 Treffer
- Telekommunikationsnetz 18 Treffer
- Objektorientierung 17 Treffer
- Testen 17 Treffer
- Web Services 17 Treffer
- Programmtransformation 16 Treffer
- Softwarearchitektur 16 Treffer
- Theoretische Informatik 16 Treffer
- IP 15 Treffer
- Nebenläufigkeit 14 Treffer
- Rechnernetz 14 Treffer
- Requirements engineering 14 Treffer
- Echtzeitsystem 13 Treffer
- Grid Computing 13 Treffer
- Ada 12 Treffer
- Leistungsbewertung 12 Treffer
- Statische Analyse 12 Treffer
- Algebraische Spezifikation 11 Treffer
- Datensicherung 11 Treffer
- Softwarewiederverwendung 11 Treffer
Sprache
Form
Person
- Bjørner, Dines (1937-) 7 Treffer
- Buschmann, Frank 7 Treffer
- Schmidt, Douglas C. 7 Treffer
- Broy, Manfred (1949-) 6 Treffer
- Thayer, Richard H. 6 Treffer
-
45 weitere Werte:
- Bernardo, Marco (1970-) 4 Treffer
- Bomarius, Frank 4 Treffer
- Bowen, Jonathan P. (1956-) 4 Treffer
- Brinksma, Ed 4 Treffer
- Ciancarini, Paolo 4 Treffer
- Guelfi, Nicolas 4 Treffer
- Hinchey, Michael G. 4 Treffer
- Martin, Robert C. (1952-) 4 Treffer
- Mařík, Vladimír 4 Treffer
- Meersman, Robert (1947-) 4 Treffer
- Alur, Rajeev 3 Treffer
- Astesiano, Egidio (1939-) 3 Treffer
- Bert, Didier 3 Treffer
- Bibel, Wolfgang 3 Treffer
- Bidoit, Michel 3 Treffer
- Boer, Frank S. de 3 Treffer
- Böhme, Thomas 3 Treffer
- Conradi, Reidar 3 Treffer
- Coplien, James O. 3 Treffer
- Cousot, Radhia 3 Treffer
- Dignum, Frank 3 Treffer
- Gamma, Erich (1961-) 3 Treffer
- Hutter, Dieter 3 Treffer
- Linden, Frank van der (1954-) 3 Treffer
- Margaria, Tiziana 3 Treffer
- Müller, Jörg P. 3 Treffer
- Priami, Corrado 3 Treffer
- Schäfer, Wilhelm 3 Treffer
- Vlissides, John M. (1961-2005) 3 Treffer
- Yang, Laurence Tianruo 3 Treffer
- Zhang, Xiguo (1944-) 3 Treffer
- Abramsky, Samson (1953-) 2 Treffer
- Ajmone Marsan, Marco (1951-) 2 Treffer
- Alagar, Vangalur S. (1940-) 2 Treffer
- Baldoni, Matteo 2 Treffer
- Ball, Thomas 2 Treffer
- Banâtre, Jean-Pierre (1948-) 2 Treffer
- Baray, Mehmet 2 Treffer
- Baresi, Luciano 2 Treffer
- Berghammer, Rudolf (1952-) 2 Treffer
- Bernus, Peter (1949-) 2 Treffer
- Bordini, Rafael H. 2 Treffer
- Brueckner, Sven A. 2 Treffer
- Butler, Michael 2 Treffer
- Bézivin, Jean 2 Treffer
794 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
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, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: