Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(23)
Laaksonen, Antti. author.
(2)
Ahrendt, Wolfgang. editor.
(1)
Alanis, Alma y. author. (orcid)0000-0001-9600-779X
(1)
Bai, Yuchao. author.
(1)
Dil
Yayın Yılı
-
Konu
Software engineering.
(7)
Computer programming.
(6)
Programming Techniques.
(6)
Computer science.
(5)
Compilers (Computer programs).
(4)
Materyal Türü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
23 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Embedded Software Verification and Debugging için kapak resmi
Embedded Software Verification and Debugging
Yazar 
Lettnin, Djones. editor. Winterholer, Markus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4614-2266-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Analog Filters Handbook using APL-2 için kapak resmi
Analog Filters Handbook using APL-2
Yazar 
Fernández Marzalo, Carlos. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-80987-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification için kapak resmi
Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification
Yazar 
Klemmer, Lucas. author. Große, Daniel. author. (orcid)0000-0002-1490-6175 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-83093-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Boosting Software Development Using Machine Learning için kapak resmi
Boosting Software Development Using Machine Learning
Yazar 
Benala, Tirimula Rao. editor. Dehuri, Satchidananda. editor. Mall, Rajib. editor. Favorskaya, Margarita N. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-88188-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday için kapak resmi
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
Yazar 
Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97492-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
The Python Workbook A Brief Introduction with Exercises and Solutions için kapak resmi
The Python Workbook A Brief Introduction with Exercises and Solutions
Yazar 
Stephenson, Ben. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-84560-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Learning Java A Test-Driven Approach için kapak resmi
Learning Java A Test-Driven Approach
Yazar 
Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66638-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Laser Powder Bed Fusion of Additive Manufacturing Technology için kapak resmi
Laser Powder Bed Fusion of Additive Manufacturing Technology
Yazar 
Wang, Di. author. (orcid)0000-0001-5727-2777 Yang, Yongqiang. author. Liu, Yang. author. Bai, Yuchao. author. Tan, Chaolin. author. (orcid)0000-0003-2029-4600
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-5513-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Guide to Competitive Programming Learning and Improving Algorithms Through Contests için kapak resmi
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Yazar 
Laaksonen, Antti. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-61794-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings
Yazar 
Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-52234-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
DataFlow Supercomputing Essentials Research, Development and Education için kapak resmi
DataFlow Supercomputing Essentials Research, Development and Education
Yazar 
Milutinovic, Veljko. author. Salom, Jakob. author. Veljovic, Dragan. author. Korolija, Nenad. author. Markovic, Dejan. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66128-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Guide to Competitive Programming Learning and Improving Algorithms Through Contests için kapak resmi
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Yazar 
Laaksonen, Antti. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-72547-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: