Search Results for Compilers (Computer programs).

|

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: Computer programming.

Yazar

SpringerLink (Online service)

(78)

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

(2)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(2)

Perner, Petra. editor.

(2)

Sirjani, Marjan. editor.

(2)

Abelló, Alberto. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Anjorin, Anthony. editor.

(1)

Artho, Cyrille. editor.

(1)

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

(1)

Barrett, Clark. editor.

(1)

Beckner, Mark. author.

(1)

Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066

(1)

Bhardwaj, Vikas. author.

(1)

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

(1)

Blazy, Sandrine. editor.

(1)

Botterweck, Goetz. editor.

(1)

Boucheneb, Hanifa. editor.

(1)

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

(1)

Braga, Christiano. editor.

(1)

Buhr, Peter A. author.

(1)

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

(1)

Cabaleiro, José C. editor.

(1)

Castor, Fernando. editor.

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chapman, Barbara M. editor.

(1)

Chechik, Marsha. editor.

(1)

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

(1)

Corchado, Emilio. editor.

(1)

Costantini, Stefania. editor.

(1)

Coughlan, Michael. author.

(1)

Criswell, John. editor.

(1)

Cunha, Jácome. editor.

(1)

Dastani, Mehdi. editor.

(1)

Davies, Misty. editor.

(1)

De Nicola, Rocco. editor.

(1)

Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939

(1)

Ding, Chen. editor.

(1)

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

(1)

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

(1)

Duan, Zhenhua. editor.

(1)

Dutot, Pierre-François. editor.

(1)

Edidin, Howard. author.

(1)

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

(1)

Espinoza, Huáscar. editor.

(1)

Falcone, Yliès. editor.

(1)

Fernandes, João P. editor.

(1)

Filipe, Joaquim. editor.

(1)

Franconi, Enrico. editor.

(1)

Furia, Carlo A. editor.

(1)

Gardner, Scott. author.

(1)

Gavanelli, Marco. editor.

(1)

Ghatak, Abhijit. author.

(1)

Gibson-Robinson, Thomas. editor.

(1)

Gorentla Venkata, Manjunath. editor.

(1)

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

(1)

Gupta, Abhishek. author.

(1)

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

(1)

Gurfinkel, Arie. editor.

(1)

Hage, Jurriaan. editor.

(1)

Harmer, Russ. editor. (orcid)0000-0002-0817-1029

(1)

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

(1)

Holmes, John H. editor.

(1)

Hopcroft, Philippa. editor.

(1)

Imam, Neena. editor.

(1)

Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384

(1)

Jackson, Wallace. author.

(1)

Jacquet, Jean-Marie. editor.

(1)

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

(1)

Kahsai, Temesghen. editor.

(1)

Kapitsaki, Georgia M. editor.

(1)

King, Andy. editor.

(1)

Kontchakov, Roman. editor.

(1)

Kosiol, Jens. editor. (orcid)0000-0003-4733-2777

(1)

Kunkel, Julian M. editor.

(1)

Kunčak, Viktor. editor.

(1)

Kühn, Eva. editor.

(1)

Lahiri, Shuvendu. editor.

(1)

Lawford, Mark. editor.

(1)

Lazić, Ranko. editor.

(1)

Legay, Axel. editor.

(1)

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

(1)

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

(1)

Lindley, Sam. editor.

(1)

Liu, Shaoying. editor.

(1)

Liu, Shaoying. editor. (orcid)0000-0002-6748-5052

(1)

Liu, Yu David. editor.

(1)

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

(1)

Lluch Lafuente, Alberto. editor.

(1)

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

(1)

Lucanu, Dorel. editor.

(1)

Lämmel, Ralf. editor.

(1)

Lönn, Henrik. editor.

(1)

Ma, Hui. editor.

(1)

Majumdar, Rupak. editor.

(1)

Maloney, Ross J. author.

(1)

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

(1)

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

(1)

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

(1)

Massink, Mieke. editor.

(1)

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

(1)

McBride, Conor. editor.

(1)

Mery, Dominique. editor. (orcid)0000-0001-5231-6611

(1)

Mili, Ali. editor.

(1)

Mintz, Tiffany M. editor.

(1)

Mousavi, Mohammad Reza. editor.

(1)

Mueller, Frank. editor.

(1)

Müller, Matthias S. editor.

(1)

Nalon, Cláudia. editor.

(1)

Olivier, Stephen L. editor.

(1)

Ong, Luke. editor.

(1)

Ouhammou, Yassine. editor.

(1)

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

(1)

Peled, Doron. editor.

(1)

Pena, Tomás F. editor.

(1)

Pitt-Francis, Joe. author.

(1)

Plump, Detlef. editor.

(1)

Pophale, Swaroop. editor.

(1)

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

(1)

Proença, José. editor.

(1)

Quintián, Héctor. editor.

(1)

Rayadurgam, Sanjai. editor.

(1)

Reger, Giles. editor.

(1)

Reppy, John. editor.

(1)

Rivera, Francisco F. editor.

(1)

Roman, Dumitru. editor.

(1)

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

(1)

Sadri, Fariba. editor.

(1)

Sannella, Don. editor. (orcid)0000-0003-4520-8924

(1)

Santana de Almeida, Eduardo. editor.

(1)

Saraiva, João. editor.

(1)

Sarro, Federica. editor.

(1)

Schmidt, Renate A. editor.

(1)

Serrano Mena, Alejandro. author.

(1)

Serrano, Manuel. editor.

(1)

Seshia, Sanjit A. editor.

(1)

Sgall, Jiří. editor.

(1)

Shalf, John. editor.

(1)

Shen, Xipeng. editor.

(1)

Steffen, Bernhard. editor.

(1)

Sun, Meng. editor.

(1)

Sánchez, César. editor.

(1)

Taha, Walid. editor.

(1)

Tahar, Sofiène. editor.

(1)

Taufer, Michela. editor.

(1)

Terboven, Christian. editor.

(1)

Thiemann, Peter. editor.

(1)

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

(1)

Tkachuk, Oksana. editor.

(1)

Torra, Vicenç. author.

(1)

Trinder, Phil. editor.

(1)

Trystram, Denis. editor.

(1)

Tuck, James. editor.

(1)

Urraca, Rubén. editor.

(1)

Van Woensel, William. editor.

(1)

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

(1)

Werner, Claudia. editor.

(1)

Whiteley, Jonathan. author.

(1)

Wu, Peng. editor.

(1)

Wąsowski, Andrzej. editor.

(1)

Yang, Hongseok. editor.

(1)

Yokota, Rio. editor.

(1)

Zaytsev, Vadim. editor.

(1)

Zeume, Thomas. author.

(1)

Zhang, Yue. author.

(1)

Zhang, Zili. editor.

(1)

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

(1)

de Lara, Juan. editor.

(1)

de Supinski, Bronis R. editor.

(1)

ten Teije, Annette. editor.

(1)

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

(1)

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

(1)

Ölveczky, Peter Csaba. editor.

(1)

Tümünü genişlet

Dil

(78)

Yayın Yılı

-

(35)

(27)

(7)

(4)

(4)

(1)

Tümünü genişlet

Konu

Compilers (Computer programs).

(78)

Compilers and Interpreters.

(78)

Programming Techniques.

(78)

Software engineering.

(54)

Computer science.

(41)

Computer Science Logic and Foundations of Programming.

(34)

Formal Languages and Automata Theory.

(28)

Machine theory.

(28)

Artificial intelligence.

(22)

(19)

Application software.

(11)

Computer and Information Systems Applications.

(11)

Electronic digital computers -- Evaluation.

(10)

System Performance and Evaluation.

(10)

Theory of Computation.

(9)

Computer System Implementation.

(6)

Computer networks .

(6)

Computer systems.

(6)

(6)

Computer Communication Networks.

(5)

Computer science -- Mathematics.

(5)

Operating Systems.

(5)

Operating systems (Computers).

(5)

Computer Modelling.

(4)

Computer simulation.

(4)

Discrete Mathematics in Computer Science.

(4)

Discrete mathematics.

(4)

(4)

The Computing Profession.

(4)

Computer Application in Administrative Data Processing.

(3)

Computers, Special purpose.

(3)

Data Mining and Knowledge Discovery.

(3)

Data Structures and Information Theory.

(3)

(3)

Data structures (Computer science).

(3)

Design and Analysis of Algorithms.

(3)

Electronic data processing -- Management.

(3)

(3)

Information technology -- Management.

(3)

Information theory.

(3)

Special Purpose and Application-Based Systems.

(3)

Automated Pattern Recognition.

(2)

Computer architecture.

(2)

Database management.

(2)

(2)

Microprocessors.

(2)

Models of Computation.

(2)

Pattern recognition systems.

(2)

Processor Architectures.

(2)

(1)

Apple computer.

(1)

Artificial intelligence -- Data processing.

(1)

Communications Engineering, Networks.

(1)

Computer Engineering and Networks.

(1)

Computer Hardware.

(1)

Computer engineering.

(1)

Computer games -- Programming.

(1)

Computer graphics.

(1)

Computer input-output equipment.

(1)

Computing Milieux.

(1)

Control Structures and Microprogramming.

(1)

(1)

Data and Information Security.

(1)

Data protection.

(1)

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

Game Development.

(1)

Hardware Performance and Reliability.

(1)

Human-computer interaction.

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Input/Output and Data Communications.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical and Computational Engineering Applications.

(1)

Microprogramming .

(1)

Microsoft .NET Framework.

(1)

Microsoft software.

(1)

(1)

Natural Language Processing (NLP).

(1)

Natural language processing (Computer science).

(1)

Numerical analysis.

(1)

Telecommunication.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

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

78 sonuç bulundu

Arama sonuçlarına abone ol

1 2 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.

37.

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings için kapak resmi

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings

Yazar

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Ma, Hui. editor. Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

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:

39.

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:

40.

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures için kapak resmi

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Low Level X Window Programming An Introduction by Examples için kapak resmi

Low Level X Window Programming An Introduction by Examples

Low Level X Window Programming An Introduction by Examples

Yazar

Maloney, Ross J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers için kapak resmi

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Yazar

Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings için kapak resmi

Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

Yazar

de Lara, Juan. editor. Plump, Detlef. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings için kapak resmi

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Yazar

Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Thiemann, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-49498-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers için kapak resmi

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Yazar

Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings için kapak resmi

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Yazar

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers için kapak resmi

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Yazar

Serrano, Manuel. editor. Hage, Jurriaan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 6 7

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11