Search Results for Contracts.

32 Results Found

1 2 3

000000000000DEFAULT

13.

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:

14.

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:

15.

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:

16.

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:

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.

Principles and Practice of Blockchains

Author

Daimi, Kevin. editor. Dionysiou, Ioanna. editor. El Madhoun, Nour. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520553.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

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

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

Author

Noël, Frédéric. editor. Nyffenegger, Felix. editor. (orcid) Rivest, Louis. editor. Bouras, Abdelaziz. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520558.1)

Electronic Access

https://doi.org/10.1007/978-3-031-25182-5

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Advances in Enterprise Engineering XVI 12th Enterprise Engineering Working Conference, EEWC 2022, Leusden, The Netherlands, November 2-3, 2022, Revised Selected Papers

Advances in Enterprise Engineering XVI 12th Enterprise Engineering Working Conference, EEWC 2022, Leusden, The Netherlands, November 2-3, 2022, Revised Selected Papers

Author

Griffo, Cristine. editor. Guerreiro, Sérgio. editor. Iacob, Maria E. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520581.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34175-5

Format:

Availability

Online Library~1

Available:
Copies:

21.

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:

22.

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:

23.

Cover image for Foundations and Practice of Security 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers

Foundations and Practice of Security 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers

Author

Jourdan, Guy-Vincent. editor. Mounier, Laurent. editor. Adams, Carlisle. editor. Sèdes, Florence. editor. Garcia-Alfaro, Joaquin. editor.

Preferred Shelf Number

XX(520922.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30122-3

Format:

Availability

Online Library~1

Available:
Copies:

24.

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:

1 2 3

	{displayName}	{count}
{error}