Search Results for Contracts.

46 Results Found

1 2 3 4

000000000000DEFAULT

13.

Touch of Class Learning to Program Well with Objects and Contracts

Author

Meyer, Bertrand. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-92145-5

Format:

Availability

Online Library~1

Available:
Copies:

14.

The Principle of Indemnity in Marine Insurance Contracts A Comparative Approach

Author

Noussia, Kyriaki. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-49074-6

Format:

Availability

Online Library~1

Available:
Copies:

15.

Blockchain for Secure Healthcare Using Internet of Medical Things (IoMT)

Author

Gupta, Sunil. author. Sharma, Hitesh Kumar. author. Kapoor, Monit. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520255.1)

Electronic Access

https://doi.org/10.1007/978-3-031-18896-1

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Ubiquitous Security Second International Conference, UbiSec 2022, Zhangjiajie, China, December 28-31, 2022, Revised Selected Papers

Ubiquitous Security Second International Conference, UbiSec 2022, Zhangjiajie, China, December 28-31, 2022, Revised Selected Papers

Author

Wang, Guojun. editor. Choo, Kim-Kwang Raymond. editor. Wu, Jie. editor. Damiani, Ernesto. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520210.1)

Electronic Access

https://doi.org/10.1007/978-981-99-0272-9

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Blockchain Technology and Emerging Technologies Second EAI International Conference, BlockTEA 2022, Virtual Event, November 21-22, 2022, Proceedings

Blockchain Technology and Emerging Technologies Second EAI International Conference, BlockTEA 2022, Virtual Event, November 21-22, 2022, Proceedings

Author

Meng, Weizhi. editor. Li, Wenjuan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520222.1)

Electronic Access

https://doi.org/10.1007/978-3-031-31420-9

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Author

Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520788.1)

Electronic Access

https://doi.org/10.1007/978-3-031-24841-2

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Machine Learning for Cyber Security 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, Proceedings, Part I

Machine Learning for Cyber Security 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, Proceedings, Part I

Author

Xu, Yuan. editor. Yan, Hongyang. editor. Teng, Huang. editor. Cai, Jun. editor. Li, Jin. editor.

Preferred Shelf Number

XX(520794.1)

Electronic Access

https://doi.org/10.1007/978-3-031-20096-0

Format:

Availability

Online Library~1

Available:
Copies:

20.

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Author

Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520984.1)

Electronic Access

https://doi.org/10.1007/978-3-031-33170-1

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Natural Language Processing and Chinese Computing 12th National CCF Conference, NLPCC 2023, Foshan, China, October 12-15, 2023, Proceedings, Part II

Natural Language Processing and Chinese Computing 12th National CCF Conference, NLPCC 2023, Foshan, China, October 12-15, 2023, Proceedings, Part II

Author

Liu, Fei. editor. Duan, Nan. editor. Xu, Qingting. editor. Hong, Yu. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521223.1)

Electronic Access

https://doi.org/10.1007/978-3-031-44696-2

Format:

Availability

Online Library~1

Available:
Copies:

22.

PET Radiopharmaceutical Business An Insider's View

Author

Pecorale, Andrea. author. Inzerillo, Maria Carmela. author. Salvadori, Piero A. author. SpringerLink (Online service)

Preferred Shelf Number

XX(522246.1)

Electronic Access

https://doi.org/10.1007/978-3-031-51908-6

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for 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

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

Author

van der Aa, Han. editor. Bork, Dominik. editor. (orcid) Proper, Henderik A. editor. Schmidt, Rainer. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520421.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34241-7

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Author

Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520864.1)

Electronic Access

https://doi.org/10.1007/978-3-031-31476-6

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4

	{displayName}	{count}
{error}