Arama Sonuçları computing. - Daraltılmış: Machine theory.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dcomputing.$0026qf$003dSUBJECT$002509Konu$002509Machine$002btheory.$002509Machine$002btheory.$0026ps$003d300$0026isd$003dtrue?dt=list
2026-03-29T10:07:19Z
Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616091
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60225-7">https://doi.org/10.1007/978-3-319-60225-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613240
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67729-3">https://doi.org/10.1007/978-3-319-67729-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:610942
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39570-8">https://doi.org/10.1007/978-3-319-39570-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611115
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Loreti, Michele. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28766-9">https://doi.org/10.1007/978-3-319-28766-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612022
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46750-4">https://doi.org/10.1007/978-3-319-46750-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616153
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29919-8">https://doi.org/10.1007/978-3-319-29919-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615998
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Dinh, Thang N. editor. Thai, My T. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42634-1">https://doi.org/10.1007/978-3-319-42634-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605472
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-73709-1">https://doi.org/10.1007/978-3-031-73709-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career
ent://SD_ILS/0/SD_ILS:605668
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-73751-0">https://doi.org/10.1007/978-3-031-73751-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608987
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-95908-0">https://doi.org/10.1007/978-3-031-95908-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
R-Calculus, V: Description Logics
ent://SD_ILS/0/SD_ILS:602308
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-6460-4">https://doi.org/10.1007/978-981-99-6460-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Learning automata and their applications to intelligent systems
ent://SD_ILS/0/SD_ILS:598676
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Zhang, JunQi (Professor), author. Zhou, MengChu, author.<br/>Yer Numarası QA267 .Z43 2024<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394188536">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394188536</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
ent://SD_ILS/0/SD_ILS:604956
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-67114-2">https://doi.org/10.1007/978-3-031-67114-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605244
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-72621-7">https://doi.org/10.1007/978-3-031-72621-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602352
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-52183-6">https://doi.org/10.1007/978-3-031-52183-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The French School of Programming
ent://SD_ILS/0/SD_ILS:603390
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604439
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar König, Barbara. editor. (orcid)0000-0002-4193-2889 Urbat, Henning. editor. (orcid)0000-0002-3265-7168 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-66438-0">https://doi.org/10.1007/978-3-031-66438-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II
ent://SD_ILS/0/SD_ILS:605022
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-66673-5">https://doi.org/10.1007/978-3-031-66673-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I
ent://SD_ILS/0/SD_ILS:605031
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-66676-6">https://doi.org/10.1007/978-3-031-66676-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:610911
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
String Analysis for Software Verification and Security
ent://SD_ILS/0/SD_ILS:611157
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68670-7">https://doi.org/10.1007/978-3-319-68670-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612557
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68034-7">https://doi.org/10.1007/978-3-319-68034-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Trends in Artificial Intelligence: PRICAI 2016 Workshops PeHealth 2016, I3A 2016, AIED 2016, AI4T 2016, IWEC 2016, and RSAI 2016, Phuket, Thailand, August 22-23, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612966
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Numao, Masayuki. editor. Theeramunkong, Thanaruk. editor. Supnithi, Thepchai. editor. Ketcham, Mahasak. editor. Hnoohom, Narit. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60675-0">https://doi.org/10.1007/978-3-319-60675-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612180
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Ciuciu, Ioana. editor. Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-55961-2">https://doi.org/10.1007/978-3-319-55961-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613647
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Gaaloul, Walid. editor. Papazoglou, Mike. editor. Paschke, Adrian. editor. (orcid)0000-0003-3156-9040<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-69459-7">https://doi.org/10.1007/978-3-319-69459-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616778
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Beck, J. Christopher. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66158-2">https://doi.org/10.1007/978-3-319-66158-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618150
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-62809-7">https://doi.org/10.1007/978-3-319-62809-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618348
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61581-3">https://doi.org/10.1007/978-3-319-61581-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618306
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Benslimane, Djamal. editor. Damiani, Ernesto. editor. Grosky, William I. editor. Hameurlain, Abdelkader. editor. Sheth, Amit. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-64471-4">https://doi.org/10.1007/978-3-319-64471-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612253
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-72044-9">https://doi.org/10.1007/978-3-319-72044-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615980
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Weil, Pascal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-58747-9">https://doi.org/10.1007/978-3-319-58747-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616012
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-55911-7">https://doi.org/10.1007/978-3-319-55911-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616309
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-58741-7">https://doi.org/10.1007/978-3-319-58741-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
ent://SD_ILS/0/SD_ILS:617536
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611950
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Moral, Serafín. editor. Pivert, Olivier. editor. Sánchez, Daniel. editor. Marín, Nicolás. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67582-4">https://doi.org/10.1007/978-3-319-67582-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Digital Libraries: Data, Information, and Knowledge for Digital Lives 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613749
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Choemprayong, Songphan. editor. Crestani, Fabio. editor. Cunningham, Sally Jo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70232-2">https://doi.org/10.1007/978-3-319-70232-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613759
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-72453-9">https://doi.org/10.1007/978-3-319-72453-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Mathematica® with Applications
ent://SD_ILS/0/SD_ILS:613857
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Mureşan, Marian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-52003-2">https://doi.org/10.1007/978-3-319-52003-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:618255
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Benslimane, Djamal. editor. Damiani, Ernesto. editor. Grosky, William I. editor. Hameurlain, Abdelkader. editor. Sheth, Amit. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-64468-4">https://doi.org/10.1007/978-3-319-64468-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611901
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299 Lesot, Marie-Jeanne. editor. Kaymak, Uzay. editor. Vieira, Susana. editor. Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40596-4">https://doi.org/10.1007/978-3-319-40596-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613275
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40229-1">https://doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:613640
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30734-3">https://doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616174
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Rueher, Michel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44953-1">https://doi.org/10.1007/978-3-319-44953-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616953
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40189-8">https://doi.org/10.1007/978-3-319-40189-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618134
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Han, Yo-Sub. editor. Salomaa, Kai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40946-7">https://doi.org/10.1007/978-3-319-40946-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616889
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-53132-7">https://doi.org/10.1007/978-3-662-53132-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612727
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612741
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Amos, Martyn. editor. Condon, Anne. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41312-9">https://doi.org/10.1007/978-3-319-41312-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:616246
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-52921-8">https://doi.org/10.1007/978-3-662-52921-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:618009
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Yung, Moti. editor. Zhang, Jianbiao. editor. Yang, Zhen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-31550-8">https://doi.org/10.1007/978-3-319-31550-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618382
2026-03-29T10:07:19Z
2026-03-29T10:07:19Z
Yazar Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299 Lesot, Marie-Jeanne. editor. Kaymak, Uzay. editor. Vieira, Susana. editor. Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40581-0">https://doi.org/10.1007/978-3-319-40581-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>