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ış:

+

Subject: 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.

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Yazar

Castagna, Giuseppe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-00590-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings için kapak resmi

Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings

Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings

Yazar

Hu, Zhenjiang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-10672-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings için kapak resmi

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Yazar

Drossopoulou, Sophia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-78739-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings için kapak resmi

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

Yazar

Ramalingam, G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-89330-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings için kapak resmi

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

Yazar

Shao, Zhong. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-76637-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings için kapak resmi

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Yazar

Nicola, Rocco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71316-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings için kapak resmi

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Yazar

Sestoft, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11693024

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings için kapak resmi

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings

Yazar

Lightfoot, David E. editor. Szyperski, Clemens. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11860990

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings için kapak resmi

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

Yazar

Kobayashi, Naoki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11924661

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings için kapak resmi

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Yazar

Sagiv, Mooly. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b107380

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings için kapak resmi

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

Yazar

Yi, Kwangkeun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11575467

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers için kapak resmi

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

Yazar

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-05807-4

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