Search Results for Contracts.

191 Results Found

1 .. 3 4 5 6 7 .. 16

000000000000DEFAULT

49.

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:

50.

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:

51.

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:

52.

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:

53.

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:

54.

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:

55.

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:

56.

Cover image for Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

Author

Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521157.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43240-8

Format:

Availability

Online Library~1

Available:
Copies:

57.

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part I

Author

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.

Preferred Shelf Number

XX(521188.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Financial Cryptography and Data Security. FC 2022 International Workshops CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers

Financial Cryptography and Data Security. FC 2022 International Workshops CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers

Author

Matsuo, Shin'ichiro. editor. Gudgeon, Lewis. editor. Klages-Mundt, Ariah. editor. Perez Hernandez, Daniel. editor. Werner, Sam. editor.

Preferred Shelf Number

XX(521301.1)

Electronic Access

https://doi.org/10.1007/978-3-031-32415-4

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Mobile Web and Intelligent Information Systems 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings

Mobile Web and Intelligent Information Systems 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings

Author

Younas, Muhammad. editor. Awan, Irfan. editor. Grønli, Tor-Morten. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521302.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI 27th International Workshop, COINE 2023, London, UK, May 29, 2023, Revised Selected Papers

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI 27th International Workshop, COINE 2023, London, UK, May 29, 2023, Revised Selected Papers

Author

Fornara, Nicoletta. editor. Cheriyan, Jithin. editor. Mertzani, Asimina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521374.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 16

	{displayName}	{count}
{error}