Search Results for Compilers (Computer programs)

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: Artificial intelligence.

Yazar

SpringerLink (Online service)

(53)

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)

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)

Bubel, Richard. editor.

(1)

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

(1)

Charoy, François. editor.

(1)

Chechik, Marsha. editor.

(1)

Chopra, Amit K. editor.

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

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

(1)

England, Matthew. editor.

(1)

Esposito, Floriana. editor.

(1)

Ferilli, Stefano. editor.

(1)

Filipe, Joaquim. editor.

(1)

Franconi, Enrico. editor.

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

Hirayama, Katsutoshi. editor.

(1)

Holmes, John H. editor.

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

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)

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)

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)

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)

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)

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)

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)

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

(1)

Yan, Yuhong. editor.

(1)

Yu, Qi. editor.

(1)

Zholtkevych, Grygoriy. 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

(53)

Yayın Yılı

-

(29)

(16)

(5)

(3)

Konu

Compilers (Computer programs).

(53)

Compilers and Interpreters.

(53)

Software engineering.

(38)

Computer science.

(36)

Formal Languages and Automata Theory.

(29)

Machine theory.

(29)

Computer Science Logic and Foundations of Programming.

(27)

Computer programming.

(22)

Programming Techniques.

(22)

Application software.

(14)

Computer and Information Systems Applications.

(14)

Theory of Computation.

(11)

Computer networks .

(9)

(6)

Electronic digital computers -- Evaluation.

(6)

System Performance and Evaluation.

(6)

Computer Engineering and Networks.

(5)

Computer Modelling.

(5)

Computer engineering.

(5)

Computer simulation.

(5)

Computer Communication Networks.

(4)

Computers, Special purpose.

(4)

(4)

Special Purpose and Application-Based Systems.

(4)

Computer Application in Administrative Data Processing.

(3)

Data Mining and Knowledge Discovery.

(3)

(3)

Information technology -- Management.

(3)

(3)

The Computing Profession.

(3)

Operating Systems.

(2)

Operating systems (Computers).

(2)

(1)

Computer science -- Mathematics.

(1)

Computers and Education.

(1)

Computing Milieux.

(1)

Control engineering.

(1)

Control, Robotics, Automation.

(1)

(1)

(1)

Data Structures and Information Theory.

(1)

Data and Information Security.

(1)

Data encryption (Computer science).

(1)

Data protection.

(1)

Data structures (Computer science).

(1)

Database management.

(1)

Design and Analysis of Algorithms.

(1)

Education -- Data processing.

(1)

Human-computer interaction.

(1)

Information theory.

(1)

(1)

Mathematics of Computing.

(1)

Natural Language Processing (NLP).

(1)

Natural language processing (Computer science).

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

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

Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers için kapak resmi

Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers

Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers

Yazar

Cranefield, Stephen. editor. Mahmoud, Samhar. editor. Padget, Julian. editor. Rocha, Ana Paula. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings için kapak resmi

Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

Yazar

ten Teije, Annette. editor. Popow, Christian. editor. (orcid)0000-0002-0496-1453 Holmes, John H. editor. Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings için kapak resmi

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

Yazar

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-66176-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings için kapak resmi

Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings

Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings

Yazar

Costantini, Stefania. editor. Franconi, Enrico. editor. Van Woensel, William. editor. Kontchakov, Roman. editor. Sadri, Fariba. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings için kapak resmi

Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings

Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings

Yazar

Dang, Tran Khanh. editor. Wagner, Roland. editor. Küng, Josef. editor. Thoai, Nam. editor. Takizawa, Makoto. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings için kapak resmi

Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Yazar

Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings için kapak resmi

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Yazar

Menzies, Tim. editor. Petke, Justyna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings için kapak resmi

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

Yazar

Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-66107-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings için kapak resmi

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

Yazar

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings için kapak resmi

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

Yazar

Martínez de Pisón, Francisco Javier. editor. Urraca, Rubén. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings için kapak resmi

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

Yazar

Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings için kapak resmi

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Yazar

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

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