Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(10)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Sgouros, George.
(2)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(2)
Zaidi, Habib.
(2)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(3)
Formal Languages and Automata Theory.
(3)
Machine theory.
(3)
Software engineering.
(3)
Compilers (Computer programs).
(2)
Materyal Türü
Shelf Location
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
19 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
RILEM Technical Committee 195-DTD Recommendation for Test Methods for AD and TD of Early Age Concrete Round Robin Documentation Report: Program, Test Results and Statistical Evaluation için kapak resmi
RILEM Technical Committee 195-DTD Recommendation for Test Methods for AD and TD of Early Age Concrete Round Robin Documentation Report: Program, Test Results and Statistical Evaluation
Yazar 
Bjøntegaard, Øyvind. author. Martius-Hammer, Tor Arne. author. Krauss, Matias. author. Budelmann, Harald. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-94-017-9266-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Curriculum Design, Evaluation, and Teaching in Medical Education Recognizing Challenges and Opportunities için kapak resmi
Curriculum Design, Evaluation, and Teaching in Medical Education Recognizing Challenges and Opportunities
Yazar 
Benbassat, Jochanan. author. (orcid)0000-0002-6217-5821 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-76845-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
GeNeDis 2022 Neuroscientific Advances için kapak resmi
GeNeDis 2022 Neuroscientific Advances
Yazar 
Vlamos, Panagiotis. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-31986-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Yazar 
Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30826-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers için kapak resmi
On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers
Yazar 
Ciuciu, Ioana. editor. Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-55961-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Understanding and Analysis: The California Air Resources Board Forest Offset Protocol için kapak resmi
Understanding and Analysis: The California Air Resources Board Forest Offset Protocol
Yazar 
Marland, Eric. author. Domke, Grant. author. Hoyle, Jason. author. Marland, Gregg. author. Bates, Laurel. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-52434-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Programming multicore and many-core computing systems için kapak resmi
Programming multicore and many-core computing systems
Yazar 
Pllana, Sabri, editor. Xhafa, Fatos, editor.
Yer Numarası 
QA76.642 .P767 2017
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119332015
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
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:
9. 
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:
10. 
Screening the Single Euploid Embryo Molecular Genetics in Reproductive Medicine için kapak resmi
Screening the Single Euploid Embryo Molecular Genetics in Reproductive Medicine
Yazar 
Sills, E Scott. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-16892-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Phytoremediation for Green Energy için kapak resmi
Phytoremediation for Green Energy
Yazar 
Öztürk, Münir. editor. Ashraf, Muhammad. editor. Aksoy, Ahmet. editor. Ahmad, Muhammad Sajid Aqeel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-94-007-7887-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Advances in understanding human performance : neuroergonomics, human factors design, and special populations için kapak resmi
Advances in understanding human performance : neuroergonomics, human factors design, and special populations
Yazar 
Karwowski, Waldemar, 1953- Marek, Tadeusz. Rice, Valerie J. Berg.
Yer Numarası 
TA166 .A399 2011
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: