Search Results for Internet of things. - Narrowed by: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInternet$002bof$002bthings.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300?
2026-04-25T16:19:30Z
Middleware Solutions for the Internet of Things
ent://SD_ILS/0/SD_ILS:331206
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Delicato, Flávia C. author. Pires, Paulo F. author. Batista, Thais. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331206.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5481-5">http://dx.doi.org/10.1007/978-1-4471-5481-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fog Computing in the Internet of Things Intelligence at the Edge
ent://SD_ILS/0/SD_ILS:401351
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Rahmani, Amir M. editor. Liljeberg, Pasi. editor. Preden, Jürgo-Sören. editor. Jantsch, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57639-8">https://doi.org/10.1007/978-3-319-57639-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Online Engineering & Internet of Things Proceedings of the 14th International Conference on Remote Engineering and Virtual Instrumentation REV 2017, held 15-17 March 2017, Columbia University, New York, USA
ent://SD_ILS/0/SD_ILS:401848
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Auer, Michael E. editor. Zutin, Danilo G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64352-6">https://doi.org/10.1007/978-3-319-64352-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet-of-Things (IoT) Systems Architectures, Algorithms, Methodologies
ent://SD_ILS/0/SD_ILS:402520
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Serpanos, Dimitrios. author. Wolf, Marilyn. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69715-4">https://doi.org/10.1007/978-3-319-69715-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
ent://SD_ILS/0/SD_ILS:402179
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Marwedel, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56045-8">https://doi.org/10.1007/978-3-319-56045-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SemProM Foundations of Semantic Product Memories for the Internet of Things
ent://SD_ILS/0/SD_ILS:334416
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Wahlster, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334416.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37377-0">http://dx.doi.org/10.1007/978-3-642-37377-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rethinking the Internet of Things A Scalable Approach to Connecting Everything
ent://SD_ILS/0/SD_ILS:330700
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author daCosta, Francis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330700.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5741-7">http://dx.doi.org/10.1007/978-1-4302-5741-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Technological Innovation for the Internet of Things 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, Costa de Caparica, Portugal, April 15-17, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334402
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Camarinha-Matos, Luis M. editor. Tomic, Slavisa. editor. Graça, Paula. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334402.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37291-9">http://dx.doi.org/10.1007/978-3-642-37291-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet of Things, Smart Spaces, and Next Generation Networking 13th International Conference, NEW2AN 2013 and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334926
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Balandin, Sergey. editor. Andreev, Sergey. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334926.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40316-3">http://dx.doi.org/10.1007/978-3-642-40316-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet of Things International Workshop, IOT 2012, Changsha, China, August 17-19, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197216
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Wang, Yongheng. editor. Zhang, Xiaoming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32427-7">http://dx.doi.org/10.1007/978-3-642-32427-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet of Things, Smart Spaces, and Next Generation Networking 12th International Conference, NEW2AN 2012, and 5th Conference, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197257
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Andreev, Sergey. editor. Balandin, Sergey. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32686-8">http://dx.doi.org/10.1007/978-3-642-32686-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Internet of Things First International Conference, IOT 2008, Zurich, Switzerland, March 26-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188222
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Floerkemeier, Christian. editor. Langheinrich, Marc. editor. Fleisch, Elgar. editor. Mattern, Friedemann. editor. Sarma, Sanjay E. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78731-0">http://dx.doi.org/10.1007/978-3-540-78731-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and Applications 25th International Conference, ICOMP 2024, and 22nd International Conference, ESCS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:608015
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85923-6">https://doi.org/10.1007/978-3-031-85923-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Machine Learning Techniques in Engineering and Management
ent://SD_ILS/0/SD_ILS:608551
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Srinivasa Raju, Komaragiri. author. (orcid)0009-0006-9268-8229 Nagesh Kumar, Dasika. author. (orcid)0000-0002-5294-8501 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-2621-2">https://doi.org/10.1007/978-981-96-2621-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IX
ent://SD_ILS/0/SD_ILS:601647
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65329-2">https://doi.org/10.1007/978-3-031-65329-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605025
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65223-3">https://doi.org/10.1007/978-3-031-65223-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach
ent://SD_ILS/0/SD_ILS:602280
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Li, Youqi. author. (orcid)0000-0003-3867-5997 Li, Fan. author. (orcid)0000-0002-2348-4488 Yang, Song. author. Zhang, Chuan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-6921-0">https://doi.org/10.1007/978-981-99-6921-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:604432
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65238-7">https://doi.org/10.1007/978-3-031-65238-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:604433
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65282-0">https://doi.org/10.1007/978-3-031-65282-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VIII
ent://SD_ILS/0/SD_ILS:604434
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65318-6">https://doi.org/10.1007/978-3-031-65318-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part X
ent://SD_ILS/0/SD_ILS:604435
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65332-2">https://doi.org/10.1007/978-3-031-65332-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604501
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65154-0">https://doi.org/10.1007/978-3-031-65154-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part XI
ent://SD_ILS/0/SD_ILS:604502
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65343-8">https://doi.org/10.1007/978-3-031-65343-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:604771
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65273-8">https://doi.org/10.1007/978-3-031-65273-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605050
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946 Ludwig, André. editor. (orcid)0000-0002-0358-3470 Núñez, Manuel. editor. (orcid)0000-0001-9808-6401 Treur, Jan. editor. (orcid)0000-0003-2466-9158<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70816-9">https://doi.org/10.1007/978-3-031-70816-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605051
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946 Ludwig, André. editor. (orcid)0000-0002-0358-3470 Núñez, Manuel. editor. (orcid)0000-0001-9808-6401 Treur, Jan. editor. (orcid)0000-0003-2466-9158<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70819-0">https://doi.org/10.1007/978-3-031-70819-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:608123
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65285-1">https://doi.org/10.1007/978-3-031-65285-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VII
ent://SD_ILS/0/SD_ILS:610225
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65308-7">https://doi.org/10.1007/978-3-031-65308-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communications Technologies Second International Libyan Conference, ILCICT 2023, Tripoli, Libya, September 4-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:609523
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Benmusa, Tammam A. T. editor. Elbuni, Mohamed Samir. editor. Saleh, Ibrahim M. editor. Ashur, Ahmed S. editor. Drawil, Nabil M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62624-1">https://doi.org/10.1007/978-3-031-62624-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613738
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68015-6">https://doi.org/10.1007/978-3-319-68015-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Computing Engineering Smart Systems
ent://SD_ILS/0/SD_ILS:617371
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Silvis-Cividjian, Natalia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51655-4">https://doi.org/10.1007/978-3-319-51655-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Creativity in Intelligent Technologies and Data Science Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613472
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Groumpos, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65551-2">https://doi.org/10.1007/978-3-319-65551-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:611433
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46613-2">https://doi.org/10.1007/978-3-319-46613-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:616739
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:613592
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Big Data Technology and Applications First National Conference, BDTA 2015, Harbin, China, December 25-26, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:617925
2026-04-25T16:19:30Z
2026-04-25T16:19:30Z
Author Chen, Wenguang. editor. Yin, Guisheng. editor. Zhao, Gansen. editor. Han, Qilong. editor. Jing, Weipeng. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0457-5">https://doi.org/10.1007/978-981-10-0457-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>