Search Results for Case studies

1.

Dual Tableaux: Foundations, Methodology, Case Studies

Author

Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0005-5

Format:

Availability

Online Library~1

Available:
Copies:

2.

Geospatial Infrastructure, Applications and Technologies: India Case Studies

Author

Sarda, N.L. editor. Acharya, P.S. editor. Sen, S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2330-0

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

Author

Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for On the Move to Meaningful Internet Systems: OTM 2013 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings

On the Move to Meaningful Internet Systems: OTM 2013 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings

Author

Demey, Yan Tang. editor. Panetto, Hervé. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335045.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

Author

Reisig, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333688.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Cross-Cultural Design. Methods, Practice, and Case Studies 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Cross-Cultural Design. Methods, Practice, and Case Studies 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Author

Rau, P. L. Patrick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334737.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for On the Move to Meaningful Internet Systems: OTM 2012 Workshops Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings

On the Move to Meaningful Internet Systems: OTM 2012 Workshops Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings

Author

Herrero, Pilar. editor. Panetto, Hervé. editor. Meersman, Robert. editor. Dillon, Tharam. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Introduction to Programming Concepts with Case Studies in Python

Author

Üçoluk, Göktürk. author. Kalkan, Sinan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7091-1343-1

Format:

Availability

Online Library~1

Available:
Copies:

10.

Self-* and P2P for Network Management Design Principles and Case Studies

Author

Marquezan, Clarissa Cassales. author. Granville, Lisandro Zambenedetti. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4201-0

Format:

Availability

Online Library~1

Available:
Copies:

11.

Musical Performance A Comprehensive Approach: Theory, Analytical Tools, and Case Studies

Author

Mazzola, Guerino. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Application and Multidisciplinary Aspects of Wireless Sensor Networks Concepts, Integration, and Case Studies

Author

Gavrilovska, Liljana. editor. Krco, Srdjan. editor. Milutinovic, Veljko. editor. Stojmenovic, Ivan. editor. Trobec, Roman. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84996-510-1

Format:

Availability

Online Library~1

Available:
Copies:

13.

Introduction to the Graphical Theory of Angular Momentum Case Studies

Author

Balcar, Ewald. author. Lovesey, Stephen W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Machine Learning Techniques for Multimedia Case Studies on Organization and Retrieval

Author

Cord, Matthieu. editor. Cunningham, Pádraig. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-75171-7

Format:

Availability

Online Library~1

Available:
Copies:

15.

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Author

Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Artificial Intelligence and Machine Learning Techniques in Engineering and Management

Author

Srinivasa Raju, Komaragiri. author. (orcid)0009-0006-9268-8229 Nagesh Kumar, Dasika. author. (orcid)0000-0002-5294-8501 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

A Concise Introduction to Software Engineering With Open Source and GenAI

Author

Jalote, Pankaj. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023

Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023

Author

Platz, Roland. editor. (orcid)0000-0001-5800-5742 Flynn, Garrison. editor. Neal, Kyle. editor. (orcid)0000-0001-7880-1498 Ouellette, Scott. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Intelligent Computing in Carcinogenic Disease Detection

Author

Das Sharma, Kaushik. author. Kar, Subhajit. author. Maitra, Madhubanti. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications

Author

Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Computability and Complexity Foundations and Tools for Pursuing Scientific Applications

Author

Downey, Rod. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Author

Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Digital Twins for Vessel Life Cycle Service Innovation in Maritime Industry

Author

Zhang, Houxiang. author. (orcid)0000-0003-0122-0964 Li, Guoyuan. author. (orcid)0000-0001-7553-0899 Hildre, Hans Petter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools

Author

Mahmood, Zaigham. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Author

Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Enterprise Architecture at Work Modelling, Communication and Analysis

Author

Lankhorst, Marc. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-53933-0

Format:

Availability

Online Library~1

Available:
Copies:

27.

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings

Author

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X Papadopoulos, Yiannis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Self-Aware Computing Systems

Author

Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Author

Ábrahám, Erika. editor. Huisman, Marieke. editor. (orcid)0000-0003-4467-072X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Distributed Simulation A Model Driven Engineering Approach

Author

Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Domain-Specific Conceptual Modeling Concepts, Methods and Tools

Author

Karagiannis, Dimitris. editor. Mayr, Heinrich C. editor. Mylopoulos, John. editor. (orcid)0000-0002-8698-3292 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.