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: Algorithms.

Yazar

SpringerLink (Online service)

(75)

(2)

Anguita, Davide. author.

(2)

Cooper, S. Barry. editor.

(2)

Csuhaj-Varjú, Ersébet. editor.

(2)

Dietzfelbinger, Martin. editor.

(2)

Donzellini, Giuliano. author.

(2)

IEEE Engineering in Medicine and Biology Society.

(2)

Löwe, Benedikt. editor.

(2)

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

(2)

Oneto, Luca. author.

(2)

Pin, Jean-Éric. editor.

(2)

Ponta, Domenico. author.

(2)

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

(2)

Ésik, Zoltán. editor.

(2)

Abraham, Erika. editor.

(1)

Agrawal, Manindra. editor.

(1)

Alpuente, María. editor.

(1)

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

(1)

Artho, Cyrille. editor.

(1)

Aĭzerman, M. A. (Mark Aronovich), 1913-

(1)

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603

(1)

Batyrshin, Ildar. editor.

(1)

Beckmann, Arnold. editor.

(1)

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

(1)

Biondi, Fabrizio. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bourgeois, Anu. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Brunato, Mauro. editor. (orcid)0000-0002-7885-4255

(1)

Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X

(1)

Cai, Zhipeng. editor.

(1)

Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620

(1)

Chaki, Jyotismita. author.

(1)

Chaves, Madalena. editor.

(1)

Chen, Jianer. editor.

(1)

Chen, Xiaoyun. editor.

(1)

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

(1)

Cheng, Chih-Hong. editor.

(1)

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

(1)

Colinet, Margot. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

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

(1)

Diaz, Josep. editor.

(1)

Dimitracopoulos, Costas. editor.

(1)

Disser, Yann. editor. (orcid)0000-0002-2085-0454

(1)

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

(1)

Dong, Yingfei. editor.

(1)

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

(1)

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

(1)

Du, Ding-Zhu. editor.

(1)

Esparza, Javier. editor.

(1)

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

(1)

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

(1)

Flum, Jörg. author.

(1)

Fomin, Fedor V. editor.

(1)

Friend, Michèle.

(1)

Gailly, Frederik. editor.

(1)

Gamboa, Ruben. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Giese, Holger. editor.

(1)

Given-Wilson, Thomas. editor.

(1)

Goethe, Norma B.

(1)

Gopal, T V. editor.

(1)

Gopal, T.V. editor.

(1)

Graf, Susanne. editor.

(1)

Granström, Johan Georg. author.

(1)

Grohe, Martin. author.

(1)

Guizzardi, Giancarlo. editor.

(1)

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

(1)

Hanus, Michael. editor.

(1)

Harizanov, Valentina S.

(1)

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

(1)

He, Kun. editor.

(1)

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

(1)

Hirsch, Edward. editor.

(1)

Holmes, Ian. editor. (orcid)0000-0001-7639-5369

(1)

Holzer, Markus. editor.

(1)

Huynh, Van-Nam. editor.

(1)

Ibarra, Oscar. editor.

(1)

Iemhoff, Rosalie. editor.

(1)

Iida, Hiroyuki. editor.

(1)

Indrzejczak, Andrzej. author.

(1)

Inuiguchi, Masahiro. editor.

(1)

Jamil, Tariq. author.

(1)

Jȩdrzejowicz, Joanna. editor.

(1)

Katrenko, Sophia. editor.

(1)

Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X

(1)

Klein, Gerwin. editor.

(1)

Knight, William. author.

(1)

Koepf, Wolfram. editor.

(1)

Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383

(1)

Královič, Rastislav. editor.

(1)

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

(1)

Kutrib, Martin. editor.

(1)

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

(1)

Kučera, Antonín. editor.

(1)

Kučera, Luděk. editor.

(1)

König, Barbara. editor.

(1)

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

(1)

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

(1)

Larsen, Kim G. editor.

(1)

Lecomte, Thierry. editor.

(1)

Legay, Axel. editor.

(1)

Leivant, Daniel. editor.

(1)

Li, Angsheng. editor.

(1)

Lipton, Richard J. author.

(1)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(1)

Lodi, Andrea. editor. (orcid)0000-0001-9269-633X

(1)

Manea, Florin. editor.

(1)

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

(1)

Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042

(1)

Martin, Barnaby. editor.

(1)

Martins, Manuel A. editor. (orcid)0000-0002-5109-8066

(1)

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821

(1)

Marín-Hernández, Antonio. editor.

(1)

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838

(1)

Moortgat, Michael. editor.

(1)

Mordonini, Monica. editor. (orcid)0000-0002-5916-9770

(1)

Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581

(1)

Nguyen, Canh Hao. editor.

(1)

Nierhaus, Gerhard. author.

(1)

Ochmański, Edward. editor.

(1)

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

(1)

Oliveira, José N. editor. (orcid)0000-0002-0196-4229

(1)

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

(1)

Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X

(1)

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

(1)

Paule, Peter. editor.

(1)

Paulusma, Daniël. editor.

(1)

Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845

(1)

Petre, Luigia. editor.

(1)

Peña, Ricardo. editor.

(1)

Plaat, Aske. editor.

(1)

Poole, Stephen. editor.

(1)

Primiero, Giuseppe. editor.

(1)

Queiroz, Ruy. editor.

(1)

Rao, Dattaraj, author.

(1)

Rauzy, Antoine. editor.

(1)

Rendsvig, Rasmus K. editor.

(1)

Roli, Andrea. editor. (orcid)0000-0001-9891-5441

(1)

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331

(1)

Sangiorgi, Davide. editor.

(1)

Seiler, Werner M. editor.

(1)

Seki, Hirosato. editor.

(1)

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

(1)

Shamis, Pavel. editor.

(1)

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

(1)

Shur, Arseny M. editor.

(1)

Smith, Graeme. editor.

(1)

Smolka, Scott A. editor.

(1)

Sorbi, Andrea. editor.

(1)

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

(1)

Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859

(1)

Sun, Xiaoming. editor.

(1)

Suzana Pitangueira Maciel, Rita. editor.

(1)

Szepietowski, Andrzej. editor.

(1)

Tyszkiewicz, Jerzy. editor.

(1)

Urzyczyn, Paweł. editor.

(1)

Vahrenhold, Jan. editor.

(1)

Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X

(1)

Vereshchagin, Nikolay. editor.

(1)

Verykios, Vassilios S. editor.

(1)

Villani, Marco. editor. (orcid)0000-0002-5991-5470

(1)

Volkov, Mikhail V. editor.

(1)

Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399

(1)

Vrajitoru, Dana. author.

(1)

Watada, Junzo. editor.

(1)

Wegener, Ingo. author.

(1)

Wolf, Verena. editor. (orcid)0000-0001-8460-6007

(1)

Zelikovsky, Alexander. editor.

(1)

Zhang, Zili. editor.

(1)

de Queiroz, Ruy. editor.

(1)

van Bevern, René. editor. (orcid)0000-0002-4805-218X

(1)

van den Herik, H. Jaap. editor.

(1)

Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721

(1)

Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682

(1)

Tümünü genişlet

Dil

(76)

(1)

Yayın Yılı

-

(34)

(19)

(5)

(4)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

Tümünü genişlet

Konu

Mathematical logic.

(33)

Artificial intelligence.

(25)

Computer logic.

(25)

Software engineering.

(22)

Computer science—Mathematics.

(19)

Computer science.

(18)

Computer software.

(14)

Data structures (Computer science).

(13)

(13)

Programming languages (Electronic computers).

(12)

(8)

Information theory.

(8)

Computational complexity.

(7)

Logic, Symbolic and mathematical.

(7)

Numerical analysis.

(7)

Arithmetic and logic units, Computer.

(6)

Computer communication systems.

(5)

Electronic data processing.

(4)

Bioinformatics.

(3)

Computer simulation.

(3)

Database management.

(3)

Philosophy (General).

(3)

Special purpose computers.

(3)

(2)

Application software.

(2)

(2)

Biomedical engineering.

(2)

Biomedische techniek.

(2)

(2)

Computer system failures.

(2)

Electronic books.

(2)

Fuzzy (inteligência artificial)

(2)

(2)

Genetic epistemology.

(2)

Information storage and retrieval.

(2)

(2)

(2)

Models, Biological.

(2)

Neural Networks (Computer)

(2)

Neural networks (Computer science)

(2)

Neurale netwerken.

(2)

Niet-lineaire dynamica.

(2)

(2)

Signaalverwerking.

(2)

Signal Processing, Computer-Assisted.

(2)

Signal processing.

(2)

Systems engineering.

(2)

Algebra -- Data processing.

(1)

Apprentissage automatique.

(1)

Arithmetic and Logic Structures.

(1)

Artificial Intelligence

(1)

(1)

(1)

COMPUTERS -- General.

(1)

(1)

Circuits and Systems.

(1)

Computational intelligence.

(1)

Computer Vision & Pattern Recognition.

(1)

Computer graphics.

(1)

Computer organization.

(1)

Computer programming.

(1)

Computer science -- Mathematics.

(1)

Computer security.

(1)

(1)

(1)

Electrical engineering.

(1)

(1)

Functions of a Complex Variable.

(1)

Functions of complex variables.

(1)

Information systems.

(1)

Intelligence (AI) & Semantics.

(1)

Intelligence artificielle.

(1)

Machine Learning

(1)

Machine learning.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Software.

(1)

Mathematical statistics.

(1)

(1)

Neuronales Netz.

(1)

Operating systems (Computers).

(1)

(1)

Science -- Philosophy.

(1)

Sequential machine theory.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Theory of Computation.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Wiley 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

79 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 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.

1.

Introduzione al Progetto di Sistemi Digitali için kapak resmi

Introduzione al Progetto di Sistemi Digitali

Introduzione al Progetto di Sistemi Digitali

Yazar

Donzellini, Giuliano. author. Oneto, Luca. author. Ponta, Domenico. author. Anguita, Davide. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-88-470-3963-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings için kapak resmi

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings

Yazar

Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings için kapak resmi

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

Yazar

Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings için kapak resmi

Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Yazar

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10515-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings için kapak resmi

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Yazar

Diaz, Josep. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Sangiorgi, Davide. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings için kapak resmi

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

Yazar

Cai, Zhipeng. editor. Zelikovsky, Alexander. editor. Bourgeois, Anu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings için kapak resmi

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Yazar

Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I için kapak resmi

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I

Yazar

Csuhaj-Varjú, Ersébet. editor. Dietzfelbinger, Martin. editor. Ésik, Zoltán. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers için kapak resmi

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Yazar

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings için kapak resmi

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

Yazar

Holzer, Markus. editor. Kutrib, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08846-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings için kapak resmi

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Yazar

Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11164-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings için kapak resmi

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

Yazar

Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 3 4 5 6 7

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11