Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
4 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
1. 
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures için kapak resmi
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Yazar 
Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30982-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Verification and Validation in Systems Engineering Assessing UML/SysML Design Models için kapak resmi
Verification and Validation in Systems Engineering Assessing UML/SysML Design Models
Yazar 
Debbabi, Mourad. author. Hassaïne, Fawzi. author. Jarraya, Yosr. author. Soeanu, Andrei. author. Alawneh, Luay. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15228-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Generic Systems Engineering Ein methodischer Ansatz zur Komplexitätsbewältigung için kapak resmi
Generic Systems Engineering Ein methodischer Ansatz zur Komplexitätsbewältigung
Yazar 
Winzer, Petra. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(337019.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30365-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Wertschöpfung in der Bottom-up-Ökonomie için kapak resmi
Wertschöpfung in der Bottom-up-Ökonomie
Yazar 
Redlich, Tobias. author. Wulfsberg, Jens P. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19880-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: