Search Results for Infinite. - Narrowed by: SpringerLink (Online service)
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInfinite.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026ps$003d300?
2024-11-06T07:05:42Z
Infinite Regress Arguments
ent://SD_ILS/0/SD_ILS:205050
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Gratton, Claude. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3341-3">http://dx.doi.org/10.1007/978-90-481-3341-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Infinite Dimensional Dynamical Systems
ent://SD_ILS/0/SD_ILS:331528
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Mallet-Paret, John. editor. Wu, Jianhong. editor. Yi, Yingfie. editor. Zhu, Huaiping. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331528.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4523-4">http://dx.doi.org/10.1007/978-1-4614-4523-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Geometry of Infinite-Dimensional Groups
ent://SD_ILS/0/SD_ILS:187824
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Khesin, Boris. author. Wendt, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77263-7">http://dx.doi.org/10.1007/978-3-540-77263-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Infinite-Dimensional Analysis
ent://SD_ILS/0/SD_ILS:181922
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Prato, Giuseppe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29021-4">http://dx.doi.org/10.1007/3-540-29021-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Representation and Control of Infinite Dimensional Systems
ent://SD_ILS/0/SD_ILS:168209
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Bensoussan, Alain. author. Prato, Giuseppe. author. Delfour, Michel C. author. Mitter, Sanjoy K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4581-6">http://dx.doi.org/10.1007/978-0-8176-4581-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Spectral Theory of Infinite-Area Hyperbolic Surfaces
ent://SD_ILS/0/SD_ILS:168243
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Borthwick, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4653-0">http://dx.doi.org/10.1007/978-0-8176-4653-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Infinite Dimensional Analysis A Hitchhiker’s Guide
ent://SD_ILS/0/SD_ILS:182083
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Aliprantis, Charalambos D. author. Border, Kim C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29587-9">http://dx.doi.org/10.1007/3-540-29587-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Infinite Dimensional Algebras and Quantum Integrable Systems
ent://SD_ILS/0/SD_ILS:197856
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Kulish, Petr P. editor. Manojlovich, Nenad. editor. Samtleben, Henning. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137651">http://dx.doi.org/10.1007/b137651</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Infinite Groups: Geometric, Combinatorial and Dynamical Aspects
ent://SD_ILS/0/SD_ILS:197927
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Bartholdi, Laurent. editor. Ceccherini-Silberstein, Tullio. editor. Smirnova-Nagnibeda, Tatiana. editor. Zuk, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-7643-7447-0">http://dx.doi.org/10.1007/3-7643-7447-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Muslims and the New Information and Communication Technologies Notes from an Emerging and Infinite Field
ent://SD_ILS/0/SD_ILS:336357
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Hoffmann, Thomas. editor. Larsson, Göran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336357.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-7247-2">http://dx.doi.org/10.1007/978-94-007-7247-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Attractors for infinite-dimensional non-autonomous dynamical systems
ent://SD_ILS/0/SD_ILS:331541
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Carvalho, Alexandre N. author. Langa, José A. author. Robinson, James C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331541.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4581-4">http://dx.doi.org/10.1007/978-1-4614-4581-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Linear Port-Hamiltonian Systems on Infinite-dimensional Spaces
ent://SD_ILS/0/SD_ILS:176787
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Jacob, Birgit. author. Zwart, Hans J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0348-0399-1">http://dx.doi.org/10.1007/978-3-0348-0399-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments and Trends in Infinite-Dimensional Lie Theory
ent://SD_ILS/0/SD_ILS:168276
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Neeb, Karl-Hermann. editor. Pianzola, Arturo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4741-4">http://dx.doi.org/10.1007/978-0-8176-4741-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Harmonic Functions and Potentials on Finite or Infinite Networks
ent://SD_ILS/0/SD_ILS:194687
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Anandam, Victor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21399-1">http://dx.doi.org/10.1007/978-3-642-21399-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Green's Functions and Infinite Products Bridging the Divide
ent://SD_ILS/0/SD_ILS:168368
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Melnikov, Yuri A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-8280-4">http://dx.doi.org/10.1007/978-0-8176-8280-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Local Bifurcations, Center Manifolds, and Normal Forms in Infinite-Dimensional Dynamical Systems
ent://SD_ILS/0/SD_ILS:168424
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Haragus, Mariana. author. Iooss, Gérard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-112-7">http://dx.doi.org/10.1007/978-0-85729-112-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stochastic Differential Equations in Infinite Dimensions with Applications to Stochastic Partial Differential Equations
ent://SD_ILS/0/SD_ILS:193216
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Gawarecki, Leszek. author. Mandrekar, Vidyadhar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16194-0">http://dx.doi.org/10.1007/978-3-642-16194-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
ent://SD_ILS/0/SD_ILS:191827
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Puppis, Gabriele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11881-4">http://dx.doi.org/10.1007/978-3-642-11881-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Homological Algebra of Semimodules and Semicontramodules Semi-infinite Homological Algebra of Associative Algebraic Structures
ent://SD_ILS/0/SD_ILS:176680
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Positselski, Leonid. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0346-0436-9">http://dx.doi.org/10.1007/978-3-0346-0436-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamic and Transient Infinite Elements Theory and Geophysical, Geotechnical and Geoenvironmental Applications
ent://SD_ILS/0/SD_ILS:189811
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Zhao, Chongbin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00846-7">http://dx.doi.org/10.1007/978-3-642-00846-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wave Propagation in Infinite Domains With Applications to Structure Interaction
ent://SD_ILS/0/SD_ILS:186181
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Lehmann, Lutz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-71109-0">http://dx.doi.org/10.1007/3-540-71109-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Becoming an Urban Physics and Math Teacher Infinite Potential
ent://SD_ILS/0/SD_ILS:152443
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Wassell, Beth A. Stith, Ian. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5922-3">http://dx.doi.org/10.1007/978-1-4020-5922-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Infinite Matrices and their Finite Sections An Introduction to the Limit Operator Method
ent://SD_ILS/0/SD_ILS:197994
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Lindner, Marko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-7767-0">http://dx.doi.org/10.1007/978-3-7643-7767-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interest Rate Models: an Infinite Dimensional Stochastic Analysis Perspective
ent://SD_ILS/0/SD_ILS:181184
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Carmona, René A. author. Tehranchi, Michael R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138563">http://dx.doi.org/10.1007/b138563</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Control and Observer Design for Nonlinear Finite and Infinite Dimensional Systems
ent://SD_ILS/0/SD_ILS:182749
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Meurer, Thomas. editor. Graichen, Knut. editor. Gilles, Ernst Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11529798">http://dx.doi.org/10.1007/11529798</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms for Constructing Computably Enumerable Sets
ent://SD_ILS/0/SD_ILS:520324
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Supowit, Kenneth J. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520324.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26904-2">https://doi.org/10.1007/978-3-031-26904-2</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 I
ent://SD_ILS/0/SD_ILS:520843
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520843.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30823-9">https://doi.org/10.1007/978-3-031-30823-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:520851
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520851.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30442-2">https://doi.org/10.1007/978-3-031-30442-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521000
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Bordihn, Henning. editor. Tran, Nicholas. editor. Vaszil, György. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521000.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34326-1">https://doi.org/10.1007/978-3-031-34326-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521118
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Manzoni, Luca. editor. Mariot, Luca. editor. Roy Chowdhury, Dipanwita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521118.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42250-8">https://doi.org/10.1007/978-3-031-42250-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521138
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. (orcid) Tadeusiewicz, Ryszard. editor.<br/>Preferred Shelf Number XX(521138.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42508-0">https://doi.org/10.1007/978-3-031-42508-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521142
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521142.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43835-6">https://doi.org/10.1007/978-3-031-43835-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521217
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Bournez, Olivier. editor. Formenti, Enrico. editor. (orcid) Potapov, Igor. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(521217.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45286-4">https://doi.org/10.1007/978-3-031-45286-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520955
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Frid, Anna. editor. Mercaş, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520955.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33180-0">https://doi.org/10.1007/978-3-031-33180-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reinforcement Learning for Sequential Decision and Optimal Control
ent://SD_ILS/0/SD_ILS:520398
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Li, Shengbo Eben. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520398.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-7784-8">https://doi.org/10.1007/978-981-19-7784-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:520404
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.<br/>Preferred Shelf Number XX(520404.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-1639-9">https://doi.org/10.1007/978-981-99-1639-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Digitalization for Sustainable Development 10th EAI International Conference, ICAST 2022, Bahir Dar, Ethiopia, November 4-6, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520759
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Woldegiorgis, Bereket H. editor. Mequanint, Kibret. editor. Bitew, Mekuanint A. editor. Beza, Teketay B. editor. Yibre, Abdulkerim M. editor.<br/>Preferred Shelf Number XX(520759.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28725-1">https://doi.org/10.1007/978-3-031-28725-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520867
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Drewes, Frank. editor. Volkov, Mikhail. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520867.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33264-7">https://doi.org/10.1007/978-3-031-33264-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-11-06T07:05:42Z
2024-11-06T07:05:42Z
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 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-11-06T07:05:42Z
2024-11-06T07:05:42Z
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/>
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-11-06T07:05:42Z
2024-11-06T07:05:42Z
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/>
Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519119
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Duval, Béatrice. editor. van den Herik, Jaap. editor. Loiseau, Stephane. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519119.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27947-3">https://doi.org/10.1007/978-3-319-27947-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:519031
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519031.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15705-4">https://doi.org/10.1007/978-3-319-15705-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
ent://SD_ILS/0/SD_ILS:519049
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519049.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21500-6">https://doi.org/10.1007/978-3-319-21500-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519060
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519060.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20028-6">https://doi.org/10.1007/978-3-319-20028-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519137
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519137.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48561-3">https://doi.org/10.1007/978-3-662-48561-3</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-11-06T07:05:42Z
2024-11-06T07:05:42Z
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/>
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:519225
2024-11-06T07:05:42Z
2024-11-06T07:05:42Z
Author Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519225.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-47666-6">https://doi.org/10.1007/978-3-662-47666-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>