Search Results for Machine theory.

Machine translation and translation theory

2024-11-19T22:04:42Z

Author Hauenschild, Christa. Heizmann, Susanne, 1963-
Preferred Shelf Number P308 M29 1997
Format: Books
Availability Beytepe Library~1

Signal processing theory and machine learning

2024-11-19T22:04:42Z

Author Diniz, Paulo S. R.
Preferred Shelf Number ONLINE(356143.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123965028
Format: Electronic Resources
Availability Online Library~1

Machine vision theory, algorithms, practicalities

2024-11-19T22:04:42Z

Author Davies, E. R. (E. Roy)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780122060939
Format: Electronic Resources
Availability Online Library~1

Machine Learning with Python Theory and Implementation

2024-11-19T22:04:42Z

Author Zollanvari, Amin. author. SpringerLink (Online service)
Preferred Shelf Number XX(520502.1)
Electronic Access https://doi.org/10.1007/978-3-031-33342-2
Format: Electronic Resources
Availability Online Library~1

Computer and machine vision theory, algorithms, practicalities

2024-11-19T22:04:42Z

Author Davies, E. R.
Preferred Shelf Number TA1634 D386 2012
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123869081
Format: Electronic Resources
Availability Beytepe Library~1 Online Library~1

Innovations in Machine Learning Theory and Applications

2024-11-19T22:04:42Z

Author Holmes, Dawn E. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-33486-6
Format: Electronic Resources
Availability Online Library~1

New Trends in Educational Activity in the Field of Mechanism and Machine Theory 2014-2017

2024-11-19T22:04:42Z

Author García-Prada, J.C. editor. Castejón, C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00108-7
Format: Electronic Resources
Availability Online Library~1

Machine Learning A Practical Approach on the Statistical Learning Theory

2024-11-19T22:04:42Z

Author F MELLO, RODRIGO. author. Antonelli Ponti, Moacir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94989-5
Format: Electronic Resources
Availability Online Library~1

Fuzzy Sets Theory Preliminary Can a Washing Machine Think?

2024-11-19T22:04:42Z

Author Lin, Hao-Ran. author. Cao, Bing-Yuan. author. Liao, Yun-zhang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70749-5
Format: Electronic Resources
Availability Online Library~1

Machine Learning for Audio, Image and Video Analysis Theory and Applications

2024-11-19T22:04:42Z

Author Camastra, Francesco. author. Vinciarelli, Alessandro. author. SpringerLink (Online service)
Preferred Shelf Number XX(518369.1)
Electronic Access https://doi.org/10.1007/978-1-4471-6735-8
Format: Electronic Resources
Availability Online Library~1

Machine Learning in Radiation Oncology Theory and Applications

2024-11-19T22:04:42Z

Author El Naqa, Issam. editor. Li, Ruijiang. editor. Murphy, Martin J. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519567.1)
Electronic Access https://doi.org/10.1007/978-3-319-18305-3
Format: Electronic Resources
Availability Online Library~1

Conformal prediction for reliable machine learning theory, adaptations, and applications

2024-11-19T22:04:42Z

Author Balasubramanian, Vineeth, editor of compilation. Ho, Shen-Shyang, editor of compilation. Vovk, Vladimir, 1960- editor of compilation.
Preferred Shelf Number ONLINE(355821.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123985378
Format: Electronic Resources
Availability Online Library~1

New Trends in Educational Activity in the Field of Mechanism and Machine Theory

2024-11-19T22:04:42Z

Author García-Prada, Juan Carlos. editor. Castejón, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-01836-2
Format: Electronic Resources
Availability Online Library~1

New Trends in Mechanism and Machine Science Theory and Applications in Engineering

2024-11-19T22:04:42Z

Author Viadero, Fernando. editor. Ceccarelli, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335845.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4902-3
Format: Electronic Resources
Availability Online Library~1

Machine Learning for Vision-Based Motion Analysis Theory and Techniques

2024-11-19T22:04:42Z

Author Wang, Liang. editor. Zhao, Guoying. editor. Cheng, Li. editor. Pietikäinen, Matti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-057-1
Format: Electronic Resources
Availability Online Library~1

Machine learning for audio, image and video analysis : theory and applications

2024-11-19T22:04:42Z

Author Camastra, Francesco. Vinciarelli, Alessandro.
Preferred Shelf Number Q325.5 C36 2010
Format: Books
Availability Beytepe Library~1

Machine learning for spatial environmental data theory, applications and software

2024-11-19T22:04:42Z

Author Kanevski, Mikhail. Pozdnoukhov, Alexei. Timonin, Vadim.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Principles and Theory for Data Mining and Machine Learning

2024-11-19T22:04:42Z

Author Clarke, Bertrand. author. Fokoue, Ernest. author. Zhang, Hao Helen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-98135-2
Format: Electronic Resources
Availability Online Library~1

Machine Learning for Audio, Image and Video Analysis Theory and Applications

2024-11-19T22:04:42Z

Author Camastra, Francesco. author. Vinciarelli, Alessandro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-007-0
Format: Electronic Resources
Availability Online Library~1

Schaum's outline of theory and problems of machine design

2024-11-19T22:04:42Z

Author Hall, Allen S. Holowenko, Alfred R. Laughlin, Herman G.
Preferred Shelf Number TJ235 H35 1961
Format: Books
Availability Beytepe Library~1

Outline of theory and problems of machine desing including 320 solved problem

2024-11-19T22:04:42Z

Author Schaum, Daniel. Hall, Allen S. Holowenko, Alfred R., ort. yaz. Laughlin, Herman G., ort. yaz.
Preferred Shelf Number TJ 235 S3 1961
Format: Books
Availability Beytepe Library~1

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

2024-11-19T22:04:42Z

Author Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520194.1)
Electronic Access https://doi.org/10.1007/978-3-031-23950-2
Format: Electronic Resources
Availability Online Library~1

Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers

2024-11-19T22:04:42Z

Author Gibadullin, Arthur. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520219.1)
Electronic Access https://doi.org/10.1007/978-3-031-31353-0
Format: Electronic Resources
Availability Online Library~1

International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I

2024-11-19T22:04:42Z

Author Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.
Preferred Shelf Number XX(520345.1)
Electronic Access https://doi.org/10.1007/978-981-99-5844-3
Format: Electronic Resources
Availability Online Library~1

Data Science An Introduction to Statistics and Machine Learning

2024-11-19T22:04:42Z

Author Plaue, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number XX(520347.1)
Electronic Access https://doi.org/10.1007/978-3-662-67882-4
Format: Electronic Resources
Availability Online Library~1

Context-Aware Systems and Applications 11th EAI International Conference, ICCASA 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedings

2024-11-19T22:04:42Z

Author Phan, Cong Vinh. editor. (orcid) Nguyen, Thanh Dung. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520374.1)
Electronic Access https://doi.org/10.1007/978-3-031-28816-6
Format: Electronic Resources
Availability Online Library~1

Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part II

2024-11-19T22:04:42Z

Author Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.
Preferred Shelf Number XX(520617.1)
Electronic Access https://doi.org/10.1007/978-981-99-5971-6
Format: Electronic Resources
Availability Online Library~1

Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings

2024-11-19T22:04:42Z

Author Gerber, Aurona. editor. Baskerville, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520865.1)
Electronic Access https://doi.org/10.1007/978-3-031-32808-4
Format: Electronic Resources
Availability Online Library~1

Codes, Cryptology and Information Security 4th International Conference, C2SI 2023, Rabat, Morocco, May 29-31, 2023, Proceedings

2024-11-19T22:04:42Z

Author El Hajji, Said. editor. Mesnager, Sihem. editor. Souidi, El Mamoun. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520866.1)
Electronic Access https://doi.org/10.1007/978-3-031-33017-9
Format: Electronic Resources
Availability Online Library~1

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

2024-11-19T22:04:42Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520868.1)
Electronic Access https://doi.org/10.1007/978-3-031-33498-6
Format: Electronic Resources
Availability Online Library~1

Introduction to Transfer Learning Algorithms and Practice

2024-11-19T22:04:42Z

Author Wang, Jindong. author. Chen, Yiqiang. author. SpringerLink (Online service)
Preferred Shelf Number XX(520394.1)
Electronic Access https://doi.org/10.1007/978-981-19-7584-4
Format: Electronic Resources
Availability Online Library~1

Pan-African Artificial Intelligence and Smart Systems Second EAI International Conference, PAAISS 2022, Dakar, Senegal, November 2-4, 2022, Proceedings

2024-11-19T22:04:42Z

Author Ngatched Nkouatchah, Telex Magloire. editor. Woungang, Isaac. editor. Tapamo, Jules-Raymond. editor. Viriri, Serestina. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520757.1)
Electronic Access https://doi.org/10.1007/978-3-031-25271-6
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part III

2024-11-19T22:04:42Z

Author Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number XX(520959.1)
Electronic Access https://doi.org/10.1007/978-981-99-4749-2
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part I

2024-11-19T22:04:42Z

Author Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number XX(520960.1)
Electronic Access https://doi.org/10.1007/978-981-99-4755-3
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part IV

2024-11-19T22:04:42Z

Author Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number XX(520961.1)
Electronic Access https://doi.org/10.1007/978-981-99-4752-2
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part II

2024-11-19T22:04:42Z

Author Rousseau, Jean-Jacques. editor. (orcid) Kapralos, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520966.1)
Electronic Access https://doi.org/10.1007/978-3-031-37742-6
Format: Electronic Resources
Availability Online Library~1

Advances and Trends in Artificial Intelligence. Theory and Applications 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part II

2024-11-19T22:04:42Z

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

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

2024-11-19T22:04:42Z

Author Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521140.1)
Electronic Access https://doi.org/10.1007/978-3-031-42823-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I

2024-11-19T22:04:42Z

Author Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521236.1)
Electronic Access https://doi.org/10.1007/978-3-031-45368-7
Format: Electronic Resources
Availability Online Library~1

Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I

2024-11-19T22:04:42Z

Author Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.
Preferred Shelf Number XX(521363.1)
Electronic Access https://doi.org/10.1007/978-3-031-49008-8
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings

2024-11-19T22:04:42Z

Author Hammer, Patrick. editor. Alirezaie, Marjan. editor. Strannegård, Claes. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521296.1)
Electronic Access https://doi.org/10.1007/978-3-031-33469-6
Format: Electronic Resources
Availability Online Library~1

Mobile Web and Intelligent Information Systems 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings

2024-11-19T22:04:42Z

Author Younas, Muhammad. editor. Awan, Irfan. editor. Grønli, Tor-Morten. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521302.1)
Electronic Access https://doi.org/10.1007/978-3-031-39764-6
Format: Electronic Resources
Availability Online Library~1

GANs for Data Augmentation in Healthcare

2024-11-19T22:04:42Z

Author Solanki, Arun. editor. Naved, Mohd. editor. SpringerLink (Online service)
Preferred Shelf Number XX(522047.1)
Electronic Access https://doi.org/10.1007/978-3-031-43205-7
Format: Electronic Resources
Availability Online Library~1

Algorithms and Data Structures 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings

2024-11-19T22:04:42Z

Author Morin, Pat. editor. Suri, Subhash. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520873.1)
Electronic Access https://doi.org/10.1007/978-3-031-38906-1
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part IV

2024-11-19T22:04:42Z

Author Rousseau, Jean-Jacques. editor. (orcid) Kapralos, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520874.1)
Electronic Access https://doi.org/10.1007/978-3-031-37745-7
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part I

2024-11-19T22:04:42Z

Author Rousseau, Jean-Jacques. editor. (orcid) Kapralos, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520875.1)
Electronic Access https://doi.org/10.1007/978-3-031-37660-3
Format: Electronic Resources
Availability Online Library~1

Computer Vision - ACCV 2022 Workshops 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Revised Selected Papers

2024-11-19T22:04:42Z

Author Zheng, Yinqiang. editor. Keleş, Hacer Yalim. editor. Koniusz, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520893.1)
Electronic Access https://doi.org/10.1007/978-3-031-27066-6
Format: Electronic Resources
Availability Online Library~1

Machine Learning, Optimization, and Data Science 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part II

2024-11-19T22:04:42Z

Author Nicosia, Giuseppe. editor. Ojha, Varun. editor. La Malfa, Emanuele. editor. La Malfa, Gabriele. editor. Pardalos, Panos. editor.
Preferred Shelf Number XX(520894.1)
Electronic Access https://doi.org/10.1007/978-3-031-25891-6
Format: Electronic Resources
Availability Online Library~1

Recent Challenges in Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings

2024-11-19T22:04:42Z

Author Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. (orcid) Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)
Preferred Shelf Number XX(520782.1)
Electronic Access https://doi.org/10.1007/978-3-031-42430-4
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part V

2024-11-19T22:04:42Z

Author Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number XX(520962.1)
Electronic Access https://doi.org/10.1007/978-981-99-4761-4
Format: Electronic Resources
Availability Online Library~1

Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings

2024-11-19T22:04:42Z

Author Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.
Preferred Shelf Number XX(521001.1)
Electronic Access https://doi.org/10.1007/978-3-031-36402-0
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV

2024-11-19T22:04:42Z

Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number XX(521010.1)
Electronic Access https://doi.org/10.1007/978-3-031-37114-1
Format: Electronic Resources
Availability Online Library~1

Machine Learning, Optimization, and Data Science 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part I

2024-11-19T22:04:42Z

Author Nicosia, Giuseppe. editor. Ojha, Varun. editor. La Malfa, Emanuele. editor. La Malfa, Gabriele. editor. Pardalos, Panos. editor.
Preferred Shelf Number XX(520891.1)
Electronic Access https://doi.org/10.1007/978-3-031-25599-1
Format: Electronic Resources
Availability Online Library~1

Soft Computing and Its Engineering Applications 4th International Conference, icSoftComp 2022, Changa, Anand, India, December 9-10, 2022, Proceedings

2024-11-19T22:04:42Z

Author Patel, Kanubhai K. editor. Santosh, K. C. editor. Patel, Atul. editor. Ghosh, Ashish. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(520296.1)
Electronic Access https://doi.org/10.1007/978-3-031-27609-5
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II

2024-11-19T22:04:42Z

Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520319.1)
Electronic Access https://doi.org/10.1007/978-981-99-2446-2
Format: Electronic Resources
Availability Online Library~1

Research and Education in Urban History in the Age of Digital Libraries Third International Workshop, UHDL 2023, Munich, Germany, March 27-28, 2023, Revised Selected Papers

2024-11-19T22:04:42Z

Author Münster, Sander. editor. Pattee, Aaron. editor. Kröber, Cindy. editor. Niebling, Florian. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520600.1)
Electronic Access https://doi.org/10.1007/978-3-031-38871-2
Format: Electronic Resources
Availability Online Library~1

Mobile Internet Security 6th International Symposium, MobiSec 2022, Jeju, South Korea, December 15-17, 2022, Revised Selected Papers

2024-11-19T22:04:42Z

Author You, Ilsun. editor. Kim, Hwankuk. editor. Angin, Pelin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520516.1)
Electronic Access https://doi.org/10.1007/978-981-99-4430-9
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education in Computer Science 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, Proceedings

2024-11-19T22:04:42Z

Author Zlateva, Tanya. editor. Tuparov, Georgi. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520698.1)
Electronic Access https://doi.org/10.1007/978-3-031-44668-9
Format: Electronic Resources
Availability Online Library~1

WAIC and WBIC with R Stan 100 Exercises for Building Logic

2024-11-19T22:04:42Z

Author Suzuki, Joe. author. SpringerLink (Online service)
Preferred Shelf Number XX(520717.1)
Electronic Access https://doi.org/10.1007/978-981-99-3838-4
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings

2024-11-19T22:04:42Z

Author Correia, João. editor. Smith, Stephen. editor. Qaddoura, Raneem. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520932.1)
Electronic Access https://doi.org/10.1007/978-3-031-30229-9
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Technology and Applications 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part II

2024-11-19T22:04:42Z

Author Huang, De-Shuang. editor. Premaratne, Prashan. editor. Jin, Baohua. editor. Qu, Boyang. editor. Jo, Kang-Hyun. editor.
Preferred Shelf Number XX(520958.1)
Electronic Access https://doi.org/10.1007/978-981-99-4742-3
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part III

2024-11-19T22:04:42Z

Author Rousseau, Jean-Jacques. editor. (orcid) Kapralos, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521063.1)
Electronic Access https://doi.org/10.1007/978-3-031-37731-0
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

2024-11-19T22:04:42Z

Author Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521139.1)
Electronic Access https://doi.org/10.1007/978-3-031-43513-3
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I

2024-11-19T22:04:42Z

Author Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number XX(521388.1)
Electronic Access https://doi.org/10.1007/978-3-031-30105-6
Format: Electronic Resources
Availability Online Library~1

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

2024-11-19T22:04:42Z

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

Advances and Trends in Artificial Intelligence. Theory and Applications 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part I

2024-11-19T22:04:42Z

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

(Re)designing the Continuum of Care for Older Adults The Future of Long-Term Care Settings

2024-11-19T22:04:42Z

Author Ferdous, Farhana. editor. Roberts, Emily. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521535.1)
Electronic Access https://doi.org/10.1007/978-3-031-20970-3
Format: Electronic Resources
Availability Online Library~1

Yapay zekâ ve medya

2024-11-19T22:04:42Z

Author Zengin, Ferhat. Kapır, Bahadır.
Preferred Shelf Number Q334.7 Y373 2021
Format: Books
Availability Beytepe Library~1

Knowledge Science, Engineering and Management 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings

2024-11-19T22:04:42Z

Author Zhang, Songmao. editor. (orcid) Wirsing, Martin. editor. Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519231.1)
Electronic Access https://doi.org/10.1007/978-3-319-25159-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I

2024-11-19T22:04:42Z

Author Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519188.1)
Electronic Access https://doi.org/10.1007/978-3-319-15702-3
Format: Electronic Resources
Availability Online Library~1

Clinical Systems Neuroscience

2024-11-19T22:04:42Z

Author Kansaku, Kenji. editor. Cohen, Leonardo G. editor. Birbaumer, Niels. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520120.1)
Electronic Access https://doi.org/10.1007/978-4-431-55037-2
Format: Electronic Resources
Availability Online Library~1

Measures of Complexity Festschrift for Alexey Chervonenkis

2024-11-19T22:04:42Z

Author Vovk, Vladimir. editor. Papadopoulos, Harris. editor. Gammerman, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518354.1)
Electronic Access https://doi.org/10.1007/978-3-319-21852-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part I

2024-11-19T22:04:42Z

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

Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II

2024-11-19T22:04:42Z

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

An Introduction to Machine Learning

2024-11-19T22:04:42Z

Author Kubat, Miroslav. author. SpringerLink (Online service)
Preferred Shelf Number XX(518611.1)
Electronic Access https://doi.org/10.1007/978-3-319-20010-1
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III

2024-11-19T22:04:42Z

Author Huang, De-Shuang. editor. Han, Kyungsook. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519034.1)
Electronic Access https://doi.org/10.1007/978-3-319-22053-6
Format: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

2024-11-19T22:04:42Z

Author Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519043.1)
Electronic Access https://doi.org/10.1007/978-3-319-22102-1
Format: Electronic Resources
Availability Online Library~1

Formal languages, automata and numeration systems. 1, Introduction to combinatorics on words

2024-11-19T22:04:42Z

Author Rigo, Michel.
Preferred Shelf Number ONLINE(342165.1)
Electronic Access John Wiley http://dx.doi.org/10.1002/9781119008200 John Wiley http://dx.doi.org/10.1002/9781119042853
Format: Electronic Resources
Availability Online Library~1

Modeling and analysis of communicating systems

2024-11-19T22:04:42Z

Author Groote, J. F. (Jan Friso), 1965-, author. Mousavi, Mohammad Reza, 1978-, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number ONLINE(364967.1)
Electronic Access Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6895438
Format: Electronic Resources
Availability Online Library~1

Multi-agent machine learning : a reinforcement approach

2024-11-19T22:04:42Z

Author Schwartz, Howard M., author.
Preferred Shelf Number ONLINE(341941.1)
Electronic Access Cover image http://catalogimages.wiley.com/images/db/jimages/9781118362082.jpg Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1775207 ebrary http://site.ebrary.com/id/10921255 John Wiley http://dx.doi.org/10.1002/9781118884614 MyiLibrary http://www.myilibrary.com?id=640727
Format: Electronic Resources
Availability Online Library~1

Data clustering : algorithms and applications

2024-11-19T22:04:42Z

Author Aggarwal, Charu C., editor of compilation. Reddy, Chandan K., 1980- editor of compilation.
Preferred Shelf Number ONLINE(342865.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

The Cambridge handbook of multimedia learning

2024-11-19T22:04:42Z

Author Mayer, Richard E., 1947- editor.
Preferred Shelf Number LB1028.5 .C283 2014
Electronic Access https://doi.org/10.1017/CBO9781139547369
Format: Electronic Resources
Availability Online Library~1

Paradoxes in scientific inference

2024-11-19T22:04:42Z

Author Chang, Mark.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Handbook of finite state based models and applications

2024-11-19T22:04:42Z

Author Wang, Jiacun, editor of compilation.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Introduction to the theory of computation

2024-11-19T22:04:42Z

Author Sipser, Michael.
Preferred Shelf Number QA267 S56 2013
Format: Books
Availability Beytepe Library~1

Automatic defense against zero-day polymorphic worms in communication networks

2024-11-19T22:04:42Z

Author Mohammed, Mohssen, 1982- Pathan, Al-Sakib Khan.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Support vector machines optimization based theory, algorithms, and extensions

2024-11-19T22:04:42Z

Author Deng, Naiyang. Tian, Yingjie, 1973- Zhang, Chunhua, 1978-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Androids and intelligent networks in early modern literature and culture artificial slaves

2024-11-19T22:04:42Z

Author LaGrandeur, Kevin.
Preferred Shelf Number ONLINE(344391.1)
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

An introduction to formal languages and automata

2024-11-19T22:04:42Z

Author Linz, Peter.
Preferred Shelf Number QA267.3 L56 2012
Format: Books
Availability Beytepe Library~1

Statistical and machine learning approaches for network analysis

2024-11-19T22:04:42Z

Author Dehmer, Matthias, 1968- Basak, Subhash C., 1945-
Preferred Shelf Number ONLINE
Electronic Access Connect to MyiLibrary resource. Available by subscription from Safari Books Online Cover image http://catalogimages.wiley.com/images/db/jimages/9780470195154.jpg Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=894394 John Wiley http://dx.doi.org/10.1002/9781118346990
Format: Electronic Resources
Availability Online Library~1

Analysis of synchronous machines

2024-11-19T22:04:42Z

Author Lipo, T. A.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Formal methods for industrial critical systems a survey of applications

2024-11-19T22:04:42Z

Author Gnesi, Stefania, 1954- Margaria-Steffen, Tiziana, 1964-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798
Format: Electronic Resources
Availability Online Library~1

The logician and the engineer : how George Boole and Claude Shannon created the information age

2024-11-19T22:04:42Z

Author Nahin, Paul J.
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.cttq957s
Format: Electronic Resources
Availability Online Library~1

Design for embedded image processing on FPGAs

2024-11-19T22:04:42Z

Author Bailey, Donald G. (Donald Graeme), 1962-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6016259
Format: Electronic Resources
Availability Online Library~1

Theory of machines : kinematics and dynamics

2024-11-19T22:04:42Z

Author Gupta, B. V. R.
Preferred Shelf Number TJ175 G87 2011
Format: Books
Availability Beytepe Library~1

Support vector machines and their application in chemistry and biotechnology

2024-11-19T22:04:42Z

Author Liang, Yizeng.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Computational photography methods and applications

2024-11-19T22:04:42Z

Author Lukac, Rastislav.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Modelling and computation in engineering proceedings of the International Conference on Modelling and Computation in Engineering, CMCE 2010, Hong Kong, 6-7 November 2010

2024-11-19T22:04:42Z

Author International Conference on Modelling and Computation in Engineering (2010 : Hong Kong, China) Zhu, Jinrong.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Introduction to digital systems modeling, synthesis, and simulation using VHDL

2024-11-19T22:04:42Z

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

Theory of automata languages and computation

2024-11-19T22:04:42Z

Author Kumar, Rajendra.
Preferred Shelf Number QA267 K86 2010
Format: Books
Availability Beytepe Library~1

Connections patterns of discovery

2024-11-19T22:04:42Z

Author Alesso, H. P. Smith, C. F. (Craig Forsythe), 1950-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5361009
Format: Electronic Resources
Availability Online Library~1

FSM-based digital design using Verilog HDL

2024-11-19T22:04:42Z

Author Minns, Peter D. Elliott, Ian D.
Preferred Shelf Number ONLINE
Electronic Access Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/9780470987629 Volltext http://proquest.tech.safaribooksonline.de/9780470060704
Format: Electronic Resources
Availability Online Library~1

Introduction to automata theory, languages, and computation

2024-11-19T22:04:42Z

Author Hopcroft, John E., 1939- Motwani, Rajeev. Ullman, Jeffrey D., 1942-
Preferred Shelf Number QA267 H56 2007
Format: Books
Availability Beytepe Library~1

Knowledge structures for communications in human-computer systems general automata-based

2024-11-19T22:04:42Z

Author Koenig, Eldo C. (Eldo Clyde), 1919- IEEE Computer Society. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988895
Format: Electronic Resources
Availability Online Library~1

RTL hardware design using VHDL coding for efficiency, portability, and scalability

2024-11-19T22:04:42Z

Author Chu, Pong P., 1959-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5237648
Format: Electronic Resources
Availability Online Library~1

Modeling software with finite state machines a practical approach

2024-11-19T22:04:42Z

Author Wagner, Ferdinand.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Handbook of elliptic and hyperelliptic curve cryptography

2024-11-19T22:04:42Z

Author Cohen, Henri. Frey, Gerhard, 1944- Avanzi, Roberto.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Mathematics of digital images : creation, compression, restoration, recognition

2024-11-19T22:04:42Z

Author Hoggar, S. G., author.
Preferred Shelf Number TA1637 .H64 2006
Electronic Access https://doi.org/10.1017/CBO9780511810787
Format: Electronic Resources
Availability Online Library~1

Critical social theory in public administration

2024-11-19T22:04:42Z

Author Box, Richard C.
Preferred Shelf Number JF1351 B648 2005
Format: Books
Availability Beytepe Library~1

Infinite words automata, semigroups, logic and games

2024-11-19T22:04:42Z

Author Perrin, Dominique. Pin, Jean Eric.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780125321112
Format: Electronic Resources
Availability Online Library~1

Silicon germanium technology, modeling, and design

2024-11-19T22:04:42Z

Author Singh, Raminderpal. Harame, David Louis. Oprysko, Modest Michael, 1957-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201823
Format: Electronic Resources
Availability Online Library~1

Automatic Sequences Theory, Applications, Generalizations

2024-11-19T22:04:42Z

Author Allouche, Jean-Paul. Shallit, Jeffrey.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Affinity capillary electrophoresis in pharmaceutics and biopharmaceutics

2024-11-19T22:04:42Z

Author Neubert, Reinhard. R¿ttinger, Hans-Hermann.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Species sensitivity distributions in ecotoxicology

2024-11-19T22:04:42Z

Author Posthuma, Leo. Suter, Glenn W. Traas, Theo P.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Mechanics of materials and interfaces the disturbed state concept

2024-11-19T22:04:42Z

Author Desai, C. S. (Chandrakant S.), 1936-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Problem solving in automata, languages, and complexity

2024-11-19T22:04:42Z

Author Du, Dingzhu. Ko, Ker-I.
Preferred Shelf Number ONLINE
Electronic Access Click for information John Wiley http://dx.doi.org/10.1002/0471224642 Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley046/2001275892.html Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=215154
Format: Electronic Resources
Availability Online Library~1

Rudiments of [mu]-calculus

2024-11-19T22:04:42Z

Author Arnold, A. (André), 1945- Niwiński, Damian.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444506207
Format: Electronic Resources
Availability Online Library~1

Handbook of process algebra

2024-11-19T22:04:42Z

Author Bergstra, J. A. Ponse, A. (Alban), 1955- Smolka, Scott A.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444828309
Format: Electronic Resources
Availability Online Library~1

Elements of the theory of computation

2024-11-19T22:04:42Z

Author Lewis, Harry R. Papadimitriou, Christos H.
Preferred Shelf Number QA267 .L49 1998
Format: Books
Availability Beytepe Library~1

The theory of computation

2024-11-19T22:04:42Z

Author Moret, Bernard M.
Preferred Shelf Number QA 267 M67 1998
Format: Books
Availability Beytepe Library~1

Algebraic and structural automata theory

2024-11-19T22:04:42Z

Author Mikołajczak, Bolesław.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444874580
Format: Electronic Resources
Availability Online Library~1

Trace theory for automatic hierarchical verification of speed-independent circuits

2024-11-19T22:04:42Z

Author Dill, David L.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267249
Format: Electronic Resources
Availability Online Library~1

Topics in the theory of computation selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983

2024-11-19T22:04:42Z

Author International FCT-Conference (1983 : Borgholm, Sweden) Karpiński, Marek, 1948- Leeuwen, J. van (Jan)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444876478
Format: Electronic Resources
Availability Online Library~1

Automata, languages and machines. Voume B

2024-11-19T22:04:42Z

Author Eilenberg, Samuel. Tilson, Bret.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780122340024
Format: Electronic Resources
Availability Online Library~1

Automata, languages and machines. Volume A

2024-11-19T22:04:42Z

Author Eilenberg, Samuel.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780122340017
Format: Electronic Resources
Availability Online Library~1

Automaton theory and modeling of biological systems

2024-11-19T22:04:42Z

Author T͡Setlin, Mikhail Lʹvovich, 1924-1966.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780127016504
Format: Electronic Resources
Availability Online Library~1

Logic, automata, and algorithms

2024-11-19T22:04:42Z

Author Aĭzerman, M. A. (Mark Aronovich), 1913-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780120463503
Format: Electronic Resources
Availability Online Library~1

Introduction to the theory of finite automata

2024-11-19T22:04:42Z

Author Kobrinskiĭ, Natan Efimovich. Trakhtenbrot, B. A. (Boris Avraamovich), author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534033
Format: Electronic Resources
Availability Online Library~1