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)
Program Evaluation -- methods
(3)
Software engineering.
(3)
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ç
26 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Program evaluation : methods and case studies için kapak resmi
Program evaluation : methods and case studies
Yazar 
Posavac, Emil J. Carey, Raymond G., ort. yaz.
Yer Numarası 
H62.5.U5 P62 2007
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2. 
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:
3. 
Sequencing of instruction in relation to hierarchies of competence : a final report prep. by the Instructional Methods Program of the Center for Research and Evaluation in Applications of Technology in Education(CREATE) için kapak resmi
Sequencing of instruction in relation to hierarchies of competence : a final report prep. by the Instructional Methods Program of the Center for Research and Evaluation in Applications of Technology in Education(CREATE)
Yazar 
Briggs, Leslie J.
Yer Numarası 
LB 1028.5 B675 1968
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
4. 
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:
5. 
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:
6. 
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:
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. 
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:
9. 
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:
10. 
Essentials of planning and evaluation for public health için kapak resmi
Essentials of planning and evaluation for public health
Yazar 
Perrin, Karen M., author.
Yer Numarası 
WA 525 P426 2016
Format: 
Durum 
Sağlık Bilimleri Kütüphanesi~1
Rafta:
Kopya:
11. 
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:
12. 
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: