Search Results for Algorithms

1.

Cover image for Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Author

Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-71112-1

Format:

Availability

Online Library~1

Available:
Copies:

2.

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Author

Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72621-7

Format:

Availability

Online Library~1

Available:
Copies:

3.

Visual object tracking using deep learning

Author

Kumar, Ashish (Analyst), author.

Preferred Shelf Number

TK6592 .A9

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003456322
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

4.

Combinatorial and algorithmic mathematics : from foundation to optimization

Author

Alzalg, Baha, author.

Preferred Shelf Number

QA164 .A4693 2024

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394235971

Format:

Availability

Online Library~1

Available:
Copies:

5.

Bio-inspired optimization for medical data mining

Author

Srivastava, Sumit, editor.

Preferred Shelf Number

R859.7 .D35 B56 2024

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214211

Format:

Availability

Online Library~1

Available:
Copies:

6.

Recent Advances in Computational Optimization Selected Papers from the WCO 2022 - Workshop on Computational Optimization

Author

Fidanova, Stefka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-57320-0

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part I

Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part I

Author

Lee, Chao-Yang. editor. (orcid)0000-0003-3898-3551 Lin, Chun-Li. editor. Chang, Hsuan-Ting. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-1711-8

Format:

Availability

Online Library~1

Available:
Copies:

8.

Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part II

Author

Lee, Chao-Yang. editor. (orcid)0000-0003-3898-3551 Lin, Chun-Li. editor. Chang, Hsuan-Ting. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-1714-9

Format:

Availability

Online Library~1

Available:
Copies:

9.

Comparative Genomics 21st International Conference, RECOMB-CG 2024, Boston, MA, USA, April 27-28, 2024, Proceedings

Author

Scornavacca, Celine. editor. (orcid)0009-0004-0179-9771 Hernández-Rosales, Maribel. editor. (orcid)0000-0003-1878-1223 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-58072-7

Format:

Availability

Online Library~1

Available:
Copies:

10.

5G Edge Computing Technologies, Applications and Future Visions

Author

Ma, Xiao. author. (orcid)0000-0001-5742-8890 Xu, Mengwei. author. Li, Qing. author. Li, Yuanzhe. author. Zhou, Ao. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0213-8

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers

Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers

Author

Basu, Amitabh. editor. (orcid)0000-0002-1070-2626 Mahjoub, Ali Ridha. editor. (orcid)0000-0002-1079-1892 Salazar González, Juan José. editor. (orcid)0000-0001-5683-0271 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-60924-4

Format:

Availability

Online Library~1

Available:
Copies:

12.

The Semantic Web 21st International Conference, ESWC 2024, Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part I

Author

Meroño Peñuela, Albert. editor. (orcid)0000-0003-4646-5842 Dimou, Anastasia. editor. (orcid)0000-0003-2138-7972 Troncy, Raphaël. editor. (orcid)0000-0003-0457-1436 Hartig, Olaf. editor. (orcid)0000-0002-1741-2090 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-60626-7

Format:

Availability

Online Library~1

Available:
Copies:

13.

Proceedings of the 12th International Conference on Soft Computing for Problem Solving SocProS 2023, Volume 2

Author

Pant, Millie. editor. (orcid)0000-0002-7668-7887 Deep, Kusum. editor. (orcid)0000-0001-5821-2696 Nagar, Atulya. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-3292-0

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Author

Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-64285-2

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Twenty Years of Theoretical and Practical Synergies 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings

Twenty Years of Theoretical and Practical Synergies 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings

Author

Levy Patey, Ludovic. editor. (orcid)0000-0002-0304-7926 Pimentel, Elaine. editor. (orcid)0000-0002-7113-0801 Galeotti, Lorenzo. editor. Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-64309-5

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Advances in Neural Networks - ISNN 2024 18th International Symposium on Neural Networks, Weihai, China, July 11-14, 2024, Proceedings

Advances in Neural Networks - ISNN 2024 18th International Symposium on Neural Networks, Weihai, China, July 11-14, 2024, Proceedings

Author

Le, Xinyi. editor. (orcid)0000-0003-0318-9497 Zhang, Zhijun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-4399-5

Format:

Availability

Online Library~1

Available:
Copies:

17.

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-65633-0

Format:

Availability

Online Library~1

Available:
Copies:

18.

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-65627-9

Format:

Availability

Online Library~1

Available:
Copies:

19.

Proceedings of the 12th International Conference on Soft Computing for Problem Solving SocProS 2023, Volume 1

Author

Pant, Millie. editor. (orcid)0000-0002-7668-7887 Deep, Kusum. editor. (orcid)0000-0001-5821-2696 Nagar, Atulya. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-3180-0

Format:

Availability

Online Library~1

Available:
Copies:

20.

Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings

Author

Schäfer, Guido. editor. (orcid)0000-0002-1923-4902 Ventre, Carmine. editor. (orcid)0000-0003-1464-1215 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-71033-9

Format:

Availability

Online Library~1

Available:
Copies:

21.

Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach

Author

Li, Youqi. author. (orcid)0000-0003-3867-5997 Li, Fan. author. (orcid)0000-0002-2348-4488 Yang, Song. author. Zhang, Chuan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-6921-0

Format:

Availability

Online Library~1

Available:
Copies:

22.

Frontiers in Genetics Algorithm Theory and Applications

Author

Khosravy, Mahdi. editor. (orcid)0000-0001-5375-391X Gupta, Neeraj. editor. (orcid)0000-0001-5375-391X Witkowski, Olaf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8107-6

Format:

Availability

Online Library~1

Available:
Copies:

23.

Robust Sliding Mode Protocols for Formation of Quadcopter Swarm

Author

Mehta, Axaykumar. author. (orcid)0000-0002-3509-2705 Modi, Akash. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-9726-8

Format:

Availability

Online Library~1

Available:
Copies:

24.

Toward Connected, Cooperative and Intelligent IoV Frontier Technologies and Applications

Author

Liu, Kai. author. Dai, Penglin. author. (orcid)0000-0002-3074-4620 Lee, Victor C.S. author. Ng, Joseph Kee-Yin. author. Son, Sang Hyuk. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-9647-6

Format:

Availability

Online Library~1

Available:
Copies:

25.

Applied Multi-objective Optimization

Author

Dey, Nilanjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0353-1

Format:

Availability

Online Library~1

Available:
Copies:

26.

Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings

Author

Chen, Xujin. editor. (orcid)0000-0001-7844-5411 Li, Bo. editor. (orcid)0000-0001-7500-8355 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2340-9

Format:

Availability

Online Library~1

Available:
Copies:

27.

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-65630-9

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Pattern Recognition and Machine Intelligence 9th International Conference, PReMI 2021, Kolkata, India, December 15-18, 2021, Proceedings

Pattern Recognition and Machine Intelligence 9th International Conference, PReMI 2021, Kolkata, India, December 15-18, 2021, Proceedings

Author

Ghosh, Ashish. editor. King, Irwin. editor. Bhattacharyya, Malay. editor. Sankar Ray, Shubhra. editor. K. Pal, Sankar. editor. (orcid)0000-0003-3301-4751

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-12700-7

Format:

Availability

Online Library~1

Available:
Copies:

29.

Intelligent Methods in Electrical Power Systems

Author

Khadse, Chetan B. editor. Kale, Ishaan R. editor. (orcid)0000-0003-2983-5004 Shastri, Apoorva S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-5718-3

Format:

Availability

Online Library~1

Available:
Copies:

30.

Web and Internet Economics 19th International Conference, WINE 2023, Shanghai, China, December 4-8, 2023, Proceedings

Author

Garg, Jugal. editor. Klimm, Max. editor. Kong, Yuqing. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-48974-7

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Computational Visual Media 12th International Conference, CVM 2024, Wellington, New Zealand, April 10-12, 2024, Proceedings, Part II

Computational Visual Media 12th International Conference, CVM 2024, Wellington, New Zealand, April 10-12, 2024, Proceedings, Part II

Author

Zhang, Fang-Lue. editor. Sharf, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2092-7

Format:

Availability

Online Library~1

Available:
Copies:

32.

Computational Visual Media 12th International Conference, CVM 2024, Wellington, New Zealand, April 10-12, 2024, Proceedings, Part I

Author

Zhang, Fang-Lue. editor. Sharf, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2095-8

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings

Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings

Author

Emek, Yuval. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Computer Algebra in Scientific Computing 26th International Workshop, CASC 2024, Rennes, France, September 2-6, 2024, Proceedings

Author

Boulier, François. editor. (orcid)0000-0002-6663-719X Mou, Chenqi. editor. (orcid)0000-0002-5070-5928 Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-69070-9

Format:

Availability

Online Library~1

Available:
Copies:

35.

Artificial intelligence and machine learning techniques in image processing and computer vision

Author

Arya, Karm Veer, editor. Rodriguez, Ciro, editor. Singh, Saurabh (Head of Department in the Department of Computer Science and Engineering), editor. Singhal, Abhishek, editor.

Preferred Shelf Number

TA1634

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003425700
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

36.

Swarm Intelligence 14th International Conference, ANTS 2024, Konstanz, Germany, October 9-11, 2024, Proceedings

Author

Hamann, Heiko. editor. (orcid)0000-0002-2458-8289 Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Pérez Cáceres, Leslie. editor. (orcid)0000-0001-5553-6150 Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X Kuckling, Jonas. editor. (orcid)0000-0003-2391-2275

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

A Nature-Inspired Approach to Cryptology

Author

Shandilya, Shishir Kumar. author. Datta, Agni. author. Nagar, Atulya K. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-7081-0

Format:

Availability

Online Library~1

Available:
Copies:

38.

Soft Computing for Problem Solving Proceedings of the SocProS 2022

Author

Thakur, Manoj. editor. Agnihotri, Samar. editor. Rajpurohit, Bharat Singh. editor. Pant, Millie. editor. (orcid)0000-0002-7668-7887 Deep, Kusum. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-6525-8

Format:

Availability

Online Library~1

Available:
Copies:

39.

Handling Uncertainty in Artificial Intelligence

Author

Chaki, Jyotismita. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-5333-2

Format:

Availability

Online Library~1

Available:
Copies:

40.

Fourth International Conference on Image Processing and Capsule Networks ICIPCN 2023

Author

Shakya, Subarna. editor. Tavares, João Manuel R. S. editor. Fernández-Caballero, Antonio. editor. Papakostas, George. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-7093-3

Format:

Availability

Online Library~1

Available:
Copies:

41.

How to think about data science

Author

Miranda-Saavedra, Diego, author.

Preferred Shelf Number

QA276.12 .M57 2023

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003340850
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

42.

Sine Cosine Algorithm for Optimization

Author

Bansal, Jagdish Chand. author. Bajpai, Prathu. author. Rawat, Anjali. author. Nagar, Atulya K. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-9722-8

Format:

Availability

Online Library~1

Available:
Copies:

43.

Topological Obstructions to Stability and Stabilization History, Recent Advances and Open Problems

Author

Jongeneel, Wouter. author. Moulay, Emmanuel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30133-9

Format:

Availability

Online Library~1

Available:
Copies:

44.

Principles of Signals and Systems

Author

Gazi, Orhan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-17789-7

Format:

Availability

Online Library~1

Available:
Copies:

45.

Applied Genetic Algorithm and Its Variants Case Studies and New Developments

Author

Dey, Nilanjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-3428-7

Format:

Availability

Online Library~1

Available:
Copies:

46.

Machine learning for risk calculations : a practitioner's view

Author

Ruiz, Ignacio, 1972- author. Laris, Mariano Zeron Medina, author.

Preferred Shelf Number

Q325.5

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119791416

Format:

Availability

Online Library~1

Available:
Copies:

47.

Introduction to Computational Mathematics An Outline

Author

Bauldry, William C., author.

Preferred Shelf Number

QA36

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003299257
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

48.

Algorithm audit : why, what, and how?

Author

Aragona, B. (Biagio), author.

Preferred Shelf Number

H62 .A6298 2022

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003080381
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

49.

Matrix and tensor decompositions in signal processing

Author

Favier, Gérard, author.

Preferred Shelf Number

TK5102.9

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119700999

Format:

Availability

Online Library~1

Available:
Copies:

50.

Constraint handling in cohort intelligence algorithm

Author

Kale, Ishaan R., author. Kulkarni, Anand Jayant, author.

Preferred Shelf Number

XX(574180.1)

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003245193
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

51.

Ayrık matematik : soru çözümlü

Author

Büyükköse, Şerife. Çakır, Özlem.

Preferred Shelf Number

QA76.9.A43 B898 2021

Format:

Availability

Beytepe Library~1

Available:
Copies:

52.

Design and optimization for 5G wireless communications

Author

Kim, Haesik, author.

Preferred Shelf Number

TK5103.25 .K56 2020

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119494492

Format:

Availability

Online Library~1

Available:
Copies:

53.

Role of edge analytics in sustainable smart city development : challenges and solutions

Author

Kanagachidambaresan, G. R., 1988- editor.

Preferred Shelf Number

TD159.4 .R65 2020

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119681328

Format:

Availability

Online Library~1

Available:
Copies:

54.

Robust and Error-Free Geometric Computing.

Author

Eberly, Dave.

Preferred Shelf Number

T57.825 .E24 2020

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9780429330506
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

55.

Algoritma geliştirme ve veri yapıları

Author

Çobanoğlu, Bülent.

Preferred Shelf Number

QA76.9 C63 2020

Format:

Availability

Beytepe Library~1

Available:
Copies:

56.

Algoritma geliştirme ve programlamaya giriş

Author

Vatansever, Fahri.

Preferred Shelf Number

QA76.6 V56 2020

Format:

Availability

Beytepe Library~1

Available:
Copies:

57.

Algoritmalara Giriş

Author

Cormen, Thomas H. Nuriyev, Urfat. Nasiboğlu, Efendi. Öner, Tahsin.

Preferred Shelf Number

QA76.6 C663 2020

Format:

Availability

Beytepe Library~2

Available:
Copies:

58.

Paralel algoritmalar : modeller ve yöntemleri

Author

Haşıloğlu, Abdulsamet.

Preferred Shelf Number

QA76.58 H38 2020

Format:

Availability

Beytepe Library~1

Available:
Copies:

59.

Efficient multirate teletraffic loss models beyond Erlang

Author

Moscholios, Ioannis D., author. Logothetis, Michael (Professor at the University of Patras), author.

Preferred Shelf Number

TK5102.985 .M67 2019

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119426974

Format:

Availability

Online Library~1

Available:
Copies:

60.

Python machine learning

Author

Lee, Wei-Meng, author.

Preferred Shelf Number

QA76.73 .P98 L44 2019 EB

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119557500

Format:

Availability

Online Library~1

Available:
Copies:

61.

Keras to Kubernetes : the journey of a machine learning model to production

Author

Rao, Dattaraj, author.

Preferred Shelf Number

Q325.5 .R36 2019

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119564843

Format:

Availability

Online Library~1

Available:
Copies:

62.

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:

63.

Cover image for Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

Author

Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35092-5

Format:

Availability

Online Library~1

Available:
Copies:

64.

Evolutionary Computation and Complex Networks

Author

Liu, Jing. author. Abbass, Hussein A. author. Tan, Kay Chen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60000-0

Format:

Availability

Online Library~1

Available:
Copies:

65.

Computing and Software Science State of the Art and Perspectives

Author

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Cover image for Genetic Programming 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Genetic Programming 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Author

Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Hu, Ting. editor. (orcid)0000-0001-6382-0602 Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Richter, Hendrik. editor. (orcid)0000-0001-5417-8291 García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-16670-0

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for Advances in Swarm Intelligence 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part II

Advances in Swarm Intelligence 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part II

Author

Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-26354-6

Format:

Availability

Online Library~1

Available:
Copies:

68.

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:

69.

Cover image for Algorithmic Aspects in Information and Management 13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings

Algorithmic Aspects in Information and Management 13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings

Author

Du, Ding-Zhu. editor. Li, Lian. editor. Sun, Xiaoming. editor. Zhang, Jialin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27195-4

Format:

Availability

Online Library~1

Available:
Copies:

70.

Cover image for Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part II

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part II

Author

Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27532-7

Format:

Availability

Online Library~1

Available:
Copies:

71.

Cover image for Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings

Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings

Author

Censor-Hillel, Keren. editor. Flammini, Michele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-24922-9

Format:

Availability

Online Library~1

Available:
Copies:

72.

Deep Reinforcement Learning Frontiers of Artificial Intelligence

Author

Sewak, Mohit. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-8285-7

Format:

Availability

Online Library~1

Available:
Copies:

73.

Cover image for Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-12988-0

Format:

Availability

Online Library~1

Available:
Copies:

74.

Cover image for Artificial Intelligence XXXVI 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17–19, 2019, Proceedings

Artificial Intelligence XXXVI 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17–19, 2019, Proceedings

Author

Bramer, Max. editor. Petridis, Miltos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-34885-4

Format:

Availability

Online Library~1

Available:
Copies:

75.

Çocuklarda bulgudan tanıya algoritmalar

Author

Çil, Ergün. ostan, Özlem M. Eren, Erdal. Uysal, Fahrettin. Akbaş, Şadiye.

Preferred Shelf Number

WS 100 C638 2019

Format:

Availability

Health Sciences Library~1

Available:
Copies:

76.

Cover image for Advances in Neural Networks – ISNN 2019 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part I

Advances in Neural Networks – ISNN 2019 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part I

Author

Lu, Huchuan. editor. Tang, Huajin. editor. Wang, Zhanshan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22796-8

Format:

Availability

Online Library~1

Available:
Copies:

77.

Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30985-5

Format:

Availability

Online Library~1

Available:
Copies:

78.

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22348-9

Format:

Availability

Online Library~1

Available:
Copies:

79.

Computing and Combinatorics 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings

Author

Du, Ding-Zhu. editor. Duan, Zhenhua. editor. Tian, Cong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-26176-4

Format:

Availability

Online Library~1

Available:
Copies:

80.

Cover image for Machine Learning, Optimization, and Data Science 4th International Conference, LOD 2018, Volterra, Italy, September 13-16, 2018, Revised Selected Papers

Machine Learning, Optimization, and Data Science 4th International Conference, LOD 2018, Volterra, Italy, September 13-16, 2018, Revised Selected Papers

Author

Nicosia, Giuseppe. editor. Pardalos, Panos. editor. Giuffrida, Giovanni. editor. (orcid)0000-0001-5490-779X Umeton, Renato. editor. (orcid)0000-0002-5561-6932 Sciacca, Vincenzo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-13709-0

Format:

Availability

Online Library~1

Available:
Copies:

81.

Cover image for Evolutionary Multi-Criterion Optimization 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings

Evolutionary Multi-Criterion Optimization 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings

Author

Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 Goodman, Erik. editor. Coello Coello, Carlos A. editor. (orcid)0000-0002-8435-680X Klamroth, Kathrin. editor. Miettinen, Kaisa. editor. (orcid)0000-0003-1013-4689

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-12598-1

Format:

Availability

Online Library~1

Available:
Copies:

82.

Cover image for Evolutionary Computation in Combinatorial Optimization 19th European Conference, EvoCOP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Evolutionary Computation in Combinatorial Optimization 19th European Conference, EvoCOP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Author

Liefooghe, Arnaud. editor. (orcid)0000-0003-3283-3122 Paquete, Luís. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-16711-0

Format:

Availability

Online Library~1

Available:
Copies:

83.

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30942-8

Format:

Availability

Online Library~1

Available:
Copies:

84.

Cover image for Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers

Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers

Author

Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X Mordonini, Monica. editor. (orcid)0000-0002-5916-9770 Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Villani, Marco. editor. (orcid)0000-0002-5991-5470

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21733-4

Format:

Availability

Online Library~1

Available:
Copies:

85.

An Introduction to Kolmogorov Complexity and Its Applications

Author

Li, Ming. author. Vitányi, Paul. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-11298-1

Format:

Availability

Online Library~1

Available:
Copies:

86.

Cover image for Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings

Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings

Author

Manea, Florin. editor. Martin, Barnaby. editor. Paulusma, Daniël. editor. Primiero, Giuseppe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22996-2

Format:

Availability

Online Library~1

Available:
Copies:

87.

Cover image for Knowledge Science, Engineering and Management 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part II

Knowledge Science, Engineering and Management 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part II

Author

Douligeris, Christos. editor. (orcid)0000-0002-6849-6693 Karagiannis, Dimitris. editor. (orcid)0000-0003-2162-9740 Apostolou, Dimitris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29563-9

Format:

Availability

Online Library~1

Available:
Copies:

88.

Knowledge Science, Engineering and Management 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part I

Author

Douligeris, Christos. editor. (orcid)0000-0002-6849-6693 Karagiannis, Dimitris. editor. (orcid)0000-0003-2162-9740 Apostolou, Dimitris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29551-6

Format:

Availability

Online Library~1

Available:
Copies:

89.

Deep Learning: Fundamentals, Theory and Applications

Author

Huang, Kaizhu. editor. (orcid)0000-0002-3034-9639 Hussain, Amir. editor. Wang, Qiu-Feng. editor. Zhang, Rui. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-06073-2

Format:

Availability

Online Library~1

Available:
Copies:

90.

Cover image for Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings

Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings

Author

Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30275-7

Format:

Availability

Online Library~1

Available:
Copies:

91.

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:

92.

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Author

Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-18744-6

Format:

Availability

Online Library~1

Available:
Copies:

93.

Cover image for Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings

Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings

Author

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Batyrshin, Ildar. editor. Marín-Hernández, Antonio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-33749-0

Format:

Availability

Online Library~1

Available:
Copies:

94.

Cover image for Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Author

Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-16692-2

Format:

Availability

Online Library~1

Available:
Copies:

95.

Cover image for Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings

Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings

Author

Lodi, Andrea. editor. (orcid)0000-0001-9269-633X Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17953-3

Format:

Availability

Online Library~1

Available:
Copies:

96.

Cover image for Graph Drawing and Network Visualization 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedings

Graph Drawing and Network Visualization 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedings

Author

Archambault, Daniel. editor. (orcid)0000-0003-4978-8479 Tóth, Csaba D. editor. (orcid)0000-0002-8769-3190 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35802-0

Format:

Availability

Online Library~1

Available:
Copies:

97.

Cover image for Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part II

Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part II

Author

Sun, Xingming. editor. (orcid)0000-0003-1390-399X Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X Bertino, Elisa. editor. (orcid)0000-0002-4029-7051 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-24265-7

Format:

Availability

Online Library~1

Available:
Copies:

98.

Cover image for Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Author

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31784-3

Format:

Availability

Online Library~1

Available:
Copies:

99.

Cover image for Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part II

Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part II

Author

Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Karpov, Pavel. editor. (orcid)0000-0003-4786-9806 Theis, Fabian. editor. (orcid)0000-0002-2419-1943 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30484-3

Format:

Availability

Online Library~1

Available:
Copies:

100.

Pattern Recognition 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings

Author

Carrasco-Ochoa, Jesús Ariel. editor. Martínez-Trinidad, José Francisco. editor. Olvera-López, José Arturo. editor. (orcid)0000-0003-0639-1463 Salas, Joaquín. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21077-9

Format:

Availability

Online Library~1

Available:
Copies:

101.

Hybrid Artificial Intelligent Systems 14th International Conference, HAIS 2019, León, Spain, September 4–6, 2019, Proceedings

Author

Pérez García, Hilde. editor. (orcid)0000-0001-7112-1983 Sánchez González, Lidia. editor. (orcid)0000-0002-0760-1170 Castejón Limas, Manuel. editor. (orcid)0000-0002-5152-4555 Quintián Pardo, Héctor. editor. (orcid)0000-0002-0268-7999 Corchado Rodríguez, Emilio. editor. (orcid)0000-0001-8560-3991

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29859-3

Format:

Availability

Online Library~1

Available:
Copies:

102.

Global algorithmic capital markets : high frequency trading, dark pools, and regulatory challenges

Author

Mattli, Walter.

Preferred Shelf Number

HG4523 G555 2019

Format:

Availability

Beytepe Library~1

Available:
Copies:

103.

Towards Autonomous Robotic Systems 20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings, Part II

Author

Althoefer, Kaspar. editor. Konstantinova, Jelizaveta. editor. Zhang, Ketao. editor. (orcid)0000-0002-6033-071X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-25332-5

Format:

Availability

Online Library~1

Available:
Copies:

104.

Advances in Swarm Intelligence 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I

Author

Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-26369-0

Format:

Availability

Online Library~1

Available:
Copies:

105.

Computational Techniques for Human Smile Analysis

Author

Ugail, Hassan. author. Aldahoud, Ahmad Ali Asad. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-15381-6

Format:

Availability

Online Library~1

Available:
Copies:

106.

Advances in Audio Watermarking Based on Matrix Decomposition

Author

Dhar, Pranab Kumar. author. Shimamura, Tetsuya. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-15726-5

Format:

Availability

Online Library~1

Available:
Copies:

107.

Cover image for Algorithmic Aspects of Cloud Computing 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers

Algorithmic Aspects of Cloud Computing 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers

Author

Disser, Yann. editor. (orcid)0000-0002-2085-0454 Verykios, Vassilios S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-19759-9

Format:

Availability

Online Library~1

Available:
Copies:

108.

Cover image for Quantum Technology and Optimization Problems First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings

Quantum Technology and Optimization Problems First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings

Author

Feld, Sebastian. editor. Linnhoff-Popien, Claudia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14082-3

Format:

Availability

Online Library~1

Available:
Copies:

109.

Cover image for Pattern Recognition and Machine Intelligence 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I

Pattern Recognition and Machine Intelligence 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I

Author

Deka, Bhabesh. editor. (orcid)0000-0002-9679-6159 Maji, Pradipta. editor. (orcid)0000-0002-8288-8917 Mitra, Sushmita. editor. (orcid)0000-0001-9285-1117 Bhattacharyya, Dhruba Kumar. editor. (orcid)0000-0002-9506-7640 Bora, Prabin Kumar. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-34869-4

Format:

Availability

Online Library~1

Available:
Copies:

110.

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV

Author

Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27538-9

Format:

Availability

Online Library~1

Available:
Copies:

111.

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI

Author

Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27529-7

Format:

Availability

Online Library~1

Available:
Copies:

112.

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

Author

Coecke, Bob. editor. (orcid)0000-0002-5310-8723 Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35895-2

Format:

Availability

Online Library~1

Available:
Copies:

113.

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Author

Lujak, Marin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17294-7

Format:

Availability

Online Library~1

Available:
Copies:

114.

Adaptive Resonance Theory in Social Media Data Clustering Roles, Methodologies, and Applications

Author

Meng, Lei. author. Tan, Ah-Hwee. author. Wunsch II, Donald C. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02985-2

Format:

Availability

Online Library~1

Available:
Copies:

115.

Introduction to Digital Systems Design

Author

Donzellini, Giuliano. author. Oneto, Luca. author. Ponta, Domenico. author. Anguita, Davide. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92804-3

Format:

Availability

Online Library~1

Available:
Copies:

116.

Fair Scheduling in High Performance Computing Environments

Author

Sedighi, Art. author. Smith, Milton. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14568-2

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 Variable Neighborhood Search 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers

Variable Neighborhood Search 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers

Author

Sifaleras, Angelo. editor. Salhi, Said. editor. Brimberg, Jack. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-15843-9

Format:

Availability

Online Library~1

Available:
Copies:

119.

Cover image for Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

Author

Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-34146-6

Format:

Availability

Online Library~1

Available:
Copies:

120.

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Author

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32079-9

Format:

Availability

Online Library~1

Available:
Copies:

121.

Cover image for Combinatorial Optimization and Applications 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings

Combinatorial Optimization and Applications 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings

Author

Li, Yingshu. editor. Cardei, Mihaela. editor. Huang, Yan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-36412-0

Format:

Availability

Online Library~1

Available:
Copies:

122.

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part III

Author

Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27535-8

Format:

Availability

Online Library~1

Available:
Copies:

123.

Web and Big Data Third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1–3, 2019, Proceedings, Part I

Author

Shao, Jie. editor. Yiu, Man Lung. editor. Toyoda, Masashi. editor. Zhang, Dongxiang. editor. Wang, Wei. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-26072-9

Format:

Availability

Online Library~1

Available:
Copies:

124.

Cover image for Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers

Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers

Author

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Brunato, Mauro. editor. (orcid)0000-0002-7885-4255 Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383 Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05348-2

Format:

Availability

Online Library~1

Available:
Copies:

125.

Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Author

Rousseau, Louis-Martin. editor. Stergiou, Kostas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-19212-9

Format:

Availability

Online Library~1

Available:
Copies:

126.

Cover image for PRICAI 2019: Trends in Artificial Intelligence 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part II

PRICAI 2019: Trends in Artificial Intelligence 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part II

Author

Nayak, Abhaya C. editor. (orcid)0000-0003-0681-9570 Sharma, Alok. editor. (orcid)0000-0002-7668-3501 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29911-8

Format:

Availability

Online Library~1

Available:
Copies:

127.

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:

128.

Web and Internet Economics 15th International Conference, WINE 2019, New York, NY, USA, December 10–12, 2019, Proceedings

Author

Caragiannis, Ioannis. editor. (orcid)0000-0002-4918-7131 Mirrokni, Vahab. editor. Nikolova, Evdokia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35389-6

Format:

Availability

Online Library~1

Available:
Copies:

129.

Advances in Neural Networks – ISNN 2019 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part II

Author

Lu, Huchuan. editor. Tang, Huajin. editor. Wang, Zhanshan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22808-8

Format:

Availability

Online Library~1

Available:
Copies:

130.

Cover image for Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Author

Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

131.

Cover image for Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings

Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings

Author

Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898 Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31140-7

Format:

Availability

Online Library~1

Available:
Copies:

132.

Cover image for Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

Author

Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001 Sanguinetti, Guido. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31304-3

Format:

Availability

Online Library~1

Available:
Copies:

133.

Cover image for Discrete Geometry for Computer Imagery 21st IAPR International Conference, DGCI 2019, Marne-la-Vallée, France, March 26–28, 2019, Proceedings

Discrete Geometry for Computer Imagery 21st IAPR International Conference, DGCI 2019, Marne-la-Vallée, France, March 26–28, 2019, Proceedings

Author

Couprie, Michel. editor. Cousty, Jean. editor. Kenmochi, Yukiko. editor. Mustafa, Nabil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14085-4

Format:

Availability

Online Library~1

Available:
Copies:

134.

Cover image for Advances in Computational Intelligence 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I

Advances in Computational Intelligence 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I

Author

Rojas, Ignacio. editor. (orcid)0000-0002-1033-5635 Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-20521-8

Format:

Availability

Online Library~1

Available:
Copies:

135.

Advances in Computational Intelligence 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part II

Author

Rojas, Ignacio. editor. (orcid)0000-0002-1033-5635 Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-20518-8

Format:

Availability

Online Library~1

Available:
Copies:

136.

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

Author

Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-0105-0

Format:

Availability

Online Library~1

Available:
Copies:

137.

Cover image for Computational Intelligence and Intelligent Systems 10th International Symposium, ISICA 2018, Jiujiang, China, October 13–14, 2018, Revised Selected Papers

Computational Intelligence and Intelligent Systems 10th International Symposium, ISICA 2018, Jiujiang, China, October 13–14, 2018, Revised Selected Papers

Author

Peng, Hu. editor. Deng, Changshou. editor. Wu, Zhijian. editor. Liu, Yong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-6473-0

Format:

Availability

Online Library~1

Available:
Copies:

138.

Cover image for Artificial Intelligence and Soft Computing 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part I

Artificial Intelligence and Soft Computing 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part I

Author

Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525 Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-20912-4

Format:

Availability

Online Library~1

Available:
Copies:

139.

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:

140.

Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

Author

Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682 Droste, Manfred. editor. (orcid)0000-0001-9128-8844 Pin, Jean-Éric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21363-3

Format:

Availability

Online Library~1

Available:
Copies:

141.

Cover image for Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part I

Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part I

Author

Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Karpov, Pavel. editor. (orcid)0000-0003-4786-9806 Theis, Fabian. editor. (orcid)0000-0002-2419-1943 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30487-4

Format:

Availability

Online Library~1

Available:
Copies:

142.

Cover image for Artificial Neural Networks and Machine Learning – ICANN 2019: Workshop and Special Sessions 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings

Artificial Neural Networks and Machine Learning – ICANN 2019: Workshop and Special Sessions 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings

Author

Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Karpov, Pavel. editor. (orcid)0000-0003-4786-9806 Theis, Fabian. editor. (orcid)0000-0002-2419-1943 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30493-5

Format:

Availability

Online Library~1

Available:
Copies:

143.

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part I

Author

Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27526-6

Format:

Availability

Online Library~1

Available:
Copies:

144.

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Author

Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30923-7

Format:

Availability

Online Library~1

Available:
Copies:

145.

Cover image for High-Performance Computing and Big Data Analysis Second International Congress, TopHPC 2019, Tehran, Iran, April 23–25, 2019, Revised Selected Papers

High-Performance Computing and Big Data Analysis Second International Congress, TopHPC 2019, Tehran, Iran, April 23–25, 2019, Revised Selected Papers

Author

Grandinetti, Lucio. editor. Mirtaheri, Seyedeh Leili. editor. Shahbazian, Reza. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-33495-6

Format:

Availability

Online Library~1

Available:
Copies:

146.

Cover image for Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings

Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings

Author

Seki, Hirosato. editor. Nguyen, Canh Hao. editor. Huynh, Van-Nam. editor. Inuiguchi, Masahiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14815-7

Format:

Availability

Online Library~1

Available:
Copies:

147.

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V

Author

Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27541-9

Format:

Availability

Online Library~1

Available:
Copies:

148.

PRICAI 2019: Trends in Artificial Intelligence 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part III

Author

Nayak, Abhaya C. editor. (orcid)0000-0003-0681-9570 Sharma, Alok. editor. (orcid)0000-0002-7668-3501 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29894-4

Format:

Availability

Online Library~1

Available:
Copies:

149.

Cover image for Artificial Neural Networks and Machine Learning – ICANN 2019: Text and Time Series 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part IV

Artificial Neural Networks and Machine Learning – ICANN 2019: Text and Time Series 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part IV

Author

Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Karpov, Pavel. editor. (orcid)0000-0003-4786-9806 Theis, Fabian. editor. (orcid)0000-0002-2419-1943 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30490-4

Format:

Availability

Online Library~1

Available:
Copies:

150.

Cover image for Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings

Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings

Author

Gopal, T.V. editor. Watada, Junzo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14812-6

Format:

Availability

Online Library~1

Available:
Copies:

151.

Cover image for Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Author

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17601-3

Format:

Availability

Online Library~1

Available:
Copies:

152.

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:

153.

Mathematics and Computation in Music 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings

Author

Montiel, Mariana. editor. (orcid)0000-0002-7859-1547 Gomez-Martin, Francisco. editor. (orcid)0000-0003-3471-3319 Agustín-Aquino, Octavio A. editor. (orcid)0000-0002-0556-6236 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21392-3

Format:

Availability

Online Library~1

Available:
Copies:

154.

Cover image for Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Author

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32441-4

Format:

Availability

Online Library~1

Available:
Copies:

155.

Cover image for Computational Intelligence in Music, Sound, Art and Design 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Computational Intelligence in Music, Sound, Art and Design 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Author

Ekárt, Anikó. editor. (orcid)0000-0001-6967-5397 Liapis, Antonios. editor. Castro Pena, María Luz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-16667-0

Format:

Availability

Online Library~1

Available:
Copies:

156.

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:

157.

Hybrid Metaheuristics 11th International Workshop, HM 2019, Concepción, Chile, January 16–18, 2019, Proceedings

Author

Blesa Aguilera, Maria J. editor. (orcid)0000-0001-8246-9926 Blum, Christian. editor. (orcid)0000-0002-1736-3559 Gambini Santos, Haroldo. editor. (orcid)0000-0002-4759-0680 Pinacho-Davidson, Pedro. editor. Godoy del Campo, Julio. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05983-5

Format:

Availability

Online Library~1

Available:
Copies:

158.

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:

159.

Spline and Spline Wavelet Methods with Applications to Signal and Image Processing Volume III: Selected Topics

Author

Averbuch, Amir Z. author. Neittaanmäki, Pekka. author. Zheludev, Valery A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92123-5

Format:

Availability

Online Library~1

Available:
Copies:

160.

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

Author

England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-26831-2

Format:

Availability

Online Library~1

Available:
Copies:

161.

Cover image for Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Author

Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27455-9

Format:

Availability

Online Library~1

Available:
Copies:

162.

Night Vision Processing and Understanding

Author

Bai, Lianfa. author. Han, Jing. author. Yue, Jiang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-1669-2

Format:

Availability

Online Library~1

Available:
Copies:

163.

Cover image for Computational Collective Intelligence 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019, Proceedings, Part II

Computational Collective Intelligence 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019, Proceedings, Part II

Author

Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Exposito, Ernesto. editor. (orcid)0000-0002-3543-2909 Aniorté, Philippe. editor. (orcid)0000-0003-2499-7549 Trawiński, Bogdan. editor. (orcid)0000-0002-2956-6388

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-28374-2

Format:

Availability

Online Library~1

Available:
Copies:

164.

Computational Collective Intelligence 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019, Proceedings, Part I

Author

Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Exposito, Ernesto. editor. (orcid)0000-0002-3543-2909 Aniorté, Philippe. editor. (orcid)0000-0003-2499-7549 Trawiński, Bogdan. editor. (orcid)0000-0002-2956-6388

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-28377-3

Format:

Availability

Online Library~1

Available:
Copies:

165.

Frontiers in Algorithmics 13th International Workshop, FAW 2019, Sanya, China, April 29 – May 3, 2019, Proceedings

Author

Chen, Yijia. editor. Deng, Xiaotie. editor. Lu, Mei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-18126-0

Format:

Availability

Online Library~1

Available:
Copies:

166.

Cover image for Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Author

André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29662-9

Format:

Availability

Online Library~1

Available:
Copies:

167.

KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings

Author

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30179-8

Format:

Availability

Online Library~1

Available:
Copies:

168.

Cover image for Progress in Artificial Intelligence 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part II

Progress in Artificial Intelligence 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part II

Author

Moura Oliveira, Paulo. editor. (orcid)0000-0003-4283-1243 Novais, Paulo. editor. (orcid)0000-0002-3549-0754 Reis, Luís Paulo. editor. (orcid)0000-0002-4709-1718 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30244-3

Format:

Availability

Online Library~1

Available:
Copies:

169.

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Author

Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30281-8

Format:

Availability

Online Library~1

Available:
Copies:

170.

Cover image for Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part I

Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part I

Author

Luhach, Ashish Kumar. editor. Jat, Dharm Singh. editor. Hawari, Kamarul Bin Ghazali. editor. Gao, Xiao-Zhi. editor. Lingras, Pawan. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-0108-1

Format:

Availability

Online Library~1

Available:
Copies:

171.

Progress in Artificial Intelligence 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part I

Author

Moura Oliveira, Paulo. editor. (orcid)0000-0003-4283-1243 Novais, Paulo. editor. (orcid)0000-0002-3549-0754 Reis, Luís Paulo. editor. (orcid)0000-0002-4709-1718 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30241-2

Format:

Availability

Online Library~1

Available:
Copies:

172.

Genetic Programming Theory and Practice XVI

Author

Banzhaf, Wolfgang. editor. Spector, Lee. editor. Sheneman, Leigh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04735-1

Format:

Availability

Online Library~1

Available:
Copies:

173.

Cover image for Artificial Neural Networks and Machine Learning – ICANN 2019: Image Processing 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part III

Artificial Neural Networks and Machine Learning – ICANN 2019: Image Processing 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part III

Author

Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Karpov, Pavel. editor. (orcid)0000-0003-4786-9806 Theis, Fabian. editor. (orcid)0000-0002-2419-1943 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30508-6

Format:

Availability

Online Library~1

Available:
Copies:

174.

Cover image for Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

Author

Chaves, Madalena. editor. Martins, Manuel A. editor. (orcid)0000-0002-5109-8066 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-19432-1

Format:

Availability

Online Library~1

Available:
Copies:

175.

Cover image for Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Author

Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23611-3

Format:

Availability

Online Library~1

Available:
Copies:

176.

Deterministic network calculus : from theory to practical implementation

Author

Bouillard, Anne, author. Boyer, Marc, author. Corronc, Euriell, author.

Preferred Shelf Number

QA274.8

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119440284

Format:

Availability

Online Library~1

Available:
Copies:

177.

Metaheuristics for maritime operations

Author

Homayouni, S. Mahdi, author. Fontes, Dalila B. M. M., author.

Preferred Shelf Number

HE571

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119483151

Format:

Availability

Online Library~1

Available:
Copies:

178.

Advanced techniques and technology of computer-aided feedback control

Author

Mbihi, Jean, author.

Preferred Shelf Number

TJ216

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959

Format:

Availability

Online Library~1

Available:
Copies:

179.

Analog automation and digital feedback control techniques

Author

Mbihi, Jean.

Preferred Shelf Number

TJ213

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836

Format:

Availability

Online Library~1

Available:
Copies:

180.

Networks

Author

Newman, M. E. J. (Mark E. J.), author.

Preferred Shelf Number

TK5105.5

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/oso/9780198805090.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

181.

Elements of Robotics

Author

Ben-Ari, Mordechai. author. Mondada, Francesco. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62533-1

Format:

Availability

Online Library~1

Available:
Copies:

182.

Random Numbers and Computers

Author

Kneusel, Ronald T. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-77697-2

Format:

Availability

Online Library~1

Available:
Copies:

183.

Introduzione al Progetto di Sistemi Digitali

Author

Donzellini, Giuliano. author. Oneto, Luca. author. Ponta, Domenico. author. Anguita, Davide. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-88-470-3963-6

Format:

Availability

Online Library~1

Available:
Copies:

184.

Inspired by Nature Essays Presented to Julian F. Miller on the Occasion of his 60th Birthday

Author

Stepney, Susan. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67997-6

Format:

Availability

Online Library~1

Available:
Copies:

185.

Cover image for Number-Theoretic Methods in Cryptology First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers

Number-Theoretic Methods in Cryptology First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers

Author

Kaczorowski, Jerzy. editor. Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466 Pomykała, Jacek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-76620-1

Format:

Availability

Online Library~1

Available:
Copies:

186.

Algorithmic Decision Theory 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings

Author

Rothe, Jörg. editor. (orcid)0000-0002-0589-3616 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67504-6

Format:

Availability

Online Library~1

Available:
Copies:

187.

Cover image for Intelligent Data Engineering and Automated Learning - IDEAL 2017 18th International Conference, Guilin, China, October 30 - November 1, 2017, Proceedings

Intelligent Data Engineering and Automated Learning - IDEAL 2017 18th International Conference, Guilin, China, October 30 - November 1, 2017, Proceedings

Author

Yin, Hujun. editor. (orcid)0000-0002-9198-5401 Gao, Yang. editor. (orcid)0000-0002-2488-1813 Chen, Songcan. editor. Wen, Yimin. editor. Cai, Guoyong. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68935-7

Format:

Availability

Online Library~1

Available:
Copies:

188.

Cover image for Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Author

Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68972-2

Format:

Availability

Online Library~1

Available:
Copies:

189.

Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings

Author

Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-6893-5

Format:

Availability

Online Library~1

Available:
Copies:

190.

Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings

Author

Shi, Xuanhua. editor. (orcid)0000-0001-8451-8656 An, Hong. editor. Wang, Chao. editor. Kandemir, Mahmut. editor. Jin, Hai. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68210-5

Format:

Availability

Online Library~1

Available:
Copies:

191.

Cover image for Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers

Author

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Kvasov, Dmitri E. editor. Sergeyev, Yaroslav D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-69404-7

Format:

Availability

Online Library~1

Available:
Copies:

192.

Cover image for Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part IV

Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part IV

Author

Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

193.

Cover image for Euro-Par 2016: Parallel Processing Workshops Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers

Euro-Par 2016: Parallel Processing Workshops Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers

Author

Desprez, Frédéric. editor. Dutot, Pierre-François. editor. Kaklamanis, Christos. editor. Marchal, Loris. editor. Molitorisz, Korbinian. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-58943-5

Format:

Availability

Online Library~1

Available:
Copies:

194.

Cover image for High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

Author

Di Napoli, Edoardo. editor. Hermanns, Marc-André. editor. Iliev, Hristo. editor. Lintermann, Andreas. editor. Peyser, Alexander. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-53862-4

Format:

Availability

Online Library~1

Available:
Copies:

195.

Cover image for Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Author

Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68953-1

Format:

Availability

Online Library~1

Available:
Copies:

196.

Cover image for Advanced Concepts for Intelligent Vision Systems 18th International Conference, ACIVS 2017, Antwerp, Belgium, September 18-21, 2017, Proceedings

Advanced Concepts for Intelligent Vision Systems 18th International Conference, ACIVS 2017, Antwerp, Belgium, September 18-21, 2017, Proceedings

Author

Blanc-Talon, Jacques. editor. (orcid)0009-0003-3237-8753 Penne, Rudi. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-70353-4

Format:

Availability

Online Library~1

Available:
Copies:

197.

Cover image for Mining Intelligence and Knowledge Exploration 5th International Conference, MIKE 2017, Hyderabad, India, December 13-15, 2017, Proceedings

Mining Intelligence and Knowledge Exploration 5th International Conference, MIKE 2017, Hyderabad, India, December 13-15, 2017, Proceedings

Author

Ghosh, Ashish. editor. (orcid)0000-0003-1548-5576 Pal, Rajarshi. editor. Prasath, Rajendra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-71928-3

Format:

Availability

Online Library~1

Available:
Copies:

198.

Cover image for Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers

Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers

Author

Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 van den Herik, H. Jaap. editor. Kosters, Walter A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-71649-7

Format:

Availability

Online Library~1

Available:
Copies:

199.

Cover image for Public-Key Cryptography - PKC 2017 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part I

Public-Key Cryptography - PKC 2017 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part I

Author

Fehr, Serge. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

200.

Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings

Author

Knoop, Jens. editor. Karl, Wolfgang. editor. Schulz, Martin. editor. Inoue, Koji. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54999-6

Format:

Availability

Online Library~1

Available:
Copies:

201.

Cover image for Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

Author

Dou, Yong. editor. Lin, Haixiang. editor. Sun, Guangyu. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Heras, Dora. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67952-5

Format:

Availability

Online Library~1

Available:
Copies:

202.

Cover image for Intelligent Information and Database Systems 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part I

Intelligent Information and Database Systems 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part I

Author

Nguyen, Ngoc Thanh. editor. Tojo, Satoshi. editor. Nguyen, Le Minh. editor. (orcid)0000-0002-2265-1010 Trawiński, Bogdan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54472-4

Format:

Availability

Online Library~1

Available:
Copies:

203.

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Author

Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-53733-7

Format:

Availability

Online Library~1

Available:
Copies:

204.

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Author

Zeume, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

205.

Cover image for Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

Author

Malyshkin, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62932-2

Format:

Availability

Online Library~1

Available:
Copies:

206.

Data Mining and Big Data Second International Conference, DMBD 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings

Author

Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61845-6

Format:

Availability

Online Library~1

Available:
Copies:

207.

Smart Cities Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings

Author

Alba, Enrique. editor. Chicano, Francisco. editor. Luque, Gabriel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

208.

Combinatorial Image Analysis 18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 2017, Proceedings

Author

Brimkov, Valentin E. editor. Barneva, Reneta P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-59108-7

Format:

Availability

Online Library~1

Available:
Copies:

209.

Emergent Computation A Festschrift for Selim G. Akl

Author

Adamatzky, Andrew. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-46376-6

Format:

Availability

Online Library~1

Available:
Copies:

210.

Cover image for Graphic Recognition. Current Trends and Challenges 11th International Workshop, GREC 2015, Nancy, France, August 22-23, 2015, Revised Selected Papers

Graphic Recognition. Current Trends and Challenges 11th International Workshop, GREC 2015, Nancy, France, August 22-23, 2015, Revised Selected Papers

Author

Lamiroy, Bart. editor. Dueire Lins, Rafael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-52159-6

Format:

Availability

Online Library~1

Available:
Copies:

211.

Cover image for Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Author

Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-65765-3

Format:

Availability

Online Library~1

Available:
Copies:

212.

Cover image for Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

Author

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66176-6

Format:

Availability

Online Library~1

Available:
Copies:

213.

Cover image for Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Author

Beck, J. Christopher. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66158-2

Format:

Availability

Online Library~1

Available:
Copies:

214.

Cover image for Integer Programming and Combinatorial Optimization 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings

Integer Programming and Combinatorial Optimization 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings

Author

Eisenbrand, Friedrich. editor. Koenemann, Jochen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-59250-3

Format:

Availability

Online Library~1

Available:
Copies:

215.

Cover image for Graph-Based Representations in Pattern Recognition 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings

Graph-Based Representations in Pattern Recognition 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings

Author

Foggia, Pasquale. editor. Liu, Cheng-Lin. editor. (orcid)0000-0002-6743-4175 Vento, Mario. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

216.

Green, Pervasive, and Cloud Computing 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings

Author

Au, Man Ho Allen. editor. Castiglione, Arcangelo. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Palmieri, Francesco. editor. Li, Kuan-Ching. editor. (orcid)0000-0003-1381-4364

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-57186-7

Format:

Availability

Online Library~1

Available:
Copies:

217.

Cover image for Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, Proceedings, Part II

Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, Proceedings, Part II

Author

Cong, Fengyu. editor. Leung, Andrew. editor. (orcid)0000-0003-0962-6723 Wei, Qinglai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-59081-3

Format:

Availability

Online Library~1

Available:
Copies:

218.

Cover image for Smart Card Research and Advanced Applications 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised Selected Papers

Smart Card Research and Advanced Applications 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised Selected Papers

Author

Lemke-Rust, Kerstin. editor. Tunstall, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

219.

Evolutionary Multi-Agent Systems From Inspirations to Applications

Author

Byrski, Aleksander. author. Kisiel-Dorohinicki, Marek. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-51388-1

Format:

Availability

Online Library~1

Available:
Copies:

220.

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings

Author

Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

221.

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXI Special Issue on Data and Security Engineering

Author

Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589 Thoai, Nam. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54173-9

Format:

Availability

Online Library~1

Available:
Copies:

222.

Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXII Special Issue on Big Data Analytics and Knowledge Discovery

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXII Special Issue on Big Data Analytics and Knowledge Discovery

Author

Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Madria, Sanjay. editor. (orcid)0000-0002-2768-3660 Hara, Takahiro. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-55608-5

Format:

Availability

Online Library~1

Available:
Copies:

223.

Cover image for Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Author

Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-59294-7

Format:

Availability

Online Library~1

Available:
Copies:

224.

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Author

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

225.

Cover image for Applications and Techniques in Information Security 8th International Conference, ATIS 2017, Auckland, New Zealand, July 6-7, 2017, Proceedings

Applications and Techniques in Information Security 8th International Conference, ATIS 2017, Auckland, New Zealand, July 6-7, 2017, Proceedings

Author

Batten, Lynn. editor. Kim, Dong Seong. editor. Zhang, Xuyun. editor. Li, Gang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-5421-1

Format:

Availability

Online Library~1

Available:
Copies:

226.

Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Author

Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-51738-4

Format:

Availability

Online Library~1

Available:
Copies:

227.

Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings

Author

Shi, Yuhui. editor. Tan, Kay Chen. editor. Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538 Tang, Ke. editor. Li, Xiaodong. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

228.

Cover image for Computer Security - ESORICS 2017 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I

Computer Security - ESORICS 2017 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I

Author

Foley, Simon N. editor. Gollmann, Dieter. editor. Snekkenes, Einar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66402-6

Format:

Availability

Online Library~1

Available:
Copies:

229.

Cover image for Foundations and Practice of Security 9th International Symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, Revised Selected Papers

Foundations and Practice of Security 9th International Symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, Revised Selected Papers

Author

Cuppens, Frédéric. editor. Wang, Lingyu. editor. (orcid)0000-0002-7441-7541 Cuppens-Boulahia, Nora. editor. Tawbi, Nadia. editor. Garcia-Alfaro, Joaquin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-51966-1

Format:

Availability

Online Library~1

Available:
Copies:

230.

Cover image for Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II

Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II

Author

Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60045-1

Format:

Availability

Online Library~1

Available:
Copies:

231.

Cover image for Evolutionary Multi-Criterion Optimization 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings

Evolutionary Multi-Criterion Optimization 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings

Author

Trautmann, Heike. editor. Rudolph, Günter. editor. Klamroth, Kathrin. editor. Schütze, Oliver. editor. Wiecek, Margaret. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54157-0

Format:

Availability

Online Library~1

Available:
Copies:

232.

Algoritmalara Giriş

Author

Cormen, Thomas H.

Preferred Shelf Number

QA76.6 C663 2017

Format:

Availability

Beytepe Library~1

Available:
Copies:

233.

Cover image for Cloud Computing and Security Third International Conference, ICCCS 2017, Nanjing, China, June 16-18, 2017, Revised Selected Papers, Part II

Cloud Computing and Security Third International Conference, ICCCS 2017, Nanjing, China, June 16-18, 2017, Revised Selected Papers, Part II

Author

Sun, Xingming. editor. Chao, Han-Chieh. editor. You, Xingang. editor. Bertino, Elisa. editor. (orcid)0000-0002-4029-7051 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68542-7

Format:

Availability

Online Library~1

Available:
Copies:

234.

Cover image for Structural Information and Communication Complexity 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers

Structural Information and Communication Complexity 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers

Author

Das, Shantanu. editor. Tixeuil, Sebastien. editor. (orcid)0000-0002-0948-7172 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-72050-0

Format:

Availability

Online Library~1

Available:
Copies:

235.

Cover image for Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66320-3

Format:

Availability

Online Library~1

Available:
Copies:

236.

Cover image for Context-Aware Systems and Applications 5th International Conference, ICCASA 2016, Thu Dau Mot, Vietnam, November 24-25, 2016, Proceedings

Context-Aware Systems and Applications 5th International Conference, ICCASA 2016, Thu Dau Mot, Vietnam, November 24-25, 2016, Proceedings

Author

Cong Vinh, Phan. editor. Tuan Anh, Le. editor. Loan, Nguyen Thi Thuy. editor. Vongdoiwang Siricharoen, Waralak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-56357-2

Format:

Availability

Online Library~1

Available:
Copies:

237.

Mathematics and Computation in Music 6th International Conference, MCM 2017, Mexico City, Mexico, June 26-29, 2017, Proceedings

Author

Agustín-Aquino, Octavio A. editor. Lluis-Puebla, Emilio. editor. Montiel, Mariana. editor. (orcid)0000-0002-7859-1547 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

238.

Cover image for Progress in Cryptology - INDOCRYPT 2017 18th International Conference on Cryptology in India, Chennai, India, December 10-13, 2017, Proceedings

Progress in Cryptology - INDOCRYPT 2017 18th International Conference on Cryptology in India, Chennai, India, December 10-13, 2017, Proceedings

Author

Patra, Arpita. editor. Smart, Nigel P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-71667-1

Format:

Availability

Online Library~1

Available:
Copies:

239.

Cover image for Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II

Author

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62395-5

Format:

Availability

Online Library~1

Available:
Copies:

240.

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part IV

Author

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62401-3

Format:

Availability

Online Library~1

Available:
Copies:

241.

Cover image for Bio-inspired Computing: Theories and Applications 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings

Bio-inspired Computing: Theories and Applications 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings

Author

He, Cheng. editor. Mo, Hongwei. editor. Pan, Linqiang. editor. Zhao, Yuxin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-7179-9

Format:

Availability

Online Library~1

Available:
Copies:

242.

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

Author

Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-65000-5

Format:

Availability

Online Library~1

Available:
Copies:

243.

Biometric Recognition 12th Chinese Conference, CCBR 2017, Shenzhen, China, October 28-29, 2017, Proceedings

Author

Zhou, Jie. editor. Wang, Yunhong. editor. Sun, Zhenan. editor. (orcid)0000-0003-4029-9935 Xu, Yong. editor. Shen, Linlin. editor. (orcid)0000-0003-1420-0815

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-69923-3

Format:

Availability

Online Library~1

Available:
Copies:

244.

Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part I

Author

Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

245.

Cover image for Artificial Intelligence XXXIV 37th SGAI International Conference on Artificial Intelligence, AI 2017, Cambridge, UK, December 12-14, 2017, Proceedings

Artificial Intelligence XXXIV 37th SGAI International Conference on Artificial Intelligence, AI 2017, Cambridge, UK, December 12-14, 2017, Proceedings

Author

Bramer, Max. editor. Petridis, Miltos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-71078-5

Format:

Availability

Online Library~1

Available:
Copies:

246.

Cover image for Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I

Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I

Author

Gao, Xiaofeng. editor. Du, Hongwei. editor. Han, Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

247.

Cover image for Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I

Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I

Author

Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525 Korytkowski, Marcin. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

248.

Cover image for SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Author

Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-51963-0

Format:

Availability

Online Library~1

Available:
Copies:

249.

Cover image for Digital Forensics and Watermarking 15th International Workshop, IWDW 2016, Beijing, China, September 17-19, 2016, Revised Selected Papers

Digital Forensics and Watermarking 15th International Workshop, IWDW 2016, Beijing, China, September 17-19, 2016, Revised Selected Papers

Author

Shi, Yun Qing. editor. Kim, Hyoung Joong. editor. Perez-Gonzalez, Fernando. editor. Liu, Feng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-53465-7

Format:

Availability

Online Library~1

Available:
Copies:

250.

Algoritma geliştirme ve programlamaya giriş

Author

Vatansever, Fahri.

Preferred Shelf Number

QA76.6 V56 2017

Format:

Availability

Beytepe Library~1

Available:
Copies:

251.

Machine learning : a constraint-based approach

Author

Gori, Marco, author.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780081006597

Format:

Availability

Online Library~1

Available:
Copies:

252.

Harmony Search Algorithm Proceedings of the 3rd International Conference on Harmony Search Algorithm (ICHSA 2017)

Author

Del Ser, Javier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-3728-3

Format:

Availability

Online Library~1

Available:
Copies:

253.

Cover image for Intelligent Computing Methodologies 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part III

Intelligent Computing Methodologies 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part III

Author

Huang, De-Shuang. editor. Hussain, Abir. editor. Han, Kyungsook. editor. Gromiha, M. Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-63315-2

Format:

Availability

Online Library~1

Available:
Copies:

254.

Cover image for Internet of Vehicles. Technologies and Services for Smart Cities 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings

Internet of Vehicles. Technologies and Services for Smart Cities 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings

Author

Peng, Sheng-Lung. editor. Lee, Guan-Ling. editor. Klette, Reinhard. editor. Hsu, Ching-Hsien. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-72329-7

Format:

Availability

Online Library~1

Available:
Copies:

255.

Error-Correction Coding and Decoding Bounds, Codes, Decoders, Analysis and Applications

Author

Tomlinson, Martin. author. Tjhai, Cen Jung. author. Ambroze, Marcel A. author. Ahmed, Mohammed. author. Jibril, Mubarak. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-51103-0

Format:

Availability

Online Library~1

Available:
Copies:

256.

Cover image for Algorithmic Aspects of Cloud Computing Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers

Algorithmic Aspects of Cloud Computing Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers

Author

Sellis, Timos. editor. Oikonomou, Konstantinos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-57045-7

Format:

Availability

Online Library~1

Available:
Copies:

257.

Intelligent Information and Database Systems 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II

Author

Nguyen, Ngoc Thanh. editor. Tojo, Satoshi. editor. Nguyen, Le Minh. editor. (orcid)0000-0002-2265-1010 Trawiński, Bogdan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54430-4

Format:

Availability

Online Library~1

Available:
Copies:

258.

Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

Author

McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-55696-3

Format:

Availability

Online Library~1

Available:
Copies:

259.

Cover image for Big Data Technologies and Applications 7th International Conference, BDTA 2016, Seoul, South Korea, November 17-18, 2016, Proceedings

Big Data Technologies and Applications 7th International Conference, BDTA 2016, Seoul, South Korea, November 17-18, 2016, Proceedings

Author

Jung, Jason J. editor. Kim, Pankoo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-58967-1

Format:

Availability

Online Library~1

Available:
Copies:

260.

Cover image for Integration of AI and OR Techniques in Constraint Programming 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings

Integration of AI and OR Techniques in Constraint Programming 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings

Author

Salvagnin, Domenico. editor. Lombardi, Michele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

261.

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Author

Menzies, Tim. editor. Petke, Justyna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66299-2

Format:

Availability

Online Library~1

Available:
Copies:

262.

Cover image for Computational Collective Intelligence 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017, Proceedings, Part I

Computational Collective Intelligence 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017, Proceedings, Part I

Author

Nguyen, Ngoc Thanh. editor. Papadopoulos, George A. editor. Jędrzejowicz, Piotr. editor. Trawiński, Bogdan. editor. Vossen, Gottfried. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67074-4

Format:

Availability

Online Library~1

Available:
Copies:

263.

Cover image for Machine Learning and Data Mining in Pattern Recognition 13th International Conference, MLDM 2017, New York, NY, USA, July 15-20, 2017, Proceedings

Machine Learning and Data Mining in Pattern Recognition 13th International Conference, MLDM 2017, New York, NY, USA, July 15-20, 2017, Proceedings

Author

Perner, Petra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62416-7

Format:

Availability

Online Library~1

Available:
Copies:

264.

Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I

Author

Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60042-0

Format:

Availability

Online Library~1

Available:
Copies:

265.

Provable Security 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings

Author

Okamoto, Tatsuaki. editor. Yu, Yong. editor. Au, Man Ho. editor. Li, Yannan. editor. (orcid)0000-0002-4407-9027 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68637-0

Format:

Availability

Online Library~1

Available:
Copies:

266.

On Sets and Graphs Perspectives on Logic and Combinatorics

Author

Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54981-1

Format:

Availability

Online Library~1

Available:
Copies:

267.

Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part II

Author

Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525 Korytkowski, Marcin. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

268.

Cover image for Simulation and Synthesis in Medical Imaging Second International Workshop, SASHIMI 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10, 2017, Proceedings

Simulation and Synthesis in Medical Imaging Second International Workshop, SASHIMI 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10, 2017, Proceedings

Author

Tsaftaris, Sotirios A. editor. Gooya, Ali. editor. Frangi, Alejandro F. editor. Prince, Jerry L. editor. (orcid)0000-0002-6553-0876 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68127-6

Format:

Availability

Online Library~1

Available:
Copies:

269.

Cover image for Graph-Theoretic Concepts in Computer Science 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers

Graph-Theoretic Concepts in Computer Science 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers

Author

Bodlaender, Hans L. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68705-6

Format:

Availability

Online Library~1

Available:
Copies:

270.

Cover image for Multi-disciplinary Trends in Artificial Intelligence 11th International Workshop, MIWAI 2017, Gadong, Brunei, November 20-22, 2017, Proceedings

Multi-disciplinary Trends in Artificial Intelligence 11th International Workshop, MIWAI 2017, Gadong, Brunei, November 20-22, 2017, Proceedings

Author

Phon-Amnuaisuk, Somnuk. editor. Ang, Swee-Peng. editor. Lee, Soo-Young. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-69456-6

Format:

Availability

Online Library~1

Available:
Copies:

271.

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Author

Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68034-7

Format:

Availability

Online Library~1

Available:
Copies:

272.

Cover image for Mathematical Morphology and Its Applications to Signal and Image Processing 13th International Symposium, ISMM 2017, Fontainebleau, France, May 15-17, 2017, Proceedings

Mathematical Morphology and Its Applications to Signal and Image Processing 13th International Symposium, ISMM 2017, Fontainebleau, France, May 15-17, 2017, Proceedings

Author

Angulo, Jesús. editor. Velasco-Forero, Santiago. editor. Meyer, Fernand. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-57240-6

Format:

Availability

Online Library~1

Available:
Copies:

273.

Cover image for Distributed Computing and Internet Technology 13th International Conference, ICDCIT 2017, Bhubaneswar, India, January 13-16, 2017, Proceedings

Distributed Computing and Internet Technology 13th International Conference, ICDCIT 2017, Bhubaneswar, India, January 13-16, 2017, Proceedings

Author

Krishnan, Padmanabhan. editor. Radha Krishna, P. editor. Parida, Laxmi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

274.

Cover image for Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

Author

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67035-5

Format:

Availability

Online Library~1

Available:
Copies:

275.

Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II

Author

Gao, Xiaofeng. editor. Du, Hongwei. editor. Han, Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

276.

Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 21st Iberoamerican Congress, CIARP 2016, Lima, Peru, November 8-11, 2016, Proceedings

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 21st Iberoamerican Congress, CIARP 2016, Lima, Peru, November 8-11, 2016, Proceedings

Author

Beltrán-Castañón, César. editor. Nyström, Ingela. editor. Famili, Fazel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-52277-7

Format:

Availability

Online Library~1

Available:
Copies:

277.

Optimization of Type-2 Fuzzy Controllers Using the Bee Colony Algorithm

Author

Amador, Leticia. author. Castillo, Oscar. author. (orcid)0000-0002-7385-5689 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

278.

Fuzzy Logic for Image Processing A Gentle Introduction Using Java

Author

Caponetti, Laura. author. Castellano, Giovanna. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-44130-6

Format:

Availability

Online Library~1

Available:
Copies:

279.

Web and Internet Economics 13th International Conference, WINE 2017, Bangalore, India, December 17-20, 2017, Proceedings

Author

R. Devanur, Nikhil. editor. Lu, Pinyan. editor. (orcid)0009-0005-0569-4122 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-71924-5

Format:

Availability

Online Library~1

Available:
Copies:

280.

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II

Author

Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61833-3

Format:

Availability

Online Library~1

Available:
Copies:

281.

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part I

Author

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62392-4

Format:

Availability

Online Library~1

Available:
Copies:

282.

Cover image for Web and Wireless Geographical Information Systems 15th International Symposium, W2GIS 2017, Shanghai, China, May 8-9, 2017, Proceedings

Web and Wireless Geographical Information Systems 15th International Symposium, W2GIS 2017, Shanghai, China, May 8-9, 2017, Proceedings

Author

Brosset, David. editor. Claramunt, Christophe. editor. Li, Xiang. editor. Wang, Tianzhen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

283.

Privacy Technologies and Policy 5th Annual Privacy Forum, APF 2017, Vienna, Austria, June 7-8, 2017, Revised Selected Papers

Author

Schweighofer, Erich. editor. Leitold, Herbert. editor. Mitrakas, Andreas. editor. Rannenberg, Kai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

284.

Cover image for Soft Computing in Data Science Third International Conference, SCDS 2017, Yogyakarta, Indonesia, November 27-28, 2017, Proceedings

Soft Computing in Data Science Third International Conference, SCDS 2017, Yogyakarta, Indonesia, November 27-28, 2017, Proceedings

Author

Mohamed, Azlinah. editor. Berry, Michael W. editor. Yap, Bee Wah. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-7242-0

Format:

Availability

Online Library~1

Available:
Copies:

285.

Cover image for Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

Author

de Lemos, Rogério. editor. Garlan, David. editor. Ghezzi, Carlo. editor. Giese, Holger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74183-3

Format:

Availability

Online Library~1

Available:
Copies:

286.

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Author

Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

287.

Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing

Author

Seising, Rudolf. editor. Allende-Cid, Héctor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-48317-7

Format:

Availability

Online Library~1

Available:
Copies:

288.

Artificial Intelligence and Evolutionary Computations in Engineering Systems Proceedings of ICAIECES 2016

Author

Dash, Subhransu Sekhar. editor. Vijayakumar, K. editor. Panigrahi, Bijaya Ketan. editor. Das, Swagatam. editor. (orcid)0000-0001-6843-4508 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-3174-8

Format:

Availability

Online Library~1

Available:
Copies:

289.

Cover image for Advances in Soft Computing 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part II

Advances in Soft Computing 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part II

Author

Pichardo-Lagunas, Obdulia. editor. Miranda-Jiménez, Sabino. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62428-0

Format:

Availability

Online Library~1

Available:
Copies:

290.

Cover image for Information Security and Privacy 22nd Australasian Conference, ACISP 2017, Auckland, New Zealand, July 3-5, 2017, Proceedings, Part II

Information Security and Privacy 22nd Australasian Conference, ACISP 2017, Auckland, New Zealand, July 3-5, 2017, Proceedings, Part II

Author

Pieprzyk, Josef. editor. Suriadi, Suriadi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-59870-3

Format:

Availability

Online Library~1

Available:
Copies:

291.

Information Security and Privacy 22nd Australasian Conference, ACISP 2017, Auckland, New Zealand, July 3-5, 2017, Proceedings, Part I

Author

Pieprzyk, Josef. editor. Suriadi, Suriadi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60055-0

Format:

Availability

Online Library~1

Available:
Copies:

292.

Cover image for Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Author

Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60252-3

Format:

Availability

Online Library~1

Available:
Copies:

293.

Cover image for Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers

Author

Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61756-5

Format:

Availability

Online Library~1

Available:
Copies:

294.

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

Author

El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268 Garbinato, Benoît. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-59647-1

Format:

Availability

Online Library~1

Available:
Copies:

295.

Cover image for KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.

KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.

Author

Kern-Isberner, Gabriele. editor. Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67190-1

Format:

Availability

Online Library~1

Available:
Copies:

296.

Cover image for Topics in Cryptology - CT-RSA 2017 The Cryptographers' Track at the RSA Conference 2017, San Francisco, CA, USA, February 14-17, 2017, Proceedings

Topics in Cryptology - CT-RSA 2017 The Cryptographers' Track at the RSA Conference 2017, San Francisco, CA, USA, February 14-17, 2017, Proceedings

Author

Handschuh, Helena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-52153-4

Format:

Availability

Online Library~1

Available:
Copies:

297.

Theory and Models for Cyber Situation Awareness

Author

Liu, Peng. editor. Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X Wang, Cliff. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61152-5

Format:

Availability

Online Library~1

Available:
Copies:

298.

Frontiers in Algorithmics 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings

Author

Xiao, Mingyu. editor. Rosamond, Frances. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-59605-1

Format:

Availability

Online Library~1

Available:
Copies:

299.

Digital Forensics and Watermarking 16th International Workshop , IWDW 2017, Magdeburg, Germany, August 23-25, 2017, Proceedings

Author

Kraetzer, Christian. editor. Shi, Yun-Qing. editor. Dittmann, Jana. editor. Kim, Hyoung Joong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-64185-0

Format:

Availability

Online Library~1

Available:
Copies:

300.

Cover image for Enterprise Security Second International Workshop, ES 2015, Vancouver, BC, Canada, November 30 - December 3, 2015, Revised Selected Papers

Enterprise Security Second International Workshop, ES 2015, Vancouver, BC, Canada, November 30 - December 3, 2015, Revised Selected Papers

Author

Chang, Victor. editor. Ramachandran, Muthu. editor. Walters, Robert J. editor. Wills, Gary. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54380-2

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}