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. 
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings için kapak resmi
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
Yazar 
Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01042-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers için kapak resmi
Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Yazar 
Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.
Yer Numarası 
ONLINE(334106.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36046-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers için kapak resmi
Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
Yazar 
Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-25929-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
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: