Search Results for Dynamic testing.

1.

The Cleveland Clinic Manual of Dynamic Endocrine Testing

Author

Ergin, Ahmet Bahadir. author. Kennedy, A. Laurence. author. Gupta, Manjula K. author. Hamrahian, Amir H. author. SpringerLink (Online service)

Preferred Shelf Number

XX(519417.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences

Author

Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520632.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Biomimetic and Biohybrid Systems 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part I

Biomimetic and Biohybrid Systems 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part I

Author

Meder, Fabian. editor. Hunt, Alexander. editor. Margheri, Laura. editor. Mura, Anna. editor. Mazzolai, Barbara. editor.

Preferred Shelf Number

XX(520963.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

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:

5.

Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III

Author

Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520246.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Algorithms and Complexity 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings

Author

Mavronicolas, Marios. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520844.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Internet of Things - ICIOT 2022 7th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings

Internet of Things - ICIOT 2022 7th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings

Author

Tekinerdogan, Bedir. editor. Wang, Yingwei. editor. Zhang, Liang-Jie. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520787.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part III

Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part III

Author

Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)

Preferred Shelf Number

XX(521234.1)

Electronic Access

https://doi.org/10.1007/978-981-99-6489-5

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Author

Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521275.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers

High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers

Author

Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521305.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

Author

Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Roy, Matthieu. editor. Bitsch, Friedemann. editor.

Preferred Shelf Number

XX(521137.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Author

Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521082.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings

Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings

Author

Zhou, Jianying. editor. (orcid) Batina, Lejla. editor. Li, Zengpeng. editor. Lin, Jingqiang. editor. Losiouk, Eleonora. editor.

Preferred Shelf Number

XX(521216.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings

Author

Hur, Chung-Kil. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521341.1)

Electronic Access

https://doi.org/10.1007/978-981-99-8311-7

Format:

Availability

Online Library~1

Available:
Copies:

15.

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

Author

Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519222.1)

Electronic Access

https://doi.org/10.1007/978-3-662-47672-7

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Nordic Contributions in IS Research 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings

Nordic Contributions in IS Research 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings

Author

Oinas-Kukkonen, Harri. editor. Iivari, Netta. editor. Kuutti, Kari. editor. Öörni, Anssi. editor. Rajanen, Mikko. editor.

Preferred Shelf Number

XX(518583.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Enterprise Interoperability 6th International IFIP Working Conference, IWEI 2015, Nîmes, France, May 28-29, 2015, Proceedings

Author

van Sinderen, Marten. editor. Chapurlat, Vincent. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518641.1)

Electronic Access

https://doi.org/10.1007/978-3-662-47157-9

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II

Author

Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519031.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers

Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers

Author

Camara, Oscar. editor. Mansi, Tommaso. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.

Preferred Shelf Number

XX(519077.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Vitek, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519237.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46669-8

Format:

Availability

Online Library~1

Available:
Copies:

21.

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Author

Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518840.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Algorithms and Complexity 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings

Author

Paschos, Vangelis Th. editor. Widmayer, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519245.1)

Electronic Access

https://doi.org/10.1007/978-3-319-18173-8

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}