Search Results for Programming Languages.

|

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: Logic design.

Yazar

SpringerLink (Online service)

(77)

Maciaszek, Leszek A. editor.

(3)

Castagna, Giuseppe. editor.

(2)

Dowek, Gilles. author.

(2)

Filipe, Joaquim. editor.

(2)

Legay, Axel. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Aceto, Luca. editor.

(1)

Artemov, Sergei. editor.

(1)

Ayala, José L. editor.

(1)

Barthe, Gilles. editor.

(1)

Bartocci, Ezio. editor.

(1)

Beckert, Bernhard. editor.

(1)

Beek, Maurice H. editor.

(1)

Bensalem, Saddek. editor.

(1)

Bertacco, Valeria. editor.

(1)

Bertels, Koen. editor. (orcid)0000-0001-9310-4885

(1)

Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701

(1)

Biere, Armin. editor.

(1)

Boehme, David. editor.

(1)

Boer, Frank S. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Botterweck, Goetz. editor.

(1)

Brat, Guillaume. editor.

(1)

Bravetti, Mario. editor.

(1)

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428

(1)

Clarke, Peter. editor.

(1)

Coecke, Bob. editor.

(1)

Colom, José-Manuel. editor.

(1)

Cortellessa, Vittorio. editor.

(1)

Cámara, Javier. editor.

(1)

Damiani, Ferruccio. editor.

(1)

Dencker, Peter. editor.

(1)

Desel, Jörg. editor.

(1)

Drira, Khalil. editor.

(1)

Drossopoulou, Sophia. editor.

(1)

Duchier, Denys. editor.

(1)

Duddy, Keith. editor.

(1)

Ermolayev, Vadim. editor.

(1)

Fan, Wenfei. editor.

(1)

Fan, Xing. editor.

(1)

Feliachi, Abderrahmane. editor.

(1)

Felleisen, Matthias. editor.

(1)

Fourman, Michael. editor.

(1)

Fähndrich, Manuel. editor.

(1)

Gardner, Philippa. editor.

(1)

Gaudel, Marie-Claude. editor.

(1)

Gherbi, Abdelouahed. editor.

(1)

Ghezzi, Carlo. editor.

(1)

Giacaman, Nasser. editor.

(1)

Gonthier, Georges. editor.

(1)

Gordon, Andrew D. editor.

(1)

Gorp, Pieter. editor.

(1)

Gray, Jeff. editor.

(1)

Henzinger, Monika. editor.

(1)

Hierons, Robert M. editor.

(1)

Hinze, Ralf. editor.

(1)

Hu, Zhenjiang. editor.

(1)

Hung, Dang. editor.

(1)

Igarashi, Atsushi. editor.

(1)

Jhala, Ranjit. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Juckeland, Guido. editor. (orcid)0000-0002-9935-4428

(1)

Kappel, Gerti. editor.

(1)

Keller, Hubert B. editor.

(1)

Khendek, Ferhat. editor.

(1)

Klenk, Herbert. editor.

(1)

Kobayashi, Naoki. editor.

(1)

Lee, Kent. author.

(1)

Leite, João. editor.

(1)

Lemos, Rogério. editor.

(1)

Levine, Joshua A. editor.

(1)

Libkin, Leonid. editor.

(1)

Lightfoot, David E. editor.

(1)

Liu, Shaoying. editor.

(1)

Logozzo, Francesco. editor.

(1)

Lohmann, Niels. editor.

(1)

Lopes, Antónia. editor.

(1)

Lämmel, Ralf. editor.

(1)

Lévy, Jean-Jacques. author.

(1)

Machado, Ricardo J. editor.

(1)

Maciel, Rita Suzana P. editor.

(1)

Malony, Allen D. editor.

(1)

Mayr, Heinrich C. editor.

(1)

McMillan, Ken. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Middeldorp, Aart. editor.

(1)

Moreira, Ana. editor.

(1)

Nahir, Amir. editor.

(1)

Nerode, Anil. editor.

(1)

Nicola, Rocco. editor.

(1)

Nikitchenko, Mykola. editor.

(1)

Norrish, Michael. editor.

(1)

Ogawa, Mizuhito. editor.

(1)

Ong, Luke. editor.

(1)

Panangaden, Prakash. editor.

(1)

Parmentier, Yannick. editor.

(1)

Petre, Luigia. editor.

(1)

Pfenning, Frank. editor.

(1)

Piterman, Nir. editor.

(1)

Plödereder, Erhard. editor.

(1)

Potapov, Igor. editor.

(1)

Păsăreanu, Corina S. editor.

(1)

Qadeer, Shaz. editor.

(1)

Ramakrishnan, C. R. editor.

(1)

Ramalingam, G. editor.

(1)

Rauchwerger, Lawrence. editor.

(1)

Reed, Rick. editor.

(1)

Ritter, Tom. editor.

(1)

Rose, Louis M. editor.

(1)

Rubin, Julia. editor.

(1)

Rungta, Neha. editor.

(1)

Sagiv, Mooly. editor.

(1)

Sagonas, Kostis. editor.

(1)

Salaün, Gwen. editor.

(1)

Saraiva, João. editor.

(1)

Schulte, Christian. editor.

(1)

Schulte, Michael. editor. (orcid)0000-0002-0213-4155

(1)

Schulz, Martin. editor.

(1)

Schätz, Bernhard. editor.

(1)

Seidl, Helmut. editor.

(1)

Sestoft, Peter. editor.

(1)

Sgall, Jiří. editor.

(1)

Shan, Chung-chieh. editor.

(1)

Shang, Delong. editor.

(1)

Shao, Zhong. editor.

(1)

Silvano, Cristina. editor. (orcid)0000-0003-1668-0883

(1)

Sinnen, Oliver. editor.

(1)

Smolka, Scott A. editor.

(1)

Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696

(1)

Soeken, Mathias. editor. (orcid)0000-0002-0229-8766

(1)

Son, Tran Cao. editor.

(1)

Spivakovsky, Aleksander. editor.

(1)

Szyperski, Clemens. editor.

(1)

Tan, Wang-Chiew. editor.

(1)

Tannen, Val. editor.

(1)

Tasiran, Serdar. editor.

(1)

Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609

(1)

Toeroe, Maria. editor.

(1)

Torre, Leon. editor.

(1)

Torroni, Paolo. editor.

(1)

Ueda, Kazunori. editor.

(1)

Ulrich, Andreas. editor.

(1)

Vallecillo, Antonio. editor.

(1)

Varró, Dániel. editor.

(1)

Veanes, Margus. editor.

(1)

Venet, Arnaud. editor.

(1)

Viganò, Luca. editor.

(1)

Visser, Joost. editor.

(1)

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

(1)

Voronkov, Andrei. editor.

(1)

Vos, Tanja. editor.

(1)

Wienke, Sandra. editor. (orcid)0000-0002-5794-3662

(1)

Wolff, Burkhart. editor.

(1)

Woltran, Stefan. editor.

(1)

Wong, Limsoon. editor.

(1)

Yakovlev, Alex. editor.

(1)

Yang, Hongseok. editor.

(1)

Yenigün, Hüsnü. editor.

(1)

Yi, Kwangkeun. editor.

(1)

Yilmaz, Cemal. editor.

(1)

Zhang, Kang. editor.

(1)

Zholtkevych, Grygoriy. editor.

(1)

de Supinski, Bronis R. editor.

(1)

Tümünü genişlet

Dil

(77)

Yayın Yılı

-

(49)

(7)

(4)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

Tümünü genişlet

Konu

Computer science.

(70)

Software engineering.

(65)

Programming Languages, Compilers, Interpreters.

(49)

Logics and Meanings of Programs.

(48)

Mathematical Logic and Formal Languages.

(25)

Computer Communication Networks.

(18)

Programming Techniques.

(16)

Artificial intelligence.

(11)

Information Systems.

(11)

Management of Computing and Information Systems.

(11)

Operating systems (Computers).

(11)

Computer software.

(9)

Artificial Intelligence (incl. Robotics).

(8)

Information Systems Applications (incl. Internet).

(8)

Programming languages (Electronic computers).

(7)

Algorithm Analysis and Problem Complexity.

(6)

Computation by Abstract Devices.

(5)

Data structures (Computer science).

(5)

Computer simulation.

(4)

Data protection.

(4)

Simulation and Modeling.

(4)

Software Engineering/Programming and Operating Systems.

(4)

Architecture, Computer.

(3)

Information theory.

(3)

Operating Systems.

(3)

Special Purpose and Application-Based Systems.

(3)

Algebra -- Data processing.

(2)

Computer Science, general.

(2)

Computer organization.

(2)

Computer system performance.

(2)

System Performance and Evaluation.

(2)

Arithmetic and Logic Structures.

(1)

Arithmetic and logic units, Computer.

(1)

Business Information Systems.

(1)

Computational complexity.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer network architectures.

(1)

Computer programming.

(1)

Data Structures.

(1)

Database management.

(1)

Discrete Mathematics in Computer Science.

(1)

Electronic data processing.

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Information systems.

(1)

Input-output equipment (Computers).

(1)

Logic, Symbolic and mathematical.

(1)

Management information systems.

(1)

Mathematical Logic and Foundations.

(1)

Microprocessors.

(1)

Microprogramming .

(1)

Numeric Computing.

(1)

Numerical analysis.

(1)

Pattern recognition.

(1)

Probability and Statistics in Computer Science.

(1)

Register-Transfer-Level Implementation.

(1)

Special purpose computers.

(1)

Symbolic and Algebraic Manipulation.

(1)

Theory of Computation.

(1)

User Interfaces and Human Computer Interaction.

(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

77 sonuç bulundu

Arama sonuçlarına abone ol

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

1.

Principles of Programming Languages için kapak resmi

Principles of Programming Languages

Principles of Programming Languages

Yazar

Dowek, Gilles. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-032-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Programming Languages An Active Learning Approach için kapak resmi

Programming Languages An Active Learning Approach

Programming Languages An Active Learning Approach

Yazar

Lee, Kent. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-79421-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Introduction to the Theory of Programming Languages için kapak resmi

Introduction to the Theory of Programming Languages

Introduction to the Theory of Programming Languages

Yazar

Dowek, Gilles. author. Lévy, Jean-Jacques. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-076-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334348.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37036-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings için kapak resmi

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

Yazar

Shan, Chung-chieh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332981.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03542-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings için kapak resmi

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Yazar

Seidl, Helmut. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28869-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings için kapak resmi

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings

Yazar

Jhala, Ranjit. editor. Igarashi, Atsushi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35182-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II için kapak resmi

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

Yazar

Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-22012-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings için kapak resmi

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Yazar

Barthe, Gilles. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-19718-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings için kapak resmi

Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

Yazar

Yang, Hongseok. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-25318-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings için kapak resmi

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Yazar

Gordon, Andrew D. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-11957-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings için kapak resmi

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

Yazar

Ueda, Kazunori. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-17164-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 .. 7

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11