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.

25.

Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers için kapak resmi

Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

Yazar

Rauchwerger, Lawrence. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-35225-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers için kapak resmi

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Yazar

Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17872-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings için kapak resmi

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Yazar

Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-28596-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Transactions on High-Performance Embedded Architectures and Compilers V için kapak resmi

Transactions on High-Performance Embedded Architectures and Compilers V

Transactions on High-Performance Embedded Architectures and Compilers V

Yazar

Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-58834-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

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:

30.

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings için kapak resmi

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Yazar

Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-21500-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers için kapak resmi

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Yazar

Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334014.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers için kapak resmi

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Yazar

Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334034.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings için kapak resmi

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Yazar

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334038.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35722-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers için kapak resmi

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

Yazar

Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.

Yer Numarası

ONLINE(334041.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35737-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers için kapak resmi

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Yazar

Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334077.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Assurances for Self-Adaptive Systems Principles, Models, and Techniques için kapak resmi

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

Yazar

Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334156.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36249-1

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