Search Results for International theory

1.

Theory of international politics

Author

Waltz, Kenneth Neal.

Preferred Shelf Number

JX1291 W37 2010

Format:

Availability

Beytepe Library~2

Available:
Copies:

2.

International relations theory today

Author

Booth, Ken, 1943- Smith, Steve, 1952-

Preferred Shelf Number

JX 1391 I6383 1995

Format:

Availability

Beytepe Library~1

Available:
Copies:

3.

International relations theory today

Author

Booth, Ken, 1943- editor. Erskine, Toni, 1969-, editor.

Preferred Shelf Number

JX1391 I6383 2016

Format:

Availability

Beytepe Library~1

Available:
Copies:

4.

Diplomatic theory of international relations

Author

Sharp, Paul.

Preferred Shelf Number

JZ1305 S49 2009

Format:

Availability

Beytepe Library~1

Available:
Copies:

5.

Classical Theory in International Relations

Author

Jahn, Beate.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

6.

International relations theory : a critical introduction

Author

Weber, Cynthia.

Preferred Shelf Number

JZ1305 W43 2014

Format:

Availability

Beytepe Library~1

Available:
Copies:

7.

International migration and social theory

Author

O'Reilly, Karen.

Preferred Shelf Number

JV6035 O73 2012

Format:

Availability

Beytepe Library~1

Available:
Copies:

8.

International relations theory and regional transformation

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:

Availability

Online Library~1

Available:
Copies:

9.

Metaphors in international relations theory

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:

Availability

Online Library~1

Available:
Copies:

10.

International relations theory a critical introduction

Author

Weber, Cynthia.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

11.

A Cultural Theory of International Relations

Author

Lebow, Richard Ned.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

12.

Social theory of international politics

Author

Wendt, Alexander, 1966-

Preferred Shelf Number

JZ 1251 W46 1999

Format:

Availability

Beytepe Library~1

Available:
Copies:

13.

A history of international relations theory

Author

Knutsen, Torbjorn L.

Preferred Shelf Number

JX 1391 K58 1997

Format:

Availability

Beytepe Library~1

Available:
Copies:

14.

International theory : positivism and beyond

Author

Smith, Steve, 1952- Booth, Ken, 1943- Zalewski, Marysia.

Preferred Shelf Number

JX 1391 I6394 1996

Format:

Availability

Beytepe Library~1

Available:
Copies:

15.

International economics : theory and policy

Author

Krugman, Paul R. Obstfeld, Maurice.

Preferred Shelf Number

HF1359 .K78 1994

Format:

Availability

Beytepe Library~1

Available:
Copies:

16.

International relations theory : realism, pluralism, globalism

Author

Viotti, Paul R. Kauppi, Mark V., ort. yaz.

Preferred Shelf Number

JX1391 .V57 1993

Format:

Availability

Beytepe Library~1

Available:
Copies:

17.

International banking in theory and practice

Author

Park, Yoon S., 1935- Zwick, Jack, ort. yaz.

Preferred Shelf Number

HG 3881 P2954 1985

Format:

Availability

Beytepe Library~1

Available:
Copies:

18.

International financial management : theory and application

Author

Lessard, D. R. ed.

Preferred Shelf Number

HG 4028.I53 I57 1979

Format:

Availability

Beytepe Library~1

Available:
Copies:

19.

General equilibrium theory and international trade

Author

Negishi, Takashi, 1933-

Preferred Shelf Number

HB 74.M3 N35 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

20.

Theory and the international system

Author

McClelland, Charles A.

Preferred Shelf Number

JX1291 .M27 1966

Format:

Availability

Beytepe Library~1

Available:
Copies:

21.

Re-thinking international relations theory via deconstruction

Author

Arfi, Badredine.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

22.

Readings in the theory of international trade

Author

American Economic Association

Preferred Shelf Number

HF 1007 A5 1949

Format:

Availability

Beytepe Library~2

Available:
Copies:

23.

International relations theory : the game theoretic approach

Author

Kydd, Andrew H., 1963-

Preferred Shelf Number

JZ1305 K92 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

24.

Introduction to international relations theory and practice

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:

Availability

Online Library~1

Available:
Copies:

25.

International relations theory and philosophy interpretive dialogues

Author

Moore, Cerwyn. Farrands, Chris.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

26.

Criminal Profiling International Theory, Research, and Practice

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:

Availability

Online Library~1

Available:
Copies:

27.

International relations theory and the Asia-Pacific

Author

Ikenberry, G. John. Mastanduno, Michael.

Preferred Shelf Number

DS518.1 I58 2003

Format:

Availability

Beytepe Library~1

Available:
Copies:

28.

Ethics in international relations : a constitutive theory

Author

Frost, Mervyn.

Preferred Shelf Number

JX1255 .F76 1996

Format:

Availability

Beytepe Library~1

Available:
Copies:

29.

Economic development : theory policy and international relations

Author

Little, Ian Malcolm David.

Preferred Shelf Number

HD 82 L49 1982

Format:

Availability

Beytepe Library~1

Available:
Copies:

30.

International monetary relations : theory, history, and policy

Author

Yeager, Leland B.

Preferred Shelf Number

HG 3881 Y4

Format:

Availability

Beytepe Library~2

Available:
Copies:

31.

Studies in the theory of international trade

Author

Viner, Jacob, 1892-

Preferred Shelf Number

HF 1007 V55 1965

Format:

Availability

Beytepe Library~1

Available:
Copies:

32.

Customary international law a new theory with practical applications

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:

Availability

Online Library~1

Available:
Copies:

33.

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

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

Author

Barnett, William A.. Chiarella, Carl. Keen, Steve. Marks, Robert. Schnabl, Hermann.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

34.

Routledge international handbook of contemporary social and political theory

Author

Delanty, Gerard. Turner, Stephen P., 1951-

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

35.

Thucydides' theory of international relations : a lasting possession

Author

Thucydides, ed. Gustafson, Lowell S., ed.

Preferred Shelf Number

JZ 1305 T48 2000

Format:

Availability

Beytepe Library~1

Available:
Copies:

36.

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

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

Author

International Course on Nuclear Theory (1969 : Trieste).

Preferred Shelf Number

QC 173 I5471 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

37.

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

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:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

39.

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

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

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:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

41.

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

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

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:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for 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.

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.

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:

Availability

Online Library~1

Available:
Copies:

43.

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

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:

Availability

Beytepe Library~1

Available:
Copies:

44.

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

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:

Availability

Beytepe Library~1

Available:
Copies:

45.

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

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

Author

Friedeberg, Alfred Salomon, 1929-

Preferred Shelf Number

HF 1410 F7 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

46.

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

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

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:

Availability

Online Library~1

Available:
Copies:

47.

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

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

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:

Availability

Online Library~1

Available:
Copies:

48.

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

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

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:

Availability

Online Library~1

Available:
Copies:

49.

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

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

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:

Availability

Online Library~1

Available:
Copies:

50.

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

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:

Availability

Online Library~1

Available:
Copies:

51.

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

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

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:

Availability

Online Library~1

Available:
Copies:

52.

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

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

Author

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

Preferred Shelf Number

XX(520488.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

54.

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

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

Author

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

Preferred Shelf Number

XX(520840.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

57.

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

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:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

59.

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

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:

Availability

Online Library~1

Available:
Copies:

60.

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

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:

Availability

Online Library~1

Available:
Copies:

61.

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

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:

Availability

Online Library~1

Available:
Copies:

62.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

63.

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

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:

Availability

Online Library~1

Available:
Copies:

64.

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

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:

Availability

Online Library~1

Available:
Copies:

65.

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

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:

Availability

Online Library~1

Available:
Copies:

66.

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

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:

Availability

Online Library~1

Available:
Copies:

67.

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

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:

Availability

Online Library~1

Available:
Copies:

68.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

69.

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

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:

Availability

Online Library~1

Available:
Copies:

70.

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

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:

Availability

Online Library~1

Available:
Copies:

71.

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

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:

Availability

Online Library~1

Available:
Copies:

72.

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

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:

Availability

Online Library~1

Available:
Copies:

73.

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

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:

Availability

Online Library~1

Available:
Copies:

74.

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

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:

Availability

Online Library~1

Available:
Copies:

75.

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

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:

Availability

Online Library~1

Available:
Copies:

76.

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

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

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:

Availability

Online Library~1

Available:
Copies:

77.

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

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:

Availability

Online Library~1

Available:
Copies:

78.

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

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

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:

Availability

Online Library~1

Available:
Copies:

79.

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

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

Author

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

Preferred Shelf Number

XX(520629.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

80.

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

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

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:

Availability

Online Library~1

Available:
Copies:

81.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

82.

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

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:

Availability

Online Library~1

Available:
Copies:

83.

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

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:

Availability

Online Library~1

Available:
Copies:

84.

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

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:

Availability

Online Library~1

Available:
Copies:

85.

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

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:

Availability

Online Library~1

Available:
Copies:

86.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

87.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

88.

Routledge international handbook of contemporary social and political theory

Author

Delanty, Gerard, editor. Turner, Stephen P., 1951- editor.

Preferred Shelf Number

XX(512207.1)

Electronic Access

https://www.taylorfrancis.com/books/9781003111399

Format:

Availability

Online Library~1

Available:
Copies:

89.

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

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:

Availability

Online Library~1

Available:
Copies:

90.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

91.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

92.

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

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:

Availability

Online Library~1

Available:
Copies:

93.

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

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

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:

Availability

Online Library~1

Available:
Copies:

94.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

95.

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

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:

Availability

Online Library~1

Available:
Copies:

96.

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

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:

Availability

Online Library~1

Available:
Copies:

97.

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

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

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:

Availability

Online Library~1

Available:
Copies:

98.

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

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:

Availability

Online Library~1

Available:
Copies:

99.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

100.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

101.

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

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

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:

Availability

Online Library~1

Available:
Copies:

102.

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

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

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:

Availability

Online Library~1

Available:
Copies:

103.

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

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

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:

Availability

Online Library~1

Available:
Copies:

104.

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

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:

Availability

Online Library~1

Available:
Copies:

105.

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

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

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:

Availability

Online Library~1

Available:
Copies:

106.

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

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:

Availability

Online Library~1

Available:
Copies:

107.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

108.

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

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:

Availability

Online Library~1

Available:
Copies:

109.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

110.

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

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:

Availability

Online Library~1

Available:
Copies:

111.

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

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:

Availability

Online Library~1

Available:
Copies:

112.

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

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

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:

Availability

Online Library~1

Available:
Copies:

113.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

114.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

115.

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

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

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:

Availability

Online Library~1

Available:
Copies:

116.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

117.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

118.

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

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

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:

Availability

Online Library~1

Available:
Copies:

119.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

120.

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

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

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:

Availability

Online Library~1

Available:
Copies:

121.

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

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:

Availability

Online Library~1

Available:
Copies:

122.

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

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:

Availability

Online Library~1

Available:
Copies:

123.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

124.

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

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:

Availability

Online Library~1

Available:
Copies:

125.

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

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

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:

Availability

Online Library~1

Available:
Copies:

126.

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

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

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:

Availability

Online Library~1

Available:
Copies:

127.

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

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:

Availability

Online Library~1

Available:
Copies:

128.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

129.

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

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:

Availability

Online Library~1

Available:
Copies:

130.

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

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

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:

Availability

Online Library~1

Available:
Copies:

131.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

132.

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

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

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:

Availability

Online Library~1

Available:
Copies:

133.

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

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:

Availability

Online Library~1

Available:
Copies:

134.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

135.

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

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:

Availability

Online Library~1

Available:
Copies:

136.

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

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:

Availability

Online Library~1

Available:
Copies:

137.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

138.

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

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:

Availability

Online Library~1

Available:
Copies:

139.

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

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

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:

Availability

Online Library~1

Available:
Copies:

140.

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

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:

Availability

Online Library~1

Available:
Copies:

141.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

142.

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

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

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:

Availability

Online Library~1

Available:
Copies:

143.

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

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

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:

Availability

Online Library~1

Available:
Copies:

144.

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

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

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:

Availability

Online Library~1

Available:
Copies:

145.

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

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

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:

Availability

Online Library~1

Available:
Copies:

146.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

147.

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

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:

Availability

Online Library~1

Available:
Copies:

148.

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

Author

Deng, Xiaotie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99660-8

Format:

Availability

Online Library~1

Available:
Copies:

149.

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

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

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:

Availability

Online Library~1

Available:
Copies:

150.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

151.

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

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

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:

Availability

Online Library~1

Available:
Copies:

152.

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

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:

Availability

Online Library~1

Available:
Copies:

153.

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

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:

Availability

Online Library~1

Available:
Copies:

154.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

155.

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

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:

Availability

Online Library~1

Available:
Copies:

156.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

157.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

158.

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

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:

Availability

Online Library~1

Available:
Copies:

159.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

160.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

161.

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

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

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:

Availability

Online Library~1

Available:
Copies:

162.

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

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:

Availability

Online Library~1

Available:
Copies:

163.

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

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:

Availability

Online Library~1

Available:
Copies:

164.

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

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

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:

Availability

Online Library~1

Available:
Copies:

165.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

166.

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

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:

Availability

Online Library~1

Available:
Copies:

167.

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

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

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:

Availability

Online Library~1

Available:
Copies:

168.

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

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

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:

Availability

Online Library~1

Available:
Copies:

169.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

170.

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

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:

Availability

Online Library~1

Available:
Copies:

171.

The international encyclopedia of communication theory and philosophy

Author

Jensen, Klaus Bruhn. Craig, Robert T.

Preferred Shelf Number

REF P91 I575 2016 V.1

Format:

Availability

Beytepe Library~4

Available:
Copies:

172.

International perspectives on crowdfunding : positive, normative and critical theory

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:

Availability

Online Library~1

Available:
Copies:

173.

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

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

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:

Availability

Online Library~1

Available:
Copies:

174.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

175.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

176.

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

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

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:

Availability

Online Library~1

Available:
Copies:

177.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

178.

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

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:

Availability

Online Library~1

Available:
Copies:

179.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

180.

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

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

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:

Availability

Online Library~1

Available:
Copies:

181.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

182.

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

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

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:

Availability

Online Library~1

Available:
Copies:

183.

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

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

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:

Availability

Online Library~1

Available:
Copies:

184.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

185.

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

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:

Availability

Online Library~1

Available:
Copies:

186.

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

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

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:

Availability

Online Library~1

Available:
Copies:

187.

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

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:

Availability

Online Library~1

Available:
Copies:

188.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

189.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

190.

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

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:

Availability

Online Library~1

Available:
Copies:

191.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

192.

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

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

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:

Availability

Online Library~1

Available:
Copies:

193.

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

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

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:

Availability

Online Library~1

Available:
Copies:

194.

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

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:

Availability

Online Library~1

Available:
Copies:

195.

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

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:

Availability

Online Library~1

Available:
Copies:

196.

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

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:

Availability

Online Library~1

Available:
Copies:

197.

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

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:

Availability

Online Library~1

Available:
Copies:

198.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

199.

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

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:

Availability

Online Library~1

Available:
Copies:

200.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

201.

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

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

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:

Availability

Online Library~1

Available:
Copies:

202.

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

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:

Availability

Online Library~1

Available:
Copies:

203.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

204.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

205.

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

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:

Availability

Online Library~1

Available:
Copies:

206.

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

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:

Availability

Online Library~1

Available:
Copies:

207.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

208.

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

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

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:

Availability

Online Library~1

Available:
Copies:

209.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

210.

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

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

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:

Availability

Online Library~1

Available:
Copies:

211.

Cover image for 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

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

Author

Cohen, Albert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54807-9

Format:

Availability

Online Library~1

Available:
Copies:

212.

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

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:

Availability

Online Library~1

Available:
Copies:

213.

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

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:

Availability

Online Library~1

Available:
Copies:

214.

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

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

Author

Cuzzolin, Fabio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-11191-9

Format:

Availability

Online Library~1

Available:
Copies:

215.

Cover image for 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

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

Author

Muscholl, Anca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54830-7

Format:

Availability

Online Library~1

Available:
Copies:

216.

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

Author

Baldan, Paolo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44584-6

Format:

Availability

Online Library~1

Available:
Copies:

217.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

218.

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

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:

Availability

Online Library~1

Available:
Copies:

219.

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

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

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:

Availability

Online Library~1

Available:
Copies:

220.

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

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

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:

Availability

Online Library~1

Available:
Copies:

221.

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

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:

Availability

Online Library~1

Available:
Copies:

222.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

223.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

224.

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

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

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:

Availability

Online Library~1

Available:
Copies:

225.

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

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:

Availability

Online Library~1

Available:
Copies:

226.

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

Author

Lavi, Ron. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44803-8

Format:

Availability

Online Library~1

Available:
Copies:

227.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

228.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

229.

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

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

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:

Availability

Online Library~1

Available:
Copies:

230.

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

Author

Lindell, Yehuda. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54242-8

Format:

Availability

Online Library~1

Available:
Copies:

231.

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

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

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:

Availability

Online Library~1

Available:
Copies:

232.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

233.

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

Author

von Bernstorff, Jochen.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

234.

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

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

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:

Availability

Online Library~1

Available:
Copies:

235.

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

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

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:

Availability

Online Library~1

Available:
Copies:

236.

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

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:

Availability

Online Library~1

Available:
Copies:

237.

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

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

Author

Krawczyk, Hugo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54631-0

Format:

Availability

Online Library~1

Available:
Copies:

238.

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

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

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:

Availability

Online Library~1

Available:
Copies:

239.

Militarism and international relations : political economy, security and theory

Author

Stavrianakis, Anna. Selby, Jan, 1972-

Preferred Shelf Number

JZ1251 M56 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

240.

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

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:

Availability

Online Library~1

Available:
Copies:

241.

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

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

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:

Availability

Online Library~1

Available:
Copies:

242.

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

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

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:

Availability

Online Library~1

Available:
Copies:

243.

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

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:

Availability

Online Library~1

Available:
Copies:

244.

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

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

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:

Availability

Online Library~1

Available:
Copies:

245.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

246.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

247.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

248.

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

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:

Availability

Online Library~1

Available:
Copies:

249.

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

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:

Availability

Online Library~1

Available:
Copies:

250.

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

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

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:

Availability

Online Library~1

Available:
Copies:

251.

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

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:

Availability

Online Library~1

Available:
Copies:

252.

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

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:

Availability

Online Library~1

Available:
Copies:

253.

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

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

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:

Availability

Online Library~1

Available:
Copies:

254.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

255.

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

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:

Availability

Online Library~1

Available:
Copies:

256.

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

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:

Availability

Online Library~1

Available:
Copies:

257.

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

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:

Availability

Online Library~1

Available:
Copies:

258.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

259.

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

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:

Availability

Online Library~1

Available:
Copies:

260.

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

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

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:

Availability

Online Library~1

Available:
Copies:

261.

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

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

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:

Availability

Online Library~1

Available:
Copies:

262.

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

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:

Availability

Online Library~1

Available:
Copies:

263.

Lie Theory and Its Applications in Physics IX International Workshop

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:

Availability

Online Library~1

Available:
Copies:

264.

Bringing sociology to international relations : world politics as differentiation theory

Author

Albert, Mathias.

Preferred Shelf Number

JZ1251 B75 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

265.

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

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:

Availability

Online Library~1

Available:
Copies:

266.

Militarism and international relations political economy, security, theory

Author

Stavrianakis, Anna. Selby, Jan, 1972-

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

267.

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

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:

Availability

Online Library~1

Available:
Copies:

268.

Cosmopolitanism in Context Perspectives from International Law and Political Theory

Author

Pierik, Roland. Werner, Wouter.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

269.

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

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

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:

Availability

Online Library~1

Available:
Copies:

270.

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

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

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:

Availability

Online Library~1

Available:
Copies:

271.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

272.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

273.

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

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

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:

Availability

Online Library~1

Available:
Copies:

274.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

275.

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

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

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:

Availability

Online Library~1

Available:
Copies:

276.

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

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

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:

Availability

Online Library~1

Available:
Copies:

277.

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

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

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:

Availability

Online Library~1

Available:
Copies:

278.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

279.

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

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

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:

Availability

Online Library~1

Available:
Copies:

280.

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

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

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:

Availability

Online Library~1

Available:
Copies:

281.

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

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

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:

Availability

Online Library~1

Available:
Copies:

282.

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

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

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:

Availability

Online Library~1

Available:
Copies:

283.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

284.

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

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

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:

Availability

Online Library~1

Available:
Copies:

285.

French post-war social theory : international knowledge transfer

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:

Availability

Online Library~1

Available:
Copies:

286.

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

Author

Trachtenberg, Marc.

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.2307/j.ctt7rk9r

Format:

Availability

Online Library~1

Available:
Copies:

287.

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

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

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:

Availability

Online Library~1

Available:
Copies:

288.

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

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

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:

Availability

Online Library~1

Available:
Copies:

289.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

290.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

291.

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

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

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:

Availability

Online Library~1

Available:
Copies:

292.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

293.

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

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:

Availability

Online Library~1

Available:
Copies:

294.

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

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

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:

Availability

Online Library~1

Available:
Copies:

295.

Core social work international theory, values and practice

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:

Availability

Online Library~1

Available:
Copies:

296.

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

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:

Availability

Online Library~1

Available:
Copies:

297.

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

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

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:

Availability

Online Library~1

Available:
Copies:

298.

Kant and international relations theory cosmopolitan community-building

Author

Ion, Dora, 1974-

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

299.

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

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

Author

Yearwood, Ronnie R. F.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

300.

International development and global politics history, theory and practice

Author

Williams, David, 1969-

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}