Arama Sonuçları Linear systems. - Daraltılmış: 2023

Linear quadratic control : an introduction

2024-11-29T17:18:37Z

Yazar Dorato, Peter. Abdallah, Chaouki T. Cerone, Vito.
Yer Numarası TJ 220 D66 2000
Format: Kitap
Durum Beytepe Kütüphanesi~1

Mathematics for Computer Scientists A Practice-Oriented Approach

2024-11-29T17:18:37Z

Yazar Hartmann, Peter. author. SpringerLink (Online service)
Yer Numarası XX(520344.1)
Elektronik Erişim https://doi.org/10.1007/978-3-658-40423-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)
Yer Numarası XX(520526.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-38864-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.
Yer Numarası XX(520931.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-29927-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)
Yer Numarası XX(521082.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-42626-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. (orcid) Tadeusiewicz, Ryszard. editor.
Yer Numarası XX(521138.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-42508-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Yer Numarası XX(521139.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-43513-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)
Yer Numarası XX(521142.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-43835-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Yer Numarası XX(521275.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-47115-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Yer Numarası XX(521188.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-37105-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Fernau, Henning. editor. Jansen, Klaus. editor. SpringerLink (Online service)
Yer Numarası XX(521195.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-43587-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11-29T17:18:37Z

Yazar Streitz, Norbert A. editor. Konomi, Shin'ichi. editor. SpringerLink (Online service)
Yer Numarası XX(521028.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-34668-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Nazareth, John Lawrence. author. SpringerLink (Online service)
Yer Numarası XX(520189.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-21762-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11-29T17:18:37Z

Yazar Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.
Yer Numarası XX(520586.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-34214-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Figueroa-García, Juan Carlos. editor. Hernández, German. editor. Villa Ramirez, Jose Luis. editor. Gaona García, Elvis Eduardo. editor. SpringerLink (Online service)
Yer Numarası XX(520720.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-46739-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11-29T17:18:37Z

Yazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası XX(520840.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-30820-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11-29T17:18:37Z

Yazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası XX(520843.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-30823-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Li, Yan. editor. Huang, Zhisheng. editor. Sharma, Manik. editor. Chen, Lu. editor. Zhou, Rui. editor.
Yer Numarası XX(521235.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-7108-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)
Yer Numarası XX(521236.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-45368-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Yer Numarası XX(520984.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-33170-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Karpov, Alexey. editor. Samudravijaya, K. editor. Deepak, K. T. editor. Hegde, Rajesh M. editor. Agrawal, Shyam S. editor.
Yer Numarası XX(521334.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-48309-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)
Yer Numarası XX(521380.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-49432-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Vishnevskiy, Vladimir M. editor. Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Yer Numarası XX(520232.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-30648-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Artificial Intelligence

2024-11-29T17:18:37Z

Yazar Joshi, Ameet V. author. SpringerLink (Online service)
Yer Numarası XX(520177.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-12282-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Meng, Weizhi. editor. Li, Wenjuan. editor. SpringerLink (Online service)
Yer Numarası XX(520222.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-31420-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Mechanics Based Soft Computing Applications

2024-11-29T17:18:37Z

Yazar Nguyen, Thi Dieu Linh. editor. Lu, Joan. editor. SpringerLink (Online service)
Yer Numarası XX(520290.1)
Elektronik Erişim https://doi.org/10.1007/978-981-19-6450-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Yer Numarası XX(520318.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-2443-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.
Yer Numarası XX(520629.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-43257-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11-29T17:18:37Z

Yazar Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)
Yer Numarası XX(520735.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-8296-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. (orcid) Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)
Yer Numarası XX(520782.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-42430-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11-29T17:18:37Z

Yazar Gąsieniec, Leszek. editor. SpringerLink (Online service)
Yer Numarası XX(520786.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-23101-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Yer Numarası XX(520788.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-24841-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Boulier, François. editor. England, Matthew. editor. (orcid) Kotsireas, Ilias. editor. Sadykov, Timur M. editor. Vorozhtsov, Evgenii V. editor. (orcid)
Yer Numarası XX(521117.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-41724-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-11-29T17:18:37Z

Yazar Manzoni, Luca. editor. Mariot, Luca. editor. Roy Chowdhury, Dipanwita. editor. SpringerLink (Online service)
Yer Numarası XX(521118.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-42250-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Yer Numarası XX(520976.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-38499-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Meng, Weizhi. editor. Yan, Zheng. editor. Piuri, Vincenzo. editor. SpringerLink (Online service)
Yer Numarası XX(521323.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-7032-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T17:18:37Z

Yazar Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)
Yer Numarası XX(520949.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-33620-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1