Search Results for Artificial Intelligence

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: Compilers (Computer programs).

Yazar

SpringerLink (Online service)

(59)

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186

(2)

Legay, Axel. editor.

(2)

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

(2)

Perner, Petra. editor.

(2)

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

(2)

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

(1)

Aceto, Luca. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

An, Bo. editor.

(1)

Apduhan, Bernady O. editor.

(1)

Arbel, Eli. editor.

(1)

Artale, Alessandro. editor. (orcid)0000-0002-3852-9351

(1)

Artho, Cyrille. editor.

(1)

Ayala-Rincón, Mauricio. editor.

(1)

Aydogan, Reyhan. editor. (orcid)0000-0002-5260-9999

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(1)

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448

(1)

Basili, Roberto. editor. (orcid)0000-0001-5140-0694

(1)

Batsakis, Sotiris. editor.

(1)

Bazzan, Ana. editor.

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

(1)

Bhiri, Sami. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bloem, Roderick. editor.

(1)

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

(1)

Borruso, Giuseppe. editor.

(1)

Boucheneb, Hanifa. editor.

(1)

Bougé, Luc. editor.

(1)

Bubel, Richard. editor.

(1)

Burns, Richard. editor. (orcid)0000-0002-3961-438X

(1)

Calvaresi, Davide. editor. (orcid)0000-0001-9816-7439

(1)

Carli, Rachele. editor. (orcid)0000-0002-8689-285X

(1)

Charoy, François. editor.

(1)

Chechik, Marsha. editor.

(1)

Chopra, Amit K. editor.

(1)

Ciatto, Giovanni. editor. (orcid)0000-0002-1841-8996

(1)

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990

(1)

Corchado, Emilio. editor.

(1)

Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575

(1)

Costantini, Stefania. editor.

(1)

Cranefield, Stephen. editor.

(1)

Cuzzocrea, Alfredo. editor.

(1)

D'Souza, Deepak. editor.

(1)

Dang, Tran Khanh. editor.

(1)

De Nicola, Rocco. editor.

(1)

Desfray, Philippe. editor.

(1)

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286

(1)

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

(1)

Dou, Yong. editor.

(1)

Drira, Khalil. editor. (orcid)0000-0002-4770-1563

(1)

Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270

(1)

England, Matthew. editor.

(1)

Esposito, Floriana. editor.

(1)

Ferilli, Stefano. editor.

(1)

Filipe, Joaquim. editor.

(1)

Franconi, Enrico. editor.

(1)

Främling, Kary. editor. (orcid)0000-0002-8078-5172

(1)

Gervasi, Osvaldo. editor.

(1)

Geuvers, Herman. editor.

(1)

Ghatak, Abhijit. author.

(1)

Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X

(1)

Gupta, Gopal. editor. (orcid)0000-0001-9727-0362

(1)

Gurfinkel, Arie. editor.

(1)

Hage, Jurriaan. editor.

(1)

Hammoudi, Slimane. editor.

(1)

Hasan, Osman. editor.

(1)

Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872

(1)

Heras, Dora. editor.

(1)

Hirayama, Katsutoshi. editor.

(1)

Holmes, John H. editor.

(1)

Hulstijn, Joris. editor. (orcid)0000-0002-5476-1062

(1)

Hung, Dang Van. editor.

(1)

Hähnle, Reiner. editor.

(1)

Ingólfsdóttir, Anna. editor.

(1)

Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678

(1)

Johansson, Moa. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Kapur, Deepak. editor.

(1)

King, Andy. editor.

(1)

Kohlhase, Michael. editor.

(1)

Kontchakov, Roman. editor.

(1)

Kühn, Eva. editor.

(1)

Küng, Josef. editor.

(1)

Leite, João. editor.

(1)

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752

(1)

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

(1)

Lin, Haixiang. editor.

(1)

Lisi, Francesca A. editor.

(1)

Ma, Hui. editor.

(1)

Mahmoud, Samhar. editor.

(1)

Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021

(1)

Mardare, Radu. editor.

(1)

Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735

(1)

Martínez de Pisón, Francisco Javier. editor.

(1)

Mayr, Heinrich C. editor.

(1)

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

(1)

Mendling, Jan. editor.

(1)

Menzies, Tim. editor.

(1)

Mili, Ali. editor.

(1)

Miller, Bruce. editor.

(1)

Misra, Sanjay. editor.

(1)

Mohamed, Mohamed. editor.

(1)

Montali, Marco. editor. (orcid)0000-0002-8021-3430

(1)

Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104

(1)

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959

(1)

Muñoz, César A. editor.

(1)

Najjar, Amro. editor. (orcid)0000-0001-7784-6176

(1)

Nalon, Cláudia. editor.

(1)

Narayan Kumar, K. editor.

(1)

Neuhold, Erich J. editor. (orcid)0000-0002-7068-2225

(1)

Nikitchenko, Mykola. editor.

(1)

Olivetti, Nicola. editor.

(1)

Omicini, Andrea. editor. (orcid)0000-0002-6655-3869

(1)

Padget, Julian. editor.

(1)

Paskevich, Andrei. editor.

(1)

Pastor, Oscar. editor. (orcid)0000-0002-1320-8471

(1)

Peled, Doron. editor.

(1)

Petke, Justyna. editor.

(1)

Pires, Luís Ferreira. editor.

(1)

Plump, Detlef. editor.

(1)

Polikarpova, Nadia. editor.

(1)

Popow, Christian. editor. (orcid)0000-0002-0496-1453

(1)

Quintián, Héctor. editor.

(1)

Rabe, Florian. editor.

(1)

Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886

(1)

Rocha, Ana Paula. editor.

(1)

Roman, Dumitru. editor.

(1)

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

(1)

Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825

(1)

Sadri, Fariba. editor.

(1)

Schmidt, Renate A. editor.

(1)

Schmitt, Peter H. editor.

(1)

Schneider, Steve. editor.

(1)

Selic, Bran. editor.

(1)

Serrano, Manuel. editor.

(1)

Serwe, Wendelin. editor.

(1)

Seshia, Sanjit A. editor.

(1)

Sirjani, Marjan. editor.

(1)

Son, Tran Cao. editor.

(1)

Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133

(1)

Stankova, Elena. editor.

(1)

Strichman, Ofer. editor.

(1)

Sun, Guangyu. editor.

(1)

Taha, Walid. editor.

(1)

Tahar, Sofiène. editor.

(1)

Takizawa, Makoto. editor.

(1)

Tamaddoni-Nezhad, Alireza. editor.

(1)

Taniar, David. editor. (orcid)0000-0002-8862-3960

(1)

Teschke, Olaf. editor.

(1)

Thai, Chi N. author.

(1)

Thoai, Nam. editor.

(1)

Tichy, Matthias. editor. (orcid)0000-0002-9067-3748

(1)

Tiwari, Ashish. editor.

(1)

Tompa, Frank. editor.

(1)

Torre, Carmelo M. editor.

(1)

Torroni, Paolo. editor.

(1)

Troubitsyna, Elena A. editor.

(1)

Tzoref-Brill, Rachel. editor.

(1)

Ulbrich, Mattias. editor.

(1)

Upadhyaya, Bhim P. author.

(1)

Urraca, Rubén. editor.

(1)

Van Woensel, William. editor.

(1)

Viana, Petrucio. editor. (orcid)0000-0002-3517-6706

(1)

Villata, Serena. editor.

(1)

Wagner, Roland. editor.

(1)

Wang, Hongbing. editor.

(1)

Wang, Yan. editor.

(1)

Wang, Zhongjie. editor.

(1)

Wies, Thomas. editor.

(1)

Wu, Junjie. editor. (orcid)0000-0001-5951-8988

(1)

Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591

(1)

Yan, Yuhong. editor.

(1)

Yu, Qi. editor.

(1)

Zholtkevych, Grygoriy. editor.

(1)

Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016

(1)

de Lara, Juan. editor.

(1)

de Moura, Leonardo. editor.

(1)

ten Teije, Annette. editor.

(1)

van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X

(1)

van der Torre, Leendert. editor.

(1)

Ábrahám, Erika. editor.

(1)

Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134

(1)

Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028

(1)

Tümünü genişlet

Dil

(59)

Yayın Yılı

-

(32)

(16)

(6)

(5)

Konu

Compilers and Interpreters.

(59)

Artificial intelligence.

(53)

Software engineering.

(41)

Computer science.

(37)

Formal Languages and Automata Theory.

(29)

Machine theory.

(29)

Computer Science Logic and Foundations of Programming.

(27)

Computer programming.

(25)

Programming Techniques.

(25)

Application software.

(14)

Computer and Information Systems Applications.

(14)

Theory of Computation.

(12)

Computer networks .

(10)

(9)

Electronic digital computers -- Evaluation.

(7)

System Performance and Evaluation.

(7)

Computer Communication Networks.

(5)

Computer Engineering and Networks.

(5)

Computer Modelling.

(5)

Computer engineering.

(5)

Computer simulation.

(5)

Computers, Special purpose.

(5)

Special Purpose and Application-Based Systems.

(5)

(4)

Computer Application in Administrative Data Processing.

(3)

Computer science -- Mathematics.

(3)

Data Mining and Knowledge Discovery.

(3)

(3)

Information technology -- Management.

(3)

Operating Systems.

(3)

Operating systems (Computers).

(3)

(3)

The Computing Profession.

(3)

Artificial intelligence -- Data processing.

(2)

(2)

Data Structures and Information Theory.

(2)

Data structures (Computer science).

(2)

Design and Analysis of Algorithms.

(2)

Discrete Mathematics in Computer Science.

(2)

Discrete mathematics.

(2)

Information theory.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

(1)

Computer architecture.

(1)

Computers and Education.

(1)

Computing Milieux.

(1)

Control engineering.

(1)

Control, Robotics, Automation.

(1)

(1)

(1)

Data and Information Security.

(1)

Data encryption (Computer science).

(1)

Data protection.

(1)

Database management.

(1)

Education -- Data processing.

(1)

Human-computer interaction.

(1)

(1)

Machine learning.

(1)

Mathematics of Computing.

(1)

Microprocessors.

(1)

Multiagent systems.

(1)

Processor Architectures.

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

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ç

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

13.

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings için kapak resmi

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings

Yazar

An, Bo. editor. Bazzan, Ana. editor. Leite, João. editor. Villata, Serena. editor. van der Torre, Leendert. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings için kapak resmi

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Yazar

Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings için kapak resmi

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

Yazar

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Chopra, Amit K. editor. Son, Tran Cao. editor. Hirayama, Katsutoshi. editor. Torroni, Paolo. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers için kapak resmi

Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers

Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers

Yazar

Calvaresi, Davide. editor. (orcid)0000-0001-9816-7439 Najjar, Amro. editor. (orcid)0000-0001-7784-6176 Omicini, Andrea. editor. (orcid)0000-0002-6655-3869 Aydogan, Reyhan. editor. (orcid)0000-0002-5260-9999 Carli, Rachele. editor. (orcid)0000-0002-8689-285X

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-70074-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings için kapak resmi

Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings

Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings

Yazar

Perner, Petra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings için kapak resmi

Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

Yazar

Perner, Petra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings için kapak resmi

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Yazar

Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings için kapak resmi

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Yazar

Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-74234-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings için kapak resmi

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

Yazar

Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-94706-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings için kapak resmi

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

Yazar

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-8943-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings için kapak resmi

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Yazar

Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-68150-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Learn coding with Python and JavaScript A practical introduction for beginners için kapak resmi

Learn coding with Python and JavaScript A practical introduction for beginners

Learn coding with Python and JavaScript A practical introduction for beginners

Yazar

Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-42912-6

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