Arama Sonuçları Web - Daraltılmış: Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dWeb$0026qf$003dSUBJECT$002509Konu$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300?dt=list
2024-12-26T04:58:00Z
Social Semantics The Search for Meaning on the Web
ent://SD_ILS/0/SD_ILS:331289
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Halpin, Harry. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331289.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-1885-6">http://dx.doi.org/10.1007/978-1-4614-1885-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334562
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334562.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38230-7">http://dx.doi.org/10.1007/978-3-642-38230-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334822
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.<br/>Yer Numarası ONLINE(334822.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39617-5">http://dx.doi.org/10.1007/978-3-642-39617-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334832
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334832.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39666-3">http://dx.doi.org/10.1007/978-3-642-39666-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Semantic Techniques for the Web The REWERSE Perspective
ent://SD_ILS/0/SD_ILS:190993
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Bry, François. editor. Małuszyński, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04581-3">http://dx.doi.org/10.1007/978-3-642-04581-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189970
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Bruni, Roberto. editor. Wolf, Karsten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01364-5">http://dx.doi.org/10.1007/978-3-642-01364-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:190727
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Tessaris, Sergio. editor. Franconi, Enrico. editor. Eiter, Thomas. editor. Gutierrez, Claudio. editor. Handschuh, Siegfried. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03754-2">http://dx.doi.org/10.1007/978-3-642-03754-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:188368
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Dumas, Marlon. editor. Heckel, Reiko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79230-7">http://dx.doi.org/10.1007/978-3-540-79230-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:188747
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Baroglio, Cristina. editor. Bonatti, Piero A. editor. Małuszyński, Jan. editor. Marchiori, Massimo. editor. Polleres, Axel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85658-0">http://dx.doi.org/10.1007/978-3-540-85658-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189077
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Sheth, Amit. editor. Staab, Steffen. editor. Dean, Mike. editor. Paolucci, Massimo. editor. Maynard, Diana. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88564-1">http://dx.doi.org/10.1007/978-3-540-88564-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.
ent://SD_ILS/0/SD_ILS:189319
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Domingue, John. editor. Anutariya, Chutiporn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89704-0">http://dx.doi.org/10.1007/978-3-540-89704-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189133
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88808-6">http://dx.doi.org/10.1007/978-3-540-88808-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186707
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72982-2">http://dx.doi.org/10.1007/978-3-540-72982-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:187214
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74615-7">http://dx.doi.org/10.1007/978-3-540-74615-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187570
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Aberer, Karl. editor. Choi, Key-Sun. editor. Noy, Natasha. editor. Allemang, Dean. editor. Lee, Kyung-Il. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-76298-0">http://dx.doi.org/10.1007/978-3-540-76298-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web – ASWC 2006 First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184676
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Mizoguchi, Riichiro. editor. Shi, Zhongzhi. editor. Giunchiglia, Fausto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11836025">http://dx.doi.org/10.1007/11836025</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184696
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Bravetti, Mario. editor. Núñez, Manuel. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11841197">http://dx.doi.org/10.1007/11841197</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185165
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Cruz, Isabel. editor. Decker, Stefan. editor. Allemang, Dean. editor. Preist, Chris. editor. Schwabe, Daniel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11926078">http://dx.doi.org/10.1007/11926078</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182989
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11549970">http://dx.doi.org/10.1007/11549970</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183257
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Adi, Asaf. editor. Stoutenburg, Suzette. editor. Tabet, Said. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11580072">http://dx.doi.org/10.1007/11580072</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures
ent://SD_ILS/0/SD_ILS:182822
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11526988">http://dx.doi.org/10.1007/11526988</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183145
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Gil, Yolanda. editor. Motta, Enrico. editor. Benjamins, V. Richard. editor. Musen, Mark A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11574620">http://dx.doi.org/10.1007/11574620</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399024
2024-12-26T04:58:00Z
2024-12-26T04:58:00Z
Yazar Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-05764-0">https://doi.org/10.1007/978-3-030-05764-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>