Search Results for Linear systems. - Narrowed by: 2023

Linear quadratic control : an introduction

2024-12-23T01:28:48Z

Author Dorato, Peter. Abdallah, Chaouki T. Cerone, Vito.
Preferred Shelf Number TJ 220 D66 2000
Format: Books
Availability Beytepe Library~1

Machine Learning and Artificial Intelligence

2024-12-23T01:28:48Z

Author Joshi, Ameet V. author. SpringerLink (Online service)
Preferred Shelf Number XX(520177.1)
Electronic Access https://doi.org/10.1007/978-3-031-12282-8
Format: Electronic Resources
Availability Online Library~1

Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers

2024-12-23T01:28:48Z

Author Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520526.1)
Electronic Access https://doi.org/10.1007/978-3-031-38864-4
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-12-23T01:28:48Z

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

SOFSEM 2023: Theory and Practice of Computer Science 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15-18, 2023, Proceedings

2024-12-23T01:28:48Z

Author Gąsieniec, Leszek. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520786.1)
Electronic Access https://doi.org/10.1007/978-3-031-23101-8
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

2024-12-23T01:28:48Z

Author Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520788.1)
Electronic Access https://doi.org/10.1007/978-3-031-24841-2
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

2024-12-23T01:28:48Z

Author Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520984.1)
Electronic Access https://doi.org/10.1007/978-3-031-33170-1
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings

2024-12-23T01:28:48Z

Author Boulier, François. editor. England, Matthew. editor. (orcid) Kotsireas, Ilias. editor. Sadykov, Timur M. editor. Vorozhtsov, Evgenii V. editor. (orcid)
Preferred Shelf Number XX(521117.1)
Electronic Access https://doi.org/10.1007/978-3-031-41724-5
Format: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedings

2024-12-23T01:28:48Z

Author Manzoni, Luca. editor. Mariot, Luca. editor. Roy Chowdhury, Dipanwita. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521118.1)
Electronic Access https://doi.org/10.1007/978-3-031-42250-8
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part II

2024-12-23T01:28:48Z

Author Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. (orcid) Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number XX(521138.1)
Electronic Access https://doi.org/10.1007/978-3-031-42508-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-12-23T01:28:48Z

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

Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

2024-12-23T01:28:48Z

Author Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521142.1)
Electronic Access https://doi.org/10.1007/978-3-031-43835-6
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T01:28:48Z

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(521188.1)
Electronic Access https://doi.org/10.1007/978-3-031-37105-9
Format: Electronic Resources
Availability Online Library~1

Information Security Practice and Experience 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023, Proceedings

2024-12-23T01:28:48Z

Author Meng, Weizhi. editor. Yan, Zheng. editor. Piuri, Vincenzo. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521323.1)
Electronic Access https://doi.org/10.1007/978-981-99-7032-2
Format: Electronic Resources
Availability Online Library~1

Blockchain Technology and Emerging Technologies Second EAI International Conference, BlockTEA 2022, Virtual Event, November 21-22, 2022, Proceedings

2024-12-23T01:28:48Z

Author Meng, Weizhi. editor. Li, Wenjuan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520222.1)
Electronic Access https://doi.org/10.1007/978-3-031-31420-9
Format: Electronic Resources
Availability Online Library~1

Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers

2024-12-23T01:28:48Z

Author Vishnevskiy, Vladimir M. editor. Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520232.1)
Electronic Access https://doi.org/10.1007/978-3-031-30648-8
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Mechanics Based Soft Computing Applications

2024-12-23T01:28:48Z

Author Nguyen, Thi Dieu Linh. editor. Lu, Joan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520290.1)
Electronic Access https://doi.org/10.1007/978-981-19-6450-3
Format: Electronic Resources
Availability Online Library~1

Mathematics for Computer Scientists A Practice-Oriented Approach

2024-12-23T01:28:48Z

Author Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number XX(520344.1)
Electronic Access https://doi.org/10.1007/978-3-658-40423-9
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 I

2024-12-23T01:28:48Z

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

Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings

2024-12-23T01:28:48Z

Author Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.
Preferred Shelf Number XX(520586.1)
Electronic Access https://doi.org/10.1007/978-3-031-34214-1
Format: Electronic Resources
Availability Online Library~1

Applied Computer Sciences in Engineering 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings

2024-12-23T01:28:48Z

Author Figueroa-García, Juan Carlos. editor. Hernández, German. editor. Villa Ramirez, Jose Luis. editor. Gaona García, Elvis Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520720.1)
Electronic Access https://doi.org/10.1007/978-3-031-46739-4
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T01:28:48Z

Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520840.1)
Electronic Access https://doi.org/10.1007/978-3-031-30820-8
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T01:28:48Z

Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520843.1)
Electronic Access https://doi.org/10.1007/978-3-031-30823-9
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings

2024-12-23T01:28:48Z

Author Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.
Preferred Shelf Number XX(520931.1)
Electronic Access https://doi.org/10.1007/978-3-031-29927-8
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T01:28:48Z

Author Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520949.1)
Electronic Access https://doi.org/10.1007/978-3-031-33620-1
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

2024-12-23T01:28:48Z

Author Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521082.1)
Electronic Access https://doi.org/10.1007/978-3-031-42626-1
Format: Electronic Resources
Availability Online Library~1

Speech and Computer 25th International Conference, SPECOM 2023, Dharwad, India, November 29 - December 2, 2023, Proceedings, Part I

2024-12-23T01:28:48Z

Author Karpov, Alexey. editor. Samudravijaya, K. editor. Deepak, K. T. editor. Hegde, Rajesh M. editor. Agrawal, Shyam S. editor.
Preferred Shelf Number XX(521334.1)
Electronic Access https://doi.org/10.1007/978-3-031-48309-7
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T01:28:48Z

Author Fernau, Henning. editor. Jansen, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521195.1)
Electronic Access https://doi.org/10.1007/978-3-031-43587-4
Format: Electronic Resources
Availability Online Library~1

Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I

2024-12-23T01:28:48Z

Author Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521380.1)
Electronic Access https://doi.org/10.1007/978-3-031-49432-1
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing

2024-12-23T01:28:48Z

Author Nazareth, John Lawrence. author. SpringerLink (Online service)
Preferred Shelf Number XX(520189.1)
Electronic Access https://doi.org/10.1007/978-3-031-21762-3
Format: Electronic Resources
Availability Online Library~1

Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings

2024-12-23T01:28:48Z

Author Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520735.1)
Electronic Access https://doi.org/10.1007/978-981-99-8296-7
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T01:28:48Z

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

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

2024-12-23T01:28:48Z

Author Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(520976.1)
Electronic Access https://doi.org/10.1007/978-3-031-38499-8
Format: Electronic Resources
Availability Online Library~1

Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

2024-12-23T01:28:48Z

Author Streitz, Norbert A. editor. Konomi, Shin'ichi. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521028.1)
Electronic Access https://doi.org/10.1007/978-3-031-34668-2
Format: Electronic Resources
Availability Online Library~1

Health Information Science 12th International Conference, HIS 2023, Melbourne, VIC, Australia, October 23-24, 2023, Proceedings

2024-12-23T01:28:48Z

Author Li, Yan. editor. Huang, Zhisheng. editor. Sharma, Manik. editor. Chen, Lu. editor. Zhou, Rui. editor.
Preferred Shelf Number XX(521235.1)
Electronic Access https://doi.org/10.1007/978-981-99-7108-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-12-23T01:28:48Z

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

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

2024-12-23T01:28:48Z

Author Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521275.1)
Electronic Access https://doi.org/10.1007/978-3-031-47115-5
Format: Electronic Resources
Availability Online Library~1