Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(311)
Winckler, Marco. editor.
(10)
Voronkov, Andrei. editor.
(9)
Palanque, Philippe. editor.
(8)
Deng, Hepu. editor.
(6)
Dil
Yayın Yılı
-
Konu
Software engineering.
(307)
Computer science.
(296)
Logic design.
(91)
Information systems.
(75)
Artificial Intelligence (incl. Robotics).
(46)
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ç
318 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Computing and Software Science State of the Art and Perspectives için kapak resmi
Computing and Software Science State of the Art and Perspectives
Yazar 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91908-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Yazar 
Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17127-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Yazar 
Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-89366-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems için kapak resmi
Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems
Yazar 
Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-18473-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings için kapak resmi
Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Yazar 
Birkedal, Lars. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28729-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers için kapak resmi
Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers
Yazar 
Sicilia, Miguel-Angel. editor. Kop, Christian. editor. Sartori, Fabio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16496-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Data science with semantic technologies. New trends and future developments için kapak resmi
Data science with semantic technologies. New trends and future developments
Yazar 
Patel, Archana (Lecturer in software engineering), editor. Debnath, N. C. (Narayan C.), editor.
Yer Numarası 
QA76.9 .B45
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003310785
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Data science with semantic technologies. Deployment and exploration için kapak resmi
Data science with semantic technologies. Deployment and exploration
Yazar 
Patel, Archana (Lecturer in software engineering), editor. Debnath, N. C. (Narayan C.), editor.
Yer Numarası 
QA76.9 .B45
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003310792
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi için kapak resmi
Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi
Yazar 
Arif, Tariq M., author. John Wiley & Sons, publisher.
Yer Numarası 
Q325.73 .A75 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Smart edge computing : an operation research perspective için kapak resmi
Smart edge computing : an operation research perspective
Yazar 
Chakraborty, Rajdeep, editor. Ghosh, Anupam, editor. Mandal, Jyotsna Kumar, editor. Choudhury, Tanupriya, editor. Chatterjee, Prasenjit, editor.
Yer Numarası 
QA76.583
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277599
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Spatial computing : an AI-driven business revolution için kapak resmi
Spatial computing : an AI-driven business revolution
Yazar 
Hackl, Cathy, author. Cronin, Irena, author.
Yer Numarası 
HD45 .H226 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394308538
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022 için kapak resmi
Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022
Yazar 
Shakya, Subarna. editor. Balas, Valentina Emilia. editor. Haoxiang, Wang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-7874-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç