Search Results for International theory - Narrowed by: EnglishSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInternational$002btheory$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026ic$003dtrue$0026ps$003d300?dt=list2024-12-19T02:03:30ZTheory of international politicsent://SD_ILS/0/SD_ILS:1330142024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Waltz, Kenneth Neal.<br/>Preferred Shelf Number JX1291 W37 2010<br/>Format: Books<br/>Availability Beytepe Library~2<br/>International relations theory todayent://SD_ILS/0/SD_ILS:912622024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Booth, Ken, 1943- Smith, Steve, 1952-<br/>Preferred Shelf Number JX 1391 I6383 1995<br/>Format: Books<br/>Availability Beytepe Library~1<br/>International relations theory todayent://SD_ILS/0/SD_ILS:3782982024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Booth, Ken, 1943- editor. Erskine, Toni, 1969-, editor.<br/>Preferred Shelf Number JX1391 I6383 2016<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Diplomatic theory of international relationsent://SD_ILS/0/SD_ILS:2712242024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Sharp, Paul.<br/>Preferred Shelf Number JZ1305 S49 2009<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Classical Theory in International Relationsent://SD_ILS/0/SD_ILS:2349162024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Jahn, Beate.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511491429">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>International relations theory : a critical introductionent://SD_ILS/0/SD_ILS:3124492024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Weber, Cynthia.<br/>Preferred Shelf Number JZ1305 W43 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>International migration and social theoryent://SD_ILS/0/SD_ILS:4229042024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor O'Reilly, Karen.<br/>Preferred Shelf Number JV6035 O73 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>International relations theory and regional transformationent://SD_ILS/0/SD_ILS:2792212024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Paul, T. V.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=438575">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=438575</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Metaphors in international relations theoryent://SD_ILS/0/SD_ILS:2786842024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Marks, Michael P. Palgrave Connect (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=405654">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=405654</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>International relations theory a critical introductionent://SD_ILS/0/SD_ILS:2650062024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Weber, Cynthia.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203874141">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Cultural Theory of International Relationsent://SD_ILS/0/SD_ILS:2350902024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Lebow, Richard Ned.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511575174">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Social theory of international politicsent://SD_ILS/0/SD_ILS:787042024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Wendt, Alexander, 1966-<br/>Preferred Shelf Number JZ 1251 W46 1999<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A history of international relations theoryent://SD_ILS/0/SD_ILS:916252024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Knutsen, Torbjorn L.<br/>Preferred Shelf Number JX 1391 K58 1997<br/>Format: Books<br/>Availability Beytepe Library~1<br/>International theory : positivism and beyondent://SD_ILS/0/SD_ILS:912642024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Smith, Steve, 1952- Booth, Ken, 1943- Zalewski, Marysia.<br/>Preferred Shelf Number JX 1391 I6394 1996<br/>Format: Books<br/>Availability Beytepe Library~1<br/>International economics : theory and policyent://SD_ILS/0/SD_ILS:1177112024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Krugman, Paul R. Obstfeld, Maurice.<br/>Preferred Shelf Number HF1359 .K78 1994<br/>Format: Books<br/>Availability Beytepe Library~1<br/>International relations theory : realism, pluralism, globalisment://SD_ILS/0/SD_ILS:1077012024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Viotti, Paul R. Kauppi, Mark V., ort. yaz.<br/>Preferred Shelf Number JX1391 .V57 1993<br/>Format: Books<br/>Availability Beytepe Library~1<br/>International banking in theory and practiceent://SD_ILS/0/SD_ILS:116252024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Park, Yoon S., 1935- Zwick, Jack, ort. yaz.<br/>Preferred Shelf Number HG 3881 P2954 1985<br/>Format: Books<br/>Availability Beytepe Library~1<br/>International financial management : theory and applicationent://SD_ILS/0/SD_ILS:428602024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Lessard, D. R. ed.<br/>Preferred Shelf Number HG 4028.I53 I57 1979<br/>Format: Books<br/>Availability Beytepe Library~1<br/>General equilibrium theory and international tradeent://SD_ILS/0/SD_ILS:81342024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Negishi, Takashi, 1933-<br/>Preferred Shelf Number HB 74.M3 N35 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Theory and the international systement://SD_ILS/0/SD_ILS:1078572024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor McClelland, Charles A.<br/>Preferred Shelf Number JX1291 .M27 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Re-thinking international relations theory via deconstructionent://SD_ILS/0/SD_ILS:2617442024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Arfi, Badredine.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203127360">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Readings in the theory of international tradeent://SD_ILS/0/SD_ILS:105382024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor American Economic Association<br/>Preferred Shelf Number HF 1007 A5 1949<br/>Format: Books<br/>Availability Beytepe Library~2<br/>International relations theory : the game theoretic approachent://SD_ILS/0/SD_ILS:3638472024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Kydd, Andrew H., 1963-<br/>Preferred Shelf Number JZ1305 K92 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to international relations theory and practiceent://SD_ILS/0/SD_ILS:2810822024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Kaufman, Joyce P.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=564222">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=564222</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>International relations theory and philosophy interpretive dialoguesent://SD_ILS/0/SD_ILS:2659352024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Moore, Cerwyn. Farrands, Chris.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203865903">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Criminal Profiling International Theory, Research, and Practiceent://SD_ILS/0/SD_ILS:1748532024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Kocsis, Richard N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-60327-146-2">http://dx.doi.org/10.1007/978-1-60327-146-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>International relations theory and the Asia-Pacificent://SD_ILS/0/SD_ILS:1342092024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Ikenberry, G. John. Mastanduno, Michael.<br/>Preferred Shelf Number DS518.1 I58 2003<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Ethics in international relations : a constitutive theoryent://SD_ILS/0/SD_ILS:1070742024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Frost, Mervyn.<br/>Preferred Shelf Number JX1255 .F76 1996<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Economic development : theory policy and international relationsent://SD_ILS/0/SD_ILS:100942024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Little, Ian Malcolm David.<br/>Preferred Shelf Number HD 82 L49 1982<br/>Format: Books<br/>Availability Beytepe Library~1<br/>International monetary relations : theory, history, and policyent://SD_ILS/0/SD_ILS:118482024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Yeager, Leland B.<br/>Preferred Shelf Number HG 3881 Y4<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Studies in the theory of international tradeent://SD_ILS/0/SD_ILS:105612024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Viner, Jacob, 1892-<br/>Preferred Shelf Number HF 1007 V55 1965<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Customary international law a new theory with practical applicationsent://SD_ILS/0/SD_ILS:2779632024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Lepard, Brian D.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=313285">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=313285</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Commerce, Complexity, and Evolution Topics in Economics, Finance, Marketing, and Management: Proceedings of the Twelfth International Symposium in Economic Theory and Econometricsent://SD_ILS/0/SD_ILS:2358032024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Barnett, William A.. Chiarella, Carl. Keen, Steve. Marks, Robert. Schnabl, Hermann.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511896682">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Routledge international handbook of contemporary social and political theoryent://SD_ILS/0/SD_ILS:2650682024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Delanty, Gerard. Turner, Stephen P., 1951-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203875575">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Thucydides' theory of international relations : a lasting possessionent://SD_ILS/0/SD_ILS:917142024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Thucydides, ed. Gustafson, Lowell S., ed.<br/>Preferred Shelf Number JZ 1305 T48 2000<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Theory of nuclear structure : Trieste lectures 1969 ; lectures presented at an International Course ... at Trieste from 7 Jan. to 31 Mar. 1969ent://SD_ILS/0/SD_ILS:436932024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor International Course on Nuclear Theory (1969 : Trieste).<br/>Preferred Shelf Number QC 173 I5471 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Applications and theory of Petri nets 29th international conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008 : proceedingsent://SD_ILS/0/SD_ILS:2979762024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (29th : 2008 : Xi'an Shi, China) Hee, Kees Max van, 1946- Valk, R. (Rüdiger) Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9780470611647">http://dx.doi.org/10.1002/9780470611647</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trends in the theory and practice of non-linear analysis proceedings of the VIth International Conference on Trends in the Theory and Practice of Non-Linear Analysis held at the University of Texas at Arlington, June 18-22, 1984ent://SD_ILS/0/SD_ILS:2568972024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor International Conference on Trends in the Theory and Practice of Non-linear Analysis (6th : 1984 : University of Texas at Arlington) Lakshmikantham, V., 1926-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444877048">http://www.sciencedirect.com/science/book/9780444877048</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial mathematics proceedings of the International Colloquium on Graph Theory and Combinatorics, Marseille-Luminy, June 1981ent://SD_ILS/0/SD_ILS:2570472024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor International Colloquium on Graph Theory and Combinatorics (2nd : 1981 : Université d'Aix-Marseille Luminy) Berge, Claude. Centre national de la recherche scientifique (France) Université d'Aix-Marseille Luminy.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444865120">http://www.sciencedirect.com/science/book/9780444865120</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dynamical systems and microphysics geometry and mechanics : the proceedings of the 2nd International Seminar on Mathematical Theory of Dynamical Systems and Microphysics held at the International Center for Mechanical Sciences at Udine, Italy, from September 1 to 11, 1981ent://SD_ILS/0/SD_ILS:2578582024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor International Seminar on Mathematical Theory of Dynamical Systems and Microphysics (2nd : 1981 : Udine, Italy) Avez, A. (André) Blaquière, Austin. Marzollo, Angelo.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120687206">http://www.sciencedirect.com/science/book/9780120687206</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Approximation theory and functional analysis proceedings of the International Symposium on Approximation Theory, Universidade Estadual de Campinas (UNICAMP) Brazil, August 1-5, 1977ent://SD_ILS/0/SD_ILS:2568122024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor International Symposium on Approximation Theory (1977 : Universidade Estadual de Campinas) Prolla, João B. Universidade Estadual de Campinas.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444852649">http://www.sciencedirect.com/science/book/9780444852649</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.ent://SD_ILS/0/SD_ILS:2572312024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem) Bar-Hillel, Yehoshua. Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. International Mathematical Union. Einstein Institute of Mathematics.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422559">http://www.sciencedirect.com/science/book/9780720422559</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Probability and information theory . Proceedings of the International Symposium at McMaster University, Canada, April 1968ent://SD_ILS/0/SD_ILS:354432024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor International Symposium on probability and Information Theory (1st : 1968 : Berlin) Behara, M., ed. Krickeberg, K., ed. Wolfowitz, J., ed.<br/>Preferred Shelf Number QA 273 I8 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Scattering theory and biomedical engineering modelling and applications : Proceedings of the 4th international workshopent://SD_ILS/0/SD_ILS:778642024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dassios, George, ed. International Workshop on Scattering Theory and Biomedical Engineering (4th : 1999 : Perdika, Greece)<br/>Preferred Shelf Number R 853.M3 S27 2000<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The United Nations conference on Trade and Development of 1964 : the theory of the peripheral economy at the centre of international political discussionsent://SD_ILS/0/SD_ILS:105952024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Friedeberg, Alfred Salomon, 1929-<br/>Preferred Shelf Number HF 1410 F7 1969<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Information Technologies and Mathematical Modelling. Queueing Theory and Applications 21st International Conference, ITMM 2022, Karshi, Uzbekistan, October 25-29, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5207672024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dudin, Alexander. editor. (orcid) Nazarov, Anatoly. editor. (orcid) Moiseev, Alexander. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520767.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-32990-6">https://doi.org/10.1007/978-3-031-32990-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209492024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520949.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33620-1">https://doi.org/10.1007/978-3-031-33620-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security 13th International Conference, GameSec 2022, Pittsburgh, PA, USA, October 26-28, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5208092024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Fang, Fei. editor. Xu, Haifeng. editor. Hayel, Yezekael. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520809.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26369-9">https://doi.org/10.1007/978-3-031-26369-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Vision, Imaging and Computer Graphics Theory and Applications 16th International Joint Conference, VISIGRAPP 2021, Virtual Event, February 8-10, 2021, Revised Selected Papersent://SD_ILS/0/SD_ILS:5202032024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor de Sousa, A. Augusto. editor. Havran, Vlastimil. editor. Paljic, Alexis. editor. Peck, Tabitha. editor. Hurter, Christophe. editor.<br/>Preferred Shelf Number XX(520203.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25477-2">https://doi.org/10.1007/978-3-031-25477-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Deep Learning Theory and Applications 4th International Conference, DeLTA 2023, Rome, Italy, July 13-14, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5204362024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Conte, Donatello. editor. Fred, Ana. editor. Gusikhin, Oleg. editor. Sansone, Carlo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520436.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39059-3">https://doi.org/10.1007/978-3-031-39059-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Deep Learning Theory and Applications Third International Conference, DeLTA 2022, Lisbon, Portugal, July 12-14, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5204872024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Fred, Ana. editor. Sansone, Carlo. editor. Gusikhin, Oleg. editor. Madani, Kurosh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520487.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37317-6">https://doi.org/10.1007/978-3-031-37317-6</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 Papersent://SD_ILS/0/SD_ILS:5204882024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor 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/>Geographical Information Systems Theory, Applications and Management 7th International Conference, GISTAM 2021, Virtual Event, April 23-25, 2021, and 8th International Conference, GISTAM 2022, Virtual Event, April 27-29, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5206472024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Grueau, Cédric. editor. Laurini, Robert. editor. Ragia, Lemonia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520647.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44112-7">https://doi.org/10.1007/978-3-031-44112-7</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 IIent://SD_ILS/0/SD_ILS:5208402024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor 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/>Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208412024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520841.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30826-0">https://doi.org/10.1007/978-3-031-30826-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208422024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520842.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30829-1">https://doi.org/10.1007/978-3-031-30829-1</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 Ient://SD_ILS/0/SD_ILS:5208432024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor 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/>Public-Key Cryptography - PKC 2023 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7-10, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5208522024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Boldyreva, Alexandra. editor. Kolesnikov, Vladimir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520852.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31368-4">https://doi.org/10.1007/978-3-031-31368-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography - PKC 2023 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7-10, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5208532024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Boldyreva, Alexandra. editor. Kolesnikov, Vladimir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520853.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31371-4">https://doi.org/10.1007/978-3-031-31371-4</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, Proceedingsent://SD_ILS/0/SD_ILS:5208672024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor 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/>Algorithmic Game Theory 16th International Symposium, SAGT 2023, Egham, UK, September 4-7, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209782024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Deligkas, Argyrios. editor. Filos-Ratsikas, Aris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520978.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43254-5">https://doi.org/10.1007/978-3-031-43254-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances and Trends in Artificial Intelligence. Theory and Applications 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5210942024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Fujita, Hamido. editor. (orcid) Wang, Yinglin. editor. Xiao, Yanghua. editor. Moonis, Ali. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521094.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36822-6">https://doi.org/10.1007/978-3-031-36822-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211952024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Fernau, Henning. editor. Jansen, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521195.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43587-4">https://doi.org/10.1007/978-3-031-43587-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Cryptography 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5213472024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Rothblum, Guy. editor. Wee, Hoeteck. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521347.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-48615-9">https://doi.org/10.1007/978-3-031-48615-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Cryptography 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5213482024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Rothblum, Guy. editor. Wee, Hoeteck. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521348.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-48618-0">https://doi.org/10.1007/978-3-031-48618-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Cryptography 21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:5213492024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Rothblum, Guy. editor. Wee, Hoeteck. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521349.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-48621-0">https://doi.org/10.1007/978-3-031-48621-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Cryptography 21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023, Proceedings, Part IVent://SD_ILS/0/SD_ILS:5213502024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Rothblum, Guy. editor. Wee, Hoeteck. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521350.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-48624-1">https://doi.org/10.1007/978-3-031-48624-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2023 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5213662024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Guo, Jian. editor. Steinfeld, Ron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521366.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8721-4">https://doi.org/10.1007/978-981-99-8721-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2023 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:5213672024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Guo, Jian. editor. Steinfeld, Ron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521367.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8727-6">https://doi.org/10.1007/978-981-99-8727-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2023 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part IVent://SD_ILS/0/SD_ILS:5213682024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Guo, Jian. editor. Steinfeld, Ron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521368.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8730-6">https://doi.org/10.1007/978-981-99-8730-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2023 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part Vent://SD_ILS/0/SD_ILS:5213692024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Guo, Jian. editor. Steinfeld, Ron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521369.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8733-7">https://doi.org/10.1007/978-981-99-8733-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2023 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part VIent://SD_ILS/0/SD_ILS:5213702024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Guo, Jian. editor. Steinfeld, Ron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521370.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8736-8">https://doi.org/10.1007/978-981-99-8736-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2023 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part VIIent://SD_ILS/0/SD_ILS:5213712024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Guo, Jian. editor. Steinfeld, Ron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521371.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8739-9">https://doi.org/10.1007/978-981-99-8739-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2023 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5213722024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Guo, Jian. editor. Steinfeld, Ron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521372.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8724-5">https://doi.org/10.1007/978-981-99-8724-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2023 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part VIIIent://SD_ILS/0/SD_ILS:5213732024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Guo, Jian. editor. Steinfeld, Ron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521373.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8742-9">https://doi.org/10.1007/978-981-99-8742-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security 14th International Conference, GameSec 2023, Avignon, France, October 18-20, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213782024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Fu, Jie. editor. Kroupa, Tomas. editor. Hayel, Yezekael. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(521378.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50670-3">https://doi.org/10.1007/978-3-031-50670-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances and Trends in Artificial Intelligence. Theory and Applications 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5214002024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Fujita, Hamido. editor. (orcid) Wang, Yinglin. editor. Xiao, Yanghua. editor. Moonis, Ali. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521400.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36819-6">https://doi.org/10.1007/978-3-031-36819-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Optimization Theory and Operations Research 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213982024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. (orcid) Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.<br/>Preferred Shelf Number XX(521398.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35305-5">https://doi.org/10.1007/978-3-031-35305-5</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 Papersent://SD_ILS/0/SD_ILS:5206292024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor 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/>Computer Vision, Imaging and Computer Graphics Theory and Applications 17th International Joint Conference, VISIGRAPP 2022, Virtual Event, February 6-8, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5207112024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor de Sousa, A. Augusto. editor. Debattista, Kurt. editor. Paljic, Alexis. editor. Ziat, Mounia. editor. Hurter, Christophe. editor.<br/>Preferred Shelf Number XX(520711.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45725-8">https://doi.org/10.1007/978-3-031-45725-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5209382024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Hazay, Carmit. editor. Stam, Martijn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520938.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30617-4">https://doi.org/10.1007/978-3-031-30617-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:5209392024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Hazay, Carmit. editor. Stam, Martijn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520939.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30620-4">https://doi.org/10.1007/978-3-031-30620-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part IVent://SD_ILS/0/SD_ILS:5209402024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Hazay, Carmit. editor. Stam, Martijn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520940.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30634-1">https://doi.org/10.1007/978-3-031-30634-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5209422024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Hazay, Carmit. editor. Stam, Martijn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520942.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30545-0">https://doi.org/10.1007/978-3-031-30545-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part Vent://SD_ILS/0/SD_ILS:5209432024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Hazay, Carmit. editor. Stam, Martijn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520943.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30589-4">https://doi.org/10.1007/978-3-031-30589-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2023: Theory and Practice of Computer Science 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15-18, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5207862024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Gąsieniec, Leszek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520786.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-23101-8">https://doi.org/10.1007/978-3-031-23101-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Linking Theory and Practice of Digital Libraries 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213102024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Alonso, Omar. editor. Cousijn, Helena. editor. Silvello, Gianmaria. editor. Marrero, Mónica. editor. Teixeira Lopes, Carla. editor.<br/>Preferred Shelf Number XX(521310.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43849-3">https://doi.org/10.1007/978-3-031-43849-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Routledge international handbook of contemporary social and political theoryent://SD_ILS/0/SD_ILS:5122072024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Delanty, Gerard, editor. Turner, Stephen P., 1951- editor.<br/>Preferred Shelf Number XX(512207.1)<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781003111399">https://www.taylorfrancis.com/books/9781003111399</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Decision Theory 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4828972024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Pekeč, Saša. editor. Venable, Kristen Brent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31489-7">https://doi.org/10.1007/978-3-030-31489-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4830522024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4830552024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Lin, Dongdai. editor. Sako, Kazue. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17259-6">https://doi.org/10.1007/978-3-030-17259-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Game Theory for Networks 8th International EAI Conference, GameNets 2019, Paris, France, April 25–26, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4834532024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Avrachenkov, Konstantin. editor. Huang, Longbo. editor. Marden, Jason R. editor. Coupechoux, Marceau. editor. Giovanidis, Anastasios. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16989-3">https://doi.org/10.1007/978-3-030-16989-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4846552024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24258-9">https://doi.org/10.1007/978-3-030-24258-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4860312024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Cryptography 17th International Conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4860602024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Hofheinz, Dennis. editor. Rosen, Alon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-36030-6">https://doi.org/10.1007/978-3-030-36030-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4869552024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Lin, Dongdai. editor. Sako, Kazue. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17253-4">https://doi.org/10.1007/978-3-030-17253-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4828642024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor van Bevern, René. editor. (orcid)0000-0002-4805-218X Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19955-5">https://doi.org/10.1007/978-3-030-19955-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Cryptography 17th International Conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4831282024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Hofheinz, Dennis. editor. Rosen, Alon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-36033-7">https://doi.org/10.1007/978-3-030-36033-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4831642024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17653-2">https://doi.org/10.1007/978-3-030-17653-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4835692024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377 Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34578-5">https://doi.org/10.1007/978-3-030-34578-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Finite Difference Methods. Theory and Applications 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4836852024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dimov, Ivan. editor. Faragó, István. editor. (orcid)0000-0002-4615-7615 Vulkov, Lubin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-11539-5">https://doi.org/10.1007/978-3-030-11539-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Libraries for Open Knowledge 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4847392024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Doucet, Antoine. editor. Isaac, Antoine. editor. Golub, Koraljka. editor. Aalberg, Trond. editor. (orcid)0000-0001-5593-0860 Jatowt, Adam. editor. (orcid)0000-0001-7235-0665<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30760-8">https://doi.org/10.1007/978-3-030-30760-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4849582024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34500-6">https://doi.org/10.1007/978-3-030-34500-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4853152024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Fotakis, Dimitris. editor. Markakis, Evangelos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30473-7">https://doi.org/10.1007/978-3-030-30473-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4854692024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Bykadorov, Igor. editor. (orcid)0000-0002-2740-3905 Strusevich, Vitaly. editor. (orcid)0000-0002-4602-8573 Tchemisova, Tatiana. editor. (orcid)0000-0002-2678-2552 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33394-2">https://doi.org/10.1007/978-3-030-33394-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4861832024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17656-3">https://doi.org/10.1007/978-3-030-17656-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability. Design Philosophy and Theory 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4861272024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23570-3">https://doi.org/10.1007/978-3-030-23570-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4861362024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Kochetov, Yury. editor. (orcid)0000-0001-7123-8647 Pardalos, Panos. editor. (orcid)0000-0003-2824-101X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22629-9">https://doi.org/10.1007/978-3-030-22629-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Extending the Boundaries of Design Science Theory and Practice 14th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2019, Worcester, MA, USA, June 4–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4862732024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Tulu, Bengisu. editor. (orcid)0000-0001-7226-1830 Djamasbi, Soussan. editor. (orcid)0000-0001-8638-8402 Leroy, Gondy. editor. (orcid)0000-0003-4751-6680 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19504-5">https://doi.org/10.1007/978-3-030-19504-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4864292024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Hofman, Piotrek. editor. Skrzypczak, Michał. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24886-4">https://doi.org/10.1007/978-3-030-24886-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4865072024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Gąsieniec, Leszek Antoni. editor. (orcid)0000-0003-1809-9814 Jansson, Jesper. editor. (orcid)0000-0001-6859-8932 Levcopoulos, Christos. editor. (orcid)0000-0003-0983-7862 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25027-0">https://doi.org/10.1007/978-3-030-25027-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Geographical Information Systems Theory, Applications and Management Third International Conference, GISTAM 2017, Porto, Portugal, April 27–28, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4868402024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Ragia, Lemonia. editor. Laurini, Robert. editor. Rocha, Jorge Gustavo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-06010-7">https://doi.org/10.1007/978-3-030-06010-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Vision, Imaging and Computer Graphics – Theory and Applications 12th International Joint Conference, VISIGRAPP 2017, Porto, Portugal, February 27 – March 1, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4868462024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Cláudio, Ana Paula. editor. Bechmann, Dominique. editor. Richard, Paul. editor. Yamaguchi, Takehiko. editor. Linsen, Lars. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12209-6">https://doi.org/10.1007/978-3-030-12209-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Vision, Imaging and Computer Graphics Theory and Applications 13th International Joint Conference, VISIGRAPP 2018 Funchal–Madeira, Portugal, January 27–29, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4868492024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Bechmann, Dominique. editor. Chessa, Manuela. editor. Cláudio, Ana Paula. editor. Imai, Francisco. editor. Kerren, Andreas. editor. (orcid)0000-0002-0519-2537<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26756-8">https://doi.org/10.1007/978-3-030-26756-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Queueing Theory and Network Applications 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4837562024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Kasahara, Shoji. editor. (orcid)0000-0001-9785-8350 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27181-7">https://doi.org/10.1007/978-3-030-27181-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4840332024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4841912024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Catania, Barbara. editor. (orcid)0000-0002-6443-169X Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Nawrocki, Jerzy. editor. Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-10801-4">https://doi.org/10.1007/978-3-030-10801-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security Theory and Practice 12th IFIP WG 11.2 International Conference, WISTP 2018, Brussels, Belgium, December 10–11, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4845182024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Blazy, Olivier. editor. (orcid)0000-0001-6205-8249 Yeun, Chan Yeob. editor. (orcid)0000-0002-1398-952X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20074-9">https://doi.org/10.1007/978-3-030-20074-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4845232024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Nielson, Flemming. editor. (orcid)0000-0001-7362-6176 Sands, David. editor. (orcid)0000-0001-6221-0503 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17138-4">https://doi.org/10.1007/978-3-030-17138-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4848662024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21571-2">https://doi.org/10.1007/978-3-030-21571-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4849592024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377 Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34618-8">https://doi.org/10.1007/978-3-030-34618-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4849602024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377 Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34621-8">https://doi.org/10.1007/978-3-030-34621-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances and Trends in Artificial Intelligence. From Theory to Practice 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4851292024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Wotawa, Franz. editor. Friedrich, Gerhard. editor. Pill, Ingo. editor. Koitz-Hristov, Roxane. editor. Ali, Moonis. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22999-3">https://doi.org/10.1007/978-3-030-22999-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4852852024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17659-4">https://doi.org/10.1007/978-3-030-17659-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4855592024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-13435-8">https://doi.org/10.1007/978-3-030-13435-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Arabic Language Processing: From Theory to Practice 7th International Conference, ICALP 2019, Nancy, France, October 16–17, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4861002024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Smaïli, Kamel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32959-4">https://doi.org/10.1007/978-3-030-32959-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4863042024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17462-0">https://doi.org/10.1007/978-3-030-17462-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Universal Access in Human-Computer Interaction. Theory, Methods and Tools 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4863272024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Antona, Margherita. editor. Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23560-4">https://doi.org/10.1007/978-3-030-23560-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Game Theory Third East Asia International Conference, EAGT 2019, Fuzhou, China, March 7–9, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4863592024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Li, Deng-Feng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-0657-4">https://doi.org/10.1007/978-981-15-0657-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Geographical Information Systems Theory, Applications and Management 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4866452024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Ragia, Lemonia. editor. Grueau, Cédric. editor. Laurini, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29948-4">https://doi.org/10.1007/978-3-030-29948-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Technologies and Mathematical Modelling. Queueing Theory and Applications 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26–30, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4866482024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Moiseev, Alexander. editor. (orcid)0000-0003-2369-452X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33388-1">https://doi.org/10.1007/978-3-030-33388-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security 10th International Conference, GameSec 2019, Stockholm, Sweden, October 30 – November 1, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4870692024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Alpcan, Tansu. editor. (orcid)0000-0002-7434-3239 Vorobeychik, Yevgeniy. editor. (orcid)0000-0003-2471-5345 Baras, John S. editor. (orcid)0000-0002-4955-8561 Dán, György. editor. (orcid)0000-0002-4876-0223 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32430-8">https://doi.org/10.1007/978-3-030-32430-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3989332024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Takahashi, Yutaka. editor. Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 Yue, Wuyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93736-6">https://doi.org/10.1007/978-3-319-93736-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3990862024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03329-3">https://doi.org/10.1007/978-3-030-03329-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security 9th International Conference, GameSec 2018, Seattle, WA, USA, October 29–31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3991142024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Bushnell, Linda. editor. (orcid)0000-0002-8751-2409 Poovendran, Radha. editor. (orcid)0000-0003-0269-8097 Başar, Tamer. editor. (orcid)0000-0003-4406-7875 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01554-1">https://doi.org/10.1007/978-3-030-01554-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the 7th International Conference on Emerging Databases Technologies, Applications, and Theoryent://SD_ILS/0/SD_ILS:3995882024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Lee, Wookey. editor. Choi, Wonik. editor. Jung, Sungwon. editor. Song, Min. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6520-0">https://doi.org/10.1007/978-981-10-6520-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3995992024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91473-2">https://doi.org/10.1007/978-3-319-91473-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:3995452024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03332-3">https://doi.org/10.1007/978-3-030-03332-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Natural Computing 7th International Conference, TPNC 2018, Dublin, Ireland, December 12–14, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3998942024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Fagan, David. editor. (orcid)0000-0002-5982-8983 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 O'Neill, Michael. editor. (orcid)0000-0001-8734-417X Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04070-3">https://doi.org/10.1007/978-3-030-04070-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3999232024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03326-2">https://doi.org/10.1007/978-3-030-03326-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4006402024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Bauer, Lujo. editor. Küsters, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89722-6">https://doi.org/10.1007/978-3-319-89722-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4011952024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Fomin, Fedor V. editor. Podolskii, Vladimir V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90530-3">https://doi.org/10.1007/978-3-319-90530-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4012742024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91268-4">https://doi.org/10.1007/978-3-319-91268-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Formal Argumentation 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4014462024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Black, Elizabeth. editor. (orcid)0000-0002-4295-449X Modgil, Sanjay. editor. Oren, Nir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75553-3">https://doi.org/10.1007/978-3-319-75553-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4014592024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77313-1">https://doi.org/10.1007/978-3-319-77313-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4017142024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994862024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Hoshi, Mizuho. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98654-8">https://doi.org/10.1007/978-3-319-98654-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3998042024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Deng, Xiaotie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99660-8">https://doi.org/10.1007/978-3-319-99660-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Libraries for Open Knowledge 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10–13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4000812024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Méndez, Eva. editor. (orcid)0000-0002-5337-4722 Crestani, Fabio. editor. (orcid)0000-0001-8672-0700 Ribeiro, Cristina. editor. (orcid)0000-0001-6150-0090 David, Gabriel. editor. (orcid)0000-0001-5974-9989 Lopes, João Correia. editor. (orcid)0000-0002-9040-0889<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00066-0">https://doi.org/10.1007/978-3-030-00066-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Technologies and Mathematical Modelling. Queueing Theory and Applications 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papersent://SD_ILS/0/SD_ILS:4001142024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Moiseev, Alexander. editor. (orcid)0000-0003-2369-452X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97595-5">https://doi.org/10.1007/978-3-319-97595-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Belief Functions: Theory and Applications 5th International Conference, BELIEF 2018, Compiègne, France, September 17-21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4003252024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Destercke, Sébastien. editor. (orcid)0000-0003-2026-468X Denoeux, Thierry. editor. Cuzzolin, Fabio. editor. Martin, Arnaud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99383-6">https://doi.org/10.1007/978-3-319-99383-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Cryptography 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4003342024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Beimel, Amos. editor. Dziembowski, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03810-6">https://doi.org/10.1007/978-3-030-03810-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4004632024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91476-3">https://doi.org/10.1007/978-3-319-91476-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part IIent://SD_ILS/0/SD_ILS:4006262024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78375-8">https://doi.org/10.1007/978-3-319-78375-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part Ient://SD_ILS/0/SD_ILS:4006272024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78381-9">https://doi.org/10.1007/978-3-319-78381-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4007112024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73117-9">https://doi.org/10.1007/978-3-319-73117-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4001292024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89363-1">https://doi.org/10.1007/978-3-319-89363-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Cryptography 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4005662024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Beimel, Amos. editor. Dziembowski, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03807-6">https://doi.org/10.1007/978-3-030-03807-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Ient://SD_ILS/0/SD_ILS:4006052024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedingsent://SD_ILS/0/SD_ILS:4006072024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Arabic Language Processing: From Theory to Practice 6th International Conference, ICALP 2017, Fez, Morocco, October 11–12, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4004602024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Lachkar, Abdelmonaime. editor. Bouzoubaa, Karim. editor. Mazroui, Azzedine. editor. Hamdani, Abdelfettah. editor. Lekhouaja, Abdelhak. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73500-9">https://doi.org/10.1007/978-3-319-73500-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4006252024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78372-7">https://doi.org/10.1007/978-3-319-78372-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 IIent://SD_ILS/0/SD_ILS:4006412024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:4011052024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74727-9">https://doi.org/10.1007/978-3-319-74727-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4014262024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Abdalla, Michel. editor. (orcid)0000-0002-2447-4329 Dahab, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76578-5">https://doi.org/10.1007/978-3-319-76578-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4018232024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Abdalla, Michel. editor. (orcid)0000-0002-2447-4329 Dahab, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76581-5">https://doi.org/10.1007/978-3-319-76581-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4019912024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93317-7">https://doi.org/10.1007/978-3-319-93317-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security Theory and Practice 11th IFIP WG 11.2 International Conference, WISTP 2017, Heraklion, Crete, Greece, September 28–29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:4022152024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Hancke, Gerhard P. editor. Damiani, Ernesto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93524-9">https://doi.org/10.1007/978-3-319-93524-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability: Theory and Practice 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4026712024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91797-9">https://doi.org/10.1007/978-3-319-91797-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:4019582024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74718-7">https://doi.org/10.1007/978-3-319-74718-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The international encyclopedia of communication theory and philosophyent://SD_ILS/0/SD_ILS:3904392024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Jensen, Klaus Bruhn. Craig, Robert T.<br/>Preferred Shelf Number REF P91 I575 2016 V.1<br/>Format: Books<br/>Availability Beytepe Library~4<br/>International perspectives on crowdfunding : positive, normative and critical theoryent://SD_ILS/0/SD_ILS:4218282024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Méric, Jérôme, editor. Maque, Isabelle, editor. Brabet, Julienne, editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://www.emerald.com/insight/publication/doi/10.1108/9781785603143">https://www.emerald.com/insight/publication/doi/10.1108/9781785603143</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Vision, Imaging and Computer Graphics - Theory and Applications International Joint Conference, VISIGRAPP 2014, Lisbon, Portugal, January 5-8, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:5186452024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Battiato, Sebastiano. editor. Coquillart, Sabine. editor. Pettré, Julien. editor. Laramee, Robert S. editor. Kerren, Andreas. editor.<br/>Preferred Shelf Number XX(518645.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25117-2">https://doi.org/10.1007/978-3-319-25117-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Technologies and Mathematical Modelling - Queueing Theory and Applications 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5187032024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dudin, Alexander. editor. Nazarov, Anatoly. editor. (orcid) Yakupov, Rafael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518703.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25861-4">https://doi.org/10.1007/978-3-319-25861-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence in Theory and Practice IV 4th IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2015, Held as Part of WCC 2015, Daejeon, South Korea, October 4-7, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5187122024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dillon, Tharam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518712.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25261-2">https://doi.org/10.1007/978-3-319-25261-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5187972024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518797.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20297-6">https://doi.org/10.1007/978-3-319-20297-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology -- ASIACRYPT 2015 21st International Conference on the Theory and Application of Cryptology and Information Security,Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5188412024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Iwata, Tetsu. editor. Cheon, Jung Hee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518841.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48797-6">https://doi.org/10.1007/978-3-662-48797-6</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:5190492024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor 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/>Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5190592024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Franke, Björn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519059.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46663-6">https://doi.org/10.1007/978-3-662-46663-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Natural Computing Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5190622024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dediu, Adrian-Horia. editor. Magdalena, Luis. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519062.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-26841-5">https://doi.org/10.1007/978-3-319-26841-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191612024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(519161.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5190842024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Heule, Marijn. editor. Weaver, Sean. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519084.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24318-4">https://doi.org/10.1007/978-3-319-24318-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191942024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Devillers, Raymond. editor. Valmari, Antti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519194.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19488-2">https://doi.org/10.1007/978-3-319-19488-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Security and Trust 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5192272024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Focardi, Riccardo. editor. Myers, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519227.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46666-7">https://doi.org/10.1007/978-3-662-46666-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Learning Theory 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5192282024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Chaudhuri, Kamalika. editor. GENTILE, CLAUDIO. editor. Zilles, Sandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519228.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24486-0">https://doi.org/10.1007/978-3-319-24486-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Formal Argumentation Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:5192712024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Black, Elizabeth. editor. Modgil, Sanjay. editor. Oren, Nir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519271.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28460-6">https://doi.org/10.1007/978-3-319-28460-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Spatial Information Theory 12th International Conference, COSIT 2015, Santa Fe, NM, USA, October 12-16, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5193382024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Fabrikant, Sara Irina. editor. Raubal, Martin. editor. Bertolotto, Michela. editor. Davies, Clare. editor. Freundschuh, Scott. editor.<br/>Preferred Shelf Number XX(519338.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23374-1">https://doi.org/10.1007/978-3-319-23374-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Research and Advanced Technology for Digital Libraries 19th International Conference on Theory and Practice of Digital Libraries, TPDL 2015, Poznań, Poland, September 14-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189012024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Kapidakis, Sarantos. editor. Mazurek, Cezary. editor. Werla, Marcin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518901.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24592-8">https://doi.org/10.1007/978-3-319-24592-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189102024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.<br/>Preferred Shelf Number XX(518910.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46078-8">https://doi.org/10.1007/978-3-662-46078-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189122024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Kosowski, Adrian. editor. Walukiewicz, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518912.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22177-9">https://doi.org/10.1007/978-3-319-22177-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5189132024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518913.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46803-6">https://doi.org/10.1007/978-3-662-46803-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:5189172024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518917.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20239-6">https://doi.org/10.1007/978-3-319-20239-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2015 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:5189232024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518923.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27340-2">https://doi.org/10.1007/978-3-319-27340-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5189652024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518965.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46800-5">https://doi.org/10.1007/978-3-662-46800-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2015 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5189662024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Iwata, Tetsu. editor. Cheon, Jung Hee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518966.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48800-3">https://doi.org/10.1007/978-3-662-48800-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Game Theory 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5189742024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Hoefer, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518974.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48433-3">https://doi.org/10.1007/978-3-662-48433-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Cryptography 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5189822024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dodis, Yevgeniy. editor. Nielsen, Jesper Buus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518982.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46494-6">https://doi.org/10.1007/978-3-662-46494-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5190062024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Kolovos, Dimitris. editor. Wimmer, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519006.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21155-8">https://doi.org/10.1007/978-3-319-21155-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5190142024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dediu, Adrian-Horia. editor. Formenti, Enrico. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519014.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15579-1">https://doi.org/10.1007/978-3-319-15579-1</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, Proceedingsent://SD_ILS/0/SD_ILS:5190902024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor 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/>Information Security Theory and Practice 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5193252024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Akram, Raja Naeem. editor. Jajodia, Sushil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519325.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24018-3">https://doi.org/10.1007/978-3-319-24018-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191332024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Walsh, Toby. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519133.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23114-3">https://doi.org/10.1007/978-3-319-23114-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography -- PKC 2015 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191342024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Katz, Jonathan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519134.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46447-2">https://doi.org/10.1007/978-3-662-46447-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191362024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519136.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46675-9">https://doi.org/10.1007/978-3-662-46675-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5190172024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Khouzani, Arman (MHR). editor. Panaousis, Emmanouil. editor. Theodorakopoulos, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519017.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25594-1">https://doi.org/10.1007/978-3-319-25594-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Cryptography 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5190272024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dodis, Yevgeniy. editor. Nielsen, Jesper Buus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519027.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46497-7">https://doi.org/10.1007/978-3-662-46497-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4831002024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Vision, Imaging and Computer Graphics: Theory and Applications International Joint Conference, VISIGRAPP 2013, Barcelona, Spain, February 21-24, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4859812024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Battiato, Sebastiano. editor. (orcid)0000-0001-6127-2470 Coquillart, Sabine. editor. Laramee, Robert S. editor. Kerren, Andreas. editor. (orcid)0000-0002-0519-2537 Braz, José. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44911-0">https://doi.org/10.1007/978-3-662-44911-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2014: Theory and Practice of Computer Science 40th International Conference on Current Trends in Theory and Practice of Computer Science,Nový Smokovec, Slovakia, January 26-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4875932024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Geffert, Viliam. editor. Preneel, Bart. editor. Rovan, Branislav. editor. Štuller, Július. editor. Tjoa, A Min. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04298-5">https://doi.org/10.1007/978-3-319-04298-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advancing the Impact of Design Science: Moving from Theory to Practice 9th International Conference, DESRIST 2014, Miami, FL, USA, May 22-24, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4877732024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Tremblay, Monica Chiarini. editor. VanderMeer, Debra. editor. Rothenberger, Marcus. editor. Gupta, Ashish. editor. Yoon, Victoria. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06701-8">https://doi.org/10.1007/978-3-319-06701-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889142024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Cohen, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54807-9">https://doi.org/10.1007/978-3-642-54807-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890952024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Shur, Arseny M. editor. Volkov, Mikhail V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09698-8">https://doi.org/10.1007/978-3-319-09698-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Computing Theory 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4891022024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09333-8">https://doi.org/10.1007/978-3-319-09333-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Belief Functions: Theory and Applications Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4891142024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Cuzzolin, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11191-9">https://doi.org/10.1007/978-3-319-11191-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889492024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Muscholl, Anca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54830-7">https://doi.org/10.1007/978-3-642-54830-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.ent://SD_ILS/0/SD_ILS:4891532024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Baldan, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44584-6">https://doi.org/10.1007/978-3-662-44584-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security Theory and Practice. Securing the Internet of Things 8th IFIP WG 11.2 International Workshop, WISTP 2014, Heraklion, Crete, Greece, June 30 - July 2, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4895412024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Naccache, David. editor. Sauveron, Damien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43826-8">https://doi.org/10.1007/978-3-662-43826-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA) 2013ent://SD_ILS/0/SD_ILS:4828422024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Satapathy, Suresh Chandra. editor. Udgata, Siba K. editor. Biswal, Bhabendra Narayan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-02931-3">https://doi.org/10.1007/978-3-319-02931-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4854722024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04921-2">https://doi.org/10.1007/978-3-319-04921-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856032024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08789-4">https://doi.org/10.1007/978-3-319-08789-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Learning Theory and Practice 7th International Conference, ICHL 2014, Shanghai, China, August 8-10, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4856122024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Cheung, Simon K.S. editor. Fong, Joseph. editor. Zhang, Jiping. editor. Kwan, Reggie. editor. Kwok, Lam For. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08961-4">https://doi.org/10.1007/978-3-319-08961-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856222024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09284-3">https://doi.org/10.1007/978-3-319-09284-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856432024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Bikakis, Antonis. editor. Fodor, Paul. editor. Roman, Dumitru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09870-8">https://doi.org/10.1007/978-3-319-09870-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2014 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark, May 11-15, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889852024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Nguyen, Phong Q. editor. Oswald, Elisabeth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55220-5">https://doi.org/10.1007/978-3-642-55220-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Learning Theory 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889932024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Auer, Peter. editor. Clark, Alexander. editor. Zeugmann, Thomas. editor. Zilles, Sandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11662-4">https://doi.org/10.1007/978-3-319-11662-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Game Theory 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 -- October 2, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889952024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Lavi, Ron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44803-8">https://doi.org/10.1007/978-3-662-44803-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890132024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54804-8">https://doi.org/10.1007/978-3-642-54804-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4890162024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45611-8">https://doi.org/10.1007/978-3-662-45611-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security 5th International Conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890332024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Poovendran, Radha. editor. (orcid)0000-0003-0269-8097 Saad, Walid. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12601-2">https://doi.org/10.1007/978-3-319-12601-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Cryptography 11th International Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889752024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Lindell, Yehuda. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54242-8">https://doi.org/10.1007/978-3-642-54242-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4855252024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06686-8">https://doi.org/10.1007/978-3-319-06686-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4894712024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Abadi, Martín. editor. Kremer, Steve. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54792-8">https://doi.org/10.1007/978-3-642-54792-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Public International Law Theory of Hans Kelsen Believing in Universal Lawent://SD_ILS/0/SD_ILS:2352212024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor von Bernstorff, Jochen.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511776953">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4874842024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07734-5">https://doi.org/10.1007/978-3-319-07734-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4875192024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dediu, Adrian-Horia. editor. Lozano, Manuel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13749-0">https://doi.org/10.1007/978-3-319-13749-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part IIent://SD_ILS/0/SD_ILS:4889562024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45608-8">https://doi.org/10.1007/978-3-662-45608-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography -- PKC 2014 17th International Conference on Practice and Theory in Public-Key Cryptography, Buenos Aires, Argentina, March 26-28, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889612024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Krawczyk, Hugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54631-0">https://doi.org/10.1007/978-3-642-54631-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Formal Argumentation Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4894912024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Black, Elizabeth. editor. Modgil, Sanjay. editor. Oren, Nir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54373-9">https://doi.org/10.1007/978-3-642-54373-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Militarism and international relations : political economy, security and theoryent://SD_ILS/0/SD_ILS:2693422024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Stavrianakis, Anna. Selby, Jan, 1972-<br/>Preferred Shelf Number JZ1251 M56 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Disequilibrium, polarization, and crisis model an international relations theory explaining conflictent://SD_ILS/0/SD_ILS:2813922024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dierauer, Isabelle.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578748">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578748</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329472024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332947.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02786-9">http://dx.doi.org/10.1007/978-3-319-02786-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Aspects of Computational Intelligence: Theory and Applications Revised and Selected Papers of the 15th IEEE International Conference on Intelligent Engineering Systems 2011, INES 2011ent://SD_ILS/0/SD_ILS:3333472024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Madarász, Ladislav. editor. Živčák, Jozef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333347.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30668-6">http://dx.doi.org/10.1007/978-3-642-30668-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA)ent://SD_ILS/0/SD_ILS:3339622024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Satapathy, Suresh Chandra. editor. Udgata, Siba K. editor. Biswal, Bhabendra Narayan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35314-7">http://dx.doi.org/10.1007/978-3-642-35314-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Public-Key Cryptography – PKC 2013 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26 – March 1, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3341842024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Kurosawa, Kaoru. editor. Hanaoka, Goichiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334184.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36362-7">http://dx.doi.org/10.1007/978-3-642-36362-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Security and Trust Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343052024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Basin, David. editor. Mitchell, John C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334305.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36830-1">http://dx.doi.org/10.1007/978-3-642-36830-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343532024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334353.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37051-9">http://dx.doi.org/10.1007/978-3-642-37051-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343542024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334354.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37057-1">http://dx.doi.org/10.1007/978-3-642-37057-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343552024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334355.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37064-9">http://dx.doi.org/10.1007/978-3-642-37064-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346662024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334666.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38771-5">http://dx.doi.org/10.1007/978-3-642-38771-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of 20th International Conference on Industrial Engineering and Engineering Management Theory and Apply of Industrial Engineeringent://SD_ILS/0/SD_ILS:3348852024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Qi, Ershi. editor. Shen, Jiang. editor. Dou, Runliang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334885.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40063-6">http://dx.doi.org/10.1007/978-3-642-40063-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of 20th International Conference on Industrial Engineering and Engineering Management Theory and Apply of Industrial Managementent://SD_ILS/0/SD_ILS:3348872024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Qi, Ershi. editor. Shen, Jiang. editor. Dou, Runliang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334887.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40072-8">http://dx.doi.org/10.1007/978-3-642-40072-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349012024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334901.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40164-0">http://dx.doi.org/10.1007/978-3-642-40164-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349052024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor D’Argenio, Pedro R. editor. Melgratti, Hernán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334905.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40184-8">http://dx.doi.org/10.1007/978-3-642-40184-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Research and Advanced Technology for Digital Libraries International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349562024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Aalberg, Trond. editor. Papatheodorou, Christos. editor. Dobreva, Milena. editor. Tsakonas, Giannis. editor. Farrugia, Charles J. editor.<br/>Preferred Shelf Number ONLINE(334956.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40501-3">http://dx.doi.org/10.1007/978-3-642-40501-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350302024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335030.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40935-6">http://dx.doi.org/10.1007/978-3-642-40935-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Game Theory 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3351012024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Vöcking, Berthold. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335101.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41392-6">http://dx.doi.org/10.1007/978-3-642-41392-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351242024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335124.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41575-3">http://dx.doi.org/10.1007/978-3-642-41575-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3351572024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335157.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-42033-7">http://dx.doi.org/10.1007/978-3-642-42033-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3351602024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335160.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-42045-0">http://dx.doi.org/10.1007/978-3-642-42045-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351782024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335178.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45008-2">http://dx.doi.org/10.1007/978-3-642-45008-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:3352192024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335219.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-53856-8">http://dx.doi.org/10.1007/978-3-642-53856-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:3352202024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335220.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-53862-9">http://dx.doi.org/10.1007/978-3-642-53862-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Lie Theory and Its Applications in Physics IX International Workshopent://SD_ILS/0/SD_ILS:3354062024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dobrev, Vladimir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335406.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-54270-4">http://dx.doi.org/10.1007/978-4-431-54270-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bringing sociology to international relations : world politics as differentiation theoryent://SD_ILS/0/SD_ILS:3640042024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Albert, Mathias.<br/>Preferred Shelf Number JZ1251 B75 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Spatial Information Theory 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3328902024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Tenbrink, Thora. editor. Stell, John. editor. Galton, Antony. editor. Wood, Zena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332890.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01790-7">http://dx.doi.org/10.1007/978-3-319-01790-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Militarism and international relations political economy, security, theoryent://SD_ILS/0/SD_ILS:2586922024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Stavrianakis, Anna. Selby, Jan, 1972-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203101476">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Numerical methods for hyperbolic equations theory and applications : an international conference to honour Professor E.F. Toroent://SD_ILS/0/SD_ILS:2892502024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor International Conference on Numerical Methods for Hyperbolic Equations (2011 : Santiago de Compostela, Spain) Vz̀quez-Cendn̤, Elena. Hidalgo, Arturo. Garca̕-Navarro, Pilar. Cea, Luis.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203562338">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cosmopolitanism in Context Perspectives from International Law and Political Theoryent://SD_ILS/0/SD_ILS:2352272024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Pierik, Roland. Werner, Wouter.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511761263">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Optimization Theory, Decision Making, and Operations Research Applications Proceedings of the 1st International Symposium and 10th Balkan Conference on Operational Researchent://SD_ILS/0/SD_ILS:3316872024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Migdalas, Athanasios. editor. Sifaleras, Angelo. editor. Georgiadis, Christos K. editor. Papathanasiou, Jason. editor. Stiakakis, Emmanuil. editor.<br/>Preferred Shelf Number ONLINE(331687.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5134-1">http://dx.doi.org/10.1007/978-1-4614-5134-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2011, Vilamoura, Portugal, March 5-7, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:3335592024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Csurka, Gabriela. editor. Kraus, Martin. editor. Mestetskiy, Leonid. editor. Richard, Paul. editor. Braz, José. editor.<br/>Preferred Shelf Number ONLINE(333559.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32350-8">http://dx.doi.org/10.1007/978-3-642-32350-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3340642024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.<br/>Preferred Shelf Number ONLINE(334064.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35843-2">http://dx.doi.org/10.1007/978-3-642-35843-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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. Proceedingsent://SD_ILS/0/SD_ILS:3342782024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334278.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3342822024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334282.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36757-1">http://dx.doi.org/10.1007/978-3-642-36757-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343582024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334358.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345642024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334564.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38236-9">http://dx.doi.org/10.1007/978-3-642-38236-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Vision, Imaging and Computer Graphics. Theory and Application 7th International Joint Conference, VISIGRAPP 2012, Rome, Italy, February 24-26, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3345652024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Csurka, Gabriela. editor. Kraus, Martin. editor. Laramee, Robert S. editor. Richard, Paul. editor. Braz, José. editor.<br/>Preferred Shelf Number ONLINE(334565.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38241-3">http://dx.doi.org/10.1007/978-3-642-38241-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345872024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Johansson, Thomas. editor. Nguyen, Phong Q. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334587.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38348-9">http://dx.doi.org/10.1007/978-3-642-38348-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346162024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Cavallaro, Lorenzo. editor. Gollmann, Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334616.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38530-8">http://dx.doi.org/10.1007/978-3-642-38530-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346172024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334617.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38536-0">http://dx.doi.org/10.1007/978-3-642-38536-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346512024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334651.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38697-8">http://dx.doi.org/10.1007/978-3-642-38697-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346912024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334691.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38883-5">http://dx.doi.org/10.1007/978-3-642-38883-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347242024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334724.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Aggregation Functions in Theory and in Practise Proceedings of the 7th International Summer School on Aggregation Operators at the Public University of Navarra, Pamplona, Spain, July 16-20, 2013ent://SD_ILS/0/SD_ILS:3347402024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Bustince, Humberto. editor. Fernandez, Javier. editor. Mesiar, Radko. editor. Calvo, Tomasa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334740.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39165-1">http://dx.doi.org/10.1007/978-3-642-39165-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348222024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.<br/>Preferred Shelf Number ONLINE(334822.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39617-5">http://dx.doi.org/10.1007/978-3-642-39617-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>French post-war social theory : international knowledge transferent://SD_ILS/0/SD_ILS:3683462024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Robbins, Derek, author.<br/>Preferred Shelf Number ONLINE(368346.1)<br/>Electronic Access SAGE knowledge <a href="http://sk.sagepub.com/books/french-post-war-social-theory">http://sk.sagepub.com/books/french-post-war-social-theory</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Cold War and After : History, Theory, and the Logic of International Politics.ent://SD_ILS/0/SD_ILS:3761682024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Trachtenberg, Marc.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7rk9r">http://www.jstor.org/stable/10.2307/j.ctt7rk9r</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:1962292024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27549-4">http://dx.doi.org/10.1007/978-3-642-27549-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1964182024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28332-1">http://dx.doi.org/10.1007/978-3-642-28332-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Security and Trust First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedingsent://SD_ILS/0/SD_ILS:1964972024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Degano, Pierpaolo. editor. Guttman, Joshua D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28641-4">http://dx.doi.org/10.1007/978-3-642-28641-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965012024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor O’Boyle, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28652-0">http://dx.doi.org/10.1007/978-3-642-28652-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Cryptology – EUROCRYPT 2012 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965882024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Pointcheval, David. editor. Johansson, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29011-4">http://dx.doi.org/10.1007/978-3-642-29011-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1967852024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29863-9">http://dx.doi.org/10.1007/978-3-642-29863-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Learning Theory 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1974732024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Bshouty, Nader H. editor. Stoltz, Gilles. editor. Vayatis, Nicolas. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34106-9">http://dx.doi.org/10.1007/978-3-642-34106-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision and Game Theory for Security Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975002024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Grossklags, Jens. editor. Walrand, Jean. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34266-0">http://dx.doi.org/10.1007/978-3-642-34266-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Core social work international theory, values and practiceent://SD_ILS/0/SD_ILS:2790752024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Blok, Willem, 1950-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433198">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433198</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The great powers and the international system systemic theory in empirical perspectiveent://SD_ILS/0/SD_ILS:2800112024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Braumoeller, Bear F.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=473244">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=473244</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rethinking criminal law theory new Canadian perspectives in the philosophy of domestic, transnational, and international criminal lawent://SD_ILS/0/SD_ILS:2808972024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Tanguay-Renaud, François, 1979- Stribopoulos, James.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=563355">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=563355</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Kant and international relations theory cosmopolitan community-buildingent://SD_ILS/0/SD_ILS:2588502024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Ion, Dora, 1974-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203122754">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The interaction between World Trade Organisation (WTO) law and external international law the constrained openness of WTO law (a prologue to a theory)ent://SD_ILS/0/SD_ILS:2601332024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Yearwood, Ronnie R. F.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203807675">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>International development and global politics history, theory and practiceent://SD_ILS/0/SD_ILS:2601692024-12-19T02:03:30Z2024-12-19T02:03:30ZAuthor Williams, David, 1969-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203804414">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>