Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Methode 8 Treffer
- Komponente (Software) 7 Treffer
- Objektorientierte Programmierung 6 Treffer
- Objektorientierung 6 Treffer
- Systementwicklung 6 Treffer
-
45 weitere Werte:
- B (Programmiersprache) 5 Treffer
- Domain engineering 4 Treffer
- Eingebettetes System 4 Treffer
- Formale Spezifikationstechnik 4 Treffer
- Model Checking 4 Treffer
- Programmverifikation 4 Treffer
- Softwarespezifikation 4 Treffer
- Z (Programmiersprache) 4 Treffer
- Aspektorientierte Programmierung 3 Treffer
- Hardwareentwurf 3 Treffer
- Java (Programmiersprache) 3 Treffer
- Logische Programmierung 3 Treffer
- Metaprogrammierung 3 Treffer
- Programmanalyse 3 Treffer
- Software 3 Treffer
- Testen 3 Treffer
- UML 3 Treffer
- Echtzeitsystem 2 Treffer
- Generische Programmierung 2 Treffer
- Korrektheit 2 Treffer
- Programm 2 Treffer
- Programmgenerator 2 Treffer
- Programmierung 2 Treffer
- Programmsynthese 2 Treffer
- Programmtransformation 2 Treffer
- Softwarewiederverwendung 2 Treffer
- Verfeinerung 2 Treffer
- Verteiltes System 2 Treffer
- World Wide Web 2 Treffer
- Agent (Informatik) 1 Treffer
- Algebraische Methode 1 Treffer
- Algorithmische Programmierung 1 Treffer
- Betriebsmittelverwaltung 1 Treffer
- CASE (Informatik) 1 Treffer
- CORBA 1 Treffer
- Caché 1 Treffer
- Computational logic 1 Treffer
- Eclipse 2 1 Treffer
- Feature-Technologie 1 Treffer
- Formalisierung 1 Treffer
- Informationssystem 1 Treffer
- Integrated software 1 Treffer
- Java (Computer program language) 1 Treffer
- Kategorientheorie 1 Treffer
- Koalgebra 1 Treffer
Sprache
Form
Person
- Bernardo, Marco (1970-) 2 Treffer
- Bert, Didier 2 Treffer
- Díaz, Josep (1950-) 2 Treffer
- Fowler, Martin (1963-) 2 Treffer
- Gamma, Erich (1961-) 2 Treffer
-
45 weitere Werte:
- Abramsky, Samson (1953-) 1 Treffer
- Ackermann, Philipp (1963-) 1 Treffer
- Araki, Keijirō 1 Treffer
- Backhouse, Roland 1 Treffer
- Batory, Don 1 Treffer
- Beck, Kent 1 Treffer
- Bjørner, Dines (1937-) 1 Treffer
- Bossi, Annalisa 1 Treffer
- Bowen, Jonathan P. (1956-) 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Bruynooghe, Maurice 1 Treffer
- Bryant, Antony 1 Treffer
- Coleman, Derek 1 Treffer
- Coplien, James O. 1 Treffer
- Davidson, Jack 1 Treffer
- Diehl, Stephan 1 Treffer
- Emmerich, Wolfgang (1965-) 1 Treffer
- Fitzgerald, John 1 Treffer
- Glück, Robert (1961-) 1 Treffer
- Goldsack, Stephen J. (1926-) 1 Treffer
- Gschwind, Thomas 1 Treffer
- He, Jifeng (1943-) 1 Treffer
- Hruschka, Peter 1 Treffer
- Hutter, Dieter 1 Treffer
- Karsai, Gábor 1 Treffer
- Kirsten, Wolfgang 1 Treffer
- Konstantas, Dimitri 1 Treffer
- Leavens, Gary T. 1 Treffer
- Löwe, Welf 1 Treffer
- Martin, Robert C. (1952-) 1 Treffer
- Misra, Jayadev 1 Treffer
- Morgan, Carroll (1952-) 1 Treffer
- Mueller, Frank (1966-) 1 Treffer
- Möller, Bernhard 1 Treffer
- Nierstrasz, Oscar (1957-) 1 Treffer
- Nunes, Nuno Jardim 1 Treffer
- Oestereich, Bernd (1965-) 1 Treffer
- Ohno, Yutaka 1 Treffer
- Olderog, Ernst-Rüdiger (1955-) 1 Treffer
- Pfenning, Frank 1 Treffer
- Proebster, Walter E. (1928-2020) 1 Treffer
- Romijn, Judi 1 Treffer
- Ryan, Mark (1962-) 1 Treffer
- Shavor, Sherry 1 Treffer
- Treharne, Helen 1 Treffer
53 Treffer
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, 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, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2., überarb. und erw. Aufl.. - Berlin [u.a.]: Springer, 2003Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
3. print.. - Boston, Mass. [u.a.]: Addison-Wesley, 2003Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: