36 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
1. 
Transactions on Computational Science XXXIII için kapak resmi
Transactions on Computational Science XXXIII
Transactions on Computational Science XXXIII
Yazar 
Gavrilova, Marina L. editor.
https://doi.org/10.1007/978-3-662-58039-4
Format: 
Electronic Resources
Alıntı: 
Operating systems (Computers).
5. 
Handbook of Model Checking için kapak resmi
Handbook of Model Checking
Handbook of Model Checking
Yazar 
Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Electronic Resources
Alıntı: 
Operating systems (Computers).
6. 
Augmented Marked Graphs için kapak resmi
Augmented Marked Graphs
Augmented Marked Graphs
Yazar 
Cheung, King Sing. author.
http://dx.doi.org/10.1007/978-3-319-06428-4
Format: 
Electronic Resources
Alıntı: 
Software Engineering/Programming and Operating Systems.
7. 
Programming Languages and Operational Semantics A Concise Overview için kapak resmi
Programming Languages and Operational Semantics A Concise Overview
Programming Languages and Operational Semantics A Concise Overview
Yazar 
Fernández, Maribel. author.
http://dx.doi.org/10.1007/978-1-4471-6368-8
Format: 
Electronic Resources
Alıntı: 
Software Engineering/Programming and Operating Systems.
9. 
Petri Net Synthesis için kapak resmi
Petri Net Synthesis
Petri Net Synthesis
Yazar 
Badouel, Eric. author.
http://dx.doi.org/10.1007/978-3-662-47967-4
Format: 
Electronic Resources
Alıntı: 
Software Engineering/Programming and Operating Systems.
10. 
Introduction to Concurrency Theory Transition Systems and CCS için kapak resmi
Introduction to Concurrency Theory Transition Systems and CCS
Introduction to Concurrency Theory Transition Systems and CCS
Yazar 
Gorrieri, Roberto. author.
http://dx.doi.org/10.1007/978-3-319-21491-7
Format: 
Electronic Resources
Alıntı: 
Software Engineering/Programming and Operating Systems.
11. 
Graph and Model Transformation General Framework and Applications için kapak resmi
Graph and Model Transformation General Framework and Applications
Graph and Model Transformation General Framework and Applications
Yazar 
Ehrig, Hartmut. author.
http://dx.doi.org/10.1007/978-3-662-47980-3
Format: 
Electronic Resources
Alıntı: 
Software Engineering/Programming and Operating Systems.
Tümünü Seç
36 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(36)
Cudré-Mauroux, Philippe. editor.
(2)
Duan, Zhenhua. editor.
(2)
Fernandez, Miriam. editor. (orcid)0000-0001-5939-4321
(2)
Gorrieri, Roberto. author.
(2)
Format
Dil
Basım Yılı
Konu
Software engineering.
(33)
Software Engineering/Programming and Operating Systems.
(32)
Computers.
(20)
Computer science.
(18)
Information theory.
(16)
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