Search Results for Mathematics of Computing.

1.

Cover image for Computer and Communication Engineering 4th International Conference, CCCE 2024, Oslo, Norway, May 24-26, 2024, Revised Selected Papers

Computer and Communication Engineering 4th International Conference, CCCE 2024, Oslo, Norway, May 24-26, 2024, Revised Selected Papers

Author

Neri, Filippo. editor. (orcid)0000-0002-2529-2287 Du, Ke-Lin. editor. (orcid)0000-0002-9136-3952 San-Blas, Angel-Antonio. editor. (orcid)0000-0002-4341-8277 Jiang, Zhiyu. editor. (orcid)0000-0002-6360-8262 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Author

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

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

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:

4.

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:

5.

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

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

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

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

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

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

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:

9.

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:

10.

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:

11.

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Author

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings

Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings

Author

Amparore, Elvio. editor. (orcid)0000-0003-1147-8985 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

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

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

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:

15.

Cover image for Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part I

Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part I

Author

Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Diaz-Nafria, Jose Maria. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part III

Author

Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Diaz-Nafria, Jose Maria. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Author

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Author

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part II

Author

Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Diaz-Nafria, Jose Maria. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Author

Kristensen, Lars Michael. editor. van der Werf, Jan Martijn. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

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:

22.

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:

23.

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:

24.

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:

25.

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:

26.

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:

27.

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:

28.

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Author

Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Computational Thinking First Algorithms, Then Code

Author

Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers

Author

Jordan, Vladimir. editor. Tarasov, Ilya. editor. Shurina, Ella. editor. Filimonov, Nikolay. editor. Faerman, Vladimir A. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Infrared Small Target Detection Theory, Methods, and Algorithms.

Author

Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-9799-2

Format:

Availability

Online Library~1

Available:
Copies:

33.

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:

34.

Cover image for Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

Author

Moral, Serafín. editor. Pivert, Olivier. editor. Sánchez, Daniel. editor. Marín, Nicolás. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

Author

Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Cover image for High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

Author

Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2016

Author

Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-3950-8

Format:

Availability

Online Library~1

Available:
Copies:

39.

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Guide to Scientific Computing in C++

Author

Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings

Author

Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers

High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers

Author

Kozubek, Tomáš. editor. Blaheta, Radim. editor. Šístek, Jakub. editor. Rozložník, Miroslav. editor. Čermák, Martin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Author

Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015

Author

Yang, Gi-Chul. editor. Ao, Sio-Iong. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-0551-0

Format:

Availability

Online Library~1

Available:
Copies:

45.

Transactions on Computational Science XXVII

Author

Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-50412-3

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Author

Creignou, Nadia. editor. Le Berre, Daniel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

Author

Herdt, Vladimir. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-12680-3

Format:

Availability

Online Library~1

Available:
Copies:

49.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Author

Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334985.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Computers, Software Engineering, and Digital Devices

Author

Dorf, Richard C., author. Taylor and Francis.

Preferred Shelf Number

TK7885

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}