Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Softwareentwicklung 189 Treffer
- Software Engineering 90 Treffer
- Verteiltes System 62 Treffer
- Formale Methode 60 Treffer
- Mehragentensystem 52 Treffer
-
45 weitere Werte:
- Software 49 Treffer
- Programmierung 45 Treffer
- Model Checking 41 Treffer
- Softwarespezifikation 35 Treffer
- Komponente (Software) 34 Treffer
- Verifikation 34 Treffer
- Zuverlässigkeit 33 Treffer
- Informationssystem 32 Treffer
- Systementwicklung 30 Treffer
- UML 30 Treffer
- Anwendungssystem 27 Treffer
- Eingebettetes System 27 Treffer
- Programmanalyse 27 Treffer
- Programmiersprache 27 Treffer
- Agent (Informatik) 26 Treffer
- Dienstgüte 26 Treffer
- Formale Spezifikationstechnik 26 Treffer
- Informatik 25 Treffer
- CASE (Informatik) 24 Treffer
- Mensch-Maschine-Kommunikation 24 Treffer
- Objektorientierung 24 Treffer
- Programmverifikation 24 Treffer
- Objektorientierte Programmierung 23 Treffer
- World Wide Web 22 Treffer
- Mobile Computing 21 Treffer
- Internet 20 Treffer
- Ubiquitous Computing 20 Treffer
- Softwarearchitektur 19 Treffer
- Softwarewiederverwendung 19 Treffer
- Telekommunikationsnetz 19 Treffer
- Testen 19 Treffer
- Web Services 18 Treffer
- Programmtransformation 17 Treffer
- Theoretische Informatik 16 Treffer
- IP 15 Treffer
- Rechnernetz 15 Treffer
- Requirements engineering 15 Treffer
- Softwareproduktionsumgebung 15 Treffer
- Echtzeitsystem 14 Treffer
- Nebenläufigkeit 14 Treffer
- Ada 13 Treffer
- Grid Computing 13 Treffer
- Algebraische Spezifikation 12 Treffer
- Leistungsbewertung 12 Treffer
- Statische Analyse 12 Treffer
Sprache
Form
Person
- Bjørner, Dines (1937-) 8 Treffer
- Buschmann, Frank 8 Treffer
- Broy, Manfred (1949-) 7 Treffer
- Schmidt, Douglas C. 7 Treffer
- Gamma, Erich (1961-) 6 Treffer
-
45 weitere Werte:
- Thayer, Richard H. 6 Treffer
- Bowen, Jonathan P. (1956-) 5 Treffer
- Bernardo, Marco (1970-) 4 Treffer
- Bert, Didier 4 Treffer
- Bomarius, Frank 4 Treffer
- Brinksma, Ed 4 Treffer
- Ciancarini, Paolo 4 Treffer
- Conradi, Reidar 4 Treffer
- Freeman, Peter 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
- Balzert, Helmut (1950-) 3 Treffer
- Bibel, Wolfgang 3 Treffer
- Bidoit, Michel 3 Treffer
- Boer, Frank S. de 3 Treffer
- Böhme, Thomas 3 Treffer
- Coplien, James O. 3 Treffer
- Cousot, Radhia 3 Treffer
- Dignum, Frank 3 Treffer
- Ege, Raimund K. 3 Treffer
- Fowler, Martin (1963-) 3 Treffer
- Hutter, Dieter 3 Treffer
- Linden, Frank van der (1954-) 3 Treffer
- Margaria, Tiziana 3 Treffer
- Miller, Edward 3 Treffer
- Müller, Jörg P. 3 Treffer
- Nierstrasz, Oscar (1957-) 3 Treffer
- Priami, Corrado 3 Treffer
- Ramamoorthy, Chittoor V. (1926-) 3 Treffer
- Schäfer, Wilhelm 3 Treffer
- Sommerville, Ian (1951-) 3 Treffer
- Vlissides, John M. (1961-2005) 3 Treffer
- Wills, Linda 3 Treffer
- Wirsing, Martin (1948-) 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
- Backhouse, Roland 2 Treffer
1.013 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, 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:
-
2., aktualisierte und überarb. Aufl.. - Heidelberg: dpunkt-Verl, 2015Sammelwerk, 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:
-
[6. Aufl.]. - München [u.a.]: Addison-Wesley, 2011Sammelwerk, 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: