Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Literaturtyp
Schlagwort
- Software Engineering 16 Treffer
- Softwareentwicklung 15 Treffer
- Software 8 Treffer
- Mehragentensystem 6 Treffer
- Formale Methode 4 Treffer
-
45 weitere Werte:
- Softwarespezifikation 4 Treffer
- Zuverlässigkeit 4 Treffer
- Agent (Informatik) 3 Treffer
- Algebraische Spezifikation 3 Treffer
- Formale Spezifikationstechnik 3 Treffer
- Künstliche Intelligenz 3 Treffer
- Leistungsbewertung 3 Treffer
- Petri-Netz 3 Treffer
- Programmierumgebung 3 Treffer
- Programmierung 3 Treffer
- Verifikation 3 Treffer
- Berechnungstheorie 2 Treffer
- Datenbanksystem 2 Treffer
- Datenverarbeitungssystem 2 Treffer
- Fehlertoleranz 2 Treffer
- Informatik 2 Treffer
- Koordination 2 Treffer
- Objektorientierung 2 Treffer
- Programmtransformation 2 Treffer
- Requirements engineering 2 Treffer
- Soft Computing 2 Treffer
- Softwarearchitektur 2 Treffer
- Softwarewartung 2 Treffer
- Softwarewerkzeug 2 Treffer
- Technikbewertung 2 Treffer
- Telekommunikationsnetz 2 Treffer
- Testen 2 Treffer
- UML 2 Treffer
- ALICE (Programmiersprache) 1 Treffer
- Abfrageverarbeitung 1 Treffer
- Anpassung 1 Treffer
- Anwendung 1 Treffer
- Anwendungssoftware 1 Treffer
- Anwendungssystem 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Benutzerschnittstellenentwurfssystem 1 Treffer
- Berechnungskomplexität 1 Treffer
- Berufsethik 1 Treffer
- Communications software 1 Treffer
- Computational logic 1 Treffer
- Computer software / Development 1 Treffer
- Computerarchitektur 1 Treffer
- Computersimulation 1 Treffer
- Constraint-Programmierung 1 Treffer
- Datenintegration 1 Treffer
Sprache
Form
Person
- Broy, Manfred (1949-) 4 Treffer
- Dorfman, Merlin 2 Treffer
- Freeman, Peter 2 Treffer
- Thayer, Richard H. 2 Treffer
- Aalst, Wil van der (1966-) 1 Treffer
-
45 weitere Werte:
- Ackerman, A. Frank 1 Treffer
- Arnold, Robert S. 1 Treffer
- Astesiano, Egidio (1939-) 1 Treffer
- Azvine, Behnam 1 Treffer
- Backhouse, Roland 1 Treffer
- Behlendorf, Brian 1 Treffer
- Bendell, Anthony 1 Treffer
- Benyon, David 1 Treffer
- Bertossi, Leopoldo 1 Treffer
- Billington, Jonathan 1 Treffer
- Bohner, Shawn A. 1 Treffer
- Bowen, Jonathan P. (1956-) 1 Treffer
- Bradshaw, Jeffrey M. 1 Treffer
- Brooks, Frederick P. (1931-2022) 1 Treffer
- Bruynooghe, Maurice 1 Treffer
- Brykczynski, Bill 1 Treffer
- Butler, Michael 1 Treffer
- Cechich, Alejandra 1 Treffer
- Clark, Tony 1 Treffer
- Conradi, Reidar 1 Treffer
- Cortadella, Jordi 1 Treffer
- Curtis, Bill 1 Treffer
- Cypher, Allen 1 Treffer
- Deransart, Pierre 1 Treffer
- Derniame, Jean C. 1 Treffer
- Dewilde, Patrick 1 Treffer
- Di Marzo Serugendo, Giovanna 1 Treffer
- DiBona, Chris 1 Treffer
- Dignum, Frank 1 Treffer
- Ehrig, Hartmut 1 Treffer
- Ehrig, Hartmut (1944-2016) 1 Treffer
- Eisenbach, Susan 1 Treffer
- Garcia, Alessandro 1 Treffer
- Garlan, David 1 Treffer
- Haring, Günter 1 Treffer
- Hinchey, Michael G. 1 Treffer
- Hoc, Jean-Michel 1 Treffer
- Huget, Marc-Philippe 1 Treffer
- Jones, Neil D. (1941-) 1 Treffer
- Jähnichen, Stefan 1 Treffer
- Kersten, Heinrich (1949-) 1 Treffer
- Klein, Rolf 1 Treffer
- Kreowski, Hans-Jörg 1 Treffer
- Krishnamurthy, Balachander (1961-) 1 Treffer
- Lehman, Meir M. 1 Treffer
77 Treffer
-
Heidelberg: Hüthig, 1990Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1984Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Prentice-Hall, 1995Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 2001Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Hemel Hempstead: Prentice Hall, 1995Monographie, Aufsatzsammlung, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer Acad. Publ, 1992Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Oxford [u.a.]: Blackwell Scientif, 1987Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
The essence of computation: complexity, analysis, transformation ; essays dedicated to Neil D. JonesBerlin [u.a.]: Springer, 2002Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
1. ed.. - Beijing [u.a.]: O'Reilly, 1999Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 2000Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
2. print.. - Cambridge, Mass. [u.a.]: MIT Pr, 1994Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1997Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: