Arama Sonuçları Computer logic. - Daraltılmış: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputer$002blogic.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?
2024-12-02T09:14:30Z
Logic for Computer Scientists
ent://SD_ILS/0/SD_ILS:168282
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Schöning, Uwe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-4763-6">http://dx.doi.org/10.1007/978-0-8176-4763-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Logic for Computer Science
ent://SD_ILS/0/SD_ILS:173540
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4129-7">http://dx.doi.org/10.1007/978-1-4471-4129-7</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 I
ent://SD_ILS/0/SD_ILS:400155
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
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
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
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/>
Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197106
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31570-1">http://dx.doi.org/10.1007/978-3-642-31570-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192571
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Governatori, Guido. editor. Sartor, Giovanni. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14183-6">http://dx.doi.org/10.1007/978-3-642-14183-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192894
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Dawar, Anuj. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15205-4">http://dx.doi.org/10.1007/978-3-642-15205-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190814
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04027-6">http://dx.doi.org/10.1007/978-3-642-04027-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188863
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-87531-4">http://dx.doi.org/10.1007/978-3-540-87531-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185974
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Meyden, Ron. editor. Torre, Leendert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70525-3">http://dx.doi.org/10.1007/978-3-540-70525-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187306
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74915-8">http://dx.doi.org/10.1007/978-3-540-74915-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
ent://SD_ILS/0/SD_ILS:184462
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-36874-8">http://dx.doi.org/10.1007/978-3-540-36874-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184845
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11874683">http://dx.doi.org/10.1007/11874683</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184312
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Goble, Lou. editor. Meyer, John-Jules Ch. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11786849">http://dx.doi.org/10.1007/11786849</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182983
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Ong, Luke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11538363">http://dx.doi.org/10.1007/11538363</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Logic Foundations for Information Science
ent://SD_ILS/0/SD_ILS:198215
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Li, Wei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-7643-9977-1">http://dx.doi.org/10.1007/978-3-7643-9977-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Graph-Theoretic Approach to Enterprise Network Dynamics
ent://SD_ILS/0/SD_ILS:168175
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Bunke, Horst. author. Dickinson, Peter J. author. Kraetzl, Miro. author. Wallis, Walter D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-4519-9">http://dx.doi.org/10.1007/978-0-8176-4519-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485524
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06410-9">https://doi.org/10.1007/978-3-319-06410-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486854
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07602-7">https://doi.org/10.1007/978-3-319-07602-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489251
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09195-2">https://doi.org/10.1007/978-3-319-09195-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485724
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485731
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11743-0">https://doi.org/10.1007/978-3-319-11743-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485603
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08789-4">https://doi.org/10.1007/978-3-319-08789-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485645
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09970-5">https://doi.org/10.1007/978-3-319-09970-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489124
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Salinesi, Camille. editor. van de Weerd, Inge. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-05843-6">https://doi.org/10.1007/978-3-319-05843-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
ent://SD_ILS/0/SD_ILS:489273
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Majkić, Zoran. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-04156-8">https://doi.org/10.1007/978-3-319-04156-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489402
2024-12-02T09:14:30Z
2024-12-02T09:14:30Z
Yazar Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44857-1">https://doi.org/10.1007/978-3-662-44857-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>