Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Softwareentwicklung 211 Treffer
- Software Engineering 103 Treffer
- Verteiltes System 59 Treffer
- Formale Methode 57 Treffer
- Programmierung 56 Treffer
-
45 weitere Werte:
- Mehragentensystem 55 Treffer
- Software 54 Treffer
- Model Checking 42 Treffer
- Komponente (Software) 41 Treffer
- UML 39 Treffer
- Verifikation 37 Treffer
- Objektorientierte Programmierung 34 Treffer
- Programmverifikation 33 Treffer
- Softwarespezifikation 32 Treffer
- Systementwicklung 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) 24 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
- Programmtransformation 17 Treffer
- Softwarewiederverwendung 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
- 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
- Jensen, Kurt 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
- 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
- Meyer, Bertrand 3 Treffer
- Priami, Corrado 3 Treffer
- Schäfer, Wilhelm 3 Treffer
- Yang, Laurence Tianruo 3 Treffer
1.098 Treffer
-
Berlin [u.a.]: Springer, 2004Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
5. print.. - Boston [u.a.]: Addison-Wesley, 2003Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
San Francisco, Calif.: No Starch Press, 2011Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Bielefeld: Transcript, 2014Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London: Springer, 2010Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Upper Saddle River, NJ: Prentice Hall, 2003Monographie, Gedruckte RessourceZugriff:
-
First edition. - Beijing ; Boston ; Farnham ; Sebastopol ; Tokyo: O'Reilly, October 2021Monographie, Gedruckte RessourceZugriff:
-
1. ed., Pearson new internat. ed.. - Harlow: Pearson, 2014Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - Redmond, Wash.: Microsoft Press, 2003Monographie, Gedruckte RessourceZugriff:
-
Second edition. - Boca Raton: CRC Press, [2015]Monographie, Elektronische Ressource, Gedruckte RessourceZugriff: