Search Results for Computer science

|

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: Computer logic.

Yazar

SpringerLink (Online service)

(99)

Legay, Axel. editor.

(3)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(3)

Ait Ameur, Yamine. editor.

(2)

Artho, Cyrille. editor.

(2)

Fiadeiro, José Luiz. editor.

(2)

Hospodár, Michal. editor.

(2)

Jirásková, Galina. editor.

(2)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(2)

Moortgat, Michael. editor.

(2)

Pin, Jean-Éric. editor.

(2)

Potapov, Igor. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(2)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(2)

Abraham, Erika. editor.

(1)

Abrahao, Silvia. editor.

(1)

Amyot, Daniel. editor.

(1)

André, Étienne. editor. (orcid)0000-0001-8473-9555

(1)

Avgeriou, Paris. editor.

(1)

Baldan, Paolo. editor.

(1)

Barkatou, Moulay. editor.

(1)

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

(1)

Beierle, Christoph. editor.

(1)

Bensalem, Saddek. editor.

(1)

Bernardi, Raffaella. editor.

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Biere, Armin. editor. (orcid)0000-0001-7170-9242

(1)

Biondi, Fabrizio. editor.

(1)

Bjørner, Nikolaj. editor.

(1)

Blackburn, Patrick. editor.

(1)

Bloem, Roderick. editor.

(1)

Boniol, Frederic. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Boreale, Michele. editor. (orcid)0000-0002-1972-7491

(1)

Bourgeois, Anu. editor.

(1)

Bozga, Marius. editor.

(1)

Cabot, Jordi. editor.

(1)

Cai, Zhipeng. editor.

(1)

Cariani, Fabrizio. editor.

(1)

Casadio, Claudia. editor.

(1)

Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699

(1)

Cheng, Yong. author.

(1)

Ciardo, Gianfranco. editor.

(1)

Ciobanu, Gabriel. editor.

(1)

Cleaveland, Rance. editor.

(1)

Cluzeau, Thomas. editor.

(1)

Codish, Michael. editor.

(1)

Coecke, Bob. editor.

(1)

Colinet, Margot. editor.

(1)

Corradini, Flavio. editor.

(1)

Demri, Stéphane. editor.

(1)

Deng, Yuxin. author.

(1)

Di Ruscio, Davide. editor.

(1)

Dillig, Isil. editor.

(1)

Dingel, Juergen. editor.

(1)

Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457

(1)

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

(1)

Dowek, Gilles. editor.

(1)

Droste, Manfred. editor. (orcid)0000-0001-9128-8844

(1)

Duan, Zhenhua. editor.

(1)

Enea, Constantin. editor.

(1)

Ermolayev, Vadim. editor.

(1)

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

Fernández, Maribel. author.

(1)

Filiot, Emmanuel. editor.

(1)

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736

(1)

Gamboa, Ruben. editor.

(1)

Given-Wilson, Thomas. editor.

(1)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(1)

Grossi, Davide. editor.

(1)

Grosu, Radu. editor. (orcid)0000-0001-5715-2142

(1)

Guo, Meiyun. editor.

(1)

Gupta, Gopal. editor.

(1)

Haar, Stefan. editor. (orcid)0000-0002-1892-2703

(1)

Harel, David, 1950-

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Heisel, Maritta. editor.

(1)

Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446

(1)

Hirsch, Edward. editor.

(1)

Hofman, Piotrek. editor.

(1)

Huang, Shujian. editor.

(1)

Huisman, Marieke. editor.

(1)

Hutton, Graham. editor. (orcid)0000-0001-9584-5150

(1)

Höfner, Peter. editor.

(1)

Iemhoff, Rosalie. editor.

(1)

Iida, Shusaku. editor.

(1)

Insfran, Emilio. editor.

(1)

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X

(1)

Jipsen, Peter. editor.

(1)

Jones, Cliff. editor.

(1)

Joosen, Wouter. editor.

(1)

Jungers, Raphaël. editor.

(1)

Jürgensen, Helmut. editor.

(1)

Kahl, Wolfram. editor.

(1)

Kapur, Deepak. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Kashefi, Elham. editor.

(1)

Katrenko, Sophia. editor.

(1)

Khan, Md. Aquil. editor.

(1)

Kindler, Ekkart. editor.

(1)

Klein, Gerwin. editor.

(1)

Knight, Kevin. editor.

(1)

Knight, William. author.

(1)

Kobele, Greg. editor.

(1)

Konstantinidis, Stavros. editor.

(1)

Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X

(1)

Kozen, Dexter, 1951-

(1)

Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424

(1)

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001

(1)

Lakhnech, Yassine. editor.

(1)

Liu, Shaoying. editor.

(1)

Liu, Yan. editor.

(1)

Liu, Zhiming. editor.

(1)

Loreti, Michele. editor. (orcid)0000-0003-3061-863X

(1)

Lorini, Emiliano. editor.

(1)

Lutz, Carsten. editor.

(1)

Lynce, Inês. editor. (orcid)0000-0003-4868-415X

(1)

López, Javier. editor.

(1)

Majkić, Zoran. author.

(1)

Manea, Florin. editor.

(1)

Manuel, Amaldev. editor.

(1)

Martin, Barnaby. editor.

(1)

Martinelli, Fabio. editor.

(1)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(1)

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

(1)

McCarthy, Jay. editor.

(1)

McMillan, Kenneth. editor.

(1)

McQuillan, Ian. editor.

(1)

Meghini, Carlo. editor.

(1)

Meheus, Joke. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Mercaş, Robert. editor. (orcid)0000-0001-6034-433X

(1)

Meseguer, José. editor.

(1)

Mesnard, Fred. editor.

(1)

Montes de Oca, Edgardo. editor.

(1)

Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237

(1)

Muscholl, Anca. editor.

(1)

Mussbacher, Gunter. editor.

(1)

Méry, Dominique. editor. (orcid)0000-0001-5231-6611

(1)

Müller, Martin Eric. editor.

(1)

Müller-Olm, Markus. editor.

(1)

Nikitchenko, Mykola. editor. (orcid)0000-0002-4078-1062

(1)

Norman, Gethin. editor.

(1)

Ogata, Kazuhiro. editor.

(1)

Okhotin, Alexander. editor.

(1)

Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725

(1)

Ouaknine, Joel. editor.

(1)

Palamidessi, Catuscia. editor.

(1)

Parent, Xavier. editor.

(1)

Parker, David. editor. (orcid)0000-0003-4137-8862

(1)

Paulusma, Daniël. editor.

(1)

Petre, Luigia. editor.

(1)

Peña, Ricardo. editor.

(1)

Pihlajasaari, Pekka. editor.

(1)

Piskac, Ruzica. editor.

(1)

Pogodalla, Sylvain. editor.

(1)

Primiero, Giuseppe. editor.

(1)

Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405

(1)

Ramos, Isidro. editor.

(1)

Regensburger, Georg. editor.

(1)

Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291

(1)

Remke, Anne. editor.

(1)

Rendsvig, Rasmus K. editor.

(1)

Rensink, Arend. editor.

(1)

Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872

(1)

Rival, Xavier. editor.

(1)

Rosenkranz, Markus. editor.

(1)

Rubin, Julia. editor.

(1)

Rutten, Jan. editor.

(1)

Salinesi, Camille. editor.

(1)

Sampaio, Augusto. editor.

(1)

Sanders, William. editor.

(1)

Sattler, Uli. editor.

(1)

Schulte, Wolfram. editor.

(1)

Scott, Philip. editor.

(1)

Seidl, Helmut. editor.

(1)

Seki, Shinnosuke. editor.

(1)

Semini, Laura. editor. (orcid)0000-0001-8774-2346

(1)

Shao, Zhong. editor.

(1)

Shapira, Dana. editor. (orcid)0000-0002-2320-9064

(1)

Silva, Alexandra. editor.

(1)

Silva, Josep. editor.

(1)

Skrzypczak, Michał. editor.

(1)

Smith, Graeme. editor.

(1)

Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658

(1)

Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133

(1)

Staton, Sam. editor.

(1)

Stoelinga, Mariëlle. editor.

(1)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(1)

Stuckey, Peter J. editor.

(1)

Sumii, Eijiro. editor.

(1)

Sun, Jun. editor.

(1)

Sutton, Peter. editor.

(1)

Tasiran, Serdar. editor.

(1)

Thachuk, Chris. editor.

(1)

Tinelli, Cesare. editor.

(1)

(1)

Turhan, Anni-Yasmin. editor.

(1)

Tümünü genişlet

Dil

(101)

Yayın Yılı

-

(55)

(44)

(1)

(1)

Konu

Software engineering.

(56)

Mathematical logic.

(49)

Artificial intelligence.

(35)

Programming languages (Electronic computers).

(28)

(23)

Computer science—Mathematics.

(21)

(18)

Computer programming.

(11)

Computer science.

(10)

Computer communication systems.

(8)

Computer system failures.

(7)

Management information systems.

(5)

Application software.

(4)

Computer simulation.

(4)

Data structures (Computer science).

(4)

Database management.

(4)

Natural language processing (Computer science).

(4)

Numerical analysis.

(4)

Information theory.

(3)

Mathematical statistics.

(3)

Special purpose computers.

(3)

(2)

Computer organization.

(2)

Computer security.

(2)

Information storage and retrieval.

(2)

Optical data processing.

(2)

Architecture, Computer.

(1)

COMPUTERS / Computer Science

(1)

COMPUTERS / Networking / General

(1)

COMPUTERS / Networking / Security

(1)

Computer algorithms.

(1)

Data encryption (Computer science).

(1)

Education—Data processing.

(1)

Formal methods (Computer science)

(1)

(1)

Partial differential equations.

(1)

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

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

101 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 9

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.

37.

Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings için kapak resmi

Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

Yazar

Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682 Droste, Manfred. editor. (orcid)0000-0001-9128-8844 Pin, Jean-Éric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-21363-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings için kapak resmi

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Yazar

Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-60292-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings için kapak resmi

Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

Yazar

Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-20981-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings için kapak resmi

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

Yazar

Hofman, Piotrek. editor. Skrzypczak, Michał. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-24886-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings için kapak resmi

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Yazar

Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30923-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers için kapak resmi

Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

Yazar

Fiadeiro, José Luiz. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-23220-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings için kapak resmi

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Yazar

Bernardi, Raffaella. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-59648-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday için kapak resmi

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Yazar

Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-22102-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings için kapak resmi

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Yazar

André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-29662-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers için kapak resmi

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Yazar

Silva, Josep. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-16202-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54862-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Programming Languages and Operational Semantics A Concise Overview için kapak resmi

Programming Languages and Operational Semantics A Concise Overview

Programming Languages and Operational Semantics A Concise Overview

Yazar

Fernández, Maribel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4471-6368-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 6 .. 9

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11