Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Literaturtyp
Schlagwort
- Softwareentwicklung 212 Treffer
- Software Engineering 107 Treffer
- Verteiltes System 59 Treffer
- Formale Methode 58 Treffer
- Mehragentensystem 57 Treffer
-
45 weitere Werte:
- Programmierung 56 Treffer
- Software 54 Treffer
- Model Checking 42 Treffer
- Komponente (Software) 41 Treffer
- UML 39 Treffer
- Verifikation 37 Treffer
- Objektorientierte Programmierung 36 Treffer
- Programmverifikation 33 Treffer
- Systementwicklung 33 Treffer
- Softwarespezifikation 32 Treffer
- Informationssystem 31 Treffer
- Objektorientierung 30 Treffer
- Zuverlässigkeit 30 Treffer
- Anwendungssystem 28 Treffer
- Formale Spezifikationstechnik 28 Treffer
- Programmiersprache 28 Treffer
- Eingebettetes System 27 Treffer
- Mensch-Maschine-Kommunikation 27 Treffer
- Dienstgüte 26 Treffer
- Programmanalyse 26 Treffer
- Agent (Informatik) 25 Treffer
- Testen 23 Treffer
- World Wide Web 23 Treffer
- Informatik 22 Treffer
- CASE (Informatik) 21 Treffer
- Mobile Computing 21 Treffer
- Internet 20 Treffer
- Softwarearchitektur 20 Treffer
- Ubiquitous Computing 20 Treffer
- Requirements engineering 19 Treffer
- Telekommunikationsnetz 19 Treffer
- Benutzeroberfläche 18 Treffer
- Entwurfsmuster 18 Treffer
- Softwarewiederverwendung 18 Treffer
- Programmtransformation 17 Treffer
- Web Services 17 Treffer
- Nebenläufigkeit 16 Treffer
- Theoretische Informatik 16 Treffer
- IP 15 Treffer
- Ada 14 Treffer
- Echtzeitsystem 14 Treffer
- Rechnernetz 14 Treffer
- Datensicherung 13 Treffer
- Grid Computing 13 Treffer
- Leistungsbewertung 13 Treffer
Sprache
Form
Person
- Jacobson, Ivar (1939-) 8 Treffer
- Bjørner, Dines (1937-) 7 Treffer
- Buschmann, Frank 7 Treffer
- Martin, Robert C. (1952-) 7 Treffer
- Schmidt, Douglas C. 7 Treffer
-
45 weitere Werte:
- Broy, Manfred (1949-) 6 Treffer
- Jensen, Kurt 6 Treffer
- Thayer, Richard H. 6 Treffer
- Booch, Grady (1955-) 5 Treffer
- Sommerville, Ian (1951-) 5 Treffer
- Bernardo, Marco (1970-) 4 Treffer
- Bomarius, Frank 4 Treffer
- Bowen, Jonathan P. (1956-) 4 Treffer
- Brinksma, Ed 4 Treffer
- Ciancarini, Paolo 4 Treffer
- Fowler, Martin (1963-) 4 Treffer
- Glass, Robert L. (1932-) 4 Treffer
- Guelfi, Nicolas 4 Treffer
- Hinchey, Michael G. 4 Treffer
- Jazayeri, Mehdi 4 Treffer
- Mařík, Vladimír 4 Treffer
- Meersman, Robert (1947-) 4 Treffer
- Müller, Jörg P. 4 Treffer
- Rumbaugh, James (1947-) 4 Treffer
- Vlissides, John M. (1961-2005) 4 Treffer
- Zhang, Xiguo (1944-) 4 Treffer
- Alur, Rajeev 3 Treffer
- Apt, Krzysztof R. (1949-) 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
- Clements, Paul (1955-) 3 Treffer
- Conradi, Reidar 3 Treffer
- Constantine, Larry L. 3 Treffer
- Coplien, James O. 3 Treffer
- Cousot, Radhia 3 Treffer
- Dignum, Frank 3 Treffer
- Gamma, Erich (1961-) 3 Treffer
- Hermanns, Holger (1967-) 3 Treffer
- Hutter, Dieter 3 Treffer
- Kazman, Rick (1958-) 3 Treffer
- Linden, Frank van der (1954-) 3 Treffer
- Mandrioli, Dino 3 Treffer
- Margaria, Tiziana 3 Treffer
- Martin, James 3 Treffer
- Meyer, Bertrand 3 Treffer
- Priami, Corrado 3 Treffer
1.112 Treffer
-
Englewood Cliffs, N.J.: Prentice-Hall, 1979Monographie, Gedruckte RessourceZugriff:
-
[Nachdr.]. - San Diego, Calif. [u.a.]: Morgan Kaufmann, [20]01Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Pr. [u.a.], 1986Monographie, 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:
-
1. ed., Pearson new internat. ed.. - Harlow: Pearson, 2014Monographie, Gedruckte RessourceZugriff:
-
Fourth edition. - Beijing, Cambridge, Farnham, Köln, Sebastopol, Tokyo: O'Reilly, March 2015Monographie, Gedruckte RessourceZugriff:
-
Cham [u.a.]: Springer, 2015Monographie, Gedruckte RessourceZugriff:
-
Hoboken, NJ: Wiley, 2015Monographie, Gedruckte RessourceZugriff: