Search Results for Learning contracts. - Narrowed by: SpringerLink (Online service)
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLearning$002bcontracts.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026ps$003d300?dt=list
2024-10-22T09:27:02Z
Touch of Class Learning to Program Well with Objects and Contracts
ent://SD_ILS/0/SD_ILS:189386
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author Meyer, Bertrand. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92145-5">http://dx.doi.org/10.1007/978-3-540-92145-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Blockchains
ent://SD_ILS/0/SD_ILS:520553
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author Daimi, Kevin. editor. Dionysiou, Ioanna. editor. El Madhoun, Nour. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520553.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-10507-4">https://doi.org/10.1007/978-3-031-10507-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520558
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author Noël, Frédéric. editor. Nyffenegger, Felix. editor. (orcid) Rivest, Louis. editor. Bouras, Abdelaziz. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520558.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25182-5">https://doi.org/10.1007/978-3-031-25182-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521188
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.<br/>Preferred Shelf Number XX(521188.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37105-9">https://doi.org/10.1007/978-3-031-37105-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Database Systems for Advanced Applications. DASFAA 2023 International Workshops BDMS 2023, BDQM 2023, GDMA 2023, BundleRS 2023, Tianjin, China, April 17-20, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521196
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author El Abbadi, Amr. editor. Dobbie, Gillian. editor. Feng, Zhiyong. editor. Chen, Lu. editor. Tao, Xiaohui. editor.<br/>Preferred Shelf Number XX(521196.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35415-1">https://doi.org/10.1007/978-3-031-35415-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Blockchain - ICBC 2023 6th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521213
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author Wang, Qin. editor. Feng, Jun. editor. Zhang, Liang-Jie. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(521213.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44920-8">https://doi.org/10.1007/978-3-031-44920-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Natural Language Processing and Chinese Computing 12th National CCF Conference, NLPCC 2023, Foshan, China, October 12-15, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521223
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author Liu, Fei. editor. Duan, Nan. editor. Xu, Qingting. editor. Hong, Yu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521223.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44696-2">https://doi.org/10.1007/978-3-031-44696-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521275
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521275.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47115-5">https://doi.org/10.1007/978-3-031-47115-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Web and Intelligent Information Systems 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521302
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author Younas, Muhammad. editor. Awan, Irfan. editor. Grønli, Tor-Morten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521302.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39764-6">https://doi.org/10.1007/978-3-031-39764-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Blockchain Technology and Emerging Technologies Second EAI International Conference, BlockTEA 2022, Virtual Event, November 21-22, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520222
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author Meng, Weizhi. editor. Li, Wenjuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520222.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31420-9">https://doi.org/10.1007/978-3-031-31420-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise, Business-Process and Information Systems Modeling 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12-13, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520421
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author van der Aa, Han. editor. Bork, Dominik. editor. (orcid) Proper, Henderik A. editor. Schmidt, Rainer. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520421.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34241-7">https://doi.org/10.1007/978-3-031-34241-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Communication and Intelligent Systems Second International Conference, ICACIS 2023, Warsaw, Poland, June 16-17, 2023, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:520699
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520699.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45121-8">https://doi.org/10.1007/978-3-031-45121-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Communication and Intelligent Systems Second International Conference, ICACIS 2023, Warsaw, Poland, June 16-17, 2023, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:520700
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520700.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45124-9">https://doi.org/10.1007/978-3-031-45124-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations and Practice of Security 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520922
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author Jourdan, Guy-Vincent. editor. Mounier, Laurent. editor. Adams, Carlisle. editor. Sèdes, Florence. editor. Garcia-Alfaro, Joaquin. editor.<br/>Preferred Shelf Number XX(520922.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30122-3">https://doi.org/10.1007/978-3-031-30122-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520984
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520984.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33170-1">https://doi.org/10.1007/978-3-031-33170-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521004
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521004.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35257-7">https://doi.org/10.1007/978-3-031-35257-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ubiquitous Security Second International Conference, UbiSec 2022, Zhangjiajie, China, December 28-31, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520210
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author Wang, Guojun. editor. Choo, Kim-Kwang Raymond. editor. Wu, Jie. editor. Damiani, Ernesto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520210.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-0272-9">https://doi.org/10.1007/978-981-99-0272-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning for Cyber Security 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520794
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author Xu, Yuan. editor. Yan, Hongyang. editor. Teng, Huang. editor. Cai, Jun. editor. Li, Jin. editor.<br/>Preferred Shelf Number XX(520794.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-20096-0">https://doi.org/10.1007/978-3-031-20096-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519078
2024-10-22T09:27:02Z
2024-10-22T09:27:02Z
Author Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519078.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15201-1">https://doi.org/10.1007/978-3-319-15201-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>