42 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
000000000000DEFAULTTR
Yazdır
3. 
Provably Correct Systems için kapak resmi
Provably Correct Systems
Provably Correct Systems
Yazar 
Hinchey, Mike. editor.
https://doi.org/10.1007/978-3-319-48628-4
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
6. 
From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice için kapak resmi
From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice
From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice
Yazar 
Śmiałek, Michał. author.
http://dx.doi.org/10.1007/978-3-319-12838-2
Format: 
Electronic Resources
Alıntı: 
From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice / Śmiałek
9. 
Models of Strategic Reasoning Logics, Games, and Communities için kapak resmi
Models of Strategic Reasoning Logics, Games, and Communities
Models of Strategic Reasoning Logics, Games, and Communities
Yazar 
van Benthem, Johan. editor.
http://dx.doi.org/10.1007/978-3-662-48540-8
Format: 
Electronic Resources
Alıntı: 
Models of Strategic Reasoning Logics, Games, and Communities / van Benthem, Johan. editor.
11. 
Numerical Methods of Mathematics Implemented in Fortran için kapak resmi
Numerical Methods of Mathematics Implemented in Fortran
Numerical Methods of Mathematics Implemented in Fortran
Yazar 
Bose, Sujit Kumar. author.
https://doi.org/10.1007/978-981-13-7114-1
Format: 
Electronic Resources
Alıntı: 
Computational Mathematics and Numerical Analysis. https://scigraph.springernature.com/ontologies
12. 
Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings için kapak resmi
Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings
Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings
Yazar 
Bernardi, Raffaella. editor.
https://doi.org/10.1007/978-3-662-59648-7
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
Tümünü Seç
42 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(42)
Pogodalla, Sylvain. editor.
(4)
Bouchon-Meunier, Bernadette. editor.
(3)
Foret, Annie. editor.
(3)
Medina, Jesús. editor.
(3)
Format
Dil
Basım Yılı
Konu
Computer science.
(34)
Mathematical logic.
(27)
Logics and Meanings of Programs.
(25)
Software engineering.
(22)
Computer logic.
(17)
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope