Suchergebnisse
Bestand TH OWL
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Literaturtyp
Schlagwort
- Computer science 1.434 Treffer
- Software engineering 1.027 Treffer
- Artificial intelligence 475 Treffer
- Computer Communication Networks 385 Treffer
- Computer software 239 Treffer
-
45 weitere Werte:
- Formale Methode 220 Treffer
- Softwareentwicklung 177 Treffer
- Information Systems 136 Treffer
- Computational complexity 135 Treffer
- Model Checking 132 Treffer
- Operating systems (Computers) 119 Treffer
- Theoretische Informatik 118 Treffer
- Online-Ressource 110 Treffer
- Programmverifikation 96 Treffer
- Verifikation 87 Treffer
- Programmierung 86 Treffer
- Logische Programmierung 81 Treffer
- Algebra / Data processing 77 Treffer
- Information systems 75 Treffer
- Programmanalyse 74 Treffer
- Software Engineering 68 Treffer
- Automatisches Beweisverfahren 63 Treffer
- Computer simulation 61 Treffer
- Data structures (Computer science) 59 Treffer
- Information storage and retrieval systems 59 Treffer
- Systementwicklung 52 Treffer
- Computer system performance 51 Treffer
- Programmiersprache 49 Treffer
- Eingebettetes System 46 Treffer
- Komponente (Software) 46 Treffer
- Mehragentensystem 46 Treffer
- Logic, Symbolic and mathematical 44 Treffer
- Information theory 43 Treffer
- Programmierlogik 43 Treffer
- Software 43 Treffer
- Softwaretest 41 Treffer
- Nebenläufigkeit 40 Treffer
- Verteiltes System 40 Treffer
- Programmtransformation 38 Treffer
- Database management 36 Treffer
- Modellgetriebene Entwicklung 36 Treffer
- Softwarespezifikation 36 Treffer
- Testen 36 Treffer
- Objektorientierte Programmierung 35 Treffer
- Zuverlässigkeit 35 Treffer
- Hardwareentwurf 31 Treffer
- Objektorientierung 31 Treffer
- Logik 30 Treffer
- Computational logic 28 Treffer
- Constraint-Programmierung 28 Treffer
Sprache
1.499 Treffer
-
Berlin Heidelberg: Springer-Verlag GmbH, 2005Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (1998) ; Berlin, Heidelberg: Springer-Verlag (1998), 1998; 1998Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2004) ; Berlin, Heidelberg: Springer-Verlag Berlin/Heidelberg (2004), 2004; 2004Online Aufsatzsammlung, Sammelwerk, Elektronische Ressource
-
Berlin Heidelberg: Springer-Verlag GmbH, 2005Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2001) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (2001), 2001; 2001Online Aufsatzsammlung, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2003) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (2003), 2003; 2003Online Aufsatzsammlung, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011Online Monographie, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (1999) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (1999), 1999; 1999Online Aufsatzsammlung, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2002) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (2002), 2002; 2002Online Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2013Online Monographie, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007Online Monographie, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2004) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (2004), 2004; 2004Online Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2000) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (2000), 2000; 2000Online Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (1999) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (1999), 1999; 1999Online Aufsatzsammlung, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2000) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (2000), 2000; 2000Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2008Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2010Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer (2002) ; Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg (2002), 2002; 2002Online Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2000Online Aufsatzsammlung, Sammelwerk, Elektronische Ressource
-
Berlin, Heidelberg: Springer Berlin Heidelberg, 2009Online Monographie, Aufsatzsammlung, Elektronische Ressource