Search Results for Logic.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Konu: Information systems.

Yazar

SpringerLink (Online service)

(77)

Paschke, Adrian. editor.

(4)

Małuszyński, Jan. editor.

(3)

Allemang, Dean. editor.

(2)

Aloni, Maria. editor.

(2)

Baroglio, Cristina. editor.

(2)

Cortellessa, Vittorio. editor.

(2)

Decker, Stefan. editor.

(2)

Dix, Jürgen. editor.

(2)

Governatori, Guido. editor.

(2)

Marchiori, Massimo. editor.

(2)

Margaria, Tiziana. editor.

(2)

Maynard, Diana. editor.

(2)

Mika, Peter. editor.

(2)

Mizoguchi, Riichiro. editor.

(2)

Schulz, Katrin. editor.

(2)

Steffen, Bernhard. editor.

(2)

Wolf, Karsten. editor.

(2)

Aberer, Karl. editor.

(1)

Adi, Asaf. editor.

(1)

Aguilar, Luis T. editor.

(1)

Aldini, Alessandro. editor.

(1)

Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829

(1)

Anshakov, Oleg M. author.

(1)

Antoniou, Grigoris. editor.

(1)

Anutariya, Chutiporn. editor.

(1)

Aroyo, Lora M. editor.

(1)

Aßmann, Uwe. editor.

(1)

Babar, Muhammad Ali. editor.

(1)

Balasubramaniam, P. editor.

(1)

Bassiliades, Nick. editor.

(1)

Bastiaanse, Harald. editor.

(1)

Beek, Peter. editor.

(1)

Bekki, Daisuke. editor.

(1)

Bellodi, Elena. editor. (orcid)0000-0002-3717-3779

(1)

Benhamou, Frédéric. editor.

(1)

Benjamins, V. Richard. editor.

(1)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(1)

Bernardo, Marco. editor.

(1)

Bessière, Christian. editor.

(1)

Biletskiy, Yevgen. editor.

(1)

Blackburn, Patrick. editor.

(1)

Bollig, Benedikt. author.

(1)

Bonatti, Piero A. editor.

(1)

Bononi, Luciano. editor.

(1)

Broersen, Jan. editor.

(1)

Bruni, Roberto. editor.

(1)

Bry, François. editor.

(1)

Brézillon, Patrick. editor.

(1)

Butler, Alastair. editor.

(1)

Castillo, Oscar. editor.

(1)

Cha, Sungdeok (Steve). editor.

(1)

Chen, Liqun. editor. (orcid)0000-0003-2680-4907

(1)

Chen-Burger, Yun-Heh. author.

(1)

Choi, Jin-Young. editor.

(1)

Choi, Key-Sun. editor.

(1)

Cruz, Isabel. editor.

(1)

Cudré-Mauroux, Philippe. editor.

(1)

Daniel, Florian. editor.

(1)

Dapoigny, Richard. editor.

(1)

Dastani, Mehdi. editor.

(1)

Dean, Mike. editor.

(1)

Dickerson, John P. author.

(1)

Domingue, John. editor.

(1)

Echtle, Klaus. editor.

(1)

Eisinger, Norbert. editor.

(1)

Eiter, Thomas. editor.

(1)

Elgesem, Dag. editor.

(1)

England, David. editor.

(1)

Faber, Wolfgang. editor.

(1)

Fahringer, Thomas. author.

(1)

Fallah Seghrouchni, Amal. editor.

(1)

Finin, Timothy. editor.

(1)

Fisher, Michael. editor.

(1)

Franconi, Enrico. editor.

(1)

Gastin, Paul. editor.

(1)

Gergely, Tamás. author.

(1)

Gil, Yolanda. editor.

(1)

Giunchiglia, Fausto. editor.

(1)

Golbeck, Jennifer. editor.

(1)

González-Pérez, César. editor.

(1)

Gorton, Ian. editor.

(1)

Gotzhein, Reinhard. editor.

(1)

Graf, Susanne. editor.

(1)

Gutierrez, Claudio. editor.

(1)

Hall, John. editor.

(1)

Handschuh, Siegfried. editor.

(1)

Heineman, George T. editor.

(1)

Henze, Nicola. editor.

(1)

Herrmann, Peter. editor.

(1)

Higashino, Teruo. editor.

(1)

Hinchey, Michael G. editor.

(1)

Hinchey, Mike. editor.

(1)

Hübner, Jomi. editor.

(1)

Jablonski, Stefan. editor.

(1)

Jager, Tikitu. editor.

(1)

Janhunen, Tomi. editor.

(1)

Janowski, Tomasz. editor.

(1)

Kacprzyk, Janusz. editor.

(1)

Katoen, Joost-Pieter. editor.

(1)

Kim, Moonzoo. editor.

(1)

Kimmelman, Vadim. editor.

(1)

Kitzelmann, Emanuel. editor.

(1)

Kleinjohann, Bernd. editor.

(1)

Kleinjohann, Lisa. editor.

(1)

Kofron, Jan. editor.

(1)

Kraemer, Frank Alexander. editor.

(1)

König, Barbara. editor.

(1)

Laroussinie, François. editor.

(1)

Lee, Insup. editor.

(1)

Lee, Kyung-Il. editor.

(1)

Leite, João. editor.

(1)

Lembo, Domenico. editor.

(1)

Lindsay, Peter A. editor.

(1)

Liu, Fenrong. author.

(1)

Liu, Weiru. editor.

(1)

Lévy, François. editor.

(1)

Maciaszek, Leszek A. editor.

(1)

Malenfant, Jacques. editor.

(1)

Mannes, Aaron. author.

(1)

Manulis, Mark. editor. (orcid)0000-0002-1512-9670

(1)

Marie, Christian de Sainte. editor.

(1)

Melin, Patricia. editor.

(1)

Metzger, Andreas. editor.

(1)

Mohanty, Hrushikesha. editor.

(1)

Montali, Marco. author.

(1)

Morgenstern, Leora. editor.

(1)

Motomura, Yoichi. editor.

(1)

Motta, Enrico. editor.

(1)

Musen, Mark A. editor.

(1)

Müller-Clostermann, Bruno. editor.

(1)

Namjoshi, Kedar S. editor.

(1)

Natarajan, Raja. editor.

(1)

Niemelä, Ilkka. editor.

(1)

Nierhaus, Gerhard. author.

(1)

Nixon, Lyndon. editor.

(1)

Novák, Peter. editor.

(1)

Noy, Natasha. editor.

(1)

Ojo, Adegboyega. editor.

(1)

Okamura, Yoshio. editor.

(1)

Padovani, Luca. editor. (orcid)0000-0001-9097-1297

(1)

Palanque, Philippe. editor.

(1)

Pan, Jeff Z. editor.

(1)

Paolucci, Massimo. editor.

(1)

Papazoglou, Mike P. editor.

(1)

Parent, Xavier. editor.

(1)

Parkin, Michael. editor.

(1)

Patranjan, Paula-Lavinia. editor.

(1)

Pedrycz, Witold. editor.

(1)

Peled, Doron A. editor.

(1)

Pinger, Ralf. editor.

(1)

Plasil, Frantisek. editor.

(1)

Plasmeijer, Rinus. editor.

(1)

Pohl, Klaus. editor.

(1)

Polleres, Axel. editor.

(1)

Preist, Chris. editor.

(1)

Prodan, Radu. author.

(1)

Rammig, Franz J. editor.

(1)

Rash, James L. editor.

(1)

Rathgeb, Erwin P. editor.

(1)

Reed, Rick. editor.

(1)

Ricca, Francesco. editor.

(1)

Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703

(1)

Rinderle-Ma, Stefanie. editor.

(1)

Robertson, Dave. author.

(1)

Roelofsen, Floris. editor.

(1)

Roman, Dumitru. editor.

(1)

Rouff, Christopher A. editor.

(1)

Rousset, Marie-Christine. editor.

(1)

Sassoon, Galit W. editor.

(1)

Schaffert, Sebastian. editor.

(1)

Schmid, Ute. editor.

(1)

Schmidt, Renate A. editor.

(1)

Schneider, Steve. editor. (orcid)0000-0001-8365-6993

(1)

Schreiber, Guus. editor.

(1)

Schwabe, Daniel. editor.

(1)

Shakarian, Jana. author.

(1)

Sheth, Amit. editor.

(1)

Shi, Zhongzhi. editor.

(1)

Siegler, Simon. editor.

(1)

Sliva, Amy. author.

(1)

Staab, Steffen. editor.

(1)

Stefaneas, Petros. editor.

(1)

Stoelinga, Mariëlle. editor.

(1)

Stoutenburg, Suzette. editor.

(1)

Stuckey, Peter J. editor.

(1)

Subrahmanian, V.S. author.

(1)

Tabet, Said. editor.

(1)

Tessaris, Sergio. editor.

(1)

Thirunarayan, Krishnaprasad. editor.

(1)

Timmis, Jon. editor.

(1)

Tolksdorf, Robert. editor.

(1)

Torquati, Massimo. editor. (orcid)0000-0001-6323-3459

(1)

Toumani, Farouk. editor.

(1)

Truszkowski, Walter F. editor.

(1)

Tsay, Yih-Kuen. editor.

(1)

Uschold, Mike. editor.

(1)

Vanderdonckt, Jean. editor.

(1)

Varró, Dániel. editor.

(1)

Viswanathan, Mahesh. editor.

(1)

Tümünü genişlet

Dil

(77)

Yayın Yılı

-

(20)

(9)

(8)

(8)

(7)

(6)

(6)

(5)

(5)

(3)

Tümünü genişlet

Konu

Computer science.

(73)

(66)

Software engineering.

(43)

Artificial intelligence.

(41)

Computer Communication Networks.

(37)

Information storage and retrieval systems.

(15)

(12)

Multimedia systems.

(10)

Management information systems.

(8)

Artificial Intelligence (incl. Robotics).

(4)

Computer Appl. in Administrative Data Processing.

(4)

Computer software.

(4)

Database management.

(4)

Information Systems Applications (incl. Internet).

(4)

Logics and Meanings of Programs.

(4)

Algebra -- Data processing.

(3)

Computer network architectures.

(3)

Data Mining and Knowledge Discovery.

(3)

Mathematical Logic and Formal Languages.

(3)

Computer Appl. in Social and Behavioral Sciences.

(2)

Computer simulation.

(2)

Computer vision.

(2)

Information Storage and Retrieval.

(2)

Information Systems and Communication Service.

(2)

Information theory.

(2)

Logic, Symbolic and mathematical.

(2)

(2)

Operating systems (Computers).

(2)

Social sciences -- Data processing.

(2)

Translators (Computer programs).

(2)

(1)

Business Information Systems.

(1)

Computational complexity.

(1)

Computer Appl. in Arts and Humanities.

(1)

Computer science -- Mathematics.

(1)

Computer security.

(1)

Computer system performance.

(1)

Computers and Society.

(1)

Data structures (Computer scienc.

(1)

Economics, Mathematical.

(1)

(1)

Economics/Management Science.

(1)

Management of Computing and Information Systems.

(1)

(1)

(1)

Optical pattern recognition.

(1)

Philosophy (General).

(1)

Programming Languages, Compilers, Interpreters.

(1)

(1)

Social sciences -- Methodology.

(1)

Special Purpose and Application-Based Systems.

(1)

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

77 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 7

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

13.

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings için kapak resmi

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Yazar

Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-69953-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings için kapak resmi

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

Yazar

Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829 Padovani, Luca. editor. (orcid)0000-0001-9097-1297 Torquati, Massimo. editor. (orcid)0000-0001-6323-3459 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-96983-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings için kapak resmi

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Yazar

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-99906-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings için kapak resmi

Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings

Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings

Yazar

Brézillon, Patrick. editor. Blackburn, Patrick. editor. Dapoigny, Richard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335034.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40972-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334354.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37057-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings için kapak resmi

Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings

Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings

Yazar

Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.

Yer Numarası

ONLINE(334822.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39617-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings için kapak resmi

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

Yazar

Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334832.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39666-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba için kapak resmi

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba

Yazar

Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.

Yer Numarası

ONLINE(331582.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-4769-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings için kapak resmi

Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings

Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings

Yazar

Daniel, Florian. editor. Wang, Jianmin. editor. Weber, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334904.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40176-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers için kapak resmi

New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers

New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers

Yazar

Motomura, Yoichi. editor. Butler, Alastair. editor. Bekki, Daisuke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334868.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39931-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings için kapak resmi

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Yazar

Stoelinga, Mariëlle. editor. Pinger, Ralf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32469-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers için kapak resmi

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

Yazar

Kraemer, Frank Alexander. editor. Herrmann, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-21652-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 7

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11