Search Results for Program Development

49.

Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Author

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Hepatic Arterial Infusion for Malignancy

Author

D'Angelica, Michael. editor. Lidsky, Michael. editor. (orcid)0000-0003-0500-2016 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Graduate Medical Education in Family Medicine From Basic Processes to True Innovation

Author

Kellerman, Rick. editor. Irwin, Gretchen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Communications-Based Train Control (CBTC) Automation of metros and urban rapid transit systems

Author

Schnieder, Lars. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-70251-2

Format:

Availability

Online Library~1

Available:
Copies:

53.

Plant Genebank Utilization for Trait Discovery in Millets Volume IV

Author

Tripathi, Kuldeep. editor. Kumari, Jyoti. editor. Pandey, Sushil. editor. Singh, Badal. editor. Archak, Sunil. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4043-0

Format:

Availability

Online Library~1

Available:
Copies:

54.

Multidisciplinary Pain Medicine Fellowship Educational Guidelines by Program Directors

Author

Anitescu, Magdalena. editor. (orcid)0000-0002-0396-648X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Mechanical Circulatory Support

Author

Arabía, Francisco A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

The Spastic Forms of Cerebral Palsy A Guide to the Assessment and Rehabilitation of Adaptive Functions

Author

Ferrari, Adriano. editor. (orcid)0000-0002-6166-1350 Cioni, Giovanni. editor. (orcid)0000-0002-6526-5566 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-032-09211-3

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Proceedings of the 3rd International Symposium on Disaster Resilience and Sustainable Development-Volume 2 Resilient Systems for Climate Change Adaptation

Proceedings of the 3rd International Symposium on Disaster Resilience and Sustainable Development-Volume 2 Resilient Systems for Climate Change Adaptation

Author

Pal, Indrajit. editor. (orcid)0000-0002-8743-8122 Perwaiz, Aslam. editor. Ahmed, Iftekhar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Proceedings of the 3rd International Symposium on Disaster Resilience and Sustainable Development-Volume 1 Disaster and Climate Resilience

Proceedings of the 3rd International Symposium on Disaster Resilience and Sustainable Development-Volume 1 Disaster and Climate Resilience

Author

Pal, Indrajit. editor. (orcid)0000-0002-8743-8122 Shrestha, Sangam. editor. (orcid)0000-0002-4972-3969 Ninsawat, Sarawut. editor. (orcid)0000-0002-8381-7942 Kolathayar, Sreevalsa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Proceedings of the 3rd International Symposium on Disaster Resilience and Sustainable Development-Volume 3 Multi-Hazard Approach of GIS and Remote Sensing for Disaster Risk Reduction (DRR)

Proceedings of the 3rd International Symposium on Disaster Resilience and Sustainable Development-Volume 3 Multi-Hazard Approach of GIS and Remote Sensing for Disaster Risk Reduction (DRR)

Author

Pal, Indrajit. editor. (orcid)0000-0002-8743-8122 Mukhopadhyay, Anirban. editor. (orcid)0000-0003-3340-6202 Virdis, Salvatore G.P. editor. (orcid)0000-0003-3927-9494 Tawhidul Islam, Sheikh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Nutrition Across Reproductive, Maternal, Neonatal, Child, and Adolescent Health Care Focus on Low and Middle Income Countries

Author

Lassi, Zohra S. editor. Salam, Rehana A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

61.

A Comprehensive Guide to Cardiac Fitness Programs

Author

Gauthier, MD, Naomi. author. Curran, PhD, Tracy. author. O'Neill, MS, Julie Ann. author. Silversides, MST, Lani. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

62.

Engineering Mathematics with MATLAB Applications: Vol. 2, Advanced Topics

Author

Kurtaran, Hasan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

63.

Comprehensive Healthcare Simulation: Educating Providers to Care for a Diverse Patient Population

Author

Calzada, Jennifer. editor. Nakajima, Amy. editor. Robertson, Jamie M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-032-03947-7

Format:

Availability

Online Library~1

Available:
Copies:

64.

Exercise Programming for Cardiac Patients

Author

Rybicki, Jerzy. editor. Staron, Adam. editor. (orcid)0000-0001-5489-9160 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

The Kihansi Spray Toad (Nectophrynoides asperginis): Crisis Biology in the 21st Century

Author

Newmark, William D. author. (orcid)0000-0002-0359-9763 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Genetic Programming Theory and Practice XX

Author

Winkler, Stephan. editor. (orcid)0000-0002-5196-4294 Trujillo, Leonardo. editor. (orcid)0000-0003-1812-5736 Ofria, Charles. editor. Hu, Ting. editor. (orcid)0000-0001-6382-0602 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8413-8

Format:

Availability

Online Library~1

Available:
Copies:

67.

Non-violent Communication and Narrative Medicine for Promoting Sustainable Health

Author

Marini, Maria Giulia. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

Curing Disease from the Ground Up How to Operate a Biotechnology Business Incubator

Author

Block, Timothy M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

R Programming Statistical Data Analysis in Research

Author

Okoye, Kingsley. author. Hosseini, Samira. author. (orcid)0000-0001-9190-4782 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-3385-9

Format:

Availability

Online Library~1

Available:
Copies:

70.

Science, Technology and Innovation Ecosystem: An Indian and Global Perspective

Author

Singh, Kashmir. editor. (orcid)0000-0002-9646-9043 Chongtham, Nirmala. editor. (orcid)0000-0001-7969-3492 Trikha, Radhika. editor. Bhardwaj, Mamta. editor. Kaur, Sukhdeep. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2815-2

Format:

Availability

Online Library~1

Available:
Copies:

71.

ECMO: A Practical Guide to Management

Author

Taha, Ahmed Reda. editor. Caridi-Scheible, Mark. editor. Leiendecker, Eric R. editor. Miller, Casey Frost. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

72.

Geometric Algebra Applications Vol. III Integral Transforms, Machine Learning, and Quantum Computing

Author

Bayro-Corrochano, Eduardo. author. (orcid)0000-0002-4738-3593 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

73.

Cover image for Distributed Computing and Artificial Intelligence, Special Sessions III - Intelligent Systems Applications, 21st International Conference

Distributed Computing and Artificial Intelligence, Special Sessions III - Intelligent Systems Applications, 21st International Conference

Author

Zayas-Gato, Francisco. editor. Díaz-Longueira, Antonio. editor. Casteleiro-Roca, José-Luis. editor. (orcid)0000-0001-9740-6477 Jove, Esteban. editor. (orcid)0000-0002-0625-359X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

74.

European Robotics Forum 2024 15th ERF, Volume 2

Author

Secchi, Cristian. editor. (orcid)0000-0002-2098-0099 Marconi, Lorenzo. editor. (orcid)0000-0001-5519-5448 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

75.

European Robotics Forum 2024 15th ERF, Volume 1

Author

Secchi, Cristian. editor. (orcid)0000-0002-2098-0099 Marconi, Lorenzo. editor. (orcid)0000-0001-5519-5448 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

76.

Applied Home Hemodialysis A Clinical Guide

Author

Shah, Ankur. editor. Rastogi, Anjay. editor. Lerma, Edgar V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

77.

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove

Author

Morazán, Marco T. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

78.

Cover image for Applied Reconfigurable Computing. Architectures, Tools, and Applications 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings

Applied Reconfigurable Computing. Architectures, Tools, and Applications 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings

Author

Skliarova, Iouliia. editor. (orcid)0000-0002-6684-9416 Brox Jiménez, Piedad. editor. (orcid)0000-0003-1059-5338 Véstias, Mário. editor. Diniz, Pedro C. editor. (orcid)0000-0003-3131-9367 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

Veterinary Molecular Immunology

Author

Zheng, Shijun J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

80.

A Guide for Developing a Culture of Caring Through Nursing Peer Mentorship Programs Fostering Success and Resilience

Author

Kramer, Deborah. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

81.

Curriculum Design, Evaluation, and Teaching in Medical Education Recognizing Challenges and Opportunities

Author

Benbassat, Jochanan. author. (orcid)0000-0002-6217-5821 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

82.

Genital Gender Affirming Surgery An Illustrated Guide and Video Atlas

Author

Garcia, Maurice. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

83.

Enhanced Quality of Life and Smart Living 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings

Author

Mokhtari, Mounir. editor. Abdulrazak, Bessam. editor. Aloulou, Hamdi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66188-9

Format:

Availability

Online Library~1

Available:
Copies:

84.

Advanced Multicore Systems-On-Chip Architecture, On-Chip Network, Design

Author

Ben Abdallah, Abderazek. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-6092-2

Format:

Availability

Online Library~1

Available:
Copies:

85.

Practical Psychology in Medical Rehabilitation

Author

Budd, Maggi A. editor. Hough, Sigmund. editor. Wegener, Stephen T. editor. Stiers, William. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

86.

Common Problems in Acute Care Surgery

Author

Moore, Laura J. editor. Todd, S. Rob. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

87.

Cover image for Engineering and Technology Talent for Innovation and Knowledge-Based Economies Competencies, Leadership, and a Roadmap for Implementation

Engineering and Technology Talent for Innovation and Knowledge-Based Economies Competencies, Leadership, and a Roadmap for Implementation

Author

Abdulwahed, Mahmoud. author. Hasna, Mazen O. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

88.

Endocrinology of the Testis and Male Reproduction

Author

Simoni, Manuela. editor. Huhtaniemi, Ilpo T. editor. (orcid)0000-0001-9092-7886 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

89.

Eye Tracking Methodology Theory and Practice

Author

Duchowski, Andrew T. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

Cover image for Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Author

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

91.

Cover image for Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Author

Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

92.

Cover Crops for Sustainable Farming

Author

Justes, Eric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-94-024-0986-4

Format:

Availability

Online Library~1

Available:
Copies:

93.

The Journey to Enterprise Agility Systems Thinking and Organizational Legacy

Author

Kulak, Daryl. author. Li, Hong. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

94.

Nutrition and Health in a Developing World

Author

de Pee, Saskia. editor. Taren, Douglas. editor. Bloem, Martin W. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

95.

Concise Guide to Software Engineering From Fundamentals to Application Methods

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

96.

Shoulder Surgery Rehabilitation A Teamwork Approach

Author

Di Giacomo, Giovanni. editor. Bellachioma, Silvia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

97.

Methods for Measuring Greenhouse Gas Balances and Evaluating Mitigation Options in Smallholder Agriculture

Author

Rosenstock, Todd S. editor. Rufino, Mariana C. editor. Butterbach-Bahl, Klaus. editor. Wollenberg, Lini. editor. Richards, Meryl. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

98.

Programming with Python

Author

Padmanabhan, T R. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-3277-6

Format:

Availability

Online Library~1

Available:
Copies:

99.

Intelligent Computer Systems in Engineering Design Principles and Applications

Author

Sunnersjö, Staffan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

Cover image for Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Author

De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

101.

Broken Pumps and Promises Incentivizing Impact in Environmental Health

Author

Thomas, Evan A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

102.

Digital Photogrammetry A Practical Course

Author

Linder, Wilfried. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-50463-5

Format:

Availability

Online Library~1

Available:
Copies:

103.

Sustainable Development in the Jordan Valley Final Report of the Regional NGO Master Plan

Author

Kool, Jeroen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

104.

Conscious Coastal Cities Sustainability, Blue Green Growth, and The Politics of Imagination

Author

Mega, Voula P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

105.

Tecnomatix Plant Simulation Modeling and Programming by Means of Examples

Author

Bangsow, Steffen. author. (orcid)0009-0001-7553-9647 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

106.

Helicobacter pylori

Author

Suzuki, Hidekazu. editor. Warren, Robin. editor. Marshall, Barry. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-4-431-55705-0

Format:

Availability

Online Library~1

Available:
Copies:

107.

GPS Theory, Algorithms and Applications

Author

Xu, Guochang. author. Xu, Yan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-50367-6

Format:

Availability

Online Library~1

Available:
Copies:

108.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

109.

Fully Implicit, Coupled Procedures in Computational Fluid Dynamics An Engineer's Resource Book

Author

Mazhar, Zeka. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

110.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

111.

Cover image for Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Author

Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

112.

Cultural Territorial Systems Landscape and Cultural Heritage as a Key to Sustainable and Local Development in Eastern Europe

Author

Rotondo, Francesco. editor. Selicato, Francesco. editor. Marin, Vera. editor. Lopez Galdeano, Josefina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-20753-7

Format:

Availability

Online Library~1

Available:
Copies:

113.

Building Climate Resilience through Virtual Water and Nexus Thinking in the Southern African Development Community

Author

Entholzner, Anna. editor. Reeve, Charles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

114.

Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach

Author

Gumzej, Roman. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

115.

Beginning C++

Author

Horton, Ivor. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4842-0007-0

Format:

Availability

Online Library~1

Available:
Copies:

116.

Pro TypeScript Application-Scale JavaScript Development

Author

Fenton, Steve. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4302-6790-4

Format:

Availability

Online Library~1

Available:
Copies:

117.

Beginning Java 8 Fundamentals Language Syntax, Arrays, Data Types, Objects, and Regular Expressions

Author

Sharan, Kishori. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4302-6653-2

Format:

Availability

Online Library~1

Available:
Copies:

118.

Beginning iPhone Development with Swift Exploring the iOS SDK

Author

Topley, Kim. author. Olsson, Fredrik. author. Nutting, Jack. author. Mark, David. author. LaMarche, Jeff. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4842-0409-2

Format:

Availability

Online Library~1

Available:
Copies:

119.

Beginning iPhone Development Exploring the iOS SDK

Author

Nutting, Jack. author. Olsson, Fredrik. author. Mark, David. author. LaMarche, Jeff. author. Topley, Kim. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4842-0199-2

Format:

Availability

Online Library~1

Available:
Copies:

120.

Dart for Absolute Beginners

Author

Kopec, David. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

121.

Argus Developer in Practice Real Estate Development Modeling in the Real World

Author

Havard, Tim M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4302-6263-3

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}