Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(47)
Cheng, Long. editor.
(9)
Li, Chaojie. editor.
(9)
Li, Hongyi. editor.
(9)
Luo, Biao. editor.
(9)
Dil
Yayın Yılı
-
Konu
Computer Science Logic and Foundations of Programming.
(19)
Software engineering.
(15)
Theory and Algorithms for Application Domains.
(11)
Automated Pattern Recognition.
(10)
Data Mining and Knowledge Discovery.
(10)
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ç
50 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
More Joel on Software Further Thoughts on Diverse and Occasionally Related Matters That Will Prove of Interest to Software Developers, Designers, and Managers, and to Those Who, Whether by Good Fortune or III Luck, Work with Them in Some Capacity için kapak resmi
More Joel on Software Further Thoughts on Diverse and Occasionally Related Matters That Will Prove of Interest to Software Developers, Designers, and Managers, and to Those Who, Whether by Good Fortune or III Luck, Work with Them in Some Capacity
Yazar 
Spolsky, Joel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-0988-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions için kapak resmi
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
Yazar 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-67695-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Maths For Computing A Beginner's Guide için kapak resmi
Maths For Computing A Beginner's Guide
Yazar 
Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-69234-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Category Theory Using Haskell An Introduction with Moggi and Yoneda için kapak resmi
Category Theory Using Haskell An Introduction with Moggi and Yoneda
Yazar 
Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-68538-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Understanding the Digital Revolution A Beginner's Guide to the Internet and the Web için kapak resmi
Understanding the Digital Revolution A Beginner's Guide to the Internet and the Web
Yazar 
Meinel, Christoph. author. Asjoma, Maxim. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-70132-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Mathematical Tools for Telemedicine için kapak resmi
Mathematical Tools for Telemedicine
Yazar 
Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-81709-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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:
8. 
A First Introduction to Quantum Computing and Information için kapak resmi
A First Introduction to Quantum Computing and Information
Yazar 
Zygelman, Bernard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66425-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, 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-031-73709-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python için kapak resmi
Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python
Yazar 
Caligiore, Daniele. author. Carli, Samuele. author. (orcid)0000-0002-3250-2465 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-2718-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
A Concise Introduction to Software Engineering With Open Source and GenAI için kapak resmi
A Concise Introduction to Software Engineering With Open Source and GenAI
Yazar 
Jalote, Pankaj. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74318-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas için kapak resmi
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Yazar 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç