Search Results for Interpolation.

1.

Interpolation functors and interpolation spaces

Author

Brudnyĭ, I͡U. A. Krugljak, N. Ya.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444880017

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Author

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520840.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Computer Vision - ACCV 2022 Workshops 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Revised Selected Papers

Computer Vision - ACCV 2022 Workshops 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Revised Selected Papers

Author

Zheng, Yinqiang. editor. Keleş, Hacer Yalim. editor. Koniusz, Piotr. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520893.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Author

Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521139.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Computer Analysis of Images and Patterns 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part II

Computer Analysis of Images and Patterns 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part II

Author

Tsapatsoulis, Nicolas. editor. Lanitis, Andreas. editor. Pattichis, Marios. editor. Pattichis, Constantinos. editor. Kyrkou, Christos. editor.

Preferred Shelf Number

XX(521159.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part V

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part V

Author

Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521164.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Discovery Science 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings

Author

Bifet, Albert. editor. Lorena, Ana Carolina. editor. Ribeiro, Rita P. editor. Gama, João. editor. Abreu, Pedro H. editor.

Preferred Shelf Number

XX(521228.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Computer Analysis of Images and Patterns 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part I

Author

Tsapatsoulis, Nicolas. editor. Lanitis, Andreas. editor. Pattichis, Marios. editor. Pattichis, Constantinos. editor. Kyrkou, Christos. editor.

Preferred Shelf Number

XX(521402.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Mathematical Optimization Theory and Operations Research: Recent Trends 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Revised Selected Papers

Mathematical Optimization Theory and Operations Research: Recent Trends 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Revised Selected Papers

Author

Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.

Preferred Shelf Number

XX(520629.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Author

Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520976.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Computational Science and Its Applications - ICCSA 2023 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part I

Computational Science and Its Applications - ICCSA 2023 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part I

Author

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Taniar, David. editor. Apduhan, Bernady O. editor. Braga, Ana Cristina. editor.

Preferred Shelf Number

XX(521016.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Author

Gianola, Alessandro. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520722.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Deep Learning Theory and Applications First International Conference, DeLTA 2020, Virtual Event, July 8-10, 2020, and Second International Conference, DeLTA 2021, Virtual Event, July 7-9, 2021, Revised Selected Papers

Deep Learning Theory and Applications First International Conference, DeLTA 2020, Virtual Event, July 8-10, 2020, and Second International Conference, DeLTA 2021, Virtual Event, July 7-9, 2021, Revised Selected Papers

Author

Fred, Ana. editor. Sansone, Carlo. editor. Madani, Kurosh. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520488.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Parallel Computing Technologies 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings

Author

Malyshkin, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521070.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings

Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings

Author

Boulier, François. editor. England, Matthew. editor. (orcid) Kotsireas, Ilias. editor. Sadykov, Timur M. editor. Vorozhtsov, Evgenii V. editor. (orcid)

Preferred Shelf Number

XX(521117.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.