Arama Sonuçları Verification (Logic)
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dVerification$002b$002528Logic$002529$0026ps$003d300$0026isd$003dtrue?dt=list
2026-01-14T22:45:52Z
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:400155
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-96145-3">https://doi.org/10.1007/978-3-319-96145-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:400563
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489075
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08867-9">https://doi.org/10.1007/978-3-319-08867-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
ent://SD_ILS/0/SD_ILS:192688
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Montali, Marco. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14538-4">http://dx.doi.org/10.1007/978-3-642-14538-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
ent://SD_ILS/0/SD_ILS:183536
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Penczek, Wojciech. author. Pólrola, Agata. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-32870-4">http://dx.doi.org/10.1007/978-3-540-32870-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521324
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-7584-6">https://doi.org/10.1007/978-981-99-7584-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Emerging Computing: From Devices to Systems Looking Beyond Moore and Von Neumann
ent://SD_ILS/0/SD_ILS:527384
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Aly, Mohamed M. Sabry. editor. Chattopadhyay, Anupam. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-16-7487-7">https://doi.org/10.1007/978-981-16-7487-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Design Automation of Quantum Computers
ent://SD_ILS/0/SD_ILS:520174
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Topaloglu, Rasit O. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-15699-1">https://doi.org/10.1007/978-3-031-15699-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Concise Guide to Software Verification From Model Checking to Annotation Checking
ent://SD_ILS/0/SD_ILS:520525
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30167-4">https://doi.org/10.1007/978-3-031-30167-4</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, Proceedings
ent://SD_ILS/0/SD_ILS:520976
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<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/>
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520984
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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/>
Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521004
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-35257-7">https://doi.org/10.1007/978-3-031-35257-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521245
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-45784-5">https://doi.org/10.1007/978-3-031-45784-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521340
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-47963-2">https://doi.org/10.1007/978-3-031-47963-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Prolog: The Next 50 Years
ent://SD_ILS/0/SD_ILS:521397
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-35254-6">https://doi.org/10.1007/978-3-031-35254-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification of Data-Aware Processes via Satisfiability Modulo Theories
ent://SD_ILS/0/SD_ILS:520722
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Gianola, Alessandro. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42746-6">https://doi.org/10.1007/978-3-031-42746-6</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 II
ent://SD_ILS/0/SD_ILS:520840
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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/>
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520889
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-27481-7">https://doi.org/10.1007/978-3-031-27481-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520898
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-27181-6">https://doi.org/10.1007/978-3-031-27181-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521127
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-43264-4">https://doi.org/10.1007/978-3-031-43264-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:521411
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-52038-9">https://doi.org/10.1007/978-3-031-52038-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hardware Security Training, Hands-on!
ent://SD_ILS/0/SD_ILS:527989
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Tehranipoor, Mark. author. Anandakumar, N. Nalla. author. Farahmandi, Farimah. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-31034-8">https://doi.org/10.1007/978-3-031-31034-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520784
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-21203-1">https://doi.org/10.1007/978-3-031-21203-1</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, Proceedings
ent://SD_ILS/0/SD_ILS:520788
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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/>
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520802
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-25803-9">https://doi.org/10.1007/978-3-031-25803-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520911
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Liu, Shaoying. editor. Duan, Zhenhua. editor. Liu, Ai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-29476-1">https://doi.org/10.1007/978-3-031-29476-1</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, Proceedings
ent://SD_ILS/0/SD_ILS:521082
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<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/>
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521209
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-44267-4">https://doi.org/10.1007/978-3-031-44267-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Discovery Science 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521228
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Bifet, Albert. editor. Lorena, Ana Carolina. editor. Ribeiro, Rita P. editor. Gama, João. editor. Abreu, Pedro H. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-45275-8">https://doi.org/10.1007/978-3-031-45275-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Concepts and Methodologies for Modeling and Simulation A Tribute to Tuncer Ören
ent://SD_ILS/0/SD_ILS:518340
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Yilmaz, Levent. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15096-3">https://doi.org/10.1007/978-3-319-15096-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland
ent://SD_ILS/0/SD_ILS:529344
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19216-1">https://doi.org/10.1007/978-3-319-19216-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518529
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Vinh, Phan Cong. editor. Vassev, Emil. editor. Hinchey, Mike. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15392-6">https://doi.org/10.1007/978-3-319-15392-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518775
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17822-6">https://doi.org/10.1007/978-3-319-17822-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518798
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17404-4">https://doi.org/10.1007/978-3-319-17404-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518878
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21365-1">https://doi.org/10.1007/978-3-319-21365-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518891
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Zdravkovic, Jelena. editor. Kirikova, Marite. editor. Johannesson, Paul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19069-3">https://doi.org/10.1007/978-3-319-19069-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2015, Ho Chi Minh City, Vietnam, May 19, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519094
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Chau, Michael. editor. Wang, G. Alan. editor. Chen, Hsinchun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-18455-5">https://doi.org/10.1007/978-3-319-18455-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519119
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Duval, Béatrice. editor. van den Herik, Jaap. editor. Loiseau, Stephane. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-27947-3">https://doi.org/10.1007/978-3-319-27947-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519135
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23820-3">https://doi.org/10.1007/978-3-319-23820-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519137
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48561-3">https://doi.org/10.1007/978-3-662-48561-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519139
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28114-8">https://doi.org/10.1007/978-3-319-28114-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
ent://SD_ILS/0/SD_ILS:519146
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46823-4">https://doi.org/10.1007/978-3-662-46823-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519161
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Based Requirements Engineering
ent://SD_ILS/0/SD_ILS:247874
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Holt, Jon Perry, Simon A Brownsword, Mike<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1049/PBPC009E">http://dx.doi.org/10.1049/PBPC009E</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification in economics and history a sequel to 'scientifization'
ent://SD_ILS/0/SD_ILS:262049
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Hamouda, O. F. Price, B. B. (Betsey Barker), 1951-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203721353">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Electronic circuit design : from concept to implementation
ent://SD_ILS/0/SD_ILS:541512
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Kularatna, Nihal.<br/>Yer Numarası TK7867 .E177 2008<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781315221717">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>
Decision diagram techniques for micro- and nanoelectronic design handbook
ent://SD_ILS/0/SD_ILS:547490
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Yanushkevich, Svetlana N.<br/>Yer Numarası T57.95 .I549 2006<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420037586">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer science handbook
ent://SD_ILS/0/SD_ILS:542261
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Tucker, Allen B.<br/>Yer Numarası QA76 .C54755 2004<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9780203494455">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>
Memory, microprocessor, and ASIC
ent://SD_ILS/0/SD_ILS:541309
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Chen, Wai-Kai, 1936-<br/>Yer Numarası TK7895 .M4 V57 2003<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781135499266">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial intelligence and soft computing : behavioral and cognitive modeling of the human brain
ent://SD_ILS/0/SD_ILS:547482
2026-01-14T22:45:52Z
2026-01-14T22:45:52Z
Yazar Konar, Amit, author.<br/>Yer Numarası QA76.9 .S63 K59 2000<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420049138">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>