Search Results for Communication - Narrowed by: Artificial intelligence. - Computer science. - Logics and Meanings of Programs. - Mathematical Logic and Formal Languages.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCommunication$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026ic$003dtrue$0026ps$003d300?
2024-08-31T12:59:12Z
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334073
2024-08-31T12:59:12Z
2024-08-31T12:59:12Z
Author Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334073.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35873-9">http://dx.doi.org/10.1007/978-3-642-35873-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334041
2024-08-31T12:59:12Z
2024-08-31T12:59:12Z
Author Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number ONLINE(334041.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35737-4">http://dx.doi.org/10.1007/978-3-642-35737-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334724
2024-08-31T12:59:12Z
2024-08-31T12:59:12Z
Author Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334724.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334728
2024-08-31T12:59:12Z
2024-08-31T12:59:12Z
Author Gaag, Linda C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334728.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39091-3">http://dx.doi.org/10.1007/978-3-642-39091-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332962
2024-08-31T12:59:12Z
2024-08-31T12:59:12Z
Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>