Arama Sonuçlarını Sınırlandır
Yazar
Dil
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
2 sonuç bulundu Arama sonuçlarına abone ol
00DEFAULT_TR
Yazdır
1. 
Software-Entwicklung für Echtzeitsysteme için kapak resmi
Software-Entwicklung für Echtzeitsysteme
Yazar 
Benra, Juliane T. editor. Halang, Wolfgang A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01596-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Formale Modelle der Softwareentwicklung Model-Checking, Verifikation, Analyse und Simulation için kapak resmi
Formale Modelle der Softwareentwicklung Model-Checking, Verifikation, Analyse und Simulation
Yazar 
Kleuker, Stephan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-9595-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: