Search Results for Computer mathematics.

61.

Cover image for Metaheuristics and Nature Inspired Computing 9th International Conference, META 2023, Marrakech, Morocco, November 1-4, 2023, Revised Selected Papers

Metaheuristics and Nature Inspired Computing 9th International Conference, META 2023, Marrakech, Morocco, November 1-4, 2023, Revised Selected Papers

Author

Dorronsoro, Bernabé. editor. (orcid)0000-0003-0481-790X Ellaia, Rachid. editor. (orcid)0000-0003-0372-1666 Talbi, El-Ghazali. editor. (orcid)0000-0003-4549-1010 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

62.

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:

63.

ICGG 2024 - Proceedings of the 21st International Conference on Geometry and Graphics Volume 2

Author

Takenouchi, Kazuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

Logic Circuit Design Selected Topics and Methods

Author

Vingron, Shimon P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

Cover image for Data Science and Machine Learning 21st Australasian Conference, AusDM 2023, Auckland, New Zealand, December 11-13, 2023, Proceedings

Data Science and Machine Learning 21st Australasian Conference, AusDM 2023, Auckland, New Zealand, December 11-13, 2023, Proceedings

Author

Benavides-Prado, Diana. editor. Erfani, Sarah. editor. Fournier-Viger, Philippe. editor. Boo, Yee Ling. editor. (orcid)0000-0001-7188-9597 Koh, Yun Sing. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8696-5

Format:

Availability

Online Library~1

Available:
Copies:

66.

Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

Author

Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

Author

Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

Cover image for Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

Author

Wu, Weili. editor. Guo, Jianxiong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

Author

Wu, Weili. editor. (orcid)0000-0001-8747-6340 Guo, Jianxiong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

70.

Cover image for Algorithms and Discrete Applied Mathematics 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings

Algorithms and Discrete Applied Mathematics 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings

Author

Kalyanasundaram, Subrahmanyam. editor. Maheshwari, Anil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

71.

Cover image for Green, Pervasive, and Cloud Computing 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I

Green, Pervasive, and Cloud Computing 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I

Author

Jin, Hai. editor. (orcid)0000-0002-3934-7605 Yu, Zhiwen. editor. Yu, Chen. editor. Zhou, Xiaokang. editor. Lu, Zeguang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

72.

Green, Pervasive, and Cloud Computing 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023, Proceedings; Part II

Author

Jin, Hai. editor. (orcid)0000-0002-3934-7605 Yu, Zhiwen. editor. Yu, Chen. editor. Zhou, Xiaokang. editor. Lu, Zeguang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

73.

Petri Net Primer A Compendium on the Core Model, Analysis, and Synthesis

Author

Best, Eike. author. (orcid)0000-0003-0884-6468 Devillers, Raymond. author. (orcid)0000-0002-4339-2708 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

74.

Cover image for Mathematical Modeling and Supercomputer Technologies 23rd International Conference, MMST 2023, Nizhny Novgorod, Russia, November 13-16, 2023, Revised Selected Papers

Mathematical Modeling and Supercomputer Technologies 23rd International Conference, MMST 2023, Nizhny Novgorod, Russia, November 13-16, 2023, Revised Selected Papers

Author

Balandin, Dmitry. editor. Barkalov, Konstantin. editor. (orcid)0000-0001-5273-2471 Meyerov, Iosif. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

75.

Data Structures and Algorithms with Python With an Introduction to Multiprocessing

Author

Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

76.

Cover image for High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers

Author

Jordan, Vladimir. editor. Tarasov, Ilya. editor. Shurina, Ella. editor. Filimonov, Nikolay. editor. Faerman, Vladimir A. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

77.

Cover image for Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers 14th International Workshop, STACOM 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Revised Selected Papers

Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers 14th International Workshop, STACOM 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Revised Selected Papers

Author

Camara, Oscar. editor. (orcid)0000-0002-5125-6132 Puyol-Antón, Esther. editor. (orcid)0000-0002-9789-6629 Sermesant, Maxime. editor. (orcid)0000-0002-6256-8350 Suinesiaputra, Avan. editor. Tao, Qian. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

78.

Cover image for Advanced Computational Applications of Geometric Algebra First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings

Advanced Computational Applications of Geometric Algebra First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings

Author

Silva, David W. editor. (orcid)0000-0003-4498-0525 Hitzer, Eckhard. editor. Hildenbrand, Dietmar. editor. (orcid)0000-0002-6384-4345 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

Cover image for SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings

SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings

Author

Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-52113-3

Format:

Availability

Online Library~1

Available:
Copies:

80.

Cover image for Smart Card Research and Advanced Applications 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Smart Card Research and Advanced Applications 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Author

Bhasin, Shivam. editor. Roche, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

81.

Cover image for Explainable Artificial Intelligence and Process Mining Applications for Healthcare Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings

Explainable Artificial Intelligence and Process Mining Applications for Healthcare Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings

Author

Juarez, Jose M. editor. (orcid)0000-0003-1776-1992 Fernandez-Llatas, Carlos. editor. (orcid)0000-0002-2819-5597 Bielza, Concha. editor. (orcid)0000-0001-7109-2668 Johnson, Owen. editor. (orcid)0000-0003-3998-541X Kocbek, Primoz. editor. (orcid)0000-0002-9064-5085

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

82.

Advances in Computer Games 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers

Author

Hartisch, Michael. editor. (orcid)0000-0001-6304-4973 Hsueh, Chu-Hsuan. editor. (orcid)0000-0001-8888-3116 Schaeffer, Jonathan. editor. (orcid)0009-0007-3735-5947 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

83.

Cover image for WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings

WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings

Author

Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 Yamanaka, Katsuhisa. editor. Yen, Hsu-Chun. editor. (orcid)0000-0002-1764-1950 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

84.

Cover image for Communications, Signal Processing, and Systems Proceedings of the 12th International Conference on Communications, Signal Processing, and Systems: Volume 1

Communications, Signal Processing, and Systems Proceedings of the 12th International Conference on Communications, Signal Processing, and Systems: Volume 1

Author

Wang, Wei. editor. (orcid)0000-0001-9032-4401 Liu, Xin. editor. (orcid)0000-0002-6035-6055 Na, Zhenyu. editor. (orcid)0000-0003-1098-1204 Zhang, Baoju. editor. (orcid)0000-0002-0513-9576 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-7505-1

Format:

Availability

Online Library~1

Available:
Copies:

85.

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I

Author

Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

86.

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II

Author

Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

87.

From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career

Author

Cantone, Domenico. editor. (orcid)0000-0002-1306-1166 Pulvirenti, Alfredo. editor. (orcid)0000-0002-9764-0295 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

88.

Cover image for Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II

Author

Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

89.

Foundations of Vector Retrieval

Author

Bruch, Sebastian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

Cover image for Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II

Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II

Author

Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Bhasin, Shivam. editor. Picek, Stjepan. editor. Rebeiro, Chester. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

91.

Cover image for Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers

Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers

Author

Villani, Marco. editor. (orcid)0000-0002-5991-5470 Cagnoni, Stefano. editor. Serra, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

92.

Infrared Small Target Detection Theory, Methods, and Algorithms.

Author

Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

93.

Combinatorial Algorithms 35th International Workshop, IWOCA 2024, Ischia, Italy, July 1-3, 2024, Proceedings

Author

Rescigno, Adele Anna. editor. (orcid)0000-0001-9124-610X Vaccaro, Ugo. editor. (orcid)0000-0003-4085-7300 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

94.

Cover image for Next Generation Data Science Second Southwest Data Science Conference, SDSC 2023, Waco, TX, USA, March 24-25, 2023, Revised Selected Papers

Next Generation Data Science Second Southwest Data Science Conference, SDSC 2023, Waco, TX, USA, March 24-25, 2023, Revised Selected Papers

Author

Han, Henry. editor. (orcid)0000-0003-0273-6719 Baker, Erich. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

95.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63751-3

Format:

Availability

Online Library~1

Available:
Copies:

96.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

97.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

98.

Foundations of Soft Logic

Author

Klein, Moshe. author. Maimon, Oded. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

99.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

101.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

102.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

103.

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:

104.

Cover image for Intelligence Computation and Applications 14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023, Revised Selected Papers, Part II

Intelligence Computation and Applications 14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023, Revised Selected Papers, Part II

Author

Li, Kangshun. editor. (orcid)0000-0002-0429-446X Liu, Yong. editor. (orcid)0000-0002-4663-6739 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-4396-4

Format:

Availability

Online Library~1

Available:
Copies:

105.

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:

106.

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:

107.

Proceedings of the Tenth International Conference on Mathematics and Computing ICMC 2024, Volume 1

Author

Giri, Debasis. editor. Vaidya, Jaideep. editor. Ponnusamy, S. editor. (orcid)0000-0002-3699-2713 Lin, Zhiqiang. editor. Joshi, Karuna Pande. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

108.

Proceedings of the Tenth International Conference on Mathematics and Computing ICMC 2024, Volume 2

Author

Giri, Debasis. editor. Vaidya, Jaideep. editor. Ponnusamy, S. editor. (orcid)0000-0002-3699-2713 Lin, Zhiqiang. editor. Joshi, Karuna Pande. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

109.

R Programming Statistical Data Analysis in Research

Author

Okoye, Kingsley. author. Hosseini, Samira. author. (orcid)0000-0001-9190-4782 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

110.

Cover image for Artificial Intelligence and Image Analysis 18th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2024, and 22nd International Workshop on Combinatorial Image Analysis, IWCIA 2024, Fort Lauderdale, FL, USA, January 8-10, 2024, Revised Selected Papers

Artificial Intelligence and Image Analysis 18th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2024, and 22nd International Workshop on Combinatorial Image Analysis, IWCIA 2024, Fort Lauderdale, FL, USA, January 8-10, 2024, Revised Selected Papers

Author

Barneva, Reneta P. editor. Brimkov, Valentin E. editor. Gentile, Claudio. editor. (orcid)0000-0003-1551-2167 Pacchiano, Aldo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63735-3

Format:

Availability

Online Library~1

Available:
Copies:

111.

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:

112.

Formal Concept Analysis Mathematical Foundations

Author

Ganter, Bernhard. author. (orcid)0000-0003-0767-1379 Wille, Rudolf. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

113.

Simulation for a Sustainable Future 11th Congress, EUROSIM 2023, Amsterdam, The Netherlands, July 3-5, 2023, Proceedings, Part I

Author

Mujica Mota, Miguel. editor. (orcid)0000-0002-0160-6827 Scala, Paolo. editor. (orcid)0000-0002-8253-3411 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

114.

Partial Moments in System Identification

Author

Ouvrard, Régis. author. (orcid)0000-0003-0534-4497 Poinot, Thierry. author. (orcid)0000-0003-1533-126X Trigeassou, Jean-Claude. author. (orcid)0000-0003-2587-9958 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

115.

Cover image for Body Area Networks. Smart IoT and Big Data for Intelligent Health Management 18th EAI International Conference, BODYNETS 2024-A, Milan, Italy, February 5-6, 2024, Proceedings

Body Area Networks. Smart IoT and Big Data for Intelligent Health Management 18th EAI International Conference, BODYNETS 2024-A, Milan, Italy, February 5-6, 2024, Proceedings

Author

Mizmizi, Marouan. editor. (orcid)0000-0003-4157-2577 Magarini, Maurizio. editor. (orcid)0000-0001-9288-0452 Upadhyay, Prabhat Kumar. editor. (orcid)0000-0001-7636-5469 Pierobon, Massimiliano. editor. (orcid)0000-0003-1074-6925 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

116.

Cover image for Advancement in Computational Methods for Life Systems Modelling and Simulation 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part I

Advancement in Computational Methods for Life Systems Modelling and Simulation 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part I

Author

Fei, Minrui. editor. Wu, Hongjie. editor. Niu, Qun. editor. Li, Xin. editor. Zhang, Jingjing. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0188-2

Format:

Availability

Online Library~1

Available:
Copies:

117.

Cover image for Robotics and Autonomous Systems and Engineering Applications of Computational Intelligence 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part V

Robotics and Autonomous Systems and Engineering Applications of Computational Intelligence 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part V

Author

Gu, Juping. editor. Hu, Fuyuan. editor. Zhou, Huiyu. editor. (orcid)0000-0003-1634-9840 Fei, Zixiang. editor. Yang, Erfu. editor. (orcid)0000-0003-1813-5950

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0313-8

Format:

Availability

Online Library~1

Available:
Copies:

118.

HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY

Author

Akleylek, Sedat. Dundua, Besik.

Preferred Shelf Number

QA76.9 .D335

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

119.

Cover image for Blended Learning : Lessons Learned and Ways Forward 16th International Conference on Blended Learning, ICBL 2023, Hong Kong, China, July 17-20, 2023, Proceedings

Blended Learning : Lessons Learned and Ways Forward 16th International Conference on Blended Learning, ICBL 2023, Hong Kong, China, July 17-20, 2023, Proceedings

Author

Li, Chen. editor. (orcid) Cheung, Simon K. S. editor. Wang, Fu Lee. editor. Lu, Angel. editor. (orcid) Kwok, Lam For. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

120.

Cover image for Computer Analysis of Images and Patterns 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part I

Computer Analysis of Images and Patterns 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part I

Author

Tsapatsoulis, Nicolas. editor. Lanitis, Andreas. editor. Pattichis, Marios. editor. Pattichis, Constantinos. editor. Kyrkou, Christos. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

121.

Understanding Behaviour of Distributed Systems Using mCRL2

Author

Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

122.

Cover image for Enabling Person-Centric Healthcare Using Ambient Assistive Technology Personalized and Patient-Centric Healthcare Services in AAT

Enabling Person-Centric Healthcare Using Ambient Assistive Technology Personalized and Patient-Centric Healthcare Services in AAT

Author

Barsocchi, Paolo. editor. (orcid)0000-0002-6862-7593 Parvathaneni, Naga Srinivasu. editor. Garg, Amik. editor. Bhoi, Akash Kumar. editor. Palumbo, Filippo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

123.

Trends in Mathematical, Information and Data Sciences A Tribute to Leandro Pardo

Author

Balakrishnan, Narayanaswamy. editor. Gil, María Ángeles. editor. Martín, Nirian. editor. Morales, Domingo. editor. Pardo, María del Carmen. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

124.

Application of Gray System Theory in Fishery Science

Author

Chen, Xinjun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

125.

Cover image for Advanced Computing in Industrial Mathematics 15th Annual Meeting of the Bulgarian Section of SIAM, December 15-17, 2020, Sofia, Bulgaria, Revised Selected Papers

Advanced Computing in Industrial Mathematics 15th Annual Meeting of the Bulgarian Section of SIAM, December 15-17, 2020, Sofia, Bulgaria, Revised Selected Papers

Author

Georgiev, Ivan. editor. Kostadinov, Hristo. editor. Lilkova, Elena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

126.

Cover image for Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II

Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II

Author

Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

127.

Formal Verification of Structurally Complex Multipliers

Author

Mahzoon, Alireza. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

128.

Shallow and Deep Learning Principles Scientific, Philosophical, and Logical Perspectives

Author

Şen, Zekâi. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-29555-3

Format:

Availability

Online Library~1

Available:
Copies:

129.

Cover image for Smart Learning Ecosystems as Engines of the Green and Digital Transition Proceedings of the 8th Conference on Smart Learning Ecosystems and Regional Development

Smart Learning Ecosystems as Engines of the Green and Digital Transition Proceedings of the 8th Conference on Smart Learning Ecosystems and Regional Development

Author

Dascalu, Mihai. editor. Mealha, Óscar. editor. Virkus, Sirje. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-5540-4

Format:

Availability

Online Library~1

Available:
Copies:

130.

Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems

Author

Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-28916-3

Format:

Availability

Online Library~1

Available:
Copies:

131.

Engineering Mathematics and Computing

Author

Gyei-Kark, Park. editor. Jana, Dipak Kumar. editor. Panja, Prabir. editor. Abd Wahab, Mohd Helmy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-2300-5

Format:

Availability

Online Library~1

Available:
Copies:

132.

Cover image for Advanced Computing in Industrial Mathematics 14th Annual Meeting of the Bulgarian Section of SIAM, December 17-19, 2019, Sofia, Bulgaria, Revised Selected Papers

Advanced Computing in Industrial Mathematics 14th Annual Meeting of the Bulgarian Section of SIAM, December 17-19, 2019, Sofia, Bulgaria, Revised Selected Papers

Author

Georgiev, Ivan. editor. Kostadinov, Hristo. editor. Lilkova, Elena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

133.

Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings

Author

Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

134.

Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part I

Author

Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

135.

Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part II

Author

Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

136.

Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part III

Author

Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

137.

Optimization techniques in engineering : advances and applications

Author

Khosla, Anita.

Preferred Shelf Number

TA342 .O68 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

138.

Evolving networking technologies : developments and future directions

Author

Gupta, Shaurya, editor.

Preferred Shelf Number

TK5105.5 .E96 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

139.

Robotic process automation

Author

Rawat, Romil, editor. Chakrawarti, Rajesh Kumar. Sarangi, Sanjaya Kumar. Choudhary, Rahul. Gadwal, Anand Singh.

Preferred Shelf Number

T59.5 .R63 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

140.

Mathematical macroevolution in diatom research

Author

Pappas, Janice L., author.

Preferred Shelf Number

QK568 .M52 P37 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

141.

Cover image for Near extensions and alignment of data in R^n : Whitney extensions of near isometries, shortest paths, equidistribution, clustering and non-rigid alignment of data in Euclidean space

Near extensions and alignment of data in R^n : Whitney extensions of near isometries, shortest paths, equidistribution, clustering and non-rigid alignment of data in Euclidean space

Author

Damelin, Steven B., author.

Preferred Shelf Number

QA300 .D325 2024 EB

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

142.

Flight simulation software : design, development and testing

Author

Allerton, David, author.

Preferred Shelf Number

TL712.5 .A398 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

143.

Handbook of intelligent computing and optimization for sustainable development

Author

Manshahia, Mukhdeep Singh, editor.

Preferred Shelf Number

Q335

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

144.

Bioinformatics and medical applications : big data using deep learning algorithms

Author

Suresh, A.

Preferred Shelf Number

R858 .B56 2022

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

145.

Mathematics in computational science and engineering

Author

Bhardwaj, Ramakant, editor.

Preferred Shelf Number

QA76.9 .M35

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

146.

Mathematics in cyber research

Author

Goethals, Paul L., editor. Scala, Natalie M. (Natalie Michele), editor. Bennett, Daniel T., editor.

Preferred Shelf Number

QA76.9 .M35

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

147.

Restricted congruences in computing

Author

Bibak, Khodakhast, author.

Preferred Shelf Number

QA608

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

148.

Computational science and its applications

Author

Sreenivasan, Katepalli R., honoree. Siddiqi, A. H., editor. Singh, R. C., editor. Gowda, G. D. Veerappa, editor.

Preferred Shelf Number

QA76.9 .M35

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

149.

Introduction to lattice algebra : with applications in AI, pattern recognition, image analysis, and biomimetic neural networks

Author

Ritter, G. X., author. Urcid, Gonzalo, author.

Preferred Shelf Number

QA76.9 .L38 R58 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

150.

$Cover image for Geometric modeling of fractal forms for CAD$

Geometric modeling of fractal forms for CAD

Author

Gentil, Christian, author.

Preferred Shelf Number

TA174 .G46 2021 EB

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

151.

Digital system design using FSMs : a practical learning approach

Author

Minns, Peter D., author.

Preferred Shelf Number

QA267.5 .S4 M56 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

152.

Advanced applications of computational mathematics

Author

Kumar, Akshay, author. Ram, Mangey, author. Srivastava, H. M., author.

Preferred Shelf Number

QA76.9 .M35 .K86 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

153.

Mathematics education in the digital age : learning, practice and theory

Author

Clark-Wilson, Alison, editor. Donevska-Todorova, Ana, editor. Faggiano, Eleonora, editor. Trgalová, Jana, editor. Weigand, Hans-Georg, editor.

Preferred Shelf Number

QA20 .C65 M34 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

154.

Applied univariate, bivariate, and multivariate statistics using Python

Author

Denis, Daniel J., 1974- author.

Preferred Shelf Number

QA276.45 .P98 D46 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

155.

Applied regression modeling

Author

Pardoe, Iain, 1970- author.

Preferred Shelf Number

QA278.2 .P363 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

156.

Wireless blockchain : principles, technologies and applications

Author

Imran, Muhammad Ali, editor. Cao, Bin, editor. Zhang, Lei, editor. Peng, Mugen, editor.

Preferred Shelf Number

QA76.9 .B56

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

157.

Mathematical methods in interdisciplinary sciences

Author

Chakraverty, Snehashish, editor.

Preferred Shelf Number

Q175.32 .M38 M38 2020

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

158.

Gıda ve süreç mühendisleri için bilgisayar destekli matematik uygulamaları

Author

Dalgıç, Ali Coşkun.

Preferred Shelf Number

QA20.C65 D35 2020

Format:

Availability

Beytepe Library~1

Available:
Copies:

159.

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:

160.

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:

161.

Algorithms and Complexity 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings

Author

Heggernes, Pinar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

162.

Cover image for Industrial Networks and Intelligent Systems 14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27–28, 2018, Proceedings

Industrial Networks and Intelligent Systems 14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27–28, 2018, Proceedings

Author

Duong, Trung Q. editor. Vo, Nguyen-Son. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

163.

OpenFOAM® Selected Papers of the 11th Workshop

Author

Nóbrega, J. Miguel. editor. Jasak, Hrvoje. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

164.

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:

165.

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:

166.

Cover image for Stochastic Models in Reliability, Network Security and System Safety Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday

Stochastic Models in Reliability, Network Security and System Safety Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday

Author

Li, Quan-Lin. editor. Wang, Jinting. editor. Yu, Hai-Bo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-0864-6

Format:

Availability

Online Library~1

Available:
Copies:

167.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III

Author

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

168.

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:

169.

Cover image for Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings

Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings

Author

Burgeth, Bernhard. editor. (orcid)0000-0001-6602-6201 Kleefeld, Andreas. editor. (orcid)0000-0001-8324-821X Naegel, Benoît. editor. (orcid)0000-0002-7695-1473 Passat, Nicolas. editor. (orcid)0000-0002-0320-4581 Perret, Benjamin. editor. (orcid)0000-0003-0933-8342

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

170.

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:

171.

Algorithms and Data Structures 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings

Author

Friggstad, Zachary. editor. Sack, Jörg-Rüdiger. editor. Salavatipour, Mohammad R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

172.

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:

173.

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:

174.

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:

175.

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Author

Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

176.

Mathematical Insights into Advanced Computer Graphics Techniques

Author

Dobashi, Yoshinori. editor. Kaji, Shizuo. editor. Iwasaki, Kei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2850-3

Format:

Availability

Online Library~1

Available:
Copies:

177.

Advanced Image and Video Processing Using MATLAB

Author

Gong, Shengrong. author. Liu, Chunping. author. Ji, Yi. author. Zhong, Baojiang. author. Li, Yonggang. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

178.

Communications and Networking 13th EAI International Conference, ChinaCom 2018, Chengdu, China, October 23-25, 2018, Proceedings

Author

Liu, Xingang. editor. (orcid)0000-0003-4881-0216 Cheng, Dai. editor. Jinfeng, Lai. editor. (orcid)0000-0002-0092-7127 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

179.

Cover image for Quality, Reliability, Security and Robustness in Heterogeneous Systems 14th EAI International Conference, Qshine 2018, Ho Chi Minh City, Vietnam, December 3–4, 2018, Proceedings

Quality, Reliability, Security and Robustness in Heterogeneous Systems 14th EAI International Conference, Qshine 2018, Ho Chi Minh City, Vietnam, December 3–4, 2018, Proceedings

Author

Duong, Trung Q. editor. Vo, Nguyen-Son. editor. Phan, Van Ca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

180.

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:

181.

Transactions on Petri Nets and Other Models of Concurrency XIV

Author

Koutny, Maciej. editor. Pomello, Lucia. editor. Kristensen, Lars Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-60651-3

Format:

Availability

Online Library~1

Available:
Copies:

182.

Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings

Author

Holmes, Ian. editor. (orcid)0000-0001-7639-5369 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 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-18174-1

Format:

Availability

Online Library~1

Available:
Copies:

183.

New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering

Author

Tavares, João Manuel R. S. editor. Fernandes, Paulo Rui. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

184.

Linear Algebra for Computational Sciences and Engineering

Author

Neri, Ferrante. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

185.

Fault Diagnosis Inverse Problems: Solution with Metaheuristics

Author

Camps Echevarría, Lídice. author. Llanes Santiago, Orestes. author. (orcid)0000-0002-6864-9629 Campos Velho, Haroldo Fraga de. author. Silva Neto, Antônio José da. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

186.

Computational Geomechanics and Hydraulic Structures

Author

Chen, Sheng-Hong. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-8135-4

Format:

Availability

Online Library~1

Available:
Copies:

187.

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 II

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:

188.

Advances in Evolutionary and Deterministic Methods for Design, Optimization and Control in Engineering and Sciences

Author

Minisci, Edmondo. editor. (orcid)0000-0001-9951-8528 Vasile, Massimiliano. editor. Periaux, Jacques. editor. Gauger, Nicolas R. editor. Giannakoglou, Kyriakos C. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

189.

The Electrical Engineering Handbook - Six Volume Set

Author

Dorf, Richard C., editor. Taylor and Francis.

Preferred Shelf Number

R857 .B54

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

190.

Introduction to chaos : physics and mathematics of chaotic phenomena

Author

Nagashima, Hiroyuki, author. Baba, Yoshikazu, author. Nakahara, Mikio, translator.

Preferred Shelf Number

Q172.5 .C45

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

191.

Geometric and Topological Mesh Feature Extraction for 3D Shape Analysis

Author

Mari, Jean-Luc (Associate professor of computer science), author. Hétroy-Wheeler, Franck, author. Subsol, Gérard, author.

Preferred Shelf Number

TA1560

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

192.

Graphical Models for Security 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers

Author

Albanese, Massimiliano. editor. (orcid)0000-0002-2675-5810 Horne, Ross. editor. (orcid)0000-0003-0162-1901 Probst, Christian W. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

193.

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:

194.

Computational Topology in Image Context 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings

Author

Marfil, Rebeca. editor. (orcid)0000-0003-1573-5096 Calderón, Mariletty. editor. Díaz del Río, Fernando. editor. (orcid)0000-0001-6184-1629 Real, Pedro. editor. (orcid)0000-0002-6853-0505 Bandera, Antonio. editor. (orcid)0000-0003-3147-0307

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

195.

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

Author

Pekeč, Saša. editor. Venable, Kristen Brent. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

196.

Cover image for Ophthalmic Medical Image Analysis 6th International Workshop, OMIA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, Proceedings

Ophthalmic Medical Image Analysis 6th International Workshop, OMIA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, Proceedings

Author

Fu, Huazhu. editor. (orcid)0000-0002-9702-5524 Garvin, Mona K. editor. (orcid)0000-0003-3299-3150 MacGillivray, Tom. editor. (orcid)0000-0001-5120-0086 Xu, Yanwu. editor. (orcid)0000-0002-1779-931X Zheng, Yalin. editor. (orcid)0000-0002-7873-0922

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

197.

Transactions on Rough Sets XXI

Author

Peters, James F. editor. (orcid)0000-0002-1026-4638 Skowron, Andrzej. editor. (orcid)0000-0002-5271-6559 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-58768-3

Format:

Availability

Online Library~1

Available:
Copies:

198.

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Author

Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-58771-3

Format:

Availability

Online Library~1

Available:
Copies:

199.

Cover image for A New Hypothesis on the Anisotropic Reynolds Stress Tensor for Turbulent Flows Volume I: Theoretical Background and Development of an Anisotropic Hybrid k-omega Shear-Stress Transport/Stochastic Turbulence Model

A New Hypothesis on the Anisotropic Reynolds Stress Tensor for Turbulent Flows Volume I: Theoretical Background and Development of an Anisotropic Hybrid k-omega Shear-Stress Transport/Stochastic Turbulence Model

Author

Könözsy, László. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

200.

Analysis of Experimental Algorithms Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers

Author

Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383 Pardalos, Panos. editor. (orcid)0000-0003-2824-101X Parsopoulos, Konstantinos E. editor. Souravlias, Dimitris. editor. Tsokas, Arsenis. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

201.

Cover image for Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Author

Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

202.

Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives

Author

Beisbart, Claus. editor. Saam, Nicole J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

203.

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

Author

Thachuk, Chris. editor. Liu, Yan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

204.

Cover image for Parallel Computational Technologies 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers

Parallel Computational Technologies 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, 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-030-28163-2

Format:

Availability

Online Library~1

Available:
Copies:

205.

Algorithms and Models for the Web Graph 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings

Author

Avrachenkov, Konstantin. editor. Prałat, Paweł. editor. Ye, Nan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

206.

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:

207.

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:

208.

Geometric Science of Information 4th International Conference, GSI 2019, Toulouse, France, August 27–29, 2019, Proceedings

Author

Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

209.

Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory

Author

Blümlein, Johannes. editor. Schneider, Carsten. editor. Paule, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

210.

Cover image for Algorithms for Sensor Systems 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 23–24, 2018, Revised Selected Papers

Algorithms for Sensor Systems 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 23–24, 2018, Revised Selected Papers

Author

Gilbert, Seth. editor. (orcid)0000-0003-3298-7412 Hughes, Danny. editor. (orcid)0000-0001-6227-9500 Krishnamachari, Bhaskar. editor. (orcid)0000-0002-9994-9931 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

211.

Planetary Spacecraft Navigation

Author

Miller, James. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

212.

Modelling and Simulation Exploring Dynamic System Behaviour

Author

Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

213.

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:

214.

Cover image for String Processing and Information Retrieval 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings

String Processing and Information Retrieval 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings

Author

Brisaboa, Nieves R. editor. (orcid)0000-0001-8025-3048 Puglisi, Simon J. editor. (orcid)0000-0001-7668-7636 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

215.

Cover image for Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings

Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings

Author

Ghaffari, Mohsen. editor. Nesterenko, Mikhail. editor. Tixeuil, Sébastien. editor. (orcid)0000-0002-0948-7172 Tucci, Sara. editor. (orcid)0000-0001-9738-9021 Yamauchi, Yukiko. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

216.

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:

217.

Business Process Management 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings

Author

Hildebrandt, Thomas. editor. (orcid)0000-0002-7435-5563 van Dongen, Boudewijn F. editor. (orcid)0000-0002-3978-6464 Röglinger, Maximilian. editor. (orcid)0000-0003-4743-4511 Mendling, Jan. editor. (orcid)0000-0002-7260-524X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

218.

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:

219.

Cover image for Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part III

Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part III

Author

Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377 Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

220.

Cover image for Intelligent Data Processing 11th International Conference, IDP 2016, Barcelona, Spain, October 10–14, 2016, Revised Selected Papers

Intelligent Data Processing 11th International Conference, IDP 2016, Barcelona, Spain, October 10–14, 2016, Revised Selected Papers

Author

Strijov, Vadim V. editor. (orcid)0000-0002-2194-8859 Ignatov, Dmitry I. editor. (orcid)0000-0002-6584-8534 Vorontsov, Konstantin V. editor. (orcid)0000-0002-4244-4270 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

221.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV

Author

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

222.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V

Author

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

223.

Transactions on Computational Collective Intelligence XXXIV

Author

Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Kowalczyk, Ryszard. editor. Mercik, Jacek. editor. Motylska-Kuźma, Anna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-60555-4

Format:

Availability

Online Library~1

Available:
Copies:

224.

Business and Consumer Analytics: New Ideas

Author

Moscato, Pablo. editor. de Vries, Natalie Jane. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

225.

Cover image for Algorithms and Discrete Applied Mathematics 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings

Algorithms and Discrete Applied Mathematics 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings

Author

Pal, Sudebkumar Prasant. editor. Vijayakumar, Ambat. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

226.

Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings

Author

Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261 Gee, James C. editor. (orcid)0000-0002-2258-0187 Yushkevich, Paul A. editor. (orcid)0000-0001-8543-4016 Bao, Siqi. editor. (orcid)0000-0003-3885-125X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

227.

Cover image for Smart Cities, Green Technologies, and Intelligent Transport Systems 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers

Smart Cities, Green Technologies, and Intelligent Transport Systems 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers

Author

Donnellan, Brian. editor. Klein, Cornel. editor. Helfert, Markus. editor. Gusikhin, Oleg. editor. Pascoal, António. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

228.

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:

229.

Error Estimates for Advanced Galerkin Methods

Author

Rüter, Marcus Olavi. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

230.

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:

231.

Sub-structure Coupling for Dynamic Analysis Application to Complex Simulation-Based Problems Involving Uncertainty

Author

Jensen, Hector. author. Papadimitriou, Costas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

232.

Deep Learning with R

Author

Ghatak, Abhijit. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

233.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I

Author

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

234.

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:

235.

Cover image for Operations Research and Enterprise Systems 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24–26, 2018, Revised Selected Papers

Operations Research and Enterprise Systems 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24–26, 2018, Revised Selected Papers

Author

Parlier, Greg H. editor. Liberatore, Federico. editor. Demange, Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

236.

Arto Salomaa: Mathematician, Computer Scientist, and Teacher A Thematic Biography

Author

Paakki, Jukka. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

237.

Boundary Value Problems for Engineers with MATLAB Solutions

Author

Keskin, Ali Ümit. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

238.

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:

239.

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:

240.

Cover image for Graph-Based Representations in Pattern Recognition 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19–21, 2019, Proceedings

Graph-Based Representations in Pattern Recognition 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19–21, 2019, Proceedings

Author

Conte, Donatello. editor. (orcid)0000-0003-4642-4768 Ramel, Jean-Yves. editor. Foggia, Pasquale. editor. (orcid)0000-0002-7096-1902 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

241.

Cover image for Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Author

Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

242.

Combinatorial Algorithms 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings

Author

Colbourn, Charles J. editor. Grossi, Roberto. editor. Pisanti, Nadia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

243.

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

Author

Li, Deng-Feng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-0657-4

Format:

Availability

Online Library~1

Available:
Copies:

244.

Code-Based Cryptography 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18–19, 2019, Revised Selected Papers

Author

Baldi, Marco. editor. (orcid)0000-0002-8754-5526 Persichetti, Edoardo. editor. (orcid)0000-0002-1895-377X Santini, Paolo. editor. (orcid)0000-0003-0631-3668 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

245.

Cover image for Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017) Transcending Boundaries, Embracing Multidisciplinary Diversities

Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017) Transcending Boundaries, Embracing Multidisciplinary Diversities

Author

Kor, Liew-Kee. editor. Ahmad, Abd-Razak. editor. Idrus, Zanariah. editor. Mansor, Kamarul Ariffin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

246.

Cover image for Information Technologies and Mathematical Modelling. Queueing Theory and Applications 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26–30, 2019, Revised Selected Papers

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26–30, 2019, Revised Selected Papers

Author

Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Moiseev, Alexander. editor. (orcid)0000-0003-2369-452X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

247.

Cover image for Optimization and Applications 9th International Conference, OPTIMA 2018, Petrovac, Montenegro, October 1–5, 2018, Revised Selected Papers

Optimization and Applications 9th International Conference, OPTIMA 2018, Petrovac, Montenegro, October 1–5, 2018, Revised Selected Papers

Author

Evtushenko, Yury. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Kochetov, Yury. editor. (orcid)0000-0001-7123-8647 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

248.

Computational Biomechanics for Medicine Measurements, Models, and Predictions

Author

Nielsen, Poul M. F. editor. Wittek, Adam. editor. Miller, Karol. editor. Doyle, Barry. editor. Joldes, Grand R. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

249.

Analytical Methods in Nonlinear Oscillations Approaches and Applications

Author

Esmailzadeh, Ebrahim. author. Younesian, Davood. author. Askari, Hassan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-94-024-1542-1

Format:

Availability

Online Library~1

Available:
Copies:

250.

Computational Homogenization of Heterogeneous Materials with Finite Elements

Author

Yvonnet, Julien. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

251.

Evolutionary Learning: Advances in Theories and Algorithms

Author

Zhou, Zhi-Hua. author. Yu, Yang. author. Qian, Chao. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-5956-9

Format:

Availability

Online Library~1

Available:
Copies:

252.

Cover image for IUTAM Symposium on Solver-Coupling and Co-Simulation Proceedings of the IUTAM Symposium on Solver-Coupling and Co-Simulation, Darmstadt, Germany, September 18-20, 2017

IUTAM Symposium on Solver-Coupling and Co-Simulation Proceedings of the IUTAM Symposium on Solver-Coupling and Co-Simulation, Darmstadt, Germany, September 18-20, 2017

Author

Schweizer, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

253.

Calculus for Computer Graphics

Author

Vince, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

254.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II

Author

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

255.

Logic Functions and Equations Binary Models for Computer Science

Author

Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

256.

Cover image for Functional Imaging and Modeling of the Heart 10th International Conference, FIMH 2019, Bordeaux, France, June 6–8, 2019, Proceedings

Functional Imaging and Modeling of the Heart 10th International Conference, FIMH 2019, Bordeaux, France, June 6–8, 2019, Proceedings

Author

Coudière, Yves. editor. Ozenne, Valéry. editor. Vigmond, Edward. editor. Zemzemi, Nejib. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

257.

Cover image for Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers

Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers

Author

Shokin, Yuri. editor. (orcid)0000-0002-5178-8294 Shaimardanov, Zhassulan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

258.

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:

259.

Cover image for Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

Author

Sau, Ignasi. editor. (orcid)0000-0002-8981-9287 Thilikos, Dimitrios M. editor. (orcid)0000-0003-0470-1800 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

260.

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Author

Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

261.

Multi-scale Simulation of Composite Materials Results from the Project MuSiKo

Author

Diebels, Stefan. editor. Rjasanow, Sergej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-57957-2

Format:

Availability

Online Library~1

Available:
Copies:

262.

Cover image for WALCOM: Algorithms and Computation 13th International Conference, WALCOM 2019, Guwahati, India, February 27 – March 2, 2019, Proceedings

WALCOM: Algorithms and Computation 13th International Conference, WALCOM 2019, Guwahati, India, February 27 – March 2, 2019, Proceedings

Author

Das, Gautam K. editor. (orcid)0000-0001-7471-2885 Mandal, Partha S. editor. (orcid)0000-0002-8632-5767 Mukhopadhyaya, Krishnendu. editor. (orcid)0000-0001-6292-8961 Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

263.

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:

264.

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:

265.

Cover image for Scale Space and Variational Methods in Computer Vision 7th International Conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019, Proceedings

Scale Space and Variational Methods in Computer Vision 7th International Conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019, Proceedings

Author

Lellmann, Jan. editor. (orcid)0000-0002-5243-0331 Burger, Martin. editor. Modersitzki, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

266.

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:

267.

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:

268.

Resonant Scattering and Generation of Waves Cubically Polarizable Layers

Author

Angermann, Lutz. author. Yatsyk, Vasyl V. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

269.

Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings

Author

Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

270.

Kesikli matematik = Discrete mathematics

Author

Johnsonbaugh, Richard. Gürçay, Haşmet.

Preferred Shelf Number

QA39.2 J6519 2019

Format:

Availability

Beytepe Library~3

Available:
Copies:

271.

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Author

Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

272.

Cover image for Numerical Methods and Applications 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers

Numerical Methods and Applications 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers

Author

Nikolov, Geno. editor. (orcid)0000-0001-5608-2488 Kolkovska, Natalia. editor. Georgiev, Krassimir. editor. (orcid)0000-0001-5277-2887 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

273.

Visual Saliency: From Pixel-Level to Object-Level Analysis

Author

Zhang, Jianming. author. Malmberg, Filip. author. Sclaroff, Stan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

274.

Cover image for Research in Computational Molecular Biology 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings

Research in Computational Molecular Biology 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings

Author

Cowen, Lenore J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

275.

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

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

Author

Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Kasahara, Shoji. editor. (orcid)0000-0001-9785-8350 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

276.

Real-Time Rendering

Author

Akenine-Möller, Tomas, author. Haines, Eric, author. Hoffman, Naty, author. Taylor and Francis.

Preferred Shelf Number

T385 .M635 2008

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

277.

Electronics, power electronics, optoelectronics, microwaves, electromagnetics, and radar

Author

Dorf, Richard C., author Dorf, Richard C., editor.

Preferred Shelf Number

TK145

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

278.

Cover image for High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers

High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers

Author

Kozubek, Tomáš. editor. Čermák, Martin. editor. (orcid)0000-0002-0171-625X Tichý, Petr. editor. (orcid)0000-0001-6008-4056 Blaheta, Radim. editor. Šístek, Jakub. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

279.

Analysis for Computer Scientists Foundations, Methods, and Algorithms

Author

Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651 Ostermann, Alexander. author. (orcid)0000-0003-0194-2481 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

280.

Dynamic Decoupling of Robot Manipulators

Author

Arakelian, Vigen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

281.

Advances in Principal Component Analysis Research and Development

Author

Naik, Ganesh R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-6704-4

Format:

Availability

Online Library~1

Available:
Copies:

282.

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:

283.

Handbook of discrete and combinatorial mathematics

Author

Goddard, Wayne, editor. Rosen, Kenneth H., editor. Shier, Douglas R., editor.

Preferred Shelf Number

QA164 .H36 2018

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

284.

Foundations of Trusted Autonomy

Author

Abbass, Hussein A. editor. Scholz, Jason. editor. Reid, Darryn J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

285.

One-Dimensional Finite Elements An Introduction to the FE Method

Author

Öchsner, Andreas. author. Merkel, Markus. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

286.

Mechanisms of Cracking and Debonding in Asphalt and Composite Pavements State-of-the-Art of the RILEM TC 241-MCD

Author

Buttlar, William G. editor. Chabot, Armelle. editor. Dave, Eshan V. editor. Petit, Christophe. editor. Tebaldi, Gabriele. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

287.

Global Formulations of Lagrangian and Hamiltonian Dynamics on Manifolds A Geometric Approach to Modeling and Analysis

Author

Lee, Taeyoung. author. (orcid)0000-0003-4982-4150 Leok, Melvin. author. (orcid)0000-0002-8326-0830 McClamroch, N. Harris. author. (orcid)0000-0002-7536-5659 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

288.

Math Unlimited : Essays in Mathematics.

Author

Sujatha, R., editor CRC Press LLC.

Preferred Shelf Number

QA7 .M44425 2017

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

289.

Meta-heuristic and evolutionary algorithms for engineering optimization

Author

Bozorg-Haddad, Omid, 1974- author. Solgi, Mohammad, 1989- author. Loaiciga, Hugo A., author.

Preferred Shelf Number

QA402.5 .B695 2017

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

290.

The AGT cytogenetics laboratory manual

Author

Arsham, Marilyn S., editor. Barch, Margaret J., editor. Lawce, Helen J., editor.

Preferred Shelf Number

QH441

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

291.

Handbook of typography for the mathematical sciences

Author

KRANTZ, STEVEN G.

Preferred Shelf Number

Z253.4 .T47

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

292.

Markov chains : from theory to implementation and experimentation

Author

Gagniuc, Paul A., author.

Preferred Shelf Number

QA274.7 .G34 2017

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

293.

Robust adaptive dynamic programming

Author

Jiang, Yu (Software engineer), author. Jiang, Z.-P. (Zhong-Ping), author.

Preferred Shelf Number

TJ217

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

294.

Coding Theory and Applications 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings

Author

Barbero, Ángela I. editor. Skachek, Vitaly. editor. Ytrehus, Øyvind. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

295.

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:

296.

Cover image for Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part III

Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part III

Author

Descoteaux, Maxime. editor. Maier-Hein, Lena. editor. Franz, Alfred. editor. Jannin, Pierre. editor. Collins, D. Louis. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

297.

Cover image for Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings

Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings

Author

Thomas, Nigel. editor. Forshaw, Matthew. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

298.

Cover image for Advances in Spatial and Temporal Databases 15th International Symposium, SSTD 2017, Arlington, VA, USA, August 21 - 23, 2017, Proceedings

Advances in Spatial and Temporal Databases 15th International Symposium, SSTD 2017, Arlington, VA, USA, August 21 - 23, 2017, Proceedings

Author

Gertz, Michael. editor. Renz, Matthias. editor. Zhou, Xiaofang. editor. Hoel, Erik. editor. Ku, Wei-Shinn. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

299.

Cover image for Imaging for Patient-Customized Simulations and Systems for Point-of-Care Ultrasound International Workshops, BIVPCS 2017 and POCUS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, 2017, Proceedings

Imaging for Patient-Customized Simulations and Systems for Point-of-Care Ultrasound International Workshops, BIVPCS 2017 and POCUS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, 2017, Proceedings

Author

Cardoso, M. Jorge. editor. Arbel, Tal. editor. Tavares, João Manuel R.S. editor. Aylward, Stephen. editor. Li, Shuo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

300.

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:

301.

Cover image for Patch-Based Techniques in Medical Imaging Third International Workshop, Patch-MI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings

Patch-Based Techniques in Medical Imaging Third International Workshop, Patch-MI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings

Author

Wu, Guorong. editor. Munsell, Brent C. editor. Zhan, Yiqiang. editor. Bai, Wenjia. editor. Sanroma, Gerard. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

302.

Introduction to Artificial Intelligence

Author

Ertel, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

303.

Cover image for Internet of Things, Smart Spaces, and Next Generation Networks and Systems 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017, Proceedings

Author

Galinina, Olga. editor. Andreev, Sergey. editor. Balandin, Sergey. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

304.

Cover image for Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Author

Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

305.

Fluid Dynamics Theory, Computation, and Numerical Simulation

Author

Pozrikidis, C. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4899-7991-9

Format:

Availability

Online Library~1

Available:
Copies:

306.

Doubly Classified Model with R

Author

Tan, Teck Kiang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-6995-6

Format:

Availability

Online Library~1

Available:
Copies:

307.

Algorithms for Next-Generation Sequencing Data Techniques, Approaches, and Applications

Author

Elloumi, Mourad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

308.

Feistel Ciphers Security Proofs and Cryptanalysis

Author

Nachef, Valerie. author. Patarin, Jacques. author. Volte, Emmanuel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

309.

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:

310.

Combinatorial Optimization and Graph Algorithms Communications of NII Shonan Meetings

Author

Fukunaga, Takuro. editor. Kawarabayashi, Ken-ichi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

311.

Cover image for Information Theoretic Security 10th International Conference, ICITS 2017, Hong Kong, China, November 29 - December 2, 2017, Proceedings

Information Theoretic Security 10th International Conference, ICITS 2017, Hong Kong, China, November 29 - December 2, 2017, Proceedings

Author

Shikata, Junji. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

312.

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

Author

Draheim, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

313.

Cover image for Similarity Search and Applications 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings

Author

Beecks, Christian. editor. Borutta, Felix. editor. Kröger, Peer. editor. Seidl, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

314.

Cover image for Queueing Theory and Network Applications 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings

Queueing Theory and Network Applications 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings

Author

Yue, Wuyi. editor. Li, Quan-Lin. editor. Jin, Shunfu. editor. (orcid)0000-0002-5845-5601 Ma, Zhanyou. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

315.

Cover image for Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

Author

Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

316.

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:

317.

Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part I

Author

Descoteaux, Maxime. editor. Maier-Hein, Lena. editor. Franz, Alfred. editor. Jannin, Pierre. editor. Collins, D. Louis. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

318.

Algorithms and Data Structures 15th International Symposium, WADS 2017, St. John's, NL, Canada, July 31 - August 2, 2017, Proceedings

Author

Ellen, Faith. editor. Kolokolova, Antonina. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

319.

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:

320.

String Analysis for Software Verification and Security

Author

Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

321.

Cover image for Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings

Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings

Author

Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

322.

Granular, Soft and Fuzzy Approaches for Intelligent Systems Dedicated to Professor Ronald R. Yager

Author

Kacprzyk, Janusz. editor. Filev, Dimitar. editor. Beliakov, Gleb. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

323.

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

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:

324.

Cover image for Algorithms for Sensor Systems 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers

Algorithms for Sensor Systems 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers

Author

Chrobak, Marek. editor. Fernández Anta, Antonio. editor. Gąsieniec, Leszek. editor. Klasing, Ralf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

325.

Computational Intelligence in Wireless Sensor Networks Recent Advances and Future Challenges

Author

Abraham, Ajith. editor. Falcon, Rafael. editor. Koeppen, Mario. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

326.

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:

327.

Content-Based Image Retrieval Ideas, Influences, and Current Trends

Author

Tyagi, Vipin. author. (orcid)0000-0003-4994-3686 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-6759-4

Format:

Availability

Online Library~1

Available:
Copies:

328.

Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part II

Author

Descoteaux, Maxime. editor. Maier-Hein, Lena. editor. Franz, Alfred. editor. Jannin, Pierre. editor. Collins, D. Louis. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

329.

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:

330.

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:

331.

Cover image for Operations Research and Enterprise Systems 5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016, Revised Selected Papers

Operations Research and Enterprise Systems 5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016, Revised Selected Papers

Author

Vitoriano, Begoña. editor. Parlier, Greg H. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

332.

Cover image for Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers

Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers

Author

Müller, Henning. editor. Kelm, B. Michael. editor. Arbel, Tal. editor. Cai, Weidong. editor. (orcid)0000-0003-3706-8896 Cardoso, M. Jorge. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

333.

Cover image for Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers

Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers

Author

Rossi, Federico. editor. Piotto, Stefano. editor. Concilio, Simona. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

334.

Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings

Author

Bilò, Vittorio. editor. Flammini, Michele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

335.

Information Theory and Coding - Solved Problems

Author

Ivaniš, Predrag. author. Drajić, Dušan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

336.

Cover image for Cyber Security Cryptography and Machine Learning First International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 2017, Proceedings

Cyber Security Cryptography and Machine Learning First International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 2017, Proceedings

Author

Dolev, Shlomi. editor. Lodha, Sachin. editor. (orcid)0000-0001-5771-4977 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

337.

The Musical-Mathematical Mind Patterns and Transformations

Author

Pareyon, Gabriel. editor. Pina-Romero, Silvia. editor. Agustín-Aquino, Octavio A. editor. Lluis-Puebla, Emilio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

338.

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:

339.

Cover image for Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers

Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers

Author

Floater, Michael. editor. Lyche, Tom. editor. Mazure, Marie-Laurence. editor. Mørken, Knut. editor. Schumaker, Larry L. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

340.

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers

Author

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

341.

Cover image for Information Technologies and Mathematical Modelling. Queueing Theory and Applications 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings

Author

Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Kirpichnikov, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

342.

Computer Music Instruments Foundations, Design and Development

Author

Lazzarini, Victor. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

343.

Full-Duplex Wireless Communications Systems Self-Interference Cancellation

Author

Le-Ngoc, Tho. author. Masmoudi, Ahmed. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

344.

Cover image for Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

Author

Cazenave, Tristan. editor. Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

345.

The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library

Author

Beebe, Nelson H.F. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

346.

Foundations of Computer Vision Computational Geometry, Visual Image Structures and Object Shape Detection

Author

Peters, James F. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

347.

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Author

Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

348.

Cover image for Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

Author

Weil, Pascal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

349.

Cover image for Advances in Cryptology - EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part I

Advances in Cryptology - EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part I

Author

Coron, Jean-Sébastien. editor. Nielsen, Jesper Buus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

350.

Advances in Cryptology - EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part II

Author

Coron, Jean-Sébastien. editor. Nielsen, Jesper Buus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

351.

Cover image for Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Author

Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

352.

Cover image for Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

Author

de Lara, Juan. editor. Plump, Detlef. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

353.

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:

354.

DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings

Author

Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)