Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
Treffer 1 - 20
von 31
Suche einschränken
Standort
Fachgebiet
Schlagwort
Konferenzschrift
15
Systementwicklung
6
Formale Methode
4
Model Checking
4
Programmverifikation
4
Softwareentwicklung
4
mehr ...
Java Programmiersprache
3
Programmanalyse
3
3D-Grafik-Software
2
Automatisches Beweisverfahren
2
Electronic Commerce
2
Modellgetriebene Entwicklung
2
Modelltransformation
2
Programmiersprache
2
UML
2
Verifikation
2
Visualisierung
2
API
1
Abstrakte Zustandsmaschine
1
Agile Softwareentwicklung
1
Algorithmus
1
Beweistheorie
1
Bisimulation
1
Client-Server-Konzept
1
Computergrafik
1
Datenstruktur
1
Formale Spezifikationstechnik
1
Grid Computing
1
Hochleistungsrechnen
1
Informatik
1
weniger ...
Medientyp
Verfasser
Sloot, Peter
3
Czarnecki, Krzysztof
2
Altman, Yair
1
Apduhan, Bernady O
1
Baader, Franz
1
Ball, Steve
1
mehr ...
Börger, Egon
1
Bruel, Jean-Michel
1
Choi, Soon-yong
1
Dwyer, Matthew
1
Etessami, Kousha
1
Gershenfeld, Neil A.
1
Gervasi, Osvaldo
1
Halbwachs, Nicolas
1
Harrison, Andrew
1
Kahle, Reinhard
1
Katoen, Joost-Pieter
1
Klawonn, Frank
1
Kowalczyk, Ryszard
1
Margaria, Tiziana
1
Martin, Robert C.
1
McLaughlin, Brett
1
Murgante, Beniamino
1
Ober, Ileana
1
Pardede, Eric
1
Parsons, David
1
Preiss, Bruno R.
1
Rajamani, Sriram K
1
Ramalingam, G
1
Shan, Chung-chien
1
weniger ...
Sprache
Erscheinungsjahr
Filter