Search Results for Algorithms.

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

+

Konu: Machine theory.

Yazar

SpringerLink (Online service)

(84)

Benslimane, Djamal. editor.

(2)

Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796

(2)

Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299

(2)

Câmpeanu, Cezar. editor.

(2)

Damiani, Ernesto. editor.

(2)

Grosky, William I. editor.

(2)

Hameurlain, Abdelkader. editor.

(2)

Kaymak, Uzay. editor.

(2)

Kovács, Laura. editor. (orcid)0000-0002-8299-2714

(2)

Legay, Axel. editor.

(2)

Leroy, Julien. editor.

(2)

Lesot, Marie-Jeanne. editor.

(2)

Manea, Florin. editor.

(2)

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

(2)

Martín-Vide, Carlos. editor.

(2)

Mousavi, Mohammad Reza. editor.

(2)

Potapov, Igor. editor.

(2)

Sheth, Amit. editor.

(2)

Truthe, Bianca. editor.

(2)

Vieira, Susana. editor.

(2)

Wagner, Roland R. editor.

(2)

Yager, Ronald R. editor.

(2)

Abate, Alessandro. editor.

(1)

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

(1)

Abbas, Houssam. editor. (orcid)0000-0002-8096-2618

(1)

Adorni, Giovanni. editor.

(1)

Aggarwal, Charu C., editor.

(1)

Amos, Martyn. editor.

(1)

Ayala-Rincón, Mauricio. author.

(1)

Barrett, Clark. editor.

(1)

Beck, J. Christopher. editor.

(1)

Beckmann, Arnold. editor.

(1)

Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790

(1)

Bienvenu, Laurent. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Blesa, Maria J. editor.

(1)

Blum, Christian. editor.

(1)

Blömer, Johannes. editor.

(1)

Boldo, Sylvie. editor.

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Bowen, Jonathan P. editor.

(1)

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

(1)

Brlek, Srečko. editor.

(1)

Cagnoni, Stefano. editor.

(1)

Cangelosi, Angelo. editor.

(1)

Carmona, Josep. editor.

(1)

Carrascosa, Carlos. editor.

(1)

Charlier, Émilie. editor.

(1)

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517

(1)

Choemprayong, Songphan. editor.

(1)

Condon, Anne. editor.

(1)

Cook, Matthew. editor.

(1)

Crestani, Fabio. editor.

(1)

Criado Pacheco, Natalia. editor.

(1)

Cunningham, Sally Jo. editor.

(1)

Cutello, Vincenzo. editor.

(1)

Davies, Misty. editor.

(1)

Day, Adam. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Dennunzio, Alberto. editor.

(1)

Di Nuovo, Alessandro. editor.

(1)

Dinh, Thang N. editor.

(1)

Dixon, Clare. editor.

(1)

Doder, Dragan. editor. (orcid)0000-0003-0067-3654

(1)

Drewes, Frank. editor.

(1)

Du, Dingzhu. editor.

(1)

Echahed, Rachid. editor.

(1)

Engels, Gregor. editor.

(1)

England, Matthew. editor.

(1)

Everitt, Tom. editor.

(1)

Fellows, Michael. editor.

(1)

Finger, Marcelo. editor.

(1)

Formenti, Enrico. editor.

(1)

Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159

(1)

Gamard, Guilhem. editor.

(1)

Ganty, Pierre. editor. (orcid)0000-0002-3625-6003

(1)

Geeraerts, Gilles. editor.

(1)

Geuvers, Herman. editor.

(1)

Ghosh, Sujata. editor.

(1)

Goertzel, Ben. editor.

(1)

Gopal, T.V. editor.

(1)

Gori, Marco. editor.

(1)

Greenberg, Noam. editor.

(1)

Hague, Matthew. editor.

(1)

Hajiaghayi, Mohammed Taghi. editor.

(1)

Han, Yo-Sub. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Hasan, Osman. editor.

(1)

He, Kun. editor.

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Hinchey, Mike. editor.

(1)

Hirvonen, Åsa. editor.

(1)

Hung, Dang Van. editor.

(1)

Inoue, Katsumi. editor.

(1)

Jacobs, Bart. editor.

(1)

Janoušek, Jan. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Jonoska, Nataša. editor.

(1)

Julian, Vicente. editor.

(1)

Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037

(1)

Jäger, Gerhard. editor.

(1)

Jøsang, Audun. author.

(1)

Kahsai, Temesghen. editor.

(1)

Kapur, Deepak. editor.

(1)

Kari, Jarkko. editor.

(1)

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

(1)

Kennedy, Juliette. editor.

(1)

Kern-Isberner, Gabriele. editor.

(1)

Khoussainov, Bakhadyr. editor.

(1)

Kohlhase, Andrea. editor. (orcid)0000-0001-5384-6702

(1)

Kotsireas, Ilias S. editor.

(1)

Kulikov, Alexander S. editor.

(1)

Kumar, Akhil. editor.

(1)

Kunčak, Viktor. editor.

(1)

Kutsia, Temur. editor. (orcid)0000-0003-4084-7380

(1)

Langerak, Rom. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Li, Lian. editor.

(1)

Lipták, Zsuzsanna. editor.

(1)

Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071

(1)

Loreti, Michele. editor.

(1)

Lumpe, Markus. editor.

(1)

Löding, Christof. editor.

(1)

Majumdar, Rupak. editor.

(1)

Manea, Florin. editor. (orcid)0000-0001-6094-3324

(1)

Manzoni, Luca. editor.

(1)

Maratea, Marco. editor.

(1)

Melnikov, Alexander. editor.

(1)

Merz, Stephan. editor.

(1)

Meziane, Farid. editor. (orcid)0000-0001-9811-6914

(1)

Minas, Mark. editor.

(1)

Mohammed, Mohssen, 1982, author.

(1)

Morazán, Marco T. author.

(1)

Mureşan, Marian. author.

(1)

Mäkinen, Veli. editor.

(1)

Métais, Elisabeth. editor.

(1)

Neary, Turlough. editor.

(1)

Ohwada, Hayato. editor.

(1)

Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281

(1)

Olderog, Ernst-Rüdiger. editor.

(1)

Osman, Nardine. editor.

(1)

Papadopoulos, Yiannis. editor.

(1)

Pathan, Al-Sakib Khan.

(1)

Pavone, Mario. editor. (orcid)0000-0003-3421-3293

(1)

Petre, Ion. editor.

(1)

Pighizzini, Giovanni. editor.

(1)

Porreca, Antonio E. editor.

(1)

Potapov, Alexey. editor.

(1)

Prasad, Sanjiva. editor.

(1)

Probst, Christian W. editor.

(1)

Proença, José. editor.

(1)

Puglisi, Simon J. editor.

(1)

Rabe, Florian. editor.

(1)

Raskin, Jean-François. editor.

(1)

Reddy, Chandan K., editor.

(1)

Rensink, Arend. editor.

(1)

Reutenauer, Christophe. editor.

(1)

Rigo, Michel. editor.

(1)

Rival, Xavier. editor.

(1)

Rosamond, Frances. editor.

(1)

Rovatsos, Michael. editor.

(1)

Rueher, Michel. editor.

(1)

Salmela, Leena. editor.

(1)

Salomaa, Kai. editor.

(1)

Saraee, Mohamad. editor. (orcid)0000-0002-3283-1912

(1)

Schockaert, Steven. editor.

(1)

Senellart, Pierre. editor.

(1)

Sgall, Jiří. editor.

(1)

Shallit, Jeffrey. editor.

(1)

Sikos, Leslie F. author.

(1)

Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924

(1)

Skrzypczak, Michał. author.

(1)

Smyth, William F. editor.

(1)

Sokolova, Ana. editor. (orcid)0000-0002-8384-3438

(1)

Srba, Jiří. editor.

(1)

Steila, Silvia. editor.

(1)

Sugumaran, Vijayan. editor.

(1)

Talbi, El-Ghazali. editor.

(1)

Taylor and Francis.

(1)

Teschke, Olaf. editor.

(1)

Thai, My T. editor.

(1)

Turhan, Anni-Yasmin. editor. (orcid)0000-0001-6336-335X

(1)

Vadera, Sunil. editor.

(1)

Vouros, George. editor.

(1)

Väänänen, Jouko. editor.

(1)

Wang, Kewen. editor.

(1)

Wang, Zhe. editor.

(1)

Weil, Pascal. editor.

(1)

Woeginger, Gerhard J. editor.

(1)

Yamamoto, Akihiro. editor.

(1)

Yang, Zhen. editor.

(1)

Yung, Moti. editor.

(1)

Zeume, Thomas. author.

(1)

Zhang, Jianbiao. editor.

(1)

Zhang, Xiaowang. editor.

(1)

Zhu, En. editor.

(1)

de Moura, Flávio L. C. author.

(1)

de Moura, Leonardo. editor.

(1)

Tümünü genişlet

Dil

(86)

Yayın Yılı

-

(43)

(34)

(4)

(3)

(2)

(1)

Tümünü genişlet

Konu

Formal Languages and Automata Theory.

(84)

(62)

Computer science.

(57)

Computer Science Logic and Foundations of Programming.

(46)

Artificial intelligence.

(39)

Computer science -- Mathematics.

(35)

Software engineering.

(34)

Theory of Computation.

(26)

Discrete Mathematics in Computer Science.

(21)

Discrete mathematics.

(21)

Compilers (Computer programs).

(19)

Compilers and Interpreters.

(19)

Computer Modelling.

(11)

Computer simulation.

(11)

Computer programming.

(9)

(9)

Programming Techniques.

(9)

Application software.

(8)

Artificial intelligence -- Data processing.

(8)

Computer and Information Systems Applications.

(8)

Computer networks .

(8)

Data Mining and Knowledge Discovery.

(8)

(8)

Mathematics of Computing.

(8)

Computer Communication Networks.

(7)

Data and Information Security.

(5)

Data protection.

(5)

Database management.

(5)

Natural Language Processing (NLP).

(5)

Natural language processing (Computer science).

(5)

Computer Application in Administrative Data Processing.

(4)

Computers, Special purpose.

(4)

Design and Analysis of Algorithms.

(4)

Information Storage and Retrieval.

(4)

Information storage and retrieval systems.

(4)

Information technology -- Management.

(4)

Special Purpose and Application-Based Systems.

(4)

Bioinformatics.

(3)

Computational and Systems Biology.

(3)

Computer Application in Social and Behavioral Sciences.

(3)

Computer vision.

(3)

Mathematical Applications in Computer Science.

(3)

Mathematical statistics.

(3)

Probability and Statistics in Computer Science.

(3)

Social sciences -- Data processing.

(3)

Symbolic and Algebraic Manipulation.

(3)

Automated Pattern Recognition.

(2)

(2)

Information theory.

(2)

Numerical analysis.

(2)

Pattern recognition systems.

(2)

COMPUTERS / Database Management / Data Mining.

(1)

COMPUTERS / Machine Theory.

(1)

Cluster analysis.

(1)

Coding and Information Theory.

(1)

(1)

Computer Engineering and Networks.

(1)

Computer algorithms.

(1)

Computer engineering.

(1)

Computer graphics.

(1)

Computer networks -- Security measures.

(1)

Computer viruses.

(1)

Computers and Education.

(1)

Computing Milieux.

(1)

Data Structures and Information Theory.

(1)

Data structures (Computer science).

(1)

Document clustering.

(1)

Education -- Data processing.

(1)

Electronic books.

(1)

Electronic digital computers -- Evaluation.

(1)

File organization (Computer science)

(1)

Human-computer interaction.

(1)

(1)

Logic programming.

(1)

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Models of Computation.

(1)

(1)

System Performance and Evaluation.

(1)

The Computing Profession.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

characteristics of clustering problems.

(1)

grid-based clustering.

(1)

high-dimensional clustering.

(1)

methods for data clustering.

(1)

spectral clustering.

(1)

variations of the clustering process.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

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ç

86 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 8

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.

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers için kapak resmi

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Yazar

Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings için kapak resmi

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

Yazar

Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-72453-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings için kapak resmi

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Yazar

Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Digital Libraries: Data, Information, and Knowledge for Digital Lives 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings için kapak resmi

Digital Libraries: Data, Information, and Knowledge for Digital Lives 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings

Digital Libraries: Data, Information, and Knowledge for Digital Lives 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings

Yazar

Choemprayong, Songphan. editor. Crestani, Fabio. editor. Cunningham, Sally Jo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings için kapak resmi

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Yazar

Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings için kapak resmi

Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

Yazar

Weil, Pascal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-58747-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings için kapak resmi

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings

Yazar

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X Papadopoulos, Yiannis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-64119-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings için kapak resmi

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Yazar

Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings. için kapak resmi

KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.

KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.

Yazar

Kern-Isberner, Gabriele. editor. Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings için kapak resmi

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Yazar

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-63501-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday için kapak resmi

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

Yazar

Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings için kapak resmi

Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Yazar

de Moura, Leonardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-63046-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 8

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11