Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(48)
Borutzky, Wolfgang. author.
(2)
Krig, Scott. author.
(2)
McDonnell, Mark. author.
(2)
Robles, Gregorio. editor.
(2)
Dil
Yayın Yılı
-
Konu
Software engineering.
(17)
Open Source.
(13)
Open source software.
(13)
Application software.
(7)
Computer and Information Systems Applications.
(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ç
48 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
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:
14. 
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:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
19. 
Fundamentals of Digital Forensics A Guide to Theory, Research and Applications için kapak resmi
Fundamentals of Digital Forensics A Guide to Theory, Research and Applications
Yazar 
Kävrestad, Joakim. author. Birath, Marcus. author. (orcid)0000-0001-5692-4008 Clarke, Nathan. author. (orcid)0000-0002-3595-3800 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-53649-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
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:
21. 
OpenGeoSys Tutorial Computational Hydrology II: Groundwater Quality Modeling için kapak resmi
OpenGeoSys Tutorial Computational Hydrology II: Groundwater Quality Modeling
Yazar 
Sachse, Agnes. author. Nixdorf, Erik. author. Jang, Eunseon. author. Rink, Karsten. author. (orcid)0000-0001-9826-8221 Fischer, Thomas. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-52809-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Mastering Software Variability with FeatureIDE için kapak resmi
Mastering Software Variability with FeatureIDE
Yazar 
Meinicke, Jens. author. Thüm, Thomas. author. Schröter, Reimar. author. Benduhn, Fabian. author. Leich, Thomas. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61443-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings için kapak resmi
Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings
Yazar 
Balaguer, Federico. editor. Di Cosmo, Roberto. editor. Garrido, Alejandra. editor. Kon, Fabio. editor. Robles, Gregorio. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57735-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Data Visualisation with R 100 Examples için kapak resmi
Data Visualisation with R 100 Examples
Yazar 
Rahlf, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49751-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: