Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(73)
Pal, Indrajit. editor. (orcid)0000-0002-8743-8122
(3)
LaMarche, Jeff. author.
(2)
Marconi, Lorenzo. editor. (orcid)0000-0001-5519-5448
(2)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Dil
Yayın Yılı
-
2016
(19)
2024
(17)
2025
(17)
2017
(13)
2014
(7)
Konu
Software engineering.
(15)
Artificial intelligence.
(10)
Compilers (Computer programs).
(9)
Compilers and Interpreters.
(9)
Computational intelligence.
(7)
Materyal Türü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
73 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
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:
50. 
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:
51. 
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:
52. 
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:
53. 
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:
54. 
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:
55. 
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
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-47169-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Shoulder Surgery Rehabilitation A Teamwork Approach için kapak resmi
Shoulder Surgery Rehabilitation A Teamwork Approach
Yazar 
Di Giacomo, Giovanni. editor. Bellachioma, Silvia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-24856-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Broken Pumps and Promises Incentivizing Impact in Environmental Health için kapak resmi
Broken Pumps and Promises Incentivizing Impact in Environmental Health
Yazar 
Thomas, Evan A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28643-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Intelligent Computer Systems in Engineering Design Principles and Applications için kapak resmi
Intelligent Computer Systems in Engineering Design Principles and Applications
Yazar 
Sunnersjö, Staffan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28125-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Tecnomatix Plant Simulation Modeling and Programming by Means of Examples için kapak resmi
Tecnomatix Plant Simulation Modeling and Programming by Means of Examples
Yazar 
Bangsow, Steffen. author. (orcid)0009-0001-7553-9647 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19503-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Digital Photogrammetry A Practical Course için kapak resmi
Digital Photogrammetry A Practical Course
Yazar 
Linder, Wilfried. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-50463-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç