Search Results for Software.

1.

The Fundamental Research for Trustworthy Software

Author

He, Jifeng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-5589-3

Format:

Availability

Online Library~1

Available:
Copies:

2.

Raspberry Pi System Software Reference

Author

Gay, Warren. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4842-0796-3

Format:

Availability

Online Library~1

Available:
Copies:

3.

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Author

Menzies, Tim. editor. Petke, Justyna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66299-2

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Author

Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60588-3

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Agile Processes in Software Engineering and Extreme Programming 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings

Agile Processes in Software Engineering and Extreme Programming 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings

Author

Peter, Sibylle. editor. (orcid)0009-0007-4308-053X Kropp, Martin. editor. (orcid)0000-0002-7439-6517 Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729 Anslow, Craig. editor. (orcid)0000-0001-8064-6300 Lunesu, Maria Ilaria. editor. (orcid)0000-0002-2552-4228

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Author

Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II

Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II

Author

Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings

Author

Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062 Yue, Tao. editor. Fredericks, Erik M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Software Quality as a Foundation for Security 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024, Proceedings

Software Quality as a Foundation for Security 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024, Proceedings

Author

Bludau, Peter. editor. (orcid)0000-0003-4738-0488 Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107 Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Bergsmann, Johannes. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Software Architecture. ECSA 2024 Tracks and Workshops Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings

Author

Ampatzoglou, Apostolos. editor. (orcid)0000-0002-5764-7302 Pérez, Jennifer. editor. (orcid)0000-0003-3192-7995 Buhnova, Barbora. editor. (orcid)0000-0003-4205-101X Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Venters, Colin C. editor. (orcid)0000-0001-8664-9107

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers

Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers

Author

Tekinerdoğan, Bedir. editor. (orcid)0000-0002-8538-7261 Spalazzese, Romina. editor. (orcid)0000-0003-0326-0556 Sözer, Hasan. editor. (orcid)0000-0002-2968-4763 Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Weyns, Danny. editor. (orcid)0000-0002-1162-0817

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings

Author

Hyrynsalmi, Sami. editor. Münch, Jürgen. editor. (orcid)0000-0003-0327-8094 Smolander, Kari. editor. Melegati, Jorge. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Agile Processes in Software Engineering and Extreme Programming 25th International Conference on Agile Software Development, XP 2024, Bozen-Bolzano, Italy, June 4-7, 2024, Proceedings

Agile Processes in Software Engineering and Extreme Programming 25th International Conference on Agile Software Development, XP 2024, Bozen-Bolzano, Italy, June 4-7, 2024, Proceedings

Author

Šmite, Darja. editor. (orcid)0000-0003-1744-3118 Guerra, Eduardo. editor. (orcid)0000-0001-5555-3487 Wang, Xiaofeng. editor. (orcid)0000-0001-8424-419X Marchesi, Michele. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings

Author

Jahangirova, Gunel. editor. Khomh, Foutse. editor. (orcid)0000-0002-5704-4173 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

Author

Bodden, Eric. editor. Payer, Mathias. editor. (orcid)0000-0001-5054-7547 Athanasopoulos, Elias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62105-0

Format:

Availability

Online Library~1

Available:
Copies:

17.

Internetware A New Software Paradigm for Internet Computing

Author

Mei, Hong. author. Lü, Jian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-2546-4

Format:

Availability

Online Library~1

Available:
Copies:

18.

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

Author

Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335024.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40894-6

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Author

Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334870.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39955-8

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Author

Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334353.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37051-9

Format:

Availability

Online Library~1

Available:
Copies:

21.

Requirements Engineering and Management for Software Development Projects

Author

Chemuturi, Murali. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331756.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-5377-2

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Author

Guerra, Esther. editor. van den Brand, Mark. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61473-1

Format:

Availability

Online Library~1

Available:
Copies:

23.

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Author

Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-40648-0

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Author

Wittevrongel, Sabine. editor. Phung-Duc, Tuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-43904-4

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024, Proceedings

Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024, Proceedings

Author

Cheikh M. F. Kebe, Kebe. editor. Gueye, Assane. editor. (orcid)0000-0001-6469-4716 Ndiaye, Ababacar. editor. (orcid)0000-0002-4281-8973 Sene, Ndèye Awa. editor. Maiga, Amadou-Seidou. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Database Systems for Advanced Applications. DASFAA 2024 International Workshops BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings

Database Systems for Advanced Applications. DASFAA 2024 International Workshops BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings

Author

Morishima, Atsuyuki. editor. (orcid)0000-0003-4606-9065 Li, Guoliang. editor. (orcid)0000-0002-1398-0621 Ishikawa, Yoshiharu. editor. (orcid)0000-0003-3875-3262 Amer-Yahia, Sihem. editor. (orcid)0000-0002-6194-4502 Jagadish, H. V. editor. (orcid)0000-0003-0724-5214

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0914-7

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings

Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings

Author

Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393 Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154 Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X Nakamura, Junya. editor. (orcid)0000-0002-1363-4358 Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Information and Communication Technologies 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024, Proceedings

Information and Communication Technologies 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024, Proceedings

Author

Berrezueta-Guzman, Santiago. editor. (orcid)0000-0001-5559-2056 Torres, Rommel. editor. (orcid)0000-0003-2313-0118 Zambrano-Martinez, Jorge Luis. editor. (orcid)0000-0002-5339-7860 Herrera-Tapia, Jorge. editor. (orcid)0000-0002-8673-0236 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Financial Cryptography and Data Security 28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers, Part II

Financial Cryptography and Data Security 28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers, Part II

Author

Clark, Jeremy. editor. (orcid)0000-0002-3533-5965 Shi, Elaine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers

Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers

Author

Kanhere, Salil. editor. (orcid)0000-0002-1835-3475 Jurdak, Raja. editor. (orcid)0000-0001-7517-0782 Parkinson, Joy. editor. Sridharan, Bhavani. editor. Pal, Shantanu. editor. (orcid)0000-0002-8784-0154

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4442-1

Format:

Availability

Online Library~1

Available:
Copies:

31.

Financial Cryptography and Data Security 28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers, Part I

Author

Clark, Jeremy. editor. (orcid)0000-0002-3533-5965 Shi, Elaine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Structural Information and Communication Complexity 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, Proceedings

Structural Information and Communication Complexity 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, Proceedings

Author

Schmid, Ulrich. editor. (orcid)0000-0001-9831-8583 Kuznets, Roman. editor. (orcid)0000-0001-5894-8724 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Blockchain Technology and Application 7th CCF China Blockchain Conference, CBCC 2024, Shanghai, China, December 13-15, 2024, Revised Selected Papers, Part I

Blockchain Technology and Application 7th CCF China Blockchain Conference, CBCC 2024, Shanghai, China, December 13-15, 2024, Revised Selected Papers, Part I

Author

Zhu, Liehuang. editor. Sun, Yi. editor. Zhu, Jianming. editor. Wu, Qianhong. editor. Song, Xianhua. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-6232-6

Format:

Availability

Online Library~1

Available:
Copies:

34.

Blockchain Technology and Application 7th CCF China Blockchain Conference, CBCC 2024, Shanghai, China, December 13-15, 2024, Revised Selected Papers, Part II

Author

Zhu, Liehuang. editor. Sun, Yi. editor. Zhu, Jianming. editor. Wu, Qianhong. editor. Song, Xianhua. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-6243-2

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

Author

Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II

Author

Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Author

Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Author

Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Coordination Models and Languages 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings

Coordination Models and Languages 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings

Author

Di Giusto, Cinzia. editor. (orcid)0000-0003-1563-6581 Ravara, António. editor. (orcid)0000-0001-8074-0380 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Applied Cryptography and Network Security 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025, Proceedings, Part II

Applied Cryptography and Network Security 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025, Proceedings, Part II

Author

Fischlin, Marc. editor. (orcid)0000-0003-0597-8297 Moonsamy, Veelasha. editor. (orcid)0000-0001-6296-2182 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Applied Cryptography and Network Security 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025, Proceedings, Part III

Author

Fischlin, Marc. editor. (orcid)0000-0003-0597-8297 Moonsamy, Veelasha. editor. (orcid)0000-0001-6296-2182 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Applied Cryptography and Network Security 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025, Proceedings, Part I

Author

Fischlin, Marc. editor. (orcid)0000-0003-0597-8297 Moonsamy, Veelasha. editor. (orcid)0000-0001-6296-2182 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part I

Author

Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part II

Author

Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

Author

Aiello, Marco. editor. (orcid)0000-0002-0764-2124 Barzen, Johanna. editor. Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Leymann, Frank. editor. (orcid)0000-0002-9123-259X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Financial Cryptography and Data Security. FC 2024 International Workshops Voting, DeFI, WTSC, CoDecFin, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers

Financial Cryptography and Data Security. FC 2024 International Workshops Voting, DeFI, WTSC, CoDecFin, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers

Author

Budurushi, Jurlind. editor. (orcid)0000-0002-6732-4400 Kulyk, Oksana. editor. (orcid)0000-0003-4218-1658 Allen, Sarah. editor. Diamandis, Theo. editor. (orcid)0000-0003-0657-5959 Klages-Mundt, Ariah. editor. (orcid)0000-0002-5577-1000

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Applied Informatics 6th International Conference, ICAI 2023, Guayaquil, Ecuador, October 26-28, 2023, Proceedings

Author

Florez, Hector. editor. (orcid)0000-0002-5339-4459 Leon, Marcelo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part II

Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part II

Author

Baldimtsi, Foteini. editor. Cachin, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

49.

Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part I

Author

Baldimtsi, Foteini. editor. Cachin, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications

Author

Buttazzo, Giorgio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Applied Cryptography and Network Security 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part III

Applied Cryptography and Network Security 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part III

Author

Pöpper, Christina. editor. Batina, Lejla. editor. (orcid)0000-0003-0727-3573 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Advances in Model and Data Engineering in the Digitalization Era MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings

Advances in Model and Data Engineering in the Digitalization Era MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings

Author

Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 Kechadi, Tahar. editor. (orcid)0000-0002-0176-6281 Bellatreche, Ladjel. editor. Gargouri, Faiez. editor. Guegan, Chirine Ghedira. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I

Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I

Author

Goel, Sanjay. editor. (orcid)0000-0002-7164-8395 Nunes de Souza, Paulo Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings

Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings

Author

Emek, Yuval. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Author

Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Coordination Models and Languages 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Coordination Models and Languages 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Author

Castellani, Ilaria. editor. (orcid)0000-0001-9820-0892 Tiezzi, Francesco. editor. (orcid)0000-0003-4740-7521 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Author

Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523 Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Blockchain Technology and Application 6th CCF China Blockchain Summit, CBCS 2023, Haikou, China, December 15-18, 2023, Revised Selected Papers

Blockchain Technology and Application 6th CCF China Blockchain Summit, CBCS 2023, Haikou, China, December 15-18, 2023, Revised Selected Papers

Author

Zhu, Jianming. editor. Wu, Qianhong. editor. Ding, Yong. editor. (orcid)0000-0002-3571-7576 Song, Xianhua. editor. (orcid)0000-0002-0111-8559 Lu, Zeguang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-3203-6

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part I

Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part I

Author

Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part II

Author

Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

61.

Cover image for Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings

Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings

Author

Li, Chao. editor. (orcid)0000-0001-6218-4659 Li, Zhenhua. editor. (orcid)0000-0001-7286-122X Shen, Li. editor. (orcid)0000-0001-9043-2998 Wu, Fan. editor. (orcid)0000-0003-0965-9058 Gong, Xiaoli. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-7872-4

Format:

Availability

Online Library~1

Available:
Copies:

62.

Cover image for Innovations and Interdisciplinary Solutions for Underserved Areas 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings

Innovations and Interdisciplinary Solutions for Underserved Areas 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings

Author

Seeam, Amar. editor. Ramsurrun, Visham. editor. Juddoo, Suraj. editor. Phokeer, Amreesh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

63.

Cover image for Distributed Computing for Emerging Smart Networks 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers

Distributed Computing for Emerging Smart Networks 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers

Author

Jemili, Imen. editor. (orcid)0000-0002-3701-1251 Mosbah, Mohamed. editor. Mabrouk, Sabra. editor. Mendiboure, Leo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

Cover image for Distributed Ledger Technology 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 - December 1, 2023, Revised Selected Papers

Distributed Ledger Technology 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 - December 1, 2023, Revised Selected Papers

Author

Dong, Naipeng. editor. Pillai, Babu. editor. (orcid)0000-0003-4675-154X Bai, Guangdong. editor. Utting, Mark. editor. (orcid)0000-0003-3134-6306 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0006-6

Format:

Availability

Online Library~1

Available:
Copies:

65.

Applied Cryptography and Network Security 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part II

Author

Pöpper, Christina. editor. Batina, Lejla. editor. (orcid)0000-0003-0727-3573 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Applied Cryptography and Network Security 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part I

Author

Pöpper, Christina. editor. Batina, Lejla. editor. (orcid)0000-0003-0727-3573 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for Advanced Information Systems Engineering 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings

Advanced Information Systems Engineering 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings

Author

Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Santoro, Flavia. editor. (orcid)0000-0003-3421-1984 Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712 Soffer, Pnina. editor. (orcid)0000-0003-4659-883X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

Mastering Microsoft Teams : creating a hub for successful teamwork in Office 365

Author

Wheeler, Christina, author. Lopez, Johnny, author.

Preferred Shelf Number

HF5548.4 .M525 W44 2022

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119698012

Format:

Availability

Online Library~1

Available:
Copies:

69.

Multi-processor system-on-chip. 2, Applications

Author

Andrade, Liliana, editor. Rousseau, Frédéric, 1967- editor.

Preferred Shelf Number

TK7895 .E42

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119818410

Format:

Availability

Online Library~1

Available:
Copies:

70.

Mastering VMware vSphere 6.7

Author

Marshall, Nick (Computer consultant), author. Brown, Mike, author. Fritz, G. Blair, author. Johnson, Ryan, author. Gelsinger, Pat, writer of foreword.

Preferred Shelf Number

QA76.9 .V5

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549291

Format:

Availability

Online Library~1

Available:
Copies:

71.

Cover image for Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Author

Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66263-3

Format:

Availability

Online Library~1

Available:
Copies:

72.

Cover image for Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

Author

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66176-6

Format:

Availability

Online Library~1

Available:
Copies:

73.

Cover image for Detection of Intrusions and Malware, and Vulnerability Assessment 14th International Conference, DIMVA 2017, Bonn, Germany, July 6-7, 2017, Proceedings

Detection of Intrusions and Malware, and Vulnerability Assessment 14th International Conference, DIMVA 2017, Bonn, Germany, July 6-7, 2017, Proceedings

Author

Polychronakis, Michalis. editor. Meier, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60876-1

Format:

Availability

Online Library~1

Available:
Copies:

74.

Cover image for Research in Attacks, Intrusions, and Defenses 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, Proceedings

Research in Attacks, Intrusions, and Defenses 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, Proceedings

Author

Dacier, Marc. editor. Bailey, Michael. editor. Polychronakis, Michalis. editor. Antonakakis, Manos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66332-6

Format:

Availability

Online Library~1

Available:
Copies:

75.

Cover image for Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Author

Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-52709-3

Format:

Availability

Online Library~1

Available:
Copies:

76.

Cover image for Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

Author

Dou, Yong. editor. Lin, Haixiang. editor. Sun, Guangyu. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Heras, Dora. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67952-5

Format:

Availability

Online Library~1

Available:
Copies:

77.

Embedded and Real-Time Operating Systems

Author

Wang, K.C. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-51517-5

Format:

Availability

Online Library~1

Available:
Copies:

78.

Cover image for Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

Author

Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-29778-1

Format:

Availability

Online Library~1

Available:
Copies:

79.

Transactions on Modularity and Composition I

Author

Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-46969-0

Format:

Availability

Online Library~1

Available:
Copies:

80.

Using Windows 8.1 Return of the Start Button

Author

Wilson, Kevin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4302-6680-8

Format:

Availability

Online Library~1

Available:
Copies:

81.

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

Author

Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334882.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40047-6

Format:

Availability

Online Library~1

Available:
Copies:

82.

Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings

Author

Hsu, Ching-Hsien. editor. Li, Xiaoming. editor. Shi, Xuanhua. editor. Zheng, Ran. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335013.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40820-5

Format:

Availability

Online Library~1

Available:
Copies:

83.

Cover image for Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings

Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings

Author

Kubátová, Hana. editor. Hochberger, Christian. editor. Daněk, Martin. editor. Sick, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334200.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36424-2

Format:

Availability

Online Library~1

Available:
Copies:

84.

Ada 2012 Rationale The Language, The Standard Libraries

Author

Barnes, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335195.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45210-9

Format:

Availability

Online Library~1

Available:
Copies:

85.

Cover image for Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

Author

Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335206.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45293-2

Format:

Availability

Online Library~1

Available:
Copies:

86.

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)

Author

Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.

Preferred Shelf Number

ONLINE(335216.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45419-6

Format:

Availability

Online Library~1

Available:
Copies:

87.

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Author

Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334327.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36946-9

Format:

Availability

Online Library~1

Available:
Copies:

88.

Cover image for Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers

Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers

Author

Yuan, Yuyu. editor. Wu, Xu. editor. Lu, Yueming. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334049.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35795-4

Format:

Availability

Online Library~1

Available:
Copies:

89.

Cover image for Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

Author

Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334071.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35867-8

Format:

Availability

Online Library~1

Available:
Copies:

90.

Cover image for Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Author

Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334077.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35887-6

Format:

Availability

Online Library~1

Available:
Copies:

91.

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

Author

Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334156.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36249-1

Format:

Availability

Online Library~1

Available:
Copies:

92.

Cover image for Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

Author

Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334469.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37658-0

Format:

Availability

Online Library~1

Available:
Copies:

93.

Cover image for Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings

Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings

Author

Park, James J. (Jong Hyuk). editor. Arabnia, Hamid R. editor. Kim, Cheonshik. editor. Shi, Weisong. editor. Gil, Joon-Min. editor.

Preferred Shelf Number

ONLINE(334517.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38027-3

Format:

Availability

Online Library~1

Available:
Copies:

94.

Web Dynpro ABAP for Practitioners

Author

Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334566.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38247-5

Format:

Availability

Online Library~1

Available:
Copies:

95.

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

Author

Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334533.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38088-4

Format:

Availability

Online Library~1

Available:
Copies:

96.

Cover image for Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Author

Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334610.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38493-6

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}