Search Results for International theory

Theory of international politics

2024-12-18T23:11:49Z

Author Waltz, Kenneth Neal.
Preferred Shelf Number JX1291 W37 2010
Format: Books
Availability Beytepe Library~2

International relations theory today

2024-12-18T23:11:49Z

Author Booth, Ken, 1943- Smith, Steve, 1952-
Preferred Shelf Number JX 1391 I6383 1995
Format: Books
Availability Beytepe Library~1

International relations theory today

2024-12-18T23:11:49Z

Author Booth, Ken, 1943- editor. Erskine, Toni, 1969-, editor.
Preferred Shelf Number JX1391 I6383 2016
Format: Books
Availability Beytepe Library~1

Diplomatic theory of international relations

2024-12-18T23:11:49Z

Author Sharp, Paul.
Preferred Shelf Number JZ1305 S49 2009
Format: Books
Availability Beytepe Library~1

Classical Theory in International Relations

2024-12-18T23:11:49Z

Author Jahn, Beate.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Uluslararası ilişkiler teorisi = International relations theory

2024-12-18T23:11:49Z

Author Viotti, Paul R. Kappi, Mark V. Aksoy, Metin.
Preferred Shelf Number JX1391 V58 2016
Format: Books
Availability Beytepe Library~2

International relations theory : a critical introduction

2024-12-18T23:11:49Z

Author Weber, Cynthia.
Preferred Shelf Number JZ1305 W43 2014
Format: Books
Availability Beytepe Library~1

International migration and social theory

2024-12-18T23:11:49Z

Author O'Reilly, Karen.
Preferred Shelf Number JV6035 O73 2012
Format: Books
Availability Beytepe Library~1

International relations theory and regional transformation

2024-12-18T23:11:49Z

Author Paul, T. V.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=438575
Format: Electronic Resources
Availability Online Library~1

Metaphors in international relations theory

2024-12-18T23:11:49Z

Author Marks, Michael P. Palgrave Connect (Online service)
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=405654
Format: Electronic Resources
Availability Online Library~1

International relations theory a critical introduction

2024-12-18T23:11:49Z

Author Weber, Cynthia.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

A Cultural Theory of International Relations

2024-12-18T23:11:49Z

Author Lebow, Richard Ned.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Social theory of international politics

2024-12-18T23:11:49Z

Author Wendt, Alexander, 1966-
Preferred Shelf Number JZ 1251 W46 1999
Format: Books
Availability Beytepe Library~1

A history of international relations theory

2024-12-18T23:11:49Z

Author Knutsen, Torbjorn L.
Preferred Shelf Number JX 1391 K58 1997
Format: Books
Availability Beytepe Library~1

International theory : positivism and beyond

2024-12-18T23:11:49Z

Author Smith, Steve, 1952- Booth, Ken, 1943- Zalewski, Marysia.
Preferred Shelf Number JX 1391 I6394 1996
Format: Books
Availability Beytepe Library~1

International economics : theory and policy

2024-12-18T23:11:49Z

Author Krugman, Paul R. Obstfeld, Maurice.
Preferred Shelf Number HF1359 .K78 1994
Format: Books
Availability Beytepe Library~1

International relations theory : realism, pluralism, globalism

2024-12-18T23:11:49Z

Author Viotti, Paul R. Kauppi, Mark V., ort. yaz.
Preferred Shelf Number JX1391 .V57 1993
Format: Books
Availability Beytepe Library~1

International banking in theory and practice

2024-12-18T23:11:49Z

Author Park, Yoon S., 1935- Zwick, Jack, ort. yaz.
Preferred Shelf Number HG 3881 P2954 1985
Format: Books
Availability Beytepe Library~1

International financial management : theory and application

2024-12-18T23:11:49Z

Author Lessard, D. R. ed.
Preferred Shelf Number HG 4028.I53 I57 1979
Format: Books
Availability Beytepe Library~1

General equilibrium theory and international trade

2024-12-18T23:11:49Z

Author Negishi, Takashi, 1933-
Preferred Shelf Number HB 74.M3 N35 1972
Format: Books
Availability Beytepe Library~1

Theory and the international system

2024-12-18T23:11:49Z

Author McClelland, Charles A.
Preferred Shelf Number JX1291 .M27 1966
Format: Books
Availability Beytepe Library~1

Re-thinking international relations theory via deconstruction

2024-12-18T23:11:49Z

Author Arfi, Badredine.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Readings in the theory of international trade

2024-12-18T23:11:49Z

Author American Economic Association
Preferred Shelf Number HF 1007 A5 1949
Format: Books
Availability Beytepe Library~2

International relations theory : the game theoretic approach

2024-12-18T23:11:49Z

Author Kydd, Andrew H., 1963-
Preferred Shelf Number JZ1305 K92 2015
Format: Books
Availability Beytepe Library~1

Introduction to international relations theory and practice

2024-12-18T23:11:49Z

Author Kaufman, Joyce P.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=564222
Format: Electronic Resources
Availability Online Library~1

International relations theory and philosophy interpretive dialogues

2024-12-18T23:11:49Z

Author Moore, Cerwyn. Farrands, Chris.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Criminal Profiling International Theory, Research, and Practice

2024-12-18T23:11:49Z

Author Kocsis, Richard N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-60327-146-2
Format: Electronic Resources
Availability Online Library~1

International relations theory and the Asia-Pacific

2024-12-18T23:11:49Z

Author Ikenberry, G. John. Mastanduno, Michael.
Preferred Shelf Number DS518.1 I58 2003
Format: Books
Availability Beytepe Library~1

Ethics in international relations : a constitutive theory

2024-12-18T23:11:49Z

Author Frost, Mervyn.
Preferred Shelf Number JX1255 .F76 1996
Format: Books
Availability Beytepe Library~1

Economic development : theory policy and international relations

2024-12-18T23:11:49Z

Author Little, Ian Malcolm David.
Preferred Shelf Number HD 82 L49 1982
Format: Books
Availability Beytepe Library~1

International monetary relations : theory, history, and policy

2024-12-18T23:11:49Z

Author Yeager, Leland B.
Preferred Shelf Number HG 3881 Y4
Format: Books
Availability Beytepe Library~2

Studies in the theory of international trade

2024-12-18T23:11:49Z

Author Viner, Jacob, 1892-
Preferred Shelf Number HF 1007 V55 1965
Format: Books
Availability Beytepe Library~1

Customary international law a new theory with practical applications

2024-12-18T23:11:49Z

Author Lepard, Brian D.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=313285
Format: Electronic Resources
Availability Online Library~1

Commerce, Complexity, and Evolution Topics in Economics, Finance, Marketing, and Management: Proceedings of the Twelfth International Symposium in Economic Theory and Econometrics

2024-12-18T23:11:49Z

Author Barnett, William A.. Chiarella, Carl. Keen, Steve. Marks, Robert. Schnabl, Hermann.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Routledge international handbook of contemporary social and political theory

2024-12-18T23:11:49Z

Author Delanty, Gerard. Turner, Stephen P., 1951-
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Thucydides' theory of international relations : a lasting possession

2024-12-18T23:11:49Z

Author Thucydides, ed. Gustafson, Lowell S., ed.
Preferred Shelf Number JZ 1305 T48 2000
Format: Books
Availability Beytepe Library~1

Theory of nuclear structure : Trieste lectures 1969 ; lectures presented at an International Course ... at Trieste from 7 Jan. to 31 Mar. 1969

2024-12-18T23:11:49Z

Author International Course on Nuclear Theory (1969 : Trieste).
Preferred Shelf Number QC 173 I5471 1970
Format: Books
Availability Beytepe Library~1

Applications and theory of Petri nets 29th international conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008 : proceedings

2024-12-18T23:11:49Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470611647
Format: Electronic Resources
Availability Online Library~1

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, 1984

2024-12-18T23:11:49Z

Author International Conference on Trends in the Theory and Practice of Non-linear Analysis (6th : 1984 : University of Texas at Arlington) Lakshmikantham, V., 1926-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444877048
Format: Electronic Resources
Availability Online Library~1

Combinatorial mathematics proceedings of the International Colloquium on Graph Theory and Combinatorics, Marseille-Luminy, June 1981

2024-12-18T23:11:49Z

Author 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.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444865120
Format: Electronic Resources
Availability Online Library~1

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, 1981

2024-12-18T23:11:49Z

Author International Seminar on Mathematical Theory of Dynamical Systems and Microphysics (2nd : 1981 : Udine, Italy) Avez, A. (André) Blaquière, Austin. Marzollo, Angelo.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780120687206
Format: Electronic Resources
Availability Online Library~1

Approximation theory and functional analysis proceedings of the International Symposium on Approximation Theory, Universidade Estadual de Campinas (UNICAMP) Brazil, August 1-5, 1977

2024-12-18T23:11:49Z

Author International Symposium on Approximation Theory (1977 : Universidade Estadual de Campinas) Prolla, João B. Universidade Estadual de Campinas.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444852649
Format: Electronic Resources
Availability Online Library~1

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.

2024-12-18T23:11:49Z

Author 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.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720422559
Format: Electronic Resources
Availability Online Library~1

Probability and information theory . Proceedings of the International Symposium at McMaster University, Canada, April 1968

2024-12-18T23:11:49Z

Author International Symposium on probability and Information Theory (1st : 1968 : Berlin) Behara, M., ed. Krickeberg, K., ed. Wolfowitz, J., ed.
Preferred Shelf Number QA 273 I8 1969
Format: Books
Availability Beytepe Library~1

Scattering theory and biomedical engineering modelling and applications : Proceedings of the 4th international workshop

2024-12-18T23:11:49Z

Author Dassios, George, ed. International Workshop on Scattering Theory and Biomedical Engineering (4th : 1999 : Perdika, Greece)
Preferred Shelf Number R 853.M3 S27 2000
Format: Books
Availability Beytepe Library~1

The United Nations conference on Trade and Development of 1964 : the theory of the peripheral economy at the centre of international political discussions

2024-12-18T23:11:49Z

Author Friedeberg, Alfred Salomon, 1929-
Preferred Shelf Number HF 1410 F7 1969
Format: Books
Availability Beytepe Library~1

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 21st International Conference, ITMM 2022, Karshi, Uzbekistan, October 25-29, 2022, Revised Selected Papers

2024-12-18T23:11:49Z

Author Dudin, Alexander. editor. (orcid) Nazarov, Anatoly. editor. (orcid) Moiseev, Alexander. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(520767.1)
Electronic Access https://doi.org/10.1007/978-3-031-32990-6
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

2024-12-18T23:11:49Z

Author Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520949.1)
Electronic Access https://doi.org/10.1007/978-3-031-33620-1
Format: Electronic Resources
Availability Online Library~1

Decision and Game Theory for Security 13th International Conference, GameSec 2022, Pittsburgh, PA, USA, October 26-28, 2022, Proceedings

2024-12-18T23:11:49Z

Author Fang, Fei. editor. Xu, Haifeng. editor. Hayel, Yezekael. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(520809.1)
Electronic Access https://doi.org/10.1007/978-3-031-26369-9
Format: Electronic Resources
Availability Online Library~1

Computer Vision, Imaging and Computer Graphics Theory and Applications 16th International Joint Conference, VISIGRAPP 2021, Virtual Event, February 8-10, 2021, Revised Selected Papers

2024-12-18T23:11:49Z

Author de Sousa, A. Augusto. editor. Havran, Vlastimil. editor. Paljic, Alexis. editor. Peck, Tabitha. editor. Hurter, Christophe. editor.
Preferred Shelf Number XX(520203.1)
Electronic Access https://doi.org/10.1007/978-3-031-25477-2
Format: Electronic Resources
Availability Online Library~1

Deep Learning Theory and Applications 4th International Conference, DeLTA 2023, Rome, Italy, July 13-14, 2023, Proceedings

2024-12-18T23:11:49Z

Author Conte, Donatello. editor. Fred, Ana. editor. Gusikhin, Oleg. editor. Sansone, Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520436.1)
Electronic Access https://doi.org/10.1007/978-3-031-39059-3
Format: Electronic Resources
Availability Online Library~1

Deep Learning Theory and Applications Third International Conference, DeLTA 2022, Lisbon, Portugal, July 12-14, 2022, Revised Selected Papers

2024-12-18T23:11:49Z

Author Fred, Ana. editor. Sansone, Carlo. editor. Gusikhin, Oleg. editor. Madani, Kurosh. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520487.1)
Electronic Access https://doi.org/10.1007/978-3-031-37317-6
Format: Electronic Resources
Availability Online Library~1

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

2024-12-18T23:11:49Z

Author Fred, Ana. editor. Sansone, Carlo. editor. Madani, Kurosh. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520488.1)
Electronic Access https://doi.org/10.1007/978-3-031-37320-6
Format: Electronic Resources
Availability Online Library~1

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 Papers

2024-12-18T23:11:49Z

Author Grueau, Cédric. editor. Laurini, Robert. editor. Ragia, Lemonia. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520647.1)
Electronic Access https://doi.org/10.1007/978-3-031-44112-7
Format: Electronic Resources
Availability Online Library~1

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

2024-12-18T23:11:49Z

Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520840.1)
Electronic Access https://doi.org/10.1007/978-3-031-30820-8
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520841.1)
Electronic Access https://doi.org/10.1007/978-3-031-30826-0
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520842.1)
Electronic Access https://doi.org/10.1007/978-3-031-30829-1
Format: Electronic Resources
Availability Online Library~1

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

2024-12-18T23:11:49Z

Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520843.1)
Electronic Access https://doi.org/10.1007/978-3-031-30823-9
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Boldyreva, Alexandra. editor. Kolesnikov, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520852.1)
Electronic Access https://doi.org/10.1007/978-3-031-31368-4
Format: Electronic Resources
Availability Online Library~1

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 II

2024-12-18T23:11:49Z

Author Boldyreva, Alexandra. editor. Kolesnikov, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520853.1)
Electronic Access https://doi.org/10.1007/978-3-031-31371-4
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings

2024-12-18T23:11:49Z

Author Drewes, Frank. editor. Volkov, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520867.1)
Electronic Access https://doi.org/10.1007/978-3-031-33264-7
Format: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory 16th International Symposium, SAGT 2023, Egham, UK, September 4-7, 2023, Proceedings

2024-12-18T23:11:49Z

Author Deligkas, Argyrios. editor. Filos-Ratsikas, Aris. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520978.1)
Electronic Access https://doi.org/10.1007/978-3-031-43254-5
Format: Electronic Resources
Availability Online Library~1

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 II

2024-12-18T23:11:49Z

Author Fujita, Hamido. editor. (orcid) Wang, Yinglin. editor. Xiao, Yanghua. editor. Moonis, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521094.1)
Electronic Access https://doi.org/10.1007/978-3-031-36822-6
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings

2024-12-18T23:11:49Z

Author Fernau, Henning. editor. Jansen, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521195.1)
Electronic Access https://doi.org/10.1007/978-3-031-43587-4
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part I

2024-12-18T23:11:49Z

Author Rothblum, Guy. editor. Wee, Hoeteck. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521347.1)
Electronic Access https://doi.org/10.1007/978-3-031-48615-9
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part II

2024-12-18T23:11:49Z

Author Rothblum, Guy. editor. Wee, Hoeteck. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521348.1)
Electronic Access https://doi.org/10.1007/978-3-031-48618-0
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023, Proceedings, Part III

2024-12-18T23:11:49Z

Author Rothblum, Guy. editor. Wee, Hoeteck. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521349.1)
Electronic Access https://doi.org/10.1007/978-3-031-48621-0
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023, Proceedings, Part IV

2024-12-18T23:11:49Z

Author Rothblum, Guy. editor. Wee, Hoeteck. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521350.1)
Electronic Access https://doi.org/10.1007/978-3-031-48624-1
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Guo, Jian. editor. Steinfeld, Ron. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521366.1)
Electronic Access https://doi.org/10.1007/978-981-99-8721-4
Format: Electronic Resources
Availability Online Library~1

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 III

2024-12-18T23:11:49Z

Author Guo, Jian. editor. Steinfeld, Ron. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521367.1)
Electronic Access https://doi.org/10.1007/978-981-99-8727-6
Format: Electronic Resources
Availability Online Library~1

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 IV

2024-12-18T23:11:49Z

Author Guo, Jian. editor. Steinfeld, Ron. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521368.1)
Electronic Access https://doi.org/10.1007/978-981-99-8730-6
Format: Electronic Resources
Availability Online Library~1

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 V

2024-12-18T23:11:49Z

Author Guo, Jian. editor. Steinfeld, Ron. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521369.1)
Electronic Access https://doi.org/10.1007/978-981-99-8733-7
Format: Electronic Resources
Availability Online Library~1

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 VI

2024-12-18T23:11:49Z

Author Guo, Jian. editor. Steinfeld, Ron. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521370.1)
Electronic Access https://doi.org/10.1007/978-981-99-8736-8
Format: Electronic Resources
Availability Online Library~1

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 VII

2024-12-18T23:11:49Z

Author Guo, Jian. editor. Steinfeld, Ron. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521371.1)
Electronic Access https://doi.org/10.1007/978-981-99-8739-9
Format: Electronic Resources
Availability Online Library~1

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 II

2024-12-18T23:11:49Z

Author Guo, Jian. editor. Steinfeld, Ron. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521372.1)
Electronic Access https://doi.org/10.1007/978-981-99-8724-5
Format: Electronic Resources
Availability Online Library~1

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 VIII

2024-12-18T23:11:49Z

Author Guo, Jian. editor. Steinfeld, Ron. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521373.1)
Electronic Access https://doi.org/10.1007/978-981-99-8742-9
Format: Electronic Resources
Availability Online Library~1

Decision and Game Theory for Security 14th International Conference, GameSec 2023, Avignon, France, October 18-20, 2023, Proceedings

2024-12-18T23:11:49Z

Author Fu, Jie. editor. Kroupa, Tomas. editor. Hayel, Yezekael. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(521378.1)
Electronic Access https://doi.org/10.1007/978-3-031-50670-3
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Fujita, Hamido. editor. (orcid) Wang, Yinglin. editor. Xiao, Yanghua. editor. Moonis, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521400.1)
Electronic Access https://doi.org/10.1007/978-3-031-36819-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Optimization Theory and Operations Research 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings

2024-12-18T23:11:49Z

Author Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. (orcid) Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.
Preferred Shelf Number XX(521398.1)
Electronic Access https://doi.org/10.1007/978-3-031-35305-5
Format: Electronic Resources
Availability Online Library~1

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

2024-12-18T23:11:49Z

Author Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.
Preferred Shelf Number XX(520629.1)
Electronic Access https://doi.org/10.1007/978-3-031-43257-6
Format: Electronic Resources
Availability Online Library~1

Computer Vision, Imaging and Computer Graphics Theory and Applications 17th International Joint Conference, VISIGRAPP 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers

2024-12-18T23:11:49Z

Author de Sousa, A. Augusto. editor. Debattista, Kurt. editor. Paljic, Alexis. editor. Ziat, Mounia. editor. Hurter, Christophe. editor.
Preferred Shelf Number XX(520711.1)
Electronic Access https://doi.org/10.1007/978-3-031-45725-8
Format: Electronic Resources
Availability Online Library~1

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 II

2024-12-18T23:11:49Z

Author Hazay, Carmit. editor. Stam, Martijn. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520938.1)
Electronic Access https://doi.org/10.1007/978-3-031-30617-4
Format: Electronic Resources
Availability Online Library~1

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 III

2024-12-18T23:11:49Z

Author Hazay, Carmit. editor. Stam, Martijn. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520939.1)
Electronic Access https://doi.org/10.1007/978-3-031-30620-4
Format: Electronic Resources
Availability Online Library~1

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 IV

2024-12-18T23:11:49Z

Author Hazay, Carmit. editor. Stam, Martijn. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520940.1)
Electronic Access https://doi.org/10.1007/978-3-031-30634-1
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Hazay, Carmit. editor. Stam, Martijn. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520942.1)
Electronic Access https://doi.org/10.1007/978-3-031-30545-0
Format: Electronic Resources
Availability Online Library~1

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 V

2024-12-18T23:11:49Z

Author Hazay, Carmit. editor. Stam, Martijn. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520943.1)
Electronic Access https://doi.org/10.1007/978-3-031-30589-4
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Gąsieniec, Leszek. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520786.1)
Electronic Access https://doi.org/10.1007/978-3-031-23101-8
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Alonso, Omar. editor. Cousijn, Helena. editor. Silvello, Gianmaria. editor. Marrero, Mónica. editor. Teixeira Lopes, Carla. editor.
Preferred Shelf Number XX(521310.1)
Electronic Access https://doi.org/10.1007/978-3-031-43849-3
Format: Electronic Resources
Availability Online Library~1

Routledge international handbook of contemporary social and political theory

2024-12-18T23:11:49Z

Author Delanty, Gerard, editor. Turner, Stephen P., 1951- editor.
Preferred Shelf Number XX(512207.1)
Electronic Access https://www.taylorfrancis.com/books/9781003111399
Format: Electronic Resources
Availability Online Library~1

Algorithmic Decision Theory 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings

2024-12-18T23:11:49Z

Author Pekeč, Saša. editor. Venable, Kristen Brent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31489-7
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17127-8
Format: Electronic Resources
Availability Online Library~1

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 II

2024-12-18T23:11:49Z

Author Lin, Dongdai. editor. Sako, Kazue. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17259-6
Format: Electronic Resources
Availability Online Library~1

Game Theory for Networks 8th International EAI Conference, GameNets 2019, Paris, France, April 25–26, 2019, Proceedings

2024-12-18T23:11:49Z

Author Avrachenkov, Konstantin. editor. Huang, Longbo. editor. Marden, Jason R. editor. Coupechoux, Marceau. editor. Giovanidis, Anastasios. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16989-3
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

2024-12-18T23:11:49Z

Author Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24258-9
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16722-6
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 17th International Conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019, Proceedings, Part I

2024-12-18T23:11:49Z

Author Hofheinz, Dennis. editor. Rosen, Alon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36030-6
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Lin, Dongdai. editor. Sako, Kazue. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17253-4
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings

2024-12-18T23:11:49Z

Author van Bevern, René. editor. (orcid)0000-0002-4805-218X Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19955-5
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 17th International Conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019, Proceedings, Part II

2024-12-18T23:11:49Z

Author Hofheinz, Dennis. editor. Rosen, Alon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36033-7
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17653-2
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377 Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34578-5
Format: Electronic Resources
Availability Online Library~1

Finite Difference Methods. Theory and Applications 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers

2024-12-18T23:11:49Z

Author Dimov, Ivan. editor. Faragó, István. editor. (orcid)0000-0002-4615-7615 Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-11539-5
Format: Electronic Resources
Availability Online Library~1

Digital Libraries for Open Knowledge 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019, Proceedings

2024-12-18T23:11:49Z

Author 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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30760-8
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings

2024-12-18T23:11:49Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34500-6
Format: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings

2024-12-18T23:11:49Z

Author Fotakis, Dimitris. editor. Markakis, Evangelos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30473-7
Format: Electronic Resources
Availability Online Library~1

Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers

2024-12-18T23:11:49Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33394-2
Format: Electronic Resources
Availability Online Library~1

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 II

2024-12-18T23:11:49Z

Author Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17656-3
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23570-3
Format: Electronic Resources
Availability Online Library~1

Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings

2024-12-18T23:11:49Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22629-9
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19504-5
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

2024-12-18T23:11:49Z

Author Hofman, Piotrek. editor. Skrzypczak, Michał. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24886-4
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings

2024-12-18T23:11:49Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25027-0
Format: Electronic Resources
Availability Online Library~1

Geographical Information Systems Theory, Applications and Management Third International Conference, GISTAM 2017, Porto, Portugal, April 27–28, 2017, Revised Selected Papers

2024-12-18T23:11:49Z

Author Ragia, Lemonia. editor. Laurini, Robert. editor. Rocha, Jorge Gustavo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-06010-7
Format: Electronic Resources
Availability Online Library~1

Computer Vision, Imaging and Computer Graphics – Theory and Applications 12th International Joint Conference, VISIGRAPP 2017, Porto, Portugal, February 27 – March 1, 2017, Revised Selected Papers

2024-12-18T23:11:49Z

Author Cláudio, Ana Paula. editor. Bechmann, Dominique. editor. Richard, Paul. editor. Yamaguchi, Takehiko. editor. Linsen, Lars. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12209-6
Format: Electronic Resources
Availability Online Library~1

Computer Vision, Imaging and Computer Graphics Theory and Applications 13th International Joint Conference, VISIGRAPP 2018 Funchal–Madeira, Portugal, January 27–29, 2018, Revised Selected Papers

2024-12-18T23:11:49Z

Author Bechmann, Dominique. editor. Chessa, Manuela. editor. Cláudio, Ana Paula. editor. Imai, Francisco. editor. Kerren, Andreas. editor. (orcid)0000-0002-0519-2537
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26756-8
Format: Electronic Resources
Availability Online Library~1

Queueing Theory and Network Applications 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings

2024-12-18T23:11:49Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27181-7
Format: Electronic Resources
Availability Online Library~1

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 II

2024-12-18T23:11:49Z

Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17465-1
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-10801-4
Format: Electronic Resources
Availability Online Library~1

Information Security Theory and Practice 12th IFIP WG 11.2 International Conference, WISTP 2018, Brussels, Belgium, December 10–11, 2018, Revised Selected Papers

2024-12-18T23:11:49Z

Author Blazy, Olivier. editor. (orcid)0000-0001-6205-8249 Yeun, Chan Yeob. editor. (orcid)0000-0002-1398-952X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20074-9
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Nielson, Flemming. editor. (orcid)0000-0001-7362-6176 Sands, David. editor. (orcid)0000-0001-6221-0503 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17138-4
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

2024-12-18T23:11:49Z

Author Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21571-2
Format: Electronic Resources
Availability Online Library~1

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 III

2024-12-18T23:11:49Z

Author Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377 Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34618-8
Format: Electronic Resources
Availability Online Library~1

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 II

2024-12-18T23:11:49Z

Author Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377 Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34621-8
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Wotawa, Franz. editor. Friedrich, Gerhard. editor. Pill, Ingo. editor. Koitz-Hristov, Roxane. editor. Ali, Moonis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22999-3
Format: Electronic Resources
Availability Online Library~1

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 III

2024-12-18T23:11:49Z

Author Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17659-4
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

2024-12-18T23:11:49Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13435-8
Format: Electronic Resources
Availability Online Library~1

Arabic Language Processing: From Theory to Practice 7th International Conference, ICALP 2019, Nancy, France, October 16–17, 2019, Proceedings

2024-12-18T23:11:49Z

Author Smaïli, Kamel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32959-4
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17462-0
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Antona, Margherita. editor. Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23560-4
Format: Electronic Resources
Availability Online Library~1

Game Theory Third East Asia International Conference, EAGT 2019, Fuzhou, China, March 7–9, 2019, Revised Selected Papers

2024-12-18T23:11:49Z

Author Li, Deng-Feng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0657-4
Format: Electronic Resources
Availability Online Library~1

Geographical Information Systems Theory, Applications and Management 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers

2024-12-18T23:11:49Z

Author Ragia, Lemonia. editor. Grueau, Cédric. editor. Laurini, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29948-4
Format: Electronic Resources
Availability Online Library~1

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 Papers

2024-12-18T23:11:49Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33388-1
Format: Electronic Resources
Availability Online Library~1

Decision and Game Theory for Security 10th International Conference, GameSec 2019, Stockholm, Sweden, October 30 – November 1, 2019, Proceedings

2024-12-18T23:11:49Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32430-8
Format: Electronic Resources
Availability Online Library~1

Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings

2024-12-18T23:11:49Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93736-6
Format: Electronic Resources
Availability Online Library~1

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 II

2024-12-18T23:11:49Z

Author Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03329-3
Format: Electronic Resources
Availability Online Library~1

Decision and Game Theory for Security 9th International Conference, GameSec 2018, Seattle, WA, USA, October 29–31, 2018, Proceedings

2024-12-18T23:11:49Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01554-1
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 7th International Conference on Emerging Databases Technologies, Applications, and Theory

2024-12-18T23:11:49Z

Author Lee, Wookey. editor. Choi, Wonik. editor. Jung, Sungwon. editor. Song, Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6520-0
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91473-2
Format: Electronic Resources
Availability Online Library~1

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 III

2024-12-18T23:11:49Z

Author Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03332-3
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Natural Computing 7th International Conference, TPNC 2018, Dublin, Ireland, December 12–14, 2018, Proceedings

2024-12-18T23:11:49Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04070-3
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03326-2
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Bauer, Lujo. editor. Küsters, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89722-6
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

2024-12-18T23:11:49Z

Author Fomin, Fedor V. editor. Podolskii, Vladimir V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90530-3
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

2024-12-18T23:11:49Z

Author Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91268-4
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Formal Argumentation 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

2024-12-18T23:11:49Z

Author Black, Elizabeth. editor. (orcid)0000-0002-4295-449X Modgil, Sanjay. editor. Oren, Nir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75553-3
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

2024-12-18T23:11:49Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77313-1
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

2024-12-18T23:11:49Z

Author Hoshi, Mizuho. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98654-8
Format: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings

2024-12-18T23:11:49Z

Author Deng, Xiaotie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99660-8
Format: Electronic Resources
Availability Online Library~1

Digital Libraries for Open Knowledge 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10–13, 2018, Proceedings

2024-12-18T23:11:49Z

Author 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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00066-0
Format: Electronic Resources
Availability Online Library~1

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 Papers

2024-12-18T23:11:49Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97595-5
Format: Electronic Resources
Availability Online Library~1

Belief Functions: Theory and Applications 5th International Conference, BELIEF 2018, Compiègne, France, September 17-21, 2018, Proceedings

2024-12-18T23:11:49Z

Author Destercke, Sébastien. editor. (orcid)0000-0003-2026-468X Denoeux, Thierry. editor. Cuzzolin, Fabio. editor. Martin, Arnaud. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99383-6
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part II

2024-12-18T23:11:49Z

Author Beimel, Amos. editor. Dziembowski, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03810-6
Format: Electronic Resources
Availability Online Library~1

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 II

2024-12-18T23:11:49Z

Author Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91476-3
Format: Electronic Resources
Availability Online Library~1

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 II

2024-12-18T23:11:49Z

Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78375-8
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78381-9
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73117-9
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89363-1
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part I

2024-12-18T23:11:49Z

Author Beimel, Amos. editor. Dziembowski, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03807-6
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89960-2
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2024-12-18T23:11:49Z

Author Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89366-2
Format: Electronic Resources
Availability Online Library~1

Arabic Language Processing: From Theory to Practice 6th International Conference, ICALP 2017, Fez, Morocco, October 11–12, 2017, Proceedings

2024-12-18T23:11:49Z

Author Lachkar, Abdelmonaime. editor. Bouzoubaa, Karim. editor. Mazroui, Azzedine. editor. Hamdani, Abdelfettah. editor. Lekhouaja, Abdelhak. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73500-9
Format: Electronic Resources
Availability Online Library~1

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 III

2024-12-18T23:11:49Z

Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78372-7
Format: Electronic Resources
Availability Online Library~1

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 II

2024-12-18T23:11:49Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89963-3
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

2024-12-18T23:11:49Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74727-9
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Abdalla, Michel. editor. (orcid)0000-0002-2447-4329 Dahab, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76578-5
Format: Electronic Resources
Availability Online Library~1

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 II

2024-12-18T23:11:49Z

Author Abdalla, Michel. editor. (orcid)0000-0002-2447-4329 Dahab, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76581-5
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-12-18T23:11:49Z

Author Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93317-7
Format: Electronic Resources
Availability Online Library~1

Information Security Theory and Practice 11th IFIP WG 11.2 International Conference, WISTP 2017, Heraklion, Crete, Greece, September 28–29, 2017, Proceedings

2024-12-18T23:11:49Z

Author Hancke, Gerhard P. editor. Damiani, Ernesto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93524-9
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91797-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

2024-12-18T23:11:49Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74718-7
Format: Electronic Resources
Availability Online Library~1

The international encyclopedia of communication theory and philosophy

2024-12-18T23:11:49Z

Author Jensen, Klaus Bruhn. Craig, Robert T.
Preferred Shelf Number REF P91 I575 2016 V.1
Format: Books
Availability Beytepe Library~4

International perspectives on crowdfunding : positive, normative and critical theory

2024-12-18T23:11:49Z

Author Méric, Jérôme, editor. Maque, Isabelle, editor. Brabet, Julienne, editor.
Preferred Shelf Number ONLINE
Electronic Access https://www.emerald.com/insight/publication/doi/10.1108/9781785603143
Format: Electronic Resources
Availability Online Library~1

Computer Vision, Imaging and Computer Graphics - Theory and Applications International Joint Conference, VISIGRAPP 2014, Lisbon, Portugal, January 5-8, 2014, Revised Selected Papers

2024-12-18T23:11:49Z

Author Battiato, Sebastiano. editor. Coquillart, Sabine. editor. Pettré, Julien. editor. Laramee, Robert S. editor. Kerren, Andreas. editor.
Preferred Shelf Number XX(518645.1)
Electronic Access https://doi.org/10.1007/978-3-319-25117-2
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Dudin, Alexander. editor. Nazarov, Anatoly. editor. (orcid) Yakupov, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518703.1)
Electronic Access https://doi.org/10.1007/978-3-319-25861-4
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Dillon, Tharam. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518712.1)
Electronic Access https://doi.org/10.1007/978-3-319-25261-2
Format: Electronic Resources
Availability Online Library~1

Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

2024-12-18T23:11:49Z

Author Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518797.1)
Electronic Access https://doi.org/10.1007/978-3-319-20297-6
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Iwata, Tetsu. editor. Cheon, Jung Hee. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518841.1)
Electronic Access https://doi.org/10.1007/978-3-662-48797-6
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.

2024-12-18T23:11:49Z

Author Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519049.1)
Electronic Access https://doi.org/10.1007/978-3-319-21500-6
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Franke, Björn. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519059.1)
Electronic Access https://doi.org/10.1007/978-3-662-46663-6
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Natural Computing Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings

2024-12-18T23:11:49Z

Author Dediu, Adrian-Horia. editor. Magdalena, Luis. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519062.1)
Electronic Access https://doi.org/10.1007/978-3-319-26841-5
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(519161.1)
Electronic Access https://doi.org/10.1007/978-3-662-46678-0
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

2024-12-18T23:11:49Z

Author Heule, Marijn. editor. Weaver, Sean. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519084.1)
Electronic Access https://doi.org/10.1007/978-3-319-24318-4
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

2024-12-18T23:11:49Z

Author Devillers, Raymond. editor. Valmari, Antti. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519194.1)
Electronic Access https://doi.org/10.1007/978-3-319-19488-2
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Focardi, Riccardo. editor. Myers, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519227.1)
Electronic Access https://doi.org/10.1007/978-3-662-46666-7
Format: Electronic Resources
Availability Online Library~1

Algorithmic Learning Theory 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings

2024-12-18T23:11:49Z

Author Chaudhuri, Kamalika. editor. GENTILE, CLAUDIO. editor. Zilles, Sandra. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519228.1)
Electronic Access https://doi.org/10.1007/978-3-319-24486-0
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Formal Argumentation Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers

2024-12-18T23:11:49Z

Author Black, Elizabeth. editor. Modgil, Sanjay. editor. Oren, Nir. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519271.1)
Electronic Access https://doi.org/10.1007/978-3-319-28460-6
Format: Electronic Resources
Availability Online Library~1

Spatial Information Theory 12th International Conference, COSIT 2015, Santa Fe, NM, USA, October 12-16, 2015, Proceedings

2024-12-18T23:11:49Z

Author Fabrikant, Sara Irina. editor. Raubal, Martin. editor. Bertolotto, Michela. editor. Davies, Clare. editor. Freundschuh, Scott. editor.
Preferred Shelf Number XX(519338.1)
Electronic Access https://doi.org/10.1007/978-3-319-23374-1
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Kapidakis, Sarantos. editor. Mazurek, Cezary. editor. Werla, Marcin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518901.1)
Electronic Access https://doi.org/10.1007/978-3-319-24592-8
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.
Preferred Shelf Number XX(518910.1)
Electronic Access https://doi.org/10.1007/978-3-662-46078-8
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings

2024-12-18T23:11:49Z

Author Kosowski, Adrian. editor. Walukiewicz, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518912.1)
Electronic Access https://doi.org/10.1007/978-3-319-22177-9
Format: Electronic Resources
Availability Online Library~1

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 II

2024-12-18T23:11:49Z

Author Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518913.1)
Electronic Access https://doi.org/10.1007/978-3-662-46803-6
Format: Electronic Resources
Availability Online Library~1

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

2024-12-18T23:11:49Z

Author Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518917.1)
Electronic Access https://doi.org/10.1007/978-3-319-20239-6
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2015 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers

2024-12-18T23:11:49Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518923.1)
Electronic Access https://doi.org/10.1007/978-3-319-27340-2
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518965.1)
Electronic Access https://doi.org/10.1007/978-3-662-46800-5
Format: Electronic Resources
Availability Online Library~1

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 II

2024-12-18T23:11:49Z

Author Iwata, Tetsu. editor. Cheon, Jung Hee. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518966.1)
Electronic Access https://doi.org/10.1007/978-3-662-48800-3
Format: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015. Proceedings

2024-12-18T23:11:49Z

Author Hoefer, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518974.1)
Electronic Access https://doi.org/10.1007/978-3-662-48433-3
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I

2024-12-18T23:11:49Z

Author Dodis, Yevgeniy. editor. Nielsen, Jesper Buus. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518982.1)
Electronic Access https://doi.org/10.1007/978-3-662-46494-6
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

2024-12-18T23:11:49Z

Author Kolovos, Dimitris. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519006.1)
Electronic Access https://doi.org/10.1007/978-3-319-21155-8
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

2024-12-18T23:11:49Z

Author Dediu, Adrian-Horia. editor. Formenti, Enrico. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519014.1)
Electronic Access https://doi.org/10.1007/978-3-319-15579-1
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-12-18T23:11:49Z

Author Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519090.1)
Electronic Access https://doi.org/10.1007/978-3-662-46681-0
Format: Electronic Resources
Availability Online Library~1

Information Security Theory and Practice 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings

2024-12-18T23:11:49Z

Author Akram, Raja Naeem. editor. Jajodia, Sushil. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519325.1)
Electronic Access https://doi.org/10.1007/978-3-319-24018-3
Format: Electronic Resources
Availability Online Library~1

Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings

2024-12-18T23:11:49Z

Author Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519133.1)
Electronic Access https://doi.org/10.1007/978-3-319-23114-3
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Katz, Jonathan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519134.1)
Electronic Access https://doi.org/10.1007/978-3-662-46447-2
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519136.1)
Electronic Access https://doi.org/10.1007/978-3-662-46675-9
Format: Electronic Resources
Availability Online Library~1

Decision and Game Theory for Security 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015, Proceedings

2024-12-18T23:11:49Z

Author Khouzani, Arman (MHR). editor. Panaousis, Emmanouil. editor. Theodorakopoulos, George. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519017.1)
Electronic Access https://doi.org/10.1007/978-3-319-25594-1
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II

2024-12-18T23:11:49Z

Author Dodis, Yevgeniy. editor. Nielsen, Jesper Buus. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519027.1)
Electronic Access https://doi.org/10.1007/978-3-662-46497-7
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54862-8
Format: Electronic Resources
Availability Online Library~1

Computer Vision, Imaging and Computer Graphics: Theory and Applications International Joint Conference, VISIGRAPP 2013, Barcelona, Spain, February 21-24, 2013, Revised Selected Papers

2024-12-18T23:11:49Z

Author 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.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44911-0
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Geffert, Viliam. editor. Preneel, Bart. editor. Rovan, Branislav. editor. Štuller, Július. editor. Tjoa, A Min. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04298-5
Format: Electronic Resources
Availability Online Library~1

Advancing the Impact of Design Science: Moving from Theory to Practice 9th International Conference, DESRIST 2014, Miami, FL, USA, May 22-24, 2014. Proceedings

2024-12-18T23:11:49Z

Author Tremblay, Monica Chiarini. editor. VanderMeer, Debra. editor. Rothenberger, Marcus. editor. Gupta, Ashish. editor. Yoon, Victoria. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06701-8
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54807-9
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings

2024-12-18T23:11:49Z

Author Shur, Arseny M. editor. Volkov, Mikhail V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09698-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theory 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings

2024-12-18T23:11:49Z

Author Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09333-8
Format: Electronic Resources
Availability Online Library~1

Belief Functions: Theory and Applications Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014. Proceedings

2024-12-18T23:11:49Z

Author Cuzzolin, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11191-9
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Muscholl, Anca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54830-7
Format: Electronic Resources
Availability Online Library~1

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

2024-12-18T23:11:49Z

Author Baldan, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44584-6
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Naccache, David. editor. Sauveron, Damien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43826-8
Format: Electronic Resources
Availability Online Library~1

Proceedings of the International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA) 2013

2024-12-18T23:11:49Z

Author Satapathy, Suresh Chandra. editor. Udgata, Siba K. editor. Biswal, Bhabendra Narayan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-02931-3
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings

2024-12-18T23:11:49Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04921-2
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

2024-12-18T23:11:49Z

Author Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08789-4
Format: Electronic Resources
Availability Online Library~1

Hybrid Learning Theory and Practice 7th International Conference, ICHL 2014, Shanghai, China, August 8-10, 2014. Proceedings

2024-12-18T23:11:49Z

Author Cheung, Simon K.S. editor. Fong, Joseph. editor. Zhang, Jiping. editor. Kwan, Reggie. editor. Kwok, Lam For. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08961-4
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09284-3
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Bikakis, Antonis. editor. Fodor, Paul. editor. Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09870-8
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2014 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark, May 11-15, 2014, Proceedings

2024-12-18T23:11:49Z

Author Nguyen, Phong Q. editor. Oswald, Elisabeth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55220-5
Format: Electronic Resources
Availability Online Library~1

Algorithmic Learning Theory 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014, Proceedings

2024-12-18T23:11:49Z

Author Auer, Peter. editor. Clark, Alexander. editor. Zeugmann, Thomas. editor. Zilles, Sandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11662-4
Format: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 -- October 2, 2014, Proceedings

2024-12-18T23:11:49Z

Author Lavi, Ron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44803-8
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54804-8
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45611-8
Format: Electronic Resources
Availability Online Library~1

Decision and Game Theory for Security 5th International Conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014, Proceedings

2024-12-18T23:11:49Z

Author Poovendran, Radha. editor. (orcid)0000-0003-0269-8097 Saad, Walid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12601-2
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 11th International Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014, Proceedings

2024-12-18T23:11:49Z

Author Lindell, Yehuda. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54242-8
Format: Electronic Resources
Availability Online Library~1

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

2024-12-18T23:11:49Z

Author Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06686-8
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Abadi, Martín. editor. Kremer, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54792-8
Format: Electronic Resources
Availability Online Library~1

The Public International Law Theory of Hans Kelsen Believing in Universal Law

2024-12-18T23:11:49Z

Author von Bernstorff, Jochen.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings

2024-12-18T23:11:49Z

Author Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07734-5
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings

2024-12-18T23:11:49Z

Author Dediu, Adrian-Horia. editor. Lozano, Manuel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13749-0
Format: Electronic Resources
Availability Online Library~1

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 II

2024-12-18T23:11:49Z

Author Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45608-8
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography -- PKC 2014 17th International Conference on Practice and Theory in Public-Key Cryptography, Buenos Aires, Argentina, March 26-28, 2014, Proceedings

2024-12-18T23:11:49Z

Author Krawczyk, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54631-0
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Formal Argumentation Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers

2024-12-18T23:11:49Z

Author Black, Elizabeth. editor. Modgil, Sanjay. editor. Oren, Nir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54373-9
Format: Electronic Resources
Availability Online Library~1

Militarism and international relations : political economy, security and theory

2024-12-18T23:11:49Z

Author Stavrianakis, Anna. Selby, Jan, 1972-
Preferred Shelf Number JZ1251 M56 2013
Format: Books
Availability Beytepe Library~1

Disequilibrium, polarization, and crisis model an international relations theory explaining conflict

2024-12-18T23:11:49Z

Author Dierauer, Isabelle.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578748
Format: Electronic Resources
Availability Online Library~1

Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings

2024-12-18T23:11:49Z

Author Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332947.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02786-9
Format: Electronic Resources
Availability Online Library~1

Aspects of Computational Intelligence: Theory and Applications Revised and Selected Papers of the 15th IEEE International Conference on Intelligent Engineering Systems 2011, INES 2011

2024-12-18T23:11:49Z

Author Madarász, Ladislav. editor. Živčák, Jozef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333347.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-30668-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of the International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA)

2024-12-18T23:11:49Z

Author Satapathy, Suresh Chandra. editor. Udgata, Siba K. editor. Biswal, Bhabendra Narayan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333962.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35314-7
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography – PKC 2013 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26 – March 1, 2013. Proceedings

2024-12-18T23:11:49Z

Author Kurosawa, Kaoru. editor. Hanaoka, Goichiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334184.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36362-7
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2024-12-18T23:11:49Z

Author Basin, David. editor. Mitchell, John C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334305.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36830-1
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2024-12-18T23:11:49Z

Author Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334353.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37051-9
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2024-12-18T23:11:49Z

Author Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334354.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37057-1
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

2024-12-18T23:11:49Z

Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334355.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37064-9
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

2024-12-18T23:11:49Z

Author Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334666.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38771-5
Format: Electronic Resources
Availability Online Library~1

Proceedings of 20th International Conference on Industrial Engineering and Engineering Management Theory and Apply of Industrial Engineering

2024-12-18T23:11:49Z

Author Qi, Ershi. editor. Shen, Jiang. editor. Dou, Runliang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334885.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40063-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of 20th International Conference on Industrial Engineering and Engineering Management Theory and Apply of Industrial Management

2024-12-18T23:11:49Z

Author Qi, Ershi. editor. Shen, Jiang. editor. Dou, Runliang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334887.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40072-8
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings

2024-12-18T23:11:49Z

Author Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334901.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40164-0
Format: Electronic Resources
Availability Online Library~1

CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

2024-12-18T23:11:49Z

Author D’Argenio, Pedro R. editor. Melgratti, Hernán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334905.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40184-8
Format: Electronic Resources
Availability Online Library~1

Research and Advanced Technology for Digital Libraries International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedings

2024-12-18T23:11:49Z

Author Aalberg, Trond. editor. Papatheodorou, Christos. editor. Dobreva, Milena. editor. Tsakonas, Giannis. editor. Farrugia, Charles J. editor.
Preferred Shelf Number ONLINE(334956.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40501-3
Format: Electronic Resources
Availability Online Library~1

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

2024-12-18T23:11:49Z

Author Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335030.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40935-6
Format: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013. Proceedings

2024-12-18T23:11:49Z

Author Vöcking, Berthold. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335101.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41392-6
Format: Electronic Resources
Availability Online Library~1

Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings

2024-12-18T23:11:49Z

Author Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335124.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41575-3
Format: Electronic Resources
Availability Online Library~1

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 I

2024-12-18T23:11:49Z

Author Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335157.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42033-7
Format: Electronic Resources
Availability Online Library~1

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 II

2024-12-18T23:11:49Z

Author Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335160.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42045-0
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings

2024-12-18T23:11:49Z

Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335178.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45008-2
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

2024-12-18T23:11:49Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335219.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-53856-8
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II

2024-12-18T23:11:49Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335220.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-53862-9
Format: Electronic Resources
Availability Online Library~1

Lie Theory and Its Applications in Physics IX International Workshop

2024-12-18T23:11:49Z

Author Dobrev, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335406.1)
Electronic Access http://dx.doi.org/10.1007/978-4-431-54270-4
Format: Electronic Resources
Availability Online Library~1

Bringing sociology to international relations : world politics as differentiation theory

2024-12-18T23:11:49Z

Author Albert, Mathias.
Preferred Shelf Number JZ1251 B75 2013
Format: Books
Availability Beytepe Library~1

Spatial Information Theory 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings

2024-12-18T23:11:49Z

Author Tenbrink, Thora. editor. Stell, John. editor. Galton, Antony. editor. Wood, Zena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332890.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01790-7
Format: Electronic Resources
Availability Online Library~1

Militarism and international relations political economy, security, theory

2024-12-18T23:11:49Z

Author Stavrianakis, Anna. Selby, Jan, 1972-
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Numerical methods for hyperbolic equations theory and applications : an international conference to honour Professor E.F. Toro

2024-12-18T23:11:49Z

Author International Conference on Numerical Methods for Hyperbolic Equations (2011 : Santiago de Compostela, Spain) Vz̀quez-Cendn̤, Elena. Hidalgo, Arturo. Garca̕-Navarro, Pilar. Cea, Luis.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Cosmopolitanism in Context Perspectives from International Law and Political Theory

2024-12-18T23:11:49Z

Author Pierik, Roland. Werner, Wouter.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Optimization Theory, Decision Making, and Operations Research Applications Proceedings of the 1st International Symposium and 10th Balkan Conference on Operational Research

2024-12-18T23:11:49Z

Author Migdalas, Athanasios. editor. Sifaleras, Angelo. editor. Georgiadis, Christos K. editor. Papathanasiou, Jason. editor. Stiakakis, Emmanuil. editor.
Preferred Shelf Number ONLINE(331687.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5134-1
Format: Electronic Resources
Availability Online Library~1

Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2011, Vilamoura, Portugal, March 5-7, 2011. Revised Selected Papers

2024-12-18T23:11:49Z

Author Csurka, Gabriela. editor. Kraus, Martin. editor. Mestetskiy, Leonid. editor. Richard, Paul. editor. Braz, José. editor.
Preferred Shelf Number ONLINE(333559.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32350-8
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2024-12-18T23:11:49Z

Author Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Preferred Shelf Number ONLINE(334064.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35843-2
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2024-12-18T23:11:49Z

Author Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334278.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36742-7
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

2024-12-18T23:11:49Z

Author Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334282.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36757-1
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2024-12-18T23:11:49Z

Author Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334358.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37075-5
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

2024-12-18T23:11:49Z

Author Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334564.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38236-9
Format: Electronic Resources
Availability Online Library~1

Computer Vision, Imaging and Computer Graphics. Theory and Application 7th International Joint Conference, VISIGRAPP 2012, Rome, Italy, February 24-26, 2012, Revised Selected Papers

2024-12-18T23:11:49Z

Author Csurka, Gabriela. editor. Kraus, Martin. editor. Laramee, Robert S. editor. Richard, Paul. editor. Braz, José. editor.
Preferred Shelf Number ONLINE(334565.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38241-3
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings

2024-12-18T23:11:49Z

Author Johansson, Thomas. editor. Nguyen, Phong Q. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334587.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38348-9
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2024-12-18T23:11:49Z

Author Cavallaro, Lorenzo. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334616.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38530-8
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

2024-12-18T23:11:49Z

Author Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334617.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38536-0
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

2024-12-18T23:11:49Z

Author Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334651.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38697-8
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

2024-12-18T23:11:49Z

Author Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334691.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38883-5
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

2024-12-18T23:11:49Z

Author Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334724.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39071-5
Format: Electronic Resources
Availability Online Library~1

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, 2013

2024-12-18T23:11:49Z

Author Bustince, Humberto. editor. Fernandez, Javier. editor. Mesiar, Radko. editor. Calvo, Tomasa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334740.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39165-1
Format: Electronic Resources
Availability Online Library~1

Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings

2024-12-18T23:11:49Z

Author Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Preferred Shelf Number ONLINE(334822.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39617-5
Format: Electronic Resources
Availability Online Library~1

French post-war social theory : international knowledge transfer

2024-12-18T23:11:49Z

Author Robbins, Derek, author.
Preferred Shelf Number ONLINE(368346.1)
Electronic Access SAGE knowledge http://sk.sagepub.com/books/french-post-war-social-theory
Format: Electronic Resources
Availability Online Library~1

The Cold War and After : History, Theory, and the Logic of International Politics.

2024-12-18T23:11:49Z

Author Trachtenberg, Marc.
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt7rk9r
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

2024-12-18T23:11:49Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27549-4
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings

2024-12-18T23:11:49Z

Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28332-1
Format: Electronic Resources
Availability Online Library~1

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, Proceedings

2024-12-18T23:11:49Z

Author Degano, Pierpaolo. editor. Guttman, Joshua D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28641-4
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2024-12-18T23:11:49Z

Author O’Boyle, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28652-0
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2012 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings

2024-12-18T23:11:49Z

Author Pointcheval, David. editor. Johansson, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29011-4
Format: Electronic Resources
Availability Online Library~1

Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings

2024-12-18T23:11:49Z

Author Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29863-9
Format: Electronic Resources
Availability Online Library~1

Algorithmic Learning Theory 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings

2024-12-18T23:11:49Z

Author Bshouty, Nader H. editor. Stoltz, Gilles. editor. Vayatis, Nicolas. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34106-9
Format: Electronic Resources
Availability Online Library~1

Decision and Game Theory for Security Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedings

2024-12-18T23:11:49Z

Author Grossklags, Jens. editor. Walrand, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34266-0
Format: Electronic Resources
Availability Online Library~1

Core social work international theory, values and practice

2024-12-18T23:11:49Z

Author Blok, Willem, 1950-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433198
Format: Electronic Resources
Availability Online Library~1

The great powers and the international system systemic theory in empirical perspective

2024-12-18T23:11:49Z

Author Braumoeller, Bear F.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=473244
Format: Electronic Resources
Availability Online Library~1

Rethinking criminal law theory new Canadian perspectives in the philosophy of domestic, transnational, and international criminal law

2024-12-18T23:11:49Z

Author Tanguay-Renaud, François, 1979- Stribopoulos, James.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=563355
Format: Electronic Resources
Availability Online Library~1

Kant and international relations theory cosmopolitan community-building

2024-12-18T23:11:49Z

Author Ion, Dora, 1974-
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

The interaction between World Trade Organisation (WTO) law and external international law the constrained openness of WTO law (a prologue to a theory)

2024-12-18T23:11:49Z

Author Yearwood, Ronnie R. F.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1