Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(81)
Mallet, Clément, editor.
(4)
Succi, Giancarlo. editor.
(4)
Zribi, Mehrez, editor.
(4)
Damiani, Ernesto. editor.
(3)
Dil
Yayın Yılı
-
Konu
Open source software.
(59)
Software engineering.
(26)
Electronic books.
(24)
Computer science.
(13)
Open Source.
(13)
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ç
181 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Guide to Software Verification with Frama-C Core Components, Usages, and Applications için kapak resmi
Guide to Software Verification with Frama-C Core Components, Usages, and Applications
Yazar 
Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-55608-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Optimal Vessel Planning in Natural Inland Waterways için kapak resmi
Optimal Vessel Planning in Natural Inland Waterways
Yazar 
Moreno Nadales, Juan. author. Muñoz de la Peña, David. author. Limon, Daniel. author. Alamo, Teodoro. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-64744-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Solving Ordinary Differential Equations in Python için kapak resmi
Solving Ordinary Differential Equations in Python
Yazar 
Sundnes, Joakim. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-46768-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
FPGA EDA Design Principles and Implementation için kapak resmi
FPGA EDA Design Principles and Implementation
Yazar 
Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-7755-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never için kapak resmi
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never
Yazar 
Pieper, Pascal. author. (orcid)0000-0002-7155-2537 Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-51692-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Linear Multivariable Control Engineering Using GNU Octave için kapak resmi
Linear Multivariable Control Engineering Using GNU Octave
Yazar 
Borutzky, Wolfgang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-44508-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Applied OSS Reliability Assessment Modeling, AI and Tools Mathematics and AI for OSS Reliability Assessment için kapak resmi
Applied OSS Reliability Assessment Modeling, AI and Tools Mathematics and AI for OSS Reliability Assessment
Yazar 
Tamura, Yoshinobu. author. (orcid)0000-0001-7665-5765 Yamada, Shigeru. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-64803-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Redefining Virtual Teaching Learning Pedagogy için kapak resmi
Redefining Virtual Teaching Learning Pedagogy
Yazar 
Bansal, Rohit, 1982- editor. Singh, Ram, editor. Singh, Amandeep, 1982- editor. Chaudhary, Kuldeep, editor. Rasul, Tareq, editor.
Yer Numarası 
LB1044.87 .R44 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119867647
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Agile Software Development : trends, challenges and applications için kapak resmi
Agile Software Development : trends, challenges and applications
Yazar 
Hooda, Susheela, editor. Sood, Vandana Mohindru, editor. Singh, Yashwant, editor. Dalal, Sandeep, editor. Sood, Manu, editor.
Yer Numarası 
QA76.76 .D47 A55 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119896838
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Imaging life : image acquisition and analysis in biology and medicine için kapak resmi
Imaging life : image acquisition and analysis in biology and medicine
Yazar 
Griffing, Lawrence R., 1953- author.
Yer Numarası 
R857 .O6 G75 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394171538
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings için kapak resmi
Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings
Yazar 
Tsanas, Athanasios. editor. Triantafyllidis, Andreas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34586-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers için kapak resmi
Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers
Yazar 
Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-36597-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç