Arama Sonuçlarını Sınırlandır
Yazar
Dil
Konu
Artificial intelligence.
(6)
Software engineering.
(5)
Compilers (Computer programs).
(4)
Compilers and Interpreters.
(4)
Computer Science Logic and Foundations of Programming.
(4)
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ç
22 sonuç bulundu Arama sonuçlarına abone ol
0000000000DEFAULT_TR
Yazdır
13. 
Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings için kapak resmi
Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Yazar 
De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41591-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Methods for Measuring Greenhouse Gas Balances and Evaluating Mitigation Options in Smallholder Agriculture için kapak resmi
Methods for Measuring Greenhouse Gas Balances and Evaluating Mitigation Options in Smallholder Agriculture
Yazar 
Rosenstock, Todd S. editor. Rufino, Mariana C. editor. Butterbach-Bahl, Klaus. editor. Wollenberg, Lini. editor. Richards, Meryl. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29794-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Programming with Python için kapak resmi
Programming with Python
Yazar 
Padmanabhan, T R. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-3277-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
GPS Theory, Algorithms and Applications için kapak resmi
GPS Theory, Algorithms and Applications
Yazar 
Xu, Guochang. author. Xu, Yan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-50367-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Sustainable Development in the Jordan Valley Final Report of the Regional NGO Master Plan için kapak resmi
Sustainable Development in the Jordan Valley Final Report of the Regional NGO Master Plan
Yazar 
Kool, Jeroen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30036-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Conscious Coastal Cities Sustainability, Blue Green Growth, and The Politics of Imagination için kapak resmi
Conscious Coastal Cities Sustainability, Blue Green Growth, and The Politics of Imagination
Yazar 
Mega, Voula P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-20218-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47166-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers için kapak resmi
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Yazar 
Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41579-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Helicobacter pylori için kapak resmi
Helicobacter pylori
Yazar 
Suzuki, Hidekazu. editor. Warren, Robin. editor. Marshall, Barry. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-4-431-55705-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Building Climate Resilience through Virtual Water and Nexus Thinking in the Southern African Development Community için kapak resmi
Building Climate Resilience through Virtual Water and Nexus Thinking in the Southern African Development Community
Yazar 
Entholzner, Anna. editor. Reeve, Charles. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28464-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: