Search Results for Systems analysis.

1.

Stochastic Reachability Analysis of Hybrid Systems

Author

Bujorianu, Luminita Manuela. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-2795-6

Format:

Availability

Online Library~1

Available:
Copies:

2.

Multimedia Multiprocessor Systems Analysis, Design and Management

Author

Kumar, Akash. author. Corporaal, Henk. author. Mesman, Bart. author. Ha, Yajun. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0083-3

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part I

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part I

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part III

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part II

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

Author

Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part I

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part I

Author

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part II

Author

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part III

Author

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Author

Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00151-3

Format:

Availability

Online Library~1

Available:
Copies:

12.

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Author

Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Author

Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Author

Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Author

Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Author

Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Author

Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Author

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 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

Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334278.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

Author

Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.

Preferred Shelf Number

ONLINE(334682.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

Author

Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334913.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Author

Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings

Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings

Author

Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

Author

Fahrenberg, Uli. editor. Tripakis, Stavros. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Author

Herde, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9949-1

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Author

Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings

Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings

Author

Chaki, Nabendu. editor. Cortesi, Agostino. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Periodic Review Inventory Systems Performance Analysis and Optimization of Inventory Systems within Supply Chains

Author

Wensing, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

Author

Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics

Author

Platzer, André. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Author

Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Scheduling in Distributed Computing Systems Analysis, Design and Models

Author

Vidyarthi, Deo Prakash. author. Sarker, Biplab Kumer. author. Tripathi, Anil Kumar. author. Yang, Laurence Tianruo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-74483-4

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

Author

Rettberg, Achim. editor. Zanella, Mauro C. editor. Amann, Michael. editor. Keckeisen, Michael. editor. Rammig, Franz J. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Author

Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

Author

Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6782-2

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Author

Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

Author

Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-85778-5

Format:

Availability

Online Library~1

Available:
Copies:

40.

The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems

Author

Pezzulo, Giovanni. editor. Butz, Martin V. editor. Castelfranchi, Cristiano. editor. Falcone, Rino. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-87702-8

Format:

Availability

Online Library~1

Available:
Copies:

41.

Analysis and Design of Information Systems Third Edition

Author

Langer, Arthur M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-655-1

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

Author

Raskin, Jean-François. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-75454-1

Format:

Availability

Online Library~1

Available:
Copies:

43.

Max-Plus Linear Stochastic Systems and Perturbation Analysis

Author

Heidergott, Bernd. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-38995-0

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Author

Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-71209-1

Format:

Availability

Online Library~1

Available:
Copies:

45.

Document Analysis Systems VII 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006. Proceedings

Author

Bunke, Horst. editor. Spitz, A. Lawrence. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11669487

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Author

Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11691372

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

Author

Asarin, Eugene. editor. Bouyer, Patricia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11867340

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

Author

Pettersson, Paul. editor. Yi, Wang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11603009

Format:

Availability

Online Library~1

Available:
Copies:

49.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107194

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

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-031-75380-0

Format:

Availability

Online Library~1

Available:
Copies:

51.

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

Author

C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I

Author

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II

Author

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Research in Computer Science 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, Bejaïa, Algeria, November 24-26, 2024, Proceedings

Research in Computer Science 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, Bejaïa, Algeria, November 24-26, 2024, Proceedings

Author

Aissani, Djamil. editor. Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Roche, Mathieu. editor. (orcid)0000-0003-3272-8568 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 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

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 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

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, 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-031-75107-3

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

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-031-75390-9

Format:

Availability

Online Library~1

Available:
Copies:

61.

Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Author

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

62.

Applied Antifragility in Natural Systems From Principles to Applications

Author

Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

63.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, 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-031-73709-1

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

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-031-75387-9

Format:

Availability

Online Library~1

Available:
Copies:

68.

Principle of Petri Nets

Author

Yuan, Chongyi. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-7336-7

Format:

Availability

Online Library~1

Available:
Copies:

69.

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

Author

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

70.

Advanced Mathematical Science for Mobility Society

Author

Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Kawamura, Yoshiumi. editor. Makino, Kazuhisa. editor. Tsujimoto, Satoshi. editor. (orcid)0000-0002-6726-7514 Yamashita, Nobuo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

71.

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Author

Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

72.

Cover image for Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings

Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings

Author

Ren, Jinchang. editor. Hussain, Amir. editor. (orcid)0000-0002-8080-082X Liao, Iman Yi. editor. Chen, Rongjun. editor. Huang, Kaizhu. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

73.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

74.

Foundations for Functional Modeling of Technical Artefacts

Author

Lind, Morten. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

75.

Cover image for Intelligent Information and Database Systems 16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part I

Intelligent Information and Database Systems 16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part I

Author

Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. (orcid)0000-0001-7305-6492

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

76.

Intelligent Information and Database Systems 16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part II

Author

Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. (orcid)0000-0001-7305-6492

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-4985-0

Format:

Availability

Online Library~1

Available:
Copies:

77.

Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

Author

Watt, Stephen M. editor. (orcid)0000-0001-8303-4983 Ida, Tetsuo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

78.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

80.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

81.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

82.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

83.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

84.

Advanced Spiking Neural P Systems Models and Applications

Author

Peng, Hong. author. (orcid)0000-0002-4736-0164 Wang, Jun. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-5280-5

Format:

Availability

Online Library~1

Available:
Copies:

85.

Cover image for Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

Author

Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

86.

Cover image for Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

Author

Petrucci, Laure. editor. (orcid)0000-0003-3154-5268 Seceleanu, Cristina. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

87.

Cover image for Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

Author

Cazenave, Tristan. editor. Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

88.

DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings

Author

Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

89.

Cover image for Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part II

Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part II

Author

Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092 Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Author

Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

91.

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Author

Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

92.

Cover image for Statistical Language and Speech Processing 5th International Conference, SLSP 2017, Le Mans, France, October 23-25, 2017, Proceedings

Statistical Language and Speech Processing 5th International Conference, SLSP 2017, Le Mans, France, October 23-25, 2017, Proceedings

Author

Camelin, Nathalie. editor. Estève, Yannick. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

93.

String Analysis for Software Verification and Security

Author

Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

94.

Cover image for Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

Author

Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lanet, Jean-Louis. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

95.

Cover image for Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

Author

James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

96.

Cover image for Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Author

Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

97.

Computational Intelligence for Network Structure Analytics

Author

Gong, Maoguo. author. Cai, Qing. author. Ma, Lijia. author. Wang, Shanfeng. author. Lei, Yu. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-4558-5

Format:

Availability

Online Library~1

Available:
Copies:

98.

Cover image for Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Author

Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

99.

Cover image for Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Author

Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

Cover image for Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

Author

D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

101.

Foundations of Intelligent Systems 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings

Author

Kryszkiewicz, Marzena. editor. Appice, Annalisa. editor. Ślęzak, Dominik. editor. Rybinski, Henryk. editor. Skowron, Andrzej. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

102.

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

Author

Draheim, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

103.

Cover image for Evolutionary Computation in Combinatorial Optimization 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

Evolutionary Computation in Combinatorial Optimization 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

Author

Hu, Bin. editor. López-Ibáñez, Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

104.

Cover image for Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings

Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings

Author

Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

105.

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

Author

Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

106.

Software Engineering: Specification, Implementation, Verification

Author

Alagić, Suad. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

107.

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

Author

Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

108.

Cover image for Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I

Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I

Author

Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

109.

DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

Author

Rondelez, Yannick. editor. Woods, Damien. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

110.

Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Author

Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

111.

Hybrid Artificial Intelligent Systems 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings

Author

Martínez-Álvarez, Francisco. editor. (orcid)0000-0002-6309-1785 Troncoso, Alicia. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

112.

Cover image for Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers

Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers

Author

Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

113.

Smart Collaborative Identifier Network A Promising Design for Future Internet

Author

Zhang, Hongke. author. Su, Wei. author. Quan, Wei. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

114.

Cover image for Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

Author

Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

115.

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Author

Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

116.

Cover image for Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Author

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

117.

Cover image for Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Author

Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

118.

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:

119.

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

Author

Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

120.

Cover image for Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Author

Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

121.

Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II

Author

Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

122.

Cover image for Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Author

Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

123.

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:

124.

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

Author

Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

125.

Cover image for Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Author

Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

126.

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

Author

Mauw, Sjouke. editor. Kordy, Barbara. editor. Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

127.

Cover image for Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Author

Thiemann, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-49498-1

Format:

Availability

Online Library~1

Available:
Copies:

128.

Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

Author

Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

129.

Cover image for Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

Author

Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

130.

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

Author

Cinquemani, Eugenio. editor. Donzé, Alexandre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

131.

Cover image for Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Author

Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

132.

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Author

Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

133.

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

Author

Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

134.

Parallel Problem Solving from Nature - PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings

Author

Handl, Julia. editor. Hart, Emma. editor. Lewis, Peter R. editor. López-Ibáñez, Manuel. editor. Ochoa, Gabriela. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

135.

Cover image for Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings

Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings

Author

Král, Pavel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

136.

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:

137.