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ış:

+

Subject: Computer logic.

Yazar

SpringerLink (Online service)

(155)

Legay, Axel. editor.

(3)

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

(3)

Ait Ameur, Yamine. editor.

(2)

Artho, Cyrille. editor.

(2)

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

(2)

Bondavalli, Andrea. editor.

(2)

Fiadeiro, José Luiz. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Hospodár, Michal. editor.

(2)

Jirásková, Galina. editor.

(2)

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

(2)

Meseguer, José. editor.

(2)

Moortgat, Michael. editor.

(2)

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142

(2)

Palamidessi, Catuscia. editor.

(2)

Peña, Ricardo. editor.

(2)

Pin, Jean-Éric. editor.

(2)

Potapov, Igor. editor.

(2)

Roman, Dumitru. editor.

(2)

Sattler, Uli. editor.

(2)

Schaefer, Ina. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Sun, Jun. editor.

(2)

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

(2)

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

(2)

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

(2)

Abraham, Erika. editor.

(1)

Abrahao, Silvia. editor.

(1)

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555

(1)

Albert, Elvira. editor.

(1)

Amyot, Daniel. editor.

(1)

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

(1)

Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177

(1)

Avgeriou, Paris. editor.

(1)

Baldan, Paolo. editor.

(1)

Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054

(1)

Barkatou, Moulay. editor.

(1)

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

(1)

Beierle, Christoph. editor.

(1)

Ben Amor, Nahla. editor.

(1)

Bensalem, Saddek. editor.

(1)

Bernardi, Raffaella. editor.

(1)

Bernardo, Marco. editor.

(1)

Berstel-Da Silva, Bruno. author.

(1)

Bichindaritz, Isabelle. editor. (orcid)0000-0003-1712-490X

(1)

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

(1)

Bikakis, Antonis. editor.

(1)

Biondi, Fabrizio. editor.

(1)

Bjørner, Nikolaj. editor.

(1)

Blackburn, Patrick. editor.

(1)

Bloem, Roderick. editor.

(1)

Bonakdarpour, Borzoo. 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)

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

(1)

Bulling, Nils. editor.

(1)

Cabot, Jordi. editor.

(1)

Cai, Zhipeng. editor.

(1)

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

(1)

Calvanese, Diego. editor. (orcid)0000-0001-5174-9693

(1)

Cariani, Fabrizio. editor.

(1)

Casadio, Claudia. editor.

(1)

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

(1)

Ceccarelli, Andrea. editor.

(1)

Chamberlain, Roger. editor.

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chauhan, Naresh. editor.

(1)

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336

(1)

Cheng, Chih-Hong. editor.

(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)

Cohen, Ernie. editor.

(1)

Colinet, Margot. editor.

(1)

Corradini, Flavio. editor.

(1)

Counsell, Steve. editor.

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Damiani, Ferruccio. editor.

(1)

Demri, Stéphane. editor.

(1)

Deng, Yuxin. author.

(1)

Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299

(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)

Esparza, Javier. editor.

(1)

Fages, François. editor.

(1)

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

(1)

Fermé, Eduardo. editor.

(1)

Fernández, Maribel. author.

(1)

Filiot, Emmanuel. editor.

(1)

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441

(1)

Fischbach, Kai. editor.

(1)

Fitzgerald, John. editor.

(1)

Flammini, Francesco. editor.

(1)

Flatt, Matthew. editor.

(1)

Fodor, Paul. editor.

(1)

Fodor, Paul. editor. (orcid)0000-0002-2978-676X

(1)

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

(1)

Fontaine, Pascal. editor.

(1)

Gamboa, Ruben. editor.

(1)

Garrigue, Jacques. editor.

(1)

Gaston, Christophe. editor. (orcid)0000-0001-6865-5108

(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)

Guan, Nan. editor.

(1)

Guo, Hai-Feng. editor.

(1)

Guo, Meiyun. editor.

(1)

Gupta, Gopal. editor.

(1)

Guttman, Joshua D. editor.

(1)

Guttmann, Christian. editor. (orcid)0000-0001-9509-7551

(1)

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

(1)

Haddad, Serge. editor.

(1)

Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

Harel, David, 1950-

(1)

Harrison, John.

(1)

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

(1)

Heisel, Maritta. editor.

(1)

Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951

(1)

Herrero, Pau. editor. (orcid)0000-0002-7088-5807

(1)

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782

(1)

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

(1)

Hirsch, Edward. editor.

(1)

Hoda, M. N. editor.

(1)

Hofman, Piotrek. editor.

(1)

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750

(1)

Horváth, András. 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)

Jamroga, Wojtek. editor.

(1)

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

(1)

Jipsen, Peter. editor.

(1)

Johnsen, Einar Broch. 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)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Katrenko, Sophia. editor.

(1)

Katsaros, Panagiotis. editor.

(1)

Keller, Chantal. editor.

(1)

Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391

(1)

Khan, Md. Aquil. editor.

(1)

Kindler, Ekkart. editor.

(1)

Klein, Gerwin. author.

(1)

Klein, Gerwin. editor.

(1)

Knight, Kevin. editor.

(1)

Knight, William. author.

(1)

Kobele, Greg. editor.

(1)

Koch, Fernando. editor. (orcid)0000-0001-7136-3253

(1)

Konstantinidis, Stavros. editor.

(1)

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

(1)

Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813

(1)

Koster, Andrew. editor. (orcid)0000-0001-5976-7183

(1)

Koutny, Maciej. editor.

(1)

Kozen, Dexter, 1951-

(1)

Krieger, Udo R. editor.

(1)

Kroening, Daniel. editor.

(1)

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

(1)

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

(1)

Kühn, Eva. editor.

(1)

Lakhnech, Yassine. editor.

(1)

Landwehr, Carl E. editor.

(1)

Lang, Frédéric. editor.

(1)

Larsen, Peter Gorm. editor.

(1)

Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835

(1)

Leake, David. editor.

(1)

Leite, Joao. editor.

(1)

Lenz, Richard. editor. (orcid)0000-0003-1551-4824

(1)

Leone, Nicola. editor.

(1)

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X

(1)

Lifschitz, Vladimir. author.

(1)

Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096

(1)

Liu, Shaoying. editor.

(1)

Tümünü genişlet

Dil

(161)

Yayın Yılı

-

(88)

(68)

(2)

(1)

(1)

(1)

Tümünü genişlet

Konu

Software engineering.

(96)

Mathematical logic.

(64)

Programming languages (Electronic computers).

(58)

Artificial intelligence.

(56)

(29)

(25)

Computer science—Mathematics.

(21)

Computer programming.

(18)

Computer communication systems.

(12)

Application software.

(11)

Computer system failures.

(11)

Computer science.

(10)

Computer organization.

(8)

Computer simulation.

(8)

Database management.

(7)

Management information systems.

(7)

Mathematical statistics.

(7)

Special purpose computers.

(5)

Data structures (Computer science).

(4)

Natural language processing (Computer science).

(4)

Numerical analysis.

(4)

Computer security.

(3)

Information storage and retrieval.

(3)

Information theory.

(3)

Optical data processing.

(3)

Architecture, Computer.

(2)

(2)

(2)

Microprogramming .

(2)

Bioinformatics.

(1)

Boole, George, 1815-1864.

(1)

COMPUTERS / Computer Science

(1)

COMPUTERS / Networking / General

(1)

COMPUTERS / Networking / Security

(1)

Computer algorithms.

(1)

Computer engineering.

(1)

Computer hardware.

(1)

Computers and civilization.

(1)

Data encryption (Computer science).

(1)

Data protection.

(1)

Education—Data processing.

(1)

Electrical engineers -- United States -- Biography.

(1)

Electronic circuits.

(1)

Formal methods (Computer science)

(1)

Health informatics.

(1)

Human-computer interaction.

(1)

(1)

(1)

Logicians -- Great Britain -- Biography.

(1)

Partial differential equations.

(1)

Pattern recognition.

(1)

(1)

Shannon, Claude Elwood, 1916-2001.

(1)

User interfaces (Computer systems).

(1)

User-centered system design.

(1)

(1)

creative design

(1)

design rationale

(1)

(1)

knowledge capture

(1)

(1)

(1)

usability engineering

(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

161 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 14

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.

1.

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings için kapak resmi

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Yazar

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30942-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday için kapak resmi

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Yazar

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30985-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings için kapak resmi

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Yazar

Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-32304-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday için kapak resmi

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Yazar

Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-21485-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings için kapak resmi

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Yazar

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-29007-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings için kapak resmi

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Yazar

Fontaine, Pascal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-29436-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

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:

8.

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings için kapak resmi

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Yazar

Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30281-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Yazar

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17465-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings için kapak resmi

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Yazar

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Joint Training for Neural Machine Translation için kapak resmi

Joint Training for Neural Machine Translation

Joint Training for Neural Machine Translation

Yazar

Cheng, Yong. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-32-9748-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings için kapak resmi

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

Yazar

Hospodár, Michal. editor. Jirásková, Galina. editor. Konstantinidis, Stavros. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

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 .. 14

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11