Search Results for Interpolation. - Narrowed by: SpringerLink (Online service)
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInterpolation.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026ps$003d300?
2024-09-17T10:25:40Z
Interpolation Processes Basic Theory and Applications
ent://SD_ILS/0/SD_ILS:185450
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Mastroianni, Giuseppe. author. Milovanović, Gradimir V. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68349-0">http://dx.doi.org/10.1007/978-3-540-68349-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interpolation, Schur Functions and Moment Problems
ent://SD_ILS/0/SD_ILS:197951
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Alpay, Daniel. editor. Gohberg, Israel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-7643-7547-7">http://dx.doi.org/10.1007/3-7643-7547-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interpolation and Sidon Sets for Compact Groups
ent://SD_ILS/0/SD_ILS:331761
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Graham, Colin C. author. Hare, Kathryn E. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331761.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5392-5">http://dx.doi.org/10.1007/978-1-4614-5392-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interpolation, Schur Functions and Moment Problems II
ent://SD_ILS/0/SD_ILS:176795
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Alpay, Daniel. editor. Kirstein, Bernd. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0348-0428-8">http://dx.doi.org/10.1007/978-3-0348-0428-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Novel Diffusion-Based Models for Image Restoration and Interpolation
ent://SD_ILS/0/SD_ILS:487719
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Barbu, Tudor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93006-0">https://doi.org/10.1007/978-3-319-93006-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constrained Control of Uncertain, Time-Varying, Discrete-Time Systems An Interpolation-Based Approach
ent://SD_ILS/0/SD_ILS:487287
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Nguyen, Hoai-Nam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-02827-9">https://doi.org/10.1007/978-3-319-02827-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Mining Techniques in Sensor Networks Summarization, Interpolation and Surveillance
ent://SD_ILS/0/SD_ILS:489192
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Appice, Annalisa. author. (orcid)0000-0001-9840-844X Ciampi, Anna. author. Fumarola, Fabio. author. Malerba, Donato. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-5454-9">https://doi.org/10.1007/978-1-4471-5454-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Extremal Problems in Interpolation Theory, Whitney-Besicovitch Coverings, and Singular Integrals
ent://SD_ILS/0/SD_ILS:332615
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Kislyakov, Sergey. author. Kruglyak, Natan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332615.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0348-0469-1">http://dx.doi.org/10.1007/978-3-0348-0469-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trivariate Local Lagrange Interpolation and Macro Elements of Arbitrary Smoothness
ent://SD_ILS/0/SD_ILS:198918
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Matt, Michael A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2384-7">http://dx.doi.org/10.1007/978-3-8348-2384-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Iterative-Interpolation Super-Resolution Image Reconstruction A Computationally Efficient Technique
ent://SD_ILS/0/SD_ILS:189666
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Bannore, Vivek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00385-1">http://dx.doi.org/10.1007/978-3-642-00385-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Sobolev Spaces and Interpolation Spaces
ent://SD_ILS/0/SD_ILS:186293
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Tartar, Luc. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71483-5">http://dx.doi.org/10.1007/978-3-540-71483-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Smoothness and Shape Preserving Interpolation by Classical Operators
ent://SD_ILS/0/SD_ILS:168101
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Gal, Sorin G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137115">http://dx.doi.org/10.1007/b137115</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:520488
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Fred, Ana. editor. Sansone, Carlo. editor. Madani, Kurosh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520488.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37320-6">https://doi.org/10.1007/978-3-031-37320-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Optimization Theory and Operations Research: Recent Trends 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520629
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.<br/>Preferred Shelf Number XX(520629.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43257-6">https://doi.org/10.1007/978-3-031-43257-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520976
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520976.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-38499-8">https://doi.org/10.1007/978-3-031-38499-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computing Technologies 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521070
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521070.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-41673-6">https://doi.org/10.1007/978-3-031-41673-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521139
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521139.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43513-3">https://doi.org/10.1007/978-3-031-43513-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Analysis of Images and Patterns 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521159
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Tsapatsoulis, Nicolas. editor. Lanitis, Andreas. editor. Pattichis, Marios. editor. Pattichis, Constantinos. editor. Kyrkou, Christos. editor.<br/>Preferred Shelf Number XX(521159.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44240-7">https://doi.org/10.1007/978-3-031-44240-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521280
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Basili, Roberto. editor. Lembo, Domenico. editor. Limongelli, Carla. editor. Orlandini, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521280.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47546-7">https://doi.org/10.1007/978-3-031-47546-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification of Data-Aware Processes via Satisfiability Modulo Theories
ent://SD_ILS/0/SD_ILS:520722
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Gianola, Alessandro. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520722.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42746-6">https://doi.org/10.1007/978-3-031-42746-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:520840
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520840.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30820-8">https://doi.org/10.1007/978-3-031-30820-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision - ACCV 2022 Workshops 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520893
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Zheng, Yinqiang. editor. Keleş, Hacer Yalim. editor. Koniusz, Piotr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520893.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27066-6">https://doi.org/10.1007/978-3-031-27066-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2023 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521016
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Taniar, David. editor. Apduhan, Bernady O. editor. Braga, Ana Cristina. editor.<br/>Preferred Shelf Number XX(521016.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36805-9">https://doi.org/10.1007/978-3-031-36805-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521117
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Boulier, François. editor. England, Matthew. editor. (orcid) Kotsireas, Ilias. editor. Sadykov, Timur M. editor. Vorozhtsov, Evgenii V. editor. (orcid)<br/>Preferred Shelf Number XX(521117.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-41724-5">https://doi.org/10.1007/978-3-031-41724-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Based Representations in Pattern Recognition 13th IAPR-TC-15 International Workshop, GbRPR 2023, Vietri sul Mare, Italy, September 6-8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521119
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Vento, Mario. editor. Foggia, Pasquale. editor. Conte, Donatello. editor. Carletti, Vincenzo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521119.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42795-4">https://doi.org/10.1007/978-3-031-42795-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:521164
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521164.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44192-9">https://doi.org/10.1007/978-3-031-44192-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discovery Science 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521228
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Bifet, Albert. editor. Lorena, Ana Carolina. editor. Ribeiro, Rita P. editor. Gama, João. editor. Abreu, Pedro H. editor.<br/>Preferred Shelf Number XX(521228.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45275-8">https://doi.org/10.1007/978-3-031-45275-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part IX
ent://SD_ILS/0/SD_ILS:521242
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)<br/>Preferred Shelf Number XX(521242.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-6504-5">https://doi.org/10.1007/978-981-99-6504-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Analysis of Images and Patterns 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521402
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Tsapatsoulis, Nicolas. editor. Lanitis, Andreas. editor. Pattichis, Marios. editor. Pattichis, Constantinos. editor. Kyrkou, Christos. editor.<br/>Preferred Shelf Number XX(521402.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44237-7">https://doi.org/10.1007/978-3-031-44237-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Problems in Data Science Theoretical and Practical Methods
ent://SD_ILS/0/SD_ILS:518418
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Chen, Li M. author. Su, Zhixun. author. Jiang, Bo. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518418.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25127-1">https://doi.org/10.1007/978-3-319-25127-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Image Analysis 7th Iberian Conference, IbPRIA 2015, Santiago de Compostela, Spain, June 17-19, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519035
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Paredes, Roberto. editor. Cardoso, Jaime S. editor. Pardo, Xosé M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519035.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19390-8">https://doi.org/10.1007/978-3-319-19390-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Methods and Applications 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519037
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Dimov, Ivan. editor. Fidanova, Stefka. editor. Lirkov, Ivan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519037.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15585-2">https://doi.org/10.1007/978-3-319-15585-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Machine Intelligence 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519185
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Kryszkiewicz, Marzena. editor. Bandyopadhyay, Sanghamitra. editor. Rybinski, Henryk. editor. Pal, Sankar K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519185.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19941-2">https://doi.org/10.1007/978-3-319-19941-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:519222
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519222.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-47672-7">https://doi.org/10.1007/978-3-662-47672-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security and Cryptology - ICISC 2014 17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519232
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Lee, Jooyoung. editor. Kim, Jongsung. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519232.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15943-0">https://doi.org/10.1007/978-3-319-15943-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet of Things. User-Centric IoT First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:518665
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Giaffreda, Raffaele. editor. Vieriu, Radu-Laurentiu. editor. Pasher, Edna. editor. Bendersky, Gabriel. editor. Jara, Antonio J. editor.<br/>Preferred Shelf Number XX(518665.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19656-5">https://doi.org/10.1007/978-3-319-19656-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Centered Computing First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518792
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Zu, Qiaohong. editor. Hu, Bo. editor. Gu, Ning. editor. Seng, Sopheap. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518792.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15554-8">https://doi.org/10.1007/978-3-319-15554-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Curves and Surfaces 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518851
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Boissonnat, Jean-Daniel. editor. Cohen, Albert. editor. Gibaru, Olivier. editor. Gout, Christian. editor. Lyche, Tom. editor.<br/>Preferred Shelf Number XX(518851.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22804-4">https://doi.org/10.1007/978-3-319-22804-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:519007
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519007.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21690-4">https://doi.org/10.1007/978-3-319-21690-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519090
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519090.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46681-0">https://doi.org/10.1007/978-3-662-46681-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519140
2024-09-17T10:25:40Z
2024-09-17T10:25:40Z
Author Lanese, Ivan. editor. Madelaine, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519140.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15317-9">https://doi.org/10.1007/978-3-319-15317-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>