Search Results for Logic

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Daraltılmış:

+

Subject: Computers.

Yazar

SpringerLink (Online service)

(54)

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

(3)

Ait Ameur, Yamine. editor.

(2)

Legay, Axel. editor.

(2)

Ortuño, Francisco. editor.

(2)

Potapov, Igor. editor.

(2)

Rojas, Fernando. editor.

(2)

Rojas, Ignacio. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

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

(2)

Valenzuela, Olga. editor.

(2)

Agrawal, Manindra. editor.

(1)

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

(1)

Alviano, Mario. editor. (orcid)0000-0002-2052-2063

(1)

Alvim, Mário S. editor.

(1)

Andreasen, Troels. editor.

(1)

Artho, Cyrille. editor.

(1)

Barla, Annalisa. editor. (orcid)0000-0002-3436-035X

(1)

Bartoletti, Massimo. editor. (orcid)0000-0003-3796-9774

(1)

Bensalem, Saddek. editor.

(1)

Boniol, Frederic. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bozga, Marius. editor.

(1)

Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260

(1)

Bures, Tomas. editor.

(1)

Calude, Cristian S. editor.

(1)

Casadio, Claudia. editor.

(1)

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

(1)

Chatzikokolakis, Kostas. editor.

(1)

Christiansen, Henning. editor.

(1)

Coecke, Bob. editor.

(1)

Coecke, Bob. editor. (orcid)0000-0002-5310-8723

(1)

Cooper, S. Barry. editor.

(1)

Cuzzocrea, Alfredo. editor.

(1)

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

(1)

Dediu, Adrian-Horia. editor.

(1)

Diaz, Josep. editor.

(1)

Dillig, Isil. editor.

(1)

Duarte-González, Mario. editor.

(1)

Duchien, Laurence. editor. (orcid)0000-0002-4517-5862

(1)

Díaz-Gutierrez, Yesid. editor.

(1)

Egly, Uwe. editor.

(1)

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

(1)

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937

(1)

Filiot, Emmanuel. editor.

(1)

Freivalds, Rūsiņš. editor.

(1)

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

(1)

Gavrilova, Marina L. editor.

(1)

Gopal, T V. editor.

(1)

Graf, Susanne. editor.

(1)

Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828

(1)

Greco, Sergio. editor.

(1)

Hameurlain, Abdelkader. editor.

(1)

Hirsch, Edward. editor.

(1)

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

(1)

Holzer, Markus. editor.

(1)

Inverardi, Paola. editor.

(1)

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

(1)

Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X

(1)

Jiang, He. editor. (orcid)0000-0001-8674-4948

(1)

Jones, Cliff. editor.

(1)

Juckeland, Guido. editor. (orcid)0000-0002-9935-4428

(1)

Jungers, Raphaël. editor.

(1)

Jürgensen, Helmut. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Kazuo, Iwama. editor.

(1)

Klau, Gunnar W. editor. (orcid)0000-0002-6340-0090

(1)

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

(1)

Krantz, Steven George, 1951-

(1)

Kutrib, Martin. editor.

(1)

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

(1)

Lakhnech, Yassine. editor.

(1)

Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049

(1)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(1)

Larsen, Henrik Legind. editor.

(1)

Larsen, Kim G. editor.

(1)

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

(1)

Li, Angsheng. editor.

(1)

Li, Ge. editor.

(1)

Li, Ming. editor.

(1)

Li, Zheng. editor. (orcid)0000-0002-3938-7033

(1)

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

(1)

Lutz, Carsten. editor.

(1)

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

(1)

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

(1)

Massink, Mieke. editor. (orcid)0000-0001-5089-002X

(1)

McMillan, Kenneth. editor.

(1)

Meduna, Alexander. author.

(1)

Minato, Shin-ichi. editor.

(1)

Moortgat, Michael. editor.

(1)

Muscholl, Anca. editor.

(1)

Okhotin, Alexander. editor.

(1)

Olarte, Carlos. editor.

(1)

Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603

(1)

Ouaknine, Joel. editor.

(1)

Paes, Aline. editor.

(1)

Pal, Ajit. author.

(1)

Palamidessi, Catuscia. editor.

(1)

Peterson, Leif. editor. (orcid)0000-0002-1187-0883

(1)

Peña, Ricardo. editor.

(1)

Pihlajasaari, Pekka. editor.

(1)

Pin, Jean-Éric. editor.

(1)

Policriti, Alberto. editor. (orcid)0000-0001-8502-5896

(1)

Ranganathan, Nagarajan. editor.

(1)

Rival, Xavier. editor.

(1)

Saccà, Domenico. editor.

(1)

Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034

(1)

Sangiorgi, Davide. editor.

(1)

Santos Costa, Vítor. editor.

(1)

Sattler, Uli. editor.

(1)

Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563

(1)

Scott, Philip. editor.

(1)

Shur, Arseny M. editor.

(1)

Sierra-Rodríguez, José-Luis. editor.

(1)

Sinz, Carsten. editor.

(1)

Sun, Jun. editor.

(1)

Tagliaferri, Roberto. editor. (orcid)0000-0001-8134-9025

(1)

Tan, C.J. Kenneth. editor.

(1)

Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748

(1)

Tasiran, Serdar. editor.

(1)

Thapliyal, Himanshu. editor.

(1)

Tinelli, Cesare. editor.

(1)

Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652

(1)

Truthe, Bianca. editor.

(1)

Turhan, Anni-Yasmin. editor.

(1)

Valencia, Frank. editor.

(1)

Vereshchagin, Nikolay. editor.

(1)

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

(1)

Volkov, Mikhail V. editor.

(1)

Wagner, Roland. editor.

(1)

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073

(1)

Wiels, Virginie. editor.

(1)

Wolter, Frank. editor.

(1)

Worrell, James. editor.

(1)

Yamashita, Shigeru. editor.

(1)

Yarımağan, Ünal.

(1)

Zaverucha, Gerson. editor.

(1)

Zemek, Petr. author.

(1)

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

(1)

Zhou, Minghui. editor.

(1)

de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270

(1)

Ábrahám, Erika. editor.

(1)

Ölveczky, Peter Csaba. editor.

(1)

Özçep, Özgür Lütfü. author.

(1)

Tümünü genişlet

Dil

(55)

(1)

Yayın Yılı

-

(29)

(24)

(1)

(1)

(1)

Konu

Mathematical logic.

(31)

Computer logic.

(29)

Software engineering.

(26)

Artificial intelligence.

(17)

Programming languages (Electronic computers).

(9)

(8)

Computer science—Mathematics.

(8)

(7)

Computer system failures.

(6)

Information storage and retrieval.

(4)

Bioinformatics.

(3)

Computer programming.

(3)

Computer science.

(3)

Computer security.

(3)

Data structures (Computer science).

(3)

Computer communication systems.

(2)

Computer organization.

(2)

Machine learning.

(2)

Mathematical statistics.

(2)

Natural language processing (Computer science).

(2)

Numerical analysis.

(2)

Application software.

(1)

Arithmetic and logic units, Computer.

(1)

(1)

BİLGİSAYARLAR.

(1)

(1)

Computer Hardware.

(1)

Computer simulation.

(1)

Database management.

(1)

ELEKTRONİK VERİ İŞLEM.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronic data processing.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Information theory.

(1)

Logic circuits.

(1)

Management information systems.

(1)

Mantıksal devreler.

(1)

Mantıksal tasarım.

(1)

Matematiksel mantık.

(1)

Microprocessors.

(1)

Quantum computers.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

Elektronik Kütüphane

Kütüphane

Beytepe Kütüphanesi

Ç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ç

56 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5

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.

25.

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings için kapak resmi

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

Yazar

Alviano, Mario. editor. (orcid)0000-0002-2052-2063 Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828 Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings için kapak resmi

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

Yazar

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings için kapak resmi

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers için kapak resmi

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

Yazar

Coecke, Bob. editor. (orcid)0000-0002-5310-8723 Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings için kapak resmi

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Yazar

Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Low-Power VLSI Circuits and Systems için kapak resmi

Low-Power VLSI Circuits and Systems

Low-Power VLSI Circuits and Systems

Yazar

Pal, Ajit. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-81-322-1937-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I için kapak resmi

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-45234-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers için kapak resmi

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Yazar

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-05416-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings için kapak resmi

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings

Yazar

Shur, Arseny M. editor. Volkov, Mikhail V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-09698-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday için kapak resmi

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Yazar

Calude, Cristian S. editor. Freivalds, Rūsiņš. editor. Kazuo, Iwama. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-13350-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings için kapak resmi

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Yazar

Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11439-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings için kapak resmi

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Yazar

Ábrahám, Erika. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-43613-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11