Search Results for Logic

1.

Cover image for Knowledge Graphs and Semantic Web 5th Iberoamerican Conference and 4th Indo-American Conference, KGSWC 2023, Zaragoza, Spain, November 13-15, 2023, Proceedings

Knowledge Graphs and Semantic Web 5th Iberoamerican Conference and 4th Indo-American Conference, KGSWC 2023, Zaragoza, Spain, November 13-15, 2023, Proceedings

Author

Ortiz-Rodriguez, Fernando. editor. Villazón-Terrazas, Boris. editor. Tiwari, Sanju. editor. Bobed, Carlos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Author

Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Author

Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Sentiment Analysis and Deep Learning Proceedings of ICSADL 2022

Author

Shakya, Subarna. editor. Du, Ke-Lin. editor. Ntalianis, Klimis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-5443-6

Format:

Availability

Online Library~1

Available:
Copies:

5.

Machine Learning Support for Fault Diagnosis of System-on-Chip

Author

Girard, Patrick. editor. Blanton, Shawn. editor. Wang, Li-C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 1

Author

Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 2

Author

Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Machine Learning and Metaheuristics: Methods and Analysis

Author

Dulhare, Uma N. editor. Houssein, Essam Halim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022

Author

Shakya, Subarna. editor. Balas, Valentina Emilia. editor. Haoxiang, Wang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-7874-6

Format:

Availability

Online Library~1

Available:
Copies:

10.

Soft Computing for Security Applications Proceedings of ICSCS 2023

Author

Ranganathan, G. editor. EL Allioui, Youssouf. editor. Piramuthu, Selwyn. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Computational Intelligence and Mathematics for Tackling Complex Problems 4

Author

Cornejo, María Eugenia. editor. Harmati, István Á. editor. Kóczy, László T. editor. Medina-Moreno, Jesús. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Advances in VLSI and Embedded Systems Select Proceedings of AVES 2021

Author

Darji, Anand D. editor. Joshi, Deepak. editor. Joshi, Amit. editor. Sheriff, Ray. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-6780-1

Format:

Availability

Online Library~1

Available:
Copies:

13.

Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain

Author

Sahoo, Laxminarayan. editor. Senapati, Tapan. editor. Yager, Ronald R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-4929-6

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 2

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 2

Author

Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science ICMMCS 2023

Author

Peng, Sheng-Lung. editor. Jhanjhi, Noor Zaman. editor. Pal, Souvik. editor. Amsaad, Fathi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Author

Crémilleux, Bruno. editor. Hess, Sibylle. editor. Nijssen, Siegfried. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Next Generation Arithmetic 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings

Author

Gustafson, John. editor. (orcid) Leong, Siew Hoon. editor. Michalewicz, Marek. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Author

Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings

Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings

Author

Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

Author

Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part II

Author

Bebis, George. editor. Ghiasi, Golnaz. editor. Fang, Yi. editor. Sharf, Andrei. editor. Dong, Yue. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings

Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings

Author

García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Author

Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Modern Electronics Devices and Communication Systems Select Proceedings of MEDCOM 2021

Author

Agrawal, Rajeev. editor. Kishore Singh, Chandramani. editor. Goyal, Ayush. editor. Singh, Dinesh Kumar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-6383-4

Format:

Availability

Online Library~1

Available:
Copies:

25.

Algorithmic Foundations of Robotics XV Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics

Author

LaValle, Steven M. editor. O'Kane, Jason M. editor. Otte, Michael. editor. Sadigh, Dorsa. editor. Tokekar, Pratap. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Recent Developments and the New Directions of Research, Foundations, and Applications Selected Papers of the 8th World Conference on Soft Computing, February 03-05, 2022, Baku, Azerbaijan, Vol. I

Recent Developments and the New Directions of Research, Foundations, and Applications Selected Papers of the 8th World Conference on Soft Computing, February 03-05, 2022, Baku, Azerbaijan, Vol. I

Author

Shahbazova, Shahnaz N. editor. Abbasov, Ali M. editor. Kreinovich, Vladik. editor. Kacprzyk, Janusz. editor. Batyrshin, Ildar Z. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach

Author

Izadian, Afshin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Recent Advances in Mechanical Engineering Select Proceedings of CAMSE 2021

Author

Manik, Gaurav. editor. Kalia, Susheel. editor. Verma, Om Prakash. editor. Sharma, Tarun K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-2188-9

Format:

Availability

Online Library~1

Available:
Copies:

29.

Optical and Wireless Technologies Proceedings of OWT 2021

Author

Tiwari, Manish. editor. Ismail, Yaseera. editor. Verma, Karan. editor. Garg, Amit Kumar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Innovations in Signal Processing and Embedded Systems Proceedings of ICISPES 2021

Author

Mandal, Jyotsna Kumar. editor. Hinchey, Mike. editor. Rao, K. Sreenivas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-1669-4

Format:

Availability

Online Library~1

Available:
Copies:

31.

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:

32.

Advances in Manufacturing, Automation, Design and Energy Technologies Proceedings from ICoFT 2021

Author

Sivaram, N. M. editor. Sankaranarayanasamy, K. editor. Davim, J. Paulo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-1288-9

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Information and Communication Technologies 11th Ecuadorian Conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023, Proceedings

Information and Communication Technologies 11th Ecuadorian Conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023, Proceedings

Author

Maldonado-Mahauad, Jorge. editor. Herrera-Tapia, Jorge. editor. Zambrano-Martínez, Jorge Luis. editor. Berrezueta, Santiago. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Konrad Zuse's Early Computers The Quest for the Computer in Germany

Author

Rojas, Raúl. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Programming Languages: Principles and Paradigms

Author

Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Author

Gianola, Alessandro. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Medical Persuasion Understanding the Impact on Medical Argumentation

Author

Velanovich, Vic. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Handbook of Abductive Cognition

Author

Magnani, Lorenzo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Robust and Intelligent Control of a Typical Underactuated Robot Mobile Wheeled Inverted Pendulum

Author

Huang, Jian. author. Zhang, Mengshi. author. Fukuda, Toshio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-7157-0

Format:

Availability

Online Library~1

Available:
Copies:

40.

Digital Technologies in Logistics and Infrastructure

Author

Ilin, Igor. editor. (orcid)0000-0003-2981-0624 Jahn, Carlos. editor. Tick, Andrea. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Advances in Computer Science for Engineering and Education VI

Author

Hu, Zhengbing. editor. Dychka, Ivan. editor. He, Matthew. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Service Design for Emerging Technologies Product Development Bridging the Interdisciplinary Knowledge Gap

Author

Hamid, Umar Zakir Abdul. editor. Suoheimo, Mari. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Taking AIMS at Digital Design Analysis, Improvement, Modeling, and Synthesis

Author

Jantsch, Axel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Machine Learning and the Internet of Things in Education Models and Applications

Author

Idoko, John Bush. editor. Abiyev, Rahib. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

The Routledge handbook of propositions

Author

Murray, Adam Russell, 1979- editor. Tillman, Chris, 1976- editor.

Preferred Shelf Number

BC181

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

The baseball mysteries : challenging puzzles for logical detectives

Author

Butters, Jerry, author. Henle, James M., author.

Preferred Shelf Number

QA95

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

MULTIPLE-VALUED COMPUTING IN QUANTUM MOLECULAR BIOLOGY arithmetic and combinational circuits.

Author

Babu, Hafiz Md. Hasan, 1966-

Preferred Shelf Number

QH506

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

EPISTEMOLOGY OF MODALITY AND PHILOSOPHICAL METHODOLOGY

Author

Vaidya, Anand. Prelević, Duško.

Preferred Shelf Number

BC199 .M6

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

49.

Bernard Schmitt's quantum macroeconomic analysis

Author

Cencini, Alvaro, author.

Preferred Shelf Number

HB172.5 .C416 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Advances in semiconductor technologies : selected topics beyond conventional CMOS

Author

Chen, An (Electronics engineer), editor.

Preferred Shelf Number

TK7871.85 .A3565 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Nuclear Economy. 1, Nuclear fuel cycle economic analysis

Author

Percebois, Jacques, editor. Thiolliére, Nicolas, editor.

Preferred Shelf Number

TJ163.2 .N835 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Fuzzy optimization techniques in the areas of science and management

Author

Das, Santosh Kumar (Professor of computer science), editor. Giacalone, Massimiliano, editor.

Preferred Shelf Number

QA402.5

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cyber Technologies and Emerging Sciences ICCTES 2021

Author

Maurya, Sudhanshu. editor. Peddoju, Sateesh K. editor. Ahmad, Badlishah. editor. Chihi, Ines. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-2538-2

Format:

Availability

Online Library~1

Available:
Copies:

54.

Nucleic Acid Biology and its Application in Human Diseases

Author

Chatterjee, Subhrangsu. editor. Chattopadhyay, Samit. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-8520-1

Format:

Availability

Online Library~1

Available:
Copies:

55.

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 3

Author

Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Perspectives and Trends in Education and Technology Selected Papers from ICITED 2022

Author

Mesquita, Anabela. editor. Abreu, António. editor. (orcid)0000-0001-5958-9188 Carvalho, João Vidal. editor. (orcid)0000-0001-9727-0557 de Mello, Cristina Helena Pinto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-6585-2

Format:

Availability

Online Library~1

Available:
Copies:

57.

Digital Design from the VLSI Perspective Concepts for VLSI Beginners

Author

Taraate, Vaibbhav. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-4652-3

Format:

Availability

Online Library~1

Available:
Copies:

58.

Embedded Systems Design using the MSP430FR2355 LaunchPad™

Author

LaMeres, Brock J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Software Defined Chips Volume II

Author

Liu, Leibo. author. Wei, Shaojun. author. Zhu, Jianfeng. author. Deng, Chenchen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-7636-0

Format:

Availability

Online Library~1

Available:
Copies:

60.

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:

61.

Embracing Machines and Humanity Through Cognitive Computing and IoT

Author

Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-4522-9

Format:

Availability

Online Library~1

Available:
Copies:

62.

Emerging Computing: From Devices to Systems Looking Beyond Moore and Von Neumann

Author

Aly, Mohamed M. Sabry. editor. Chattopadhyay, Anupam. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-16-7487-7

Format:

Availability

Online Library~1

Available:
Copies:

63.

Handling Uncertainty in Artificial Intelligence

Author

Chaki, Jyotismita. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

Intelligent Manufacturing and Energy Sustainability Proceedings of ICIMES 2022

Author

Manchuri, Amaranadha Reddy. editor. Marla, Deepak. editor. Rao, V. Vasudeva. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-8497-6

Format:

Availability

Online Library~1

Available:
Copies:

65.

Microelectronics, Circuits and Systems Select Proceedings of Micro2021

Author

Biswas, Abhijit. editor. Islam, Aminul. editor. Chaujar, Rishu. editor. Jaksic, Olga. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-0412-9

Format:

Availability

Online Library~1

Available:
Copies:

66.

Hardware Security Training, Hands-on!

Author

Tehranipoor, Mark. author. Anandakumar, N. Nalla. author. Farahmandi, Farimah. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

Reliability Engineering and Computational Intelligence for Complex Systems Design, Analysis and Evaluation

Author

van Gulijk, Coen. editor. (orcid)0000-0003-4541-2693 Zaitseva, Elena. editor. Kvassay, Miroslav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 1

Author

Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

Intelligent Information Processing with Matlab

Author

Zhang, Xiu. author. Zhang, Xin. author. Wang, Wei. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-6449-9

Format:

Availability

Online Library~1

Available:
Copies:

70.

Soft Computing Applications Proceedings of the 9th International Workshop Soft Computing Applications (SOFA 2020)

Author

Balas, Valentina Emilia. editor. Jain, Lakhmi C. editor. Balas, Marius Mircea. editor. Baleanu, Dumitru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

71.

Cover image for Advances in Automation IV Proceedings of the International Russian Automation Conference, RusAutoCon2022, September 4-10, 2022, Sochi, Russia

Advances in Automation IV Proceedings of the International Russian Automation Conference, RusAutoCon2022, September 4-10, 2022, Sochi, Russia

Author

Radionov, Andrey A. editor. Gasiyarov, Vadim R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

72.

Proceedings of the International Conference on Information Control, Electrical Engineering and Rail Transit ICEERT 2022

Author

Yadav, Sanjay. editor. Kumar, Rahul. editor. Zainuddin, Hidayat. editor. Deng, Lvxiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

73.

Fuzzy Information Processing 2023

Author

Cohen, Kelly. editor. Ernest, Nicholas. editor. Bede, Barnabas. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

74.

Speaking of Forms of Life The Language of Conservation

Author

Campagna, Claudio. author. Guevara, Daniel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

75.

Recent Developments and the New Directions of Research, Foundations, and Applications Selected Papers of the 8th World Conference on Soft Computing, February 03-05, 2022, Baku, Azerbaijan, Vol. II

Author

Shahbazova, Shahnaz N. editor. Abbasov, Ali M. editor. Kreinovich, Vladik. editor. Kacprzyk, Janusz. editor. Batyrshin, Ildar Z. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

76.

Multimodal methods in anthropology

Author

Collins, Samuel Gerald, author. Durington, Matthew Slover, author.

Preferred Shelf Number

GN33

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

77.

PLEA FOR PLAUSIBILITY toward a comparative decision theory.

Author

Welch, John R.

Preferred Shelf Number

BC143

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

78.

PHILOSOPHICAL INTRODUCTION TO HIGHER ORDER LOGICS

Author

Bacon, Andrew, 1985-

Preferred Shelf Number

BC135

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

ELECTRONIC DIGITAL SYSTEM FUNDAMENTALS

Author

Patrick, Dale R., author. Fardo, Stephen W., author. Chandra, Vigyan, 1968- author. Fardo, Brian W., author.

Preferred Shelf Number

TK7868 .D5

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

80.

The philosophy of exemplarity : singularity, particularity, and self-reference

Author

Mácha, Jakub, author.

Preferred Shelf Number

B105 .I3

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

81.

NATURE OF EXPLANATION IN SOCIAL SCIENCES

Author

Tiwari, Rajesh Ranjan.

Preferred Shelf Number

H61

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

82.

Artificial Intelligence-based smart power systems

Author

Sanjeevikumar, Padmanaban, 1978- editor. Palanisamy, Sivaraman, 1991- editor. Chenniappan, Sharmeela, 1977- editor. Holm-Nielsen, Jens Bo, editor.

Preferred Shelf Number

TK3105 .A784 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

83.

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:

84.

Fuzzy systems modeling in environmental and health risk assessment

Author

Faybishenko, Boris, editor. Sadiq, Rehan, editor. Deshpande, Ashok, editor.

Preferred Shelf Number

RA427.3 .F89 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

85.

Symbolic approaches to modeling and analysis of biological systems

Author

Lhoussaine, Cédric, editor. Rémy, Elisabeth, editor.

Preferred Shelf Number

QH324.2 .S96 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

86.

Decision-making tools to support innovation : guidelines and case studies

Author

Enjolras, Manon, author. Galvez, Daniel, author. Camargo, Mauricio, author.

Preferred Shelf Number

HM846 .E55 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

87.

Ondes Martenot with tubes

Author

Courrier, Thierry, author. Quartier, Laurent, author.

Preferred Shelf Number

MT724 .C68 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

88.

Territorial Inequalities

Author

Talandier, Magali, editor. Tallec, Josselin, 1982- editor.

Preferred Shelf Number

JQ1830 .A56 .T477 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

89.

Counterfactualism in the fine arts

Author

Reinhuber, Elke, 1970- author.

Preferred Shelf Number

N70 .R38 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

Artificial intelligence in games

Author

Roberts, Paul (Game programmer), author. Dent, Nicholas (Illustrator), illustrator.

Preferred Shelf Number

QA76.76 .C672 R6327 2023 EB

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

91.

Lectures on digital design principles

Author

Mazumder, Pinaki, author. Ebong, Idongesit E., author

Preferred Shelf Number

TK7868 .D5

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

92.

How we argue : 30 lessons in persuasive communication

Author

Tindale, Christopher W. (Christopher William), author.

Preferred Shelf Number

P301.5 .P47 T56 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

93.

Analytic listening in clinical dialogue : basic assumptions

Author

Bürgin, Dieter, author. Staehle, Angelika, author. Westhoff, Kerstin, author. Wyler von Ballmoos, Anna, author. Leighton, Sophie, translator.

Preferred Shelf Number

RC480.5 .B87 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

94.

Smart grids and green energy systems

Author

Chitra, A., editor Indragandhi, . V., editor. Sultana, W. Razia, editor.

Preferred Shelf Number

TK3105 .S64 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

95.

Guidelines for revalidating a process hazard analysis

Author

American Institute of Chemical Engineers. Center for Chemical Process Safety, author.

Preferred Shelf Number

TP150 .S24 A44 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

96.

Quantum computing : a new era of computing

Author

Kaswan, Kuldeep Singh, author. Dhatterwal, Jagjit Singh, author. Baliyan, Anupam, 1976- author. Rani, Shalli, author.

Preferred Shelf Number

QA76.889 .K37 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

97.

Mathematical foundations of fuzzy sets

Author

Wu, Hsien-Chung, author.

Preferred Shelf Number

QA248 .W82 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

98.

Handbook of computational sciences : a multi and interdisciplinary approach

Author

Elngar, Ahmed A., editor.

Preferred Shelf Number

QA76 .H36 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

99.

Power converters, drives and controls for sustainable operations

Author

Kumar, S. Ganesh, author Abarca, Marco Rivera, author. Patnaik, S. K., author.

Preferred Shelf Number

TK7872 .C8 K86 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

Beyond-CMOS : state of the art and trends

Author

Cresti, Alessandro, editor.

Preferred Shelf Number

TK7871.99 .M44 B49 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

101.

Cartographic communication : graphic semiology, semiotics and geovisualization

Author

Mericskay, Boris, editor.

Preferred Shelf Number

GA108.7

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

102.

Urbanism and town planning : understanding and anticipating urban renewal

Author

Antoni, Jean-Philippe, author.

Preferred Shelf Number

HT170

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

103.

Systems biology modelling and analysis : formal bioinformatics methods and tools

Author

Maria, Elisabetta de, editor.

Preferred Shelf Number

QH324.2 .S9763 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

104.

$Cover image for Mechanics of hydraulic fracturing : experiment, model, and monitoring$

Mechanics of hydraulic fracturing : experiment, model, and monitoring

Author

Zhang, Xi (Geologist), editor.

Preferred Shelf Number

TN871.255 .M43 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

105.

Fuzzy computing in data science : applications and challenges

Author

Mohanty, Sachi Nandan, editor. Chatterjee, Prasenjit, editor. Hung, Bui Thanh, editor.

Preferred Shelf Number

QA9.64 .F89 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

106.

Mantığa giriş : klasik mantık ve modern mantık

Author

Özkan, Cengiz İskender.

Preferred Shelf Number

BC117.T8 O953 2022

Format:

Availability

Beytepe Library~2

Available:
Copies:

107.

Aklın kaderi : Kant’tan Fichte’ye Alman felsefesi

Author

Beiser, Frederick C. Bilgiç, Emre, çeviri

Preferred Shelf Number

B2799.M52 B3919 2022

Format:

Availability

Beytepe Library~1

Available:
Copies:

108.

PICI6F877A temelli PLC sürüm 2.0

Author

Uzam, Murat.

Preferred Shelf Number

TJ223.P76 U936 2022 V.1

Format:

Availability

Beytepe Library~1

Available:
Copies:

109.

Origins and varieties of logicism : on the logico-philosophical foundations of mathematics

Author

Boccuni, Francesca, editor. Sereni, Andrea, editor.

Preferred Shelf Number

QA141 .O75 2022 EB

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

110.

Black thought : a theory of articulation

Author

Peterson, Victor, II, author.

Preferred Shelf Number

HT1581

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

111.

Digital VLSI design and simulation with Verilog

Author

Tripathi, Suman Lata, author. Saxena, Sobhit, author. Sinha, Sanjeet Kumar, author. Patel, Govind Singh, author.

Preferred Shelf Number

TK7874.75 .T75 2022

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

112.

Molecular photoswitches : chemistry, properties, and applications

Author

Pianowski, Zbigniew L., editor.

Preferred Shelf Number

TP248.25 .M645

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

113.

Model-based systems architecting : using CESAM to architect complex systems

Author

Krob, Daniel, author.

Preferred Shelf Number

QA76.9 .S88

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

114.

BCC-ALGEBRAS

Author

Thomys, Janus.

Preferred Shelf Number

QA10

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

115.

Cover image for Indian Buddhist studies on non-Buddhist theories of a self : the studies of Śāntarakṣita and Kamalaśīla on the Nyāya-Vaiśeṣika, Mīmāṃsā, Sāṃkhya, Jain, Vedānta and Vātsīputrīya theories of a self

Indian Buddhist studies on non-Buddhist theories of a self : the studies of Śāntarakṣita and Kamalaśīla on the Nyāya-Vaiśeṣika, Mīmāṃsā, Sāṃkhya, Jain, Vedānta and Vātsīputrīya theories of a self

Author

Duerlinger, James, author.

Preferred Shelf Number

BQ3287

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

116.

Transition to advanced mathematics

Author

Diedrichs, Danilo R., author. Lovett, Stephen (Stephen T.), author.

Preferred Shelf Number

QA11.2 .D535 2022

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

117.

Electronics in advanced research industries : industry 4.0 to industry 5.0 advances

Author

Massaro, Alessandro, 1974- author.

Preferred Shelf Number

T59.6 .M37 2022

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

118.

Machine learning and the city : applications in architecture and urban design

Author

Carta, Silvio, editor.

Preferred Shelf Number

NA2543 .T43 C375 2022

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

119.

Optimization and machine learning : optimization for machine learning and machine learning for optimization

Author

Chelouah, Rachid, editor. Siarry, Patrick, editor.

Preferred Shelf Number

Q325.5

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

120.

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:

121.

Automation and computational intelligence for road maintenance and management : advances and applications

Author

Zakeri, Hamzeh, author. Nejad, Fereidoon Moghadas, author. Gandomi, Amir Hossein, author.

Preferred Shelf Number

HD9717.5 .R62

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

122.

Principles of Verilog digital design

Author

Chin, Wen-Long, author.

Preferred Shelf Number

TK7885.7

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

123.

The Expanse and philosophy : so far out into the darkness

Author

Nicholas, Jeffery, 1969- editor.

Preferred Shelf Number

PN1992.77 .E97

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

124.

Deep learning approaches to cloud security

Author

Rathore, Pramod Singh, 1988- editor.

Preferred Shelf Number

QA76.585

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

125.

Power system protection

Author

Anderson, Paul M., author. Henville, Charles, author. Rifaat, Rasheek, author. Johnson, Brian, author. Meliopoulos, Sakis, author.

Preferred Shelf Number

TK1010

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

126.

The philosophy of philosophy

Author

Williamson, Timothy, author.

Preferred Shelf Number

B53

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

127.

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:

128.

Artificial intelligence and data analytics for exploration and production

Author

Aminzadeh, Fred, author. Temizel, Cenk, author. Hajizadeh, Yasin, author.

Preferred Shelf Number

Q335 .A45 2022

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

129.

Akıldışının mantığı : kararlarımızı biçimlendiren gizli kuvvetler

Author

Ariely, Dan Gül ,Asiye Hekimoğlu. Bolat, Filiz.

Preferred Shelf Number

BC177 A7619 2021

Format:

Availability

Beytepe Library~1

Available:
Copies:

130.

Grey behaviors after logical fallacies in public and professional communication

Author

Kord, Homayoon, author. Thornton, George C., 1940- author.

Preferred Shelf Number

HF5718

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

131.

Force, content, and the unity of the proposition

Author

Mras, Gabriele, editor. Schmitz, Michael (Assistant professor), editor.

Preferred Shelf Number

BC181

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

132.

Tractatus in context : the essential background for appreciating Wittgenstein's Tractatus logico-philosophicus

Author

Klagge, James Carl, 1954- author.

Preferred Shelf Number

B3376 .W563

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

133.

The Routledge handbook of modality

Author

Bueno, Otávio, editor. Shalkowski, Scott A., editor.

Preferred Shelf Number

BC199 .M6 R68 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

134.

Intelligent data analytics for terror threat prediction : architectures, methodologies, techniques and applications

Author

Pani, Subhendu Kumar, 1980- editor. Singh, Sanjay Kumar, 1963- editor. Garg, Lalit, 1977- editor.

Preferred Shelf Number

HV6431 .I58 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

135.

Data structure and algorithms using C++ : a practical implementation

Author

Mohanty, Sachi Nandan, editor. Tripathy, Pabitra Kumar, editor.

Preferred Shelf Number

QA76.73 .C153 D38 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

136.

The gamification of society

Author

Le Lay, Stéphane, editor. Savignac, Emmanuelle, editor. Frances, Jean, editor. Lénel, Pierre, editor.

Preferred Shelf Number

GV1201.38 .G36 2021 EB

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

137.

Digital cities roadmap : IoT-based architecture and sustainable buildings

Author

Solanki, Arun, 1985- editor. Kumar, Adarsh, editor. Nayyar, Anand, editor.

Preferred Shelf Number

TD159.4 .D54 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

138.

Cloud and IoT-based vehicular ad hoc networks

Author

Singh, Gurinder, editor. Jain, Vishal, 1983- editor. Chatterjee, Jyotir Moy, editor. Gaur, Loveleen, editor.

Preferred Shelf Number

TE228.37 .C557 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

139.

Architecture of mathematics

Author

Serovajsky, Simon, author.

Preferred Shelf Number

QA9

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

140.

A beginner's guide to multilevel image thresholding

Author

Rajinikanth, Venkatesan, author. Raja, Nadaradjane Sri Madhava, author. Dey, Nilanjan, 1984- author.

Preferred Shelf Number

TA1638.4 .R35 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

141.

Introduction to programming with C++ for engineers

Author

Cyganek, Bogusław, author.

Preferred Shelf Number

QA76.73 .C153 C94 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

142.

Electronic circuit analysis using LTSpice XVII simulator : a practical guide for beginners.

Author

Mohindru, Pooja.

Preferred Shelf Number

TK7867 .M64 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

143.

Proofs 101 : an introduction to formal mathematics

Author

Kirtland, Joseph (Mathematics professor), author.

Preferred Shelf Number

QA9.54

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

144.

Multiplier-cum-divider circuits principles, design, and applications

Author

Selvam, K. C., author.

Preferred Shelf Number

TK7867

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

145.

Magnetic memory technology : spin-transfer-torque MRAM and beyond

Author

Tang, Denny D., author. Pai, Chi-Feng, author.

Preferred Shelf Number

TK7895 .M3 T365 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

146.

Infoselves : the value of online identity

Author

Garbaşevschi, Demetra, author.

Preferred Shelf Number

HM851 .G349 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

147.

Control of mechatronic systems : model-driven design and implementation guidelines

Author

Kaltjob, Patrick O. J., author.

Preferred Shelf Number

TJ163.12

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

148.

Microgrid technologies

Author

Sharmeela, C., editor. Sivaraman, P. (Pandarinathan), editor. Sanjeevikumar, Padmanaban, 1978- editor. Holm-Nielsen, Jens Bo, editor.

Preferred Shelf Number

TK3106 .M54 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

149.

Linear algebra

Author

O'Leary, Michael L., author.

Preferred Shelf Number

QA184

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

150.

Foundations of familiar language : formulaic expressions, lexical bundles, and collocations at work and play

Author

Sidtis, Diana, author.

Preferred Shelf Number

P326.5 .P45 S54 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

151.

Strategic engineering

Author

Arcade, Jacques, author.

Preferred Shelf Number

TA190

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

152.

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:

153.

Digital health communications

Author

Cordelier, Benoit. Galibert, Olivier, 1973-

Preferred Shelf Number

R118

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

154.

Fuzzy intelligent systems : methodologies, techniques, and applications

Author

Chandrasekaran, E. Anandan, R. Suseendran, G. Balamurugan, S. (Shanmugam), 1985- Hachimi, Hanaa.

Preferred Shelf Number

QA402

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

155.

DNA- and RNA-based computing systems

Author

Katz, Evgeny, editor.

Preferred Shelf Number

QA76.887 .D53 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

156.

The digital revolution in health

Author

Béranger, Jérôme. Rizoulières, Roland.

Preferred Shelf Number

R855.3

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

157.

Heterogeneous photocatalysis : from fundamentals to applications in energy conversion and depollution

Author

Strunk, Jennifer.

Preferred Shelf Number

QD716 .P45

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

158.

Artificial intelligence and data mining approaches in security frameworks

Author

Bhargava, Neeraj. Bhargava, Ritu. Rathore, Pramod Singh, 1988- Agrawal, Rashmi, 1978-

Preferred Shelf Number

Q335

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

159.

Website design and development with HTML5 and CSS3

Author

Rebah, Hassen Ben, author. Boukthir, Hafedh, author. Chédebois, Antoine, author.

Preferred Shelf Number

TK5105.888 .R433 2021

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

160.

İbn Sina sonrası kavram mantığı : Kâtibî ve Kutbüddin Râzî örneği

Author

Özturan, Mehmet .

Preferred Shelf Number

BC78 O98 2020

Format:

Availability

Beytepe Library~1

Available:
Copies:

161.

The process of argument : an introduction

Author

Boylan, Michael, 1952- author.

Preferred Shelf Number

PE1431

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

162.

UNESCO Global Geoparks : Tension Between Territorial Development and Heritage Enhancement

Author

Girault, Yves.

Preferred Shelf Number

QE33

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

163.

Path planning of cooperative mobile robots using discrete event models

Author

Mahulea, Cristian, author. Kloetzer, Marius, author. González, Ramón, author.

Preferred Shelf Number

TJ211.415 M34 2020 EB

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

164.

Climatic impact of activities : methodological guide for analysis and action

Author

Rossignol, Jean-Yves, author.

Preferred Shelf Number

QC903 .R67 2020

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

165.

The restaurant, a geographical approach : from invention to gourmet tourist destinations

Author

Etcheverria, Olivier.

Preferred Shelf Number

TX945

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

166.

Anyone can code : the art and science of logical creativity

Author

Arya, Ali, author.

Preferred Shelf Number

QA76.6

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

167.

Advanced mathematics : a transitional reference

Author

Farlow, Stanley J., 1937- author.

Preferred Shelf Number

QA37.3

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

168.

Semiconductor basics : a qualitative, non-mathematical explanation of how semiconductors work and how they are used

Author

Domingo, George, 1937- author.

Preferred Shelf Number

TK7871.85 .D66 2020

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

169.

Artificial intelligent techniques for electric and hybrid electric vehicles

Author

Himavathi, S. Holm-Nielsen, Jens Bo. A., Chitra. Padmanaban, S.

Preferred Shelf Number

Q335

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

170.

Cover image for Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

Author

Fiadeiro, José Luiz. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

171.

Cover image for Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings

Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings

Author

Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Viviani, Marco. editor. (orcid)0000-0002-2274-9050 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

172.

Cover image for Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

173.

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:

174.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

175.

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Author

Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

176.

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:

177.

Answer Set Programming

Author

Lifschitz, Vladimir. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

178.

Cover image for Analog Circuit Theory and Filter Design in the Digital World With an Introduction to the Morphological Method for Creative Solutions and Design

Analog Circuit Theory and Filter Design in the Digital World With an Introduction to the Morphological Method for Creative Solutions and Design

Author

Moschytz, George S. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

179.

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Author

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 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-29007-8

Format:

Availability

Online Library~1

Available:
Copies:

180.

Computer Engineering and Technology 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15–17, 2018, Revised Selected Papers

Author

Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhu, Zhenzhen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-5919-4

Format:

Availability

Online Library~1

Available:
Copies:

181.

Cover image for Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings

Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings

Author

Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

182.

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Author

Fontaine, Pascal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

183.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

184.

Cover image for Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Author

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

185.

Cover image for Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Author

Enea, Constantin. editor. Piskac, Ruzica. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

186.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

187.

Beyond-CMOS Technologies for Next Generation Computer Design

Author

Topaloglu, Rasit O. editor. Wong, H.-S. Philip. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

188.

Cover image for Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings

Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings

Author

Hospodár, Michal. editor. Jirásková, Galina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

189.

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Author

Mercaş, Robert. editor. (orcid)0000-0001-6034-433X Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

190.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

191.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

192.

Transactions on High-Performance Embedded Architectures and Compilers V

Author

Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

193.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

194.

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

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

Author

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

195.

Cover image for Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

Author

Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-0310-8

Format:

Availability

Online Library~1

Available:
Copies:

196.

Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows

Author

Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

197.

Machine Translation 15th China Conference, CCMT 2019, Nanchang, China, September 27–29, 2019, Revised Selected Papers

Author

Huang, Shujian. editor. Knight, Kevin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

198.

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Author

Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

199.

Cover image for Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

Author

Lange, Tanja. editor. Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

200.

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

Author

Hofman, Piotrek. editor. Skrzypczak, Michał. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

201.

Metadata and Semantic Research 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers

Author

Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Fallucchi, Francesca. editor. (orcid)0000-0002-3288-044X William De Luca, Ernesto. editor. (orcid)0000-0003-3621-4118 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

202.

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:

203.

Scalable Uncertainty Management 13th International Conference, SUM 2019, Compiègne, France, December 16–18, 2019, Proceedings

Author

Ben Amor, Nahla. editor. Quost, Benjamin. editor. Theobald, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

204.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

205.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

206.

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

Author

Sengupta, Anirban. editor. Dasgupta, Sudeb. editor. Singh, Virendra. editor. Sharma, Rohit. editor. Kumar Vishvakarma, Santosh. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-32-9767-8

Format:

Availability

Online Library~1

Available:
Copies:

207.

Cover image for Metadata and Semantic Research 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers

Metadata and Semantic Research 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers

Author

Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Sartori, Fabio. editor. (orcid)0000-0002-5038-9785 Siatri, Rania. editor. Zervas, Marios. editor. (orcid)0000-0002-4466-7910 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

208.

Cover image for New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings

New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings

Author

Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946 Eder, Johann. editor. (orcid)0000-0001-6050-468X Podgorelec, Vili. editor. (orcid)0000-0001-6955-7868 Wrembel, Robert. editor. (orcid)0000-0001-6037-5718 Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

209.

Cover image for Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Author

Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

210.

Joint Training for Neural Machine Translation

Author

Cheng, Yong. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-32-9748-7

Format:

Availability

Online Library~1

Available:
Copies:

211.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

212.

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

Author

Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153 Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177 Katsaros, Panagiotis. editor. Bozzano, Marco. editor. (orcid)0000-0002-4135-103X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

213.

Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings

Author

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

214.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

215.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

216.

Alfarabi's Book of dialectic (Kitāb al-jadal) : on the starting point of Islamic philosophy

Author

Fārābī, author.

Preferred Shelf Number

B753 .F33 J2313 2019

Electronic Access

https://doi.org/10.1017/9781108277822

Format:

Availability

Online Library~1

Available:
Copies:

217.

Tetralog : Ben haklıyım sen haksızsın

Author

Williamson, Timothy. Şener, İbrahim.

Preferred Shelf Number

BD21 W4719 2019

Format:

Availability

Beytepe Library~1

Available:
Copies:

218.

Tutarsızlıklar

Author

Steinweg, Marcus Ünal, Erkal.

Preferred Shelf Number

BC199.I45 S7419 2019

Format:

Availability

Beytepe Library~1

Available:
Copies:

219.

Cover image for Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

Author

Mencagli, Gabriele. editor. B. Heras, Dora. editor. Cardellini, Valeria. editor. Casalicchio, Emiliano. editor. Jeannot, Emmanuel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

220.

Cover image for Artificial Intelligence in Health First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers

Artificial Intelligence in Health First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers

Author

Koch, Fernando. editor. (orcid)0000-0001-7136-3253 Koster, Andrew. editor. (orcid)0000-0001-5976-7183 Riaño, David. editor. (orcid)0000-0002-1608-0215 Montagna, Sara. editor. (orcid)0000-0001-5390-4319 Schumacher, Michael. editor. (orcid)0000-0001-6522-4556

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

221.

The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings

Author

Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472 Fernández, Miriam. editor. (orcid)0000-0001-5939-4321 Janowicz, Krzysztof. editor. Zaveri, Amrapali. editor. Gray, Alasdair J.G. editor. (orcid)0000-0002-5711-4872

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

222.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

223.

Cover image for AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

Author

Alviano, Mario. editor. (orcid)0000-0002-2052-2063 Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828 Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

224.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

225.

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Author

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

226.

Cover image for Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

Author

Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446 Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

227.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

228.

Cover image for High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

Author

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

229.

Cover image for Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Author

Bjørner, Nikolaj. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

230.

Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings

Author

Uden, Lorna. editor. Ting, I-Hsien. editor. Corchado, Juan Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

231.

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:

232.

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Author

Bernardi, Raffaella. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-59648-7

Format:

Availability

Online Library~1

Available:
Copies:

233.

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Author

Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

234.

Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings

Author

Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912 Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Asada, Minoru. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

235.

Cover image for On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

Author

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

236.

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:

237.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

238.

Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

Author

Chamberlain, Roger. editor. Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

239.

Cover image for Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

Author

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

240.

Cover image for Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Author

Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

241.

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Author

Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

242.

Cover image for Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Author

Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

243.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

244.

Cover image for Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

Author

Bartoletti, Massimo. editor. (orcid)0000-0003-3796-9774 Barla, Annalisa. editor. (orcid)0000-0002-3436-035X Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260 Klau, Gunnar W. editor. (orcid)0000-0002-6340-0090 Peterson, Leif. editor. (orcid)0000-0002-1187-0883

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

245.

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:

246.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Author

Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

247.

Formal Languages and Compilation

Author

Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

248.

Cover image for Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

Author

de Haan, Ronald. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

249.

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Author

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

250.

Cover image for Big Data Analytics and Knowledge Discovery 21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings

Big Data Analytics and Knowledge Discovery 21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings

Author

Ordonez, Carlos. editor. Song, Il-Yeol. editor. Anderst-Kotsis, Gabriele. editor. Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Khalil, Ismail. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

251.

Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings

Author

Ekštein, Kamil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

252.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

253.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

254.

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:

255.

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:

256.

Cover image for High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

Author

Hu, Changjun. editor. Yang, Wen. editor. Jiang, Congfeng. editor. Dai, Dong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-32-9987-0

Format:

Availability

Online Library~1

Available:
Copies:

257.

Introduction to Digital Systems Design

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

258.

Quick Start Guide to VHDL

Author

LaMeres, Brock J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

259.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Author

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

260.

Cover image for Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings

Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings

Author

Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Rituparna. editor. (orcid)0000-0003-1060-5778 Janev, Valentina. editor. (orcid)0000-0002-9794-8505 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

261.

Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach

Author

Fornaciari, William. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

262.

Pattern Recognition 40th German Conference, GCPR 2018, Stuttgart, Germany, October 9-12, 2018, Proceedings

Author

Brox, Thomas. editor. (orcid)0000-0002-6282-8861 Bruhn, Andrés. editor. Fritz, Mario. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

263.

Causation in Population Health Informatics and Data Science

Author

Dammann, Olaf. author. Smart, Benjamin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

264.

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach

Author

Izadian, Afshin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

265.

Stochastic Computing: Techniques and Applications

Author

Gross, Warren J. editor. Gaudet, Vincent C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

266.

Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers

Author

Pesado, Patricia. editor. (orcid)0000-0003-0000-3482 Aciti, Claudio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

267.

Cover image for OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Author

Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

268.

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:

269.

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

Author

Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391 Ognjanović, Zoran. editor. (orcid)0000-0003-2508-6480 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

270.

Variant Construction from Theoretical Foundation to Applications

Author

Zheng, Jeffrey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

271.

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

272.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

273.

Cover image for Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings

Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings

Author

McQuillan, Ian. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

274.

Rough Sets International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings

Author

Mihálydeák, Tamás. editor. (orcid)0000-0002-4382-5921 Min, Fan. editor. (orcid)0000-0002-3290-1036 Wang, Guoyin. editor. (orcid)0000-0002-8521-5232 Banerjee, Mohua. editor. (orcid)0000-0002-7517-0923 Düntsch, Ivo. editor. (orcid)0000-0001-8907-2382

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

275.

Cover image for Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

Author

Hospodár, Michal. editor. Jirásková, Galina. editor. Konstantinidis, Stavros. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

276.

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:

277.

High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet

Author

Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713 González-Vélez, Horacio. editor. (orcid)0000-0003-0241-6053 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

278.

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII

Author

Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

279.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

280.

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Author

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

281.

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:

282.

Cover image for Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

Author

Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

283.

Architecture of Computing Systems – ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings

Author

Schoeberl, Martin. editor. Hochberger, Christian. editor. Uhrig, Sascha. editor. Brehm, Jürgen. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

284.

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:

285.

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:

286.

Cover image for Artificial Intelligence Applications and Innovations 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings

Artificial Intelligence Applications and Innovations 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings

Author

MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

287.

Cover image for VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers

Author

Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651 Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Sonza Reorda, Matteo. editor. (orcid)0000-0003-2899-7669 Ugurdag, H. Fatih. editor. (orcid)0000-0002-6256-0850 Monteiro, José. editor. (orcid)0000-0003-0603-2268

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

288.

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:

289.

Cover image for Information Search, Integration, and Personalization 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers

Information Search, Integration, and Personalization 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers

Author

Kotzinos, Dimitris. editor. Laurent, Dominique. editor. (orcid)0000-0002-7264-9576 Spyratos, Nicolas. editor. Tanaka, Yuzuru. editor. Taniguchi, Rin-ichiro. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

290.

Software Engineering Proceedings of CSI 2015

Author

Hoda, M. N. editor. Chauhan, Naresh. editor. Quadri, S. M. K. editor. Srivastava, Praveen Ranjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

291.

Mantık tarihi : ortaçağ

Author

İnönü, Nazlı.

Preferred Shelf Number

BC28 I561 2019

Format:

Availability

Beytepe Library~1

Available:
Copies:

292.

Regulating Blockchain : Critical Perspectives in Law and Technology

Author

Herian, Robert, author. Taylor and Francis.

Preferred Shelf Number

QA76.9 .B56

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

293.

Pervasive Computing: A Networking Perspective and Future Directions

Author

Bhargava, Deepshikha. editor. Vyas, Sonali. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

294.

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:

295.

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:

296.

Cover image for Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings

Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings

Author

Suzuki, Kenji. editor. Reyes, Mauricio. editor. Syeda-Mahmood, Tanveer. editor. Konukoglu, Ender. editor. Glocker, Ben. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

297.

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:

298.

Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog

Author

Taraate, Vaibbhav. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

299.

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

Author

Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

300.

Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

Author

Cuzzocrea, Alfredo. editor. Greco, Sergio. editor. Larsen, Henrik Legind. editor. Saccà, Domenico. editor. Andreasen, Troels. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}