Search Results for Languages.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

12

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)

(99)

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

(4)

Esparza, Javier. editor.

(3)

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)

Fraigniaud, Pierre. editor.

(2)

Husfeldt, Thore. editor.

(2)

Kaymak, Uzay. editor.

(2)

Koutsoupias, Elias. editor.

(2)

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

(2)

Laaksonen, Antti. author.

(2)

Legay, Axel. editor.

(2)

Leroy, Julien. editor.

(2)

Lesot, Marie-Jeanne. editor.

(2)

Manea, Florin. editor.

(2)

Martín-Vide, Carlos. editor.

(2)

Mousavi, Mohammad Reza. editor.

(2)

Potapov, Igor. editor.

(2)

Proença, José. editor.

(2)

Truthe, Bianca. editor.

(2)

Vieira, Susana. editor.

(2)

Yager, Ronald R. editor.

(2)

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

(2)

Abate, Alessandro. editor.

(1)

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

(1)

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

(1)

Abraham, Erika. editor.

(1)

Amos, Martyn. editor.

(1)

Artho, Cyrille. editor.

(1)

Baier, Christel. editor.

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

Boldo, Sylvie. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

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

(1)

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

(1)

Brlek, Srečko. editor.

(1)

Cabaleiro, José C. editor.

(1)

Cangelosi, Angelo. editor.

(1)

Carmona, Josep. editor.

(1)

Carrascosa, Carlos. editor.

(1)

Chapman, Barbara M. editor.

(1)

Charlier, Émilie. editor.

(1)

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

(1)

Cheng, Chih-Hong. editor.

(1)

Chávez, Edgar. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Condon, Anne. editor.

(1)

Cook, Matthew. editor.

(1)

Criado Pacheco, Natalia. editor.

(1)

Cutello, Vincenzo. editor.

(1)

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

(1)

Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589

(1)

Davies, Misty. editor.

(1)

Day, Adam. editor.

(1)

DeRose, Luiz. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Dennunzio, Alberto. editor.

(1)

Devitt, Simon. 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)

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

(1)

Drewes, Frank. editor.

(1)

Du, Dingzhu. editor.

(1)

Dutot, Pierre-François. editor.

(1)

Dutra, Inês. editor.

(1)

Echahed, Rachid. editor.

(1)

Eder, Johann. editor.

(1)

Engels, Gregor. editor.

(1)

Ergül, Özgür. author.

(1)

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

(1)

Fellows, Michael. editor.

(1)

Finger, Marcelo. editor.

(1)

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

(1)

Formenti, Enrico. editor.

(1)

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

(1)

Gagniuc, Paul A., author.

(1)

Gamard, Guilhem. editor.

(1)

Gavanelli, Marco. editor.

(1)

Gay, Gregory. editor. (orcid)0000-0001-6794-9585

(1)

Geeraerts, Gilles. editor.

(1)

Ghosh, Sujata. editor.

(1)

Gopal, T.V. editor.

(1)

Graf, Susanne. editor.

(1)

Greenberg, Noam. editor.

(1)

Guerra, Esther. editor. (orcid)0000-0002-2818-2278

(1)

Hague, Matthew. editor.

(1)

Hajiaghayi, Mohammed Taghi. editor.

(1)

Hameurlain, Abdelkader. editor.

(1)

Han, Yo-Sub. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

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

(1)

He, Kun. editor.

(1)

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

(1)

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

(1)

Hinchey, Mike. editor.

(1)

Hirvonen, Åsa. editor.

(1)

Hubbard, Steve. author.

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

Kahsai, Temesghen. 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)

Kovalev, Mikhail. author.

(1)

Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428

(1)

Kulikov, Alexander S. editor.

(1)

Kumar, Akhil. editor.

(1)

Küng, Josef. editor.

(1)

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

(1)

Langerak, Rom. editor.

(1)

Larsen, Kim G. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Le Goues, Claire. editor.

(1)

Lecomte, Thierry. editor.

(1)

Lee, Kent D. author.

(1)

Lee, Wei-Meng, author.

(1)

Li, Lian. editor.

(1)

Lipták, Zsuzsanna. editor.

(1)

Lluch Lafuente, Alberto. editor.

(1)

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

(1)

Lujak, Marin. editor.

(1)

Lumpe, Markus. editor.

(1)

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

(1)

Manzoni, Luca. editor.

(1)

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

(1)

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

(1)

Melnikov, Alexander. editor.

(1)

Merz, Stephan. editor.

(1)

Minas, Mark. editor.

(1)

Mueller, Frank. editor.

(1)

Mäkinen, Veli. editor.

(1)

Müller, Matthias S. editor.

(1)

Müller, Silvia M. author.

(1)

Navarro, Gonzalo. editor.

(1)

Neary, Turlough. editor.

(1)

Nejati, Shiva. editor.

(1)

Oikonomou, Konstantinos. editor.

(1)

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

(1)

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

(1)

Olivier, Stephen L. editor.

(1)

Orejas, Fernando. editor.

(1)

Osman, Nardine. editor.

(1)

Papadopoulos, Yiannis. editor.

(1)

Paul, Wolfgang J. author.

(1)

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

(1)

Pena, Tomás F. editor.

(1)

Petre, Ion. editor.

(1)

Petre, Luigia. editor.

(1)

Peña, Ricardo. editor.

(1)

Pighizzini, Giovanni. editor.

(1)

Poole, Stephen. editor.

(1)

Porreca, Antonio E. editor.

(1)

Prasad, Sanjiva. editor.

(1)

Probst, Christian W. editor.

(1)

Puglisi, Simon J. editor.

(1)

Rensink, Arend. editor.

(1)

Reppy, John. editor.

(1)

Reutenauer, Christophe. editor.

(1)

Rigo, Michel. editor.

(1)

Rival, Xavier. editor.

(1)

Rivera, Francisco F. editor.

(1)

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

(1)

Rosamond, Frances. editor.

(1)

Rovatsos, Michael. editor.

(1)

Rueher, Michel. editor.

(1)

Salmela, Leena. editor.

(1)

Salomaa, Kai. editor.

(1)

Santos Costa, Vitor. editor.

(1)

Schockaert, Steven. editor.

(1)

Sellis, Timos. editor.

(1)

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

(1)

Senellart, Pierre. editor.

(1)

Sgall, Jiří. editor.

(1)

Shallit, Jeffrey. editor.

(1)

Shamis, Pavel. editor.

(1)

Shen, Xipeng. editor.

(1)

Silva, Fernando. editor.

(1)

Skrzypczak, Michał. author.

(1)

Smith, Graeme. editor.

(1)

Smolka, Scott A. editor.

(1)

Smyth, William F. editor.

(1)

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

(1)

Tümünü genişlet

Dil

(101)

Yayın Yılı

-

(34)

(33)

(14)

(10)

(4)

(4)

(1)

(1)

Tümünü genişlet

Konu

Formal Languages and Automata Theory.

(62)

Machine theory.

(62)

Computer science.

(54)

Software engineering.

(45)

Computer Science Logic and Foundations of Programming.

(41)

Computer science -- Mathematics.

(33)

Artificial intelligence.

(32)

Theory of Computation.

(25)

Programming languages (Electronic computers).

(23)

Discrete Mathematics in Computer Science.

(22)

Discrete mathematics.

(22)

Compilers (Computer programs).

(20)

Compilers and Interpreters.

(20)

Computer programming.

(17)

Programming Techniques.

(15)

Application software.

(10)

Computer logic.

(10)

Computer simulation.

(10)

Artificial intelligence -- Data processing.

(9)

Computer Modelling.

(9)

(9)

Computer Communication Networks.

(8)

Computer and Information Systems Applications.

(8)

Computer networks .

(8)

Mathematical logic.

(8)

Mathematics of Computing.

(6)

(5)

Bioinformatics.

(4)

Computer communication systems.

(4)

Computers, Special purpose.

(4)

Data Mining and Knowledge Discovery.

(4)

(4)

Data structures (Computer science).

(4)

Design and Analysis of Algorithms.

(4)

Special Purpose and Application-Based Systems.

(4)

Computational and Systems Biology.

(3)

Computer science—Mathematics.

(3)

Computer system failures.

(3)

Computers and Education.

(3)

Database management.

(3)

Education -- Data processing.

(3)

Information Storage and Retrieval.

(3)

Information storage and retrieval systems.

(3)

Mathematical statistics.

(3)

Natural Language Processing (NLP).

(3)

Natural language processing (Computer science).

(3)

Probability and Statistics in Computer Science.

(3)

Symbolic and Algebraic Manipulation.

(3)

Computer Application in Administrative Data Processing.

(2)

Computer System Implementation.

(2)

Computer systems.

(2)

Computer vision.

(2)

Data Structures and Information Theory.

(2)

Electronic digital computers -- Evaluation.

(2)

Information technology -- Management.

(2)

Information theory.

(2)

Numerical analysis.

(2)

Operating systems (Computers).

(2)

Programming Language.

(2)

(2)

System Performance and Evaluation.

(2)

Algorithm Analysis and Problem Complexity.

(1)

(1)

(1)

Apprentissage automatique.

(1)

Automated Pattern Recognition.

(1)

Bio-informatique.

(1)

(1)

COMPUTERS -- Programming Languages -- Python.

(1)

(1)

Computational Biology

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer graphics.

(1)

Computer hardware.

(1)

Computer software.

(1)

(1)

(1)

Data and Information Security.

(1)

Data encryption (Computer science).

(1)

Data protection.

(1)

Electronic books.

(1)

Electronic data processing -- Management.

(1)

(1)

Llibres electrònics.

(1)

(1)

(1)

Logic programming.

(1)

(1)

Machine learning

(1)

Machine learning.

(1)

Mathematical Logic and Foundations.

(1)

Microprocessors.

(1)

Operating Systems.

(1)

Pattern recognition systems.

(1)

Pattern recognition.

(1)

Probability & Statistics.

(1)

(1)

Programming Languages, Compilers, Interpreters.

(1)

Programming Languages.

(1)

(1)

Python (Computer program language)

(1)

Python (Computer program language).

(1)

Python (Langage de programmation)

(1)

Python (Llenguatge de programació)

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

Social sciences -- Data processing.

(1)

Software Development & Engineering.

(1)

The Computing Profession.

(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

101 sonuç bulundu

Arama sonuçlarına abone ol

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

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.

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers için kapak resmi

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Yazar

Lujak, Marin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Python machine learning için kapak resmi

Python machine learning

Python machine learning

Yazar

Lee, Wei-Meng, author.

Yer Numarası

QA76.73 .P98 L44 2019 EB

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119557500

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Yazar

Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54580-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings için kapak resmi

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Yazar

Kennedy, Juliette. editor. de Queiroz, Ruy J.G.B. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-55386-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXI Special Issue on Data and Security Engineering için kapak resmi

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXI Special Issue on Data and Security Engineering

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXI Special Issue on Data and Security Engineering

Yazar

Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589 Thoai, Nam. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings için kapak resmi

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

Yazar

Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings için kapak resmi

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Yazar

Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Algorithmic Aspects of Cloud Computing Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers için kapak resmi

Algorithmic Aspects of Cloud Computing Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers

Algorithmic Aspects of Cloud Computing Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers

Yazar

Sellis, Timos. editor. Oikonomou, Konstantinos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings için kapak resmi

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Yazar

Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings için kapak resmi

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Yazar

Beck, J. Christopher. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 9

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11