Arama Sonuçları Linear systems. - Daraltılmış: 2023SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLinear$002bsystems.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092023$0025092023$0026ps$003d300$0026isd$003dtrue?2024-11-15T04:17:02ZLinear quadratic control : an introductionent://SD_ILS/0/SD_ILS:827222024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Dorato, Peter. Abdallah, Chaouki T. Cerone, Vito.<br/>Yer Numarası TJ 220 D66 2000<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Blockchain Technology and Emerging Technologies Second EAI International Conference, BlockTEA 2022, Virtual Event, November 21-22, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5202222024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Meng, Weizhi. editor. Li, Wenjuan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520222.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-31420-9">https://doi.org/10.1007/978-3-031-31420-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:5205262024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520526.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-38864-4">https://doi.org/10.1007/978-3-031-38864-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Optimization Theory and Operations Research: Recent Trends 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:5206292024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.<br/>Yer Numarası XX(520629.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-43257-6">https://doi.org/10.1007/978-3-031-43257-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5209312024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.<br/>Yer Numarası XX(520931.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-29927-8">https://doi.org/10.1007/978-3-031-29927-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209762024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(520976.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-38499-8">https://doi.org/10.1007/978-3-031-38499-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applied Computer Sciences in Engineering 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5207202024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Figueroa-García, Juan Carlos. editor. Hernández, German. editor. Villa Ramirez, Jose Luis. editor. Gaona García, Elvis Eduardo. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520720.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-46739-4">https://doi.org/10.1007/978-3-031-46739-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209492024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520949.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-33620-1">https://doi.org/10.1007/978-3-031-33620-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5211382024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. (orcid) Tadeusiewicz, Ryszard. editor.<br/>Yer Numarası XX(521138.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42508-0">https://doi.org/10.1007/978-3-031-42508-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211392024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521139.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-43513-3">https://doi.org/10.1007/978-3-031-43513-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211422024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521142.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-43835-6">https://doi.org/10.1007/978-3-031-43835-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Health Information Science 12th International Conference, HIS 2023, Melbourne, VIC, Australia, October 23-24, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212352024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Li, Yan. editor. Huang, Zhisheng. editor. Sharma, Manik. editor. Chen, Lu. editor. Zhou, Rui. editor.<br/>Yer Numarası XX(521235.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-7108-4">https://doi.org/10.1007/978-981-99-7108-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5212362024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521236.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-45368-7">https://doi.org/10.1007/978-3-031-45368-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211172024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Boulier, François. editor. England, Matthew. editor. (orcid) Kotsireas, Ilias. editor. Sadykov, Timur M. editor. Vorozhtsov, Evgenii V. editor. (orcid)<br/>Yer Numarası XX(521117.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-41724-5">https://doi.org/10.1007/978-3-031-41724-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information Security Practice and Experience 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213232024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Meng, Weizhi. editor. Yan, Zheng. editor. Piuri, Vincenzo. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521323.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-7032-2">https://doi.org/10.1007/978-981-99-7032-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5211882024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.<br/>Yer Numarası XX(521188.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-37105-9">https://doi.org/10.1007/978-3-031-37105-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211952024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Fernau, Henning. editor. Jansen, Klaus. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521195.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-43587-4">https://doi.org/10.1007/978-3-031-43587-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Machine Learning and Artificial Intelligenceent://SD_ILS/0/SD_ILS:5201772024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Joshi, Ameet V. author. SpringerLink (Online service)<br/>Yer Numarası XX(520177.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-12282-8">https://doi.org/10.1007/978-3-031-12282-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computingent://SD_ILS/0/SD_ILS:5201892024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Nazareth, John Lawrence. author. SpringerLink (Online service)<br/>Yer Numarası XX(520189.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-21762-3">https://doi.org/10.1007/978-3-031-21762-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5205862024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.<br/>Yer Numarası XX(520586.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-34214-1">https://doi.org/10.1007/978-3-031-34214-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:5207352024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520735.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8296-7">https://doi.org/10.1007/978-981-99-8296-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>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 Ient://SD_ILS/0/SD_ILS:5210282024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Streitz, Norbert A. editor. Konomi, Shin'ichi. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521028.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-34668-2">https://doi.org/10.1007/978-3-031-34668-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5210822024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521082.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42626-1">https://doi.org/10.1007/978-3-031-42626-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212752024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521275.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-47115-5">https://doi.org/10.1007/978-3-031-47115-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cellular Automata and Discrete Complex Systems 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211182024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Manzoni, Luca. editor. Mariot, Luca. editor. Roy Chowdhury, Dipanwita. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521118.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42250-8">https://doi.org/10.1007/978-3-031-42250-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Speech and Computer 25th International Conference, SPECOM 2023, Dharwad, India, November 29 - December 2, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5213342024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Karpov, Alexey. editor. Samudravijaya, K. editor. Deepak, K. T. editor. Hegde, Rajesh M. editor. Agrawal, Shyam S. editor.<br/>Yer Numarası XX(521334.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-48309-7">https://doi.org/10.1007/978-3-031-48309-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5202322024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Vishnevskiy, Vladimir M. editor. Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520232.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30648-8">https://doi.org/10.1007/978-3-031-30648-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Machine Learning and Mechanics Based Soft Computing Applicationsent://SD_ILS/0/SD_ILS:5202902024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Nguyen, Thi Dieu Linh. editor. Lu, Joan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520290.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-19-6450-3">https://doi.org/10.1007/978-981-19-6450-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:5203182024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520318.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-2443-1">https://doi.org/10.1007/978-981-99-2443-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics for Computer Scientists A Practice-Oriented Approachent://SD_ILS/0/SD_ILS:5203442024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Hartmann, Peter. author. SpringerLink (Online service)<br/>Yer Numarası XX(520344.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-40423-9">https://doi.org/10.1007/978-3-658-40423-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>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 IIent://SD_ILS/0/SD_ILS:5208402024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520840.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30820-8">https://doi.org/10.1007/978-3-031-30820-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>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 Ient://SD_ILS/0/SD_ILS:5208432024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520843.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30823-9">https://doi.org/10.1007/978-3-031-30823-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recent Challenges in Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5207822024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. (orcid) Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)<br/>Yer Numarası XX(520782.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42430-4">https://doi.org/10.1007/978-3-031-42430-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:5207862024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Gąsieniec, Leszek. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520786.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-23101-8">https://doi.org/10.1007/978-3-031-23101-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5207882024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520788.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-24841-2">https://doi.org/10.1007/978-3-031-24841-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209842024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520984.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-33170-1">https://doi.org/10.1007/978-3-031-33170-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:5213802024-11-15T04:17:02Z2024-11-15T04:17:02ZYazar Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521380.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-49432-1">https://doi.org/10.1007/978-3-031-49432-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>