Search Results for Programming Languages, Compilers, Interpreters.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

16

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Shelf Location: Electronic Library

Yazar

SpringerLink (Online service)

(92)

Cordeiro, José. editor.

(3)

Maciaszek, Leszek A. editor.

(3)

Filipe, Joaquim. editor.

(2)

Legay, Axel. editor.

(2)

Lemos, Rogério. editor.

(2)

Noble, James. editor.

(2)

Reed, Rick. editor.

(2)

Schonberg, Edmond. editor.

(2)

Shishkov, Boris. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Achten, Peter. editor.

(1)

Artemov, Sergei. editor.

(1)

Ayala, José L. editor.

(1)

Barnes, John. author.

(1)

Bartocci, Ezio. editor.

(1)

Beckert, Bernhard. editor.

(1)

Beek, Maurice H. editor.

(1)

Bensalem, Saddek. editor.

(1)

Bertacco, Valeria. editor.

(1)

Biere, Armin. editor.

(1)

Boer, Frank S. editor.

(1)

Bois, André Rauber. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bosschere, Koen. editor.

(1)

Botterweck, Goetz. editor.

(1)

Bramer, Max. author.

(1)

Brat, Guillaume. editor.

(1)

Bravetti, Mario. editor.

(1)

Brukardt, Randall L. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Chapman, Barbara M. editor.

(1)

Chiba, Shigeru. editor.

(1)

Clark, Peter. author.

(1)

Clarke, Dave. editor.

(1)

Clarke, Peter. editor.

(1)

Coecke, Bob. editor.

(1)

Cohen, Albert. editor.

(1)

Colom, José-Manuel. editor.

(1)

Cortellessa, Vittorio. editor.

(1)

Czarnecki, Krzysztof. editor.

(1)

Cámara, Javier. editor.

(1)

Damiani, Ferruccio. editor.

(1)

Davis, Martin. editor.

(1)

Dencker, Peter. editor.

(1)

Desel, Jörg. editor.

(1)

Drira, Khalil. editor.

(1)

Drouilhet, Rémy. author.

(1)

Duchier, Denys. editor.

(1)

Duddy, Keith. editor.

(1)

Duff, Robert A. editor.

(1)

Egges, Arjan. author.

(1)

Ergül, Özgür. author.

(1)

Ermolayev, Vadim. editor.

(1)

Erwig, Martin. editor.

(1)

Escalona, María José. editor.

(1)

Fan, Wenfei. editor.

(1)

Farchi, Eitan. editor.

(1)

Favaro, John. editor.

(1)

Feliachi, Abderrahmane. editor.

(1)

Felleisen, Matthias. editor.

(1)

Ferrucci, Filomena. editor.

(1)

Fokker, Jeroen D. author.

(1)

Fourman, Michael. editor.

(1)

Frery, Alejandro C. author.

(1)

Fähndrich, Manuel. editor.

(1)

Gackenheimer, Cory. author.

(1)

Gardner, Philippa. editor.

(1)

Gaudel, Marie-Claude. editor.

(1)

Gherbi, Abdelouahed. editor.

(1)

Ghezzi, Carlo. editor.

(1)

Giese, Holger. editor.

(1)

Gonthier, Georges. editor.

(1)

Gorp, Pieter. editor.

(1)

Gotzhein, Reinhard. editor.

(1)

Gray, Jeff. editor.

(1)

Groves, Lindsay. editor.

(1)

Hack, Sebastian. author.

(1)

Hammoudi, Slimane. editor.

(1)

Han, Youn-Hee. editor.

(1)

Haugen, Øystein. editor.

(1)

Hedin, Görel. editor.

(1)

Hierons, Robert M. editor.

(1)

Hinze, Ralf. editor.

(1)

Horspool, R. Nigel. author.

(1)

Hung, Dang. editor.

(1)

Jhala, Ranjit. editor.

(1)

Jia, Weijia. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Johnson, Ralph. editor.

(1)

Jörges, Sven. author.

(1)

Kappel, Gerti. editor.

(1)

Kasahara, Hironori. editor.

(1)

Keller, Hubert B. editor.

(1)

Khendek, Ferhat. editor.

(1)

Kimura, Keiji. editor.

(1)

Klenk, Herbert. editor.

(1)

Koopman, Pieter. editor.

(1)

Lafaye de Micheaux, Pierre. author.

(1)

Leavens, Gary T. editor.

(1)

Leite, João. editor.

(1)

Leroy, Pascal. editor.

(1)

Libkin, Leonid. editor.

(1)

Liquet, Benoit. author.

(1)

Liu, Shaoying. editor.

(1)

Logozzo, Francesco. editor.

(1)

Lohmann, Niels. editor.

(1)

Loidl, Hans-Wolfgang. editor.

(1)

Lopes, Antónia. editor.

(1)

Lourenço, João M. editor.

(1)

Lucia, Andrea. editor.

(1)

Luszczak, Andreas. author.

(1)

Lämmel, Ralf. editor.

(1)

Lèbre, Sophie. author.

(1)

Machado, Ricardo J. editor.

(1)

Maciel, Rita Suzana P. editor.

(1)

Mayr, Heinrich C. editor.

(1)

McMillan, Ken. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Mey, Dieter. editor.

(1)

Middeldorp, Aart. editor.

(1)

Mills Strout, Michelle. editor.

(1)

Mohr, Bernd. editor.

(1)

Moreira, Ana. editor.

(1)

Morisio, Maurizio. editor.

(1)

Müller, Hausi A. editor.

(1)

Müller, Matthias S. editor.

(1)

Nagarajan, Radhakrishnan. author.

(1)

Nahir, Amir. editor.

(1)

Nerode, Anil. editor.

(1)

Nikitchenko, Mykola. editor.

(1)

Norrish, Michael. editor.

(1)

Nutting, Jack. author.

(1)

Ogawa, Mizuhito. editor.

(1)

Oliveira, Carlos. author.

(1)

Ong, Luke. editor.

(1)

Overmars, Mark H. author.

(1)

O’Regan, Gerard. author.

(1)

Paige, Richard F. editor.

(1)

Panangaden, Prakash. editor.

(1)

Park, Doo-Soon. editor.

(1)

Parmentier, Yannick. editor.

(1)

Perciano, Talita. author.

(1)

Petre, Luigia. editor.

(1)

Peña, Ricardo. editor.

(1)

Pfenning, Frank. editor.

(1)

Piterman, Nir. editor.

(1)

Ploedereder, Erhard. editor.

(1)

Plödereder, Erhard. editor.

(1)

Potapov, Igor. editor.

(1)

Păsăreanu, Corina S. editor.

(1)

Qadeer, Shaz. editor.

(1)

Rajopadhye, Sanjay. editor.

(1)

Ramakrishnan, C. R. editor.

(1)

Rendell, Alistair P. editor.

(1)

Ritter, Tom. editor.

(1)

Rose, Louis M. editor.

(1)

Rubin, Julia. editor.

(1)

Ruhe, Günther. editor.

(1)

Rungta, Neha. editor.

(1)

Sagonas, Kostis. editor.

(1)

Salaün, Gwen. editor.

(1)

Saraiva, João. editor.

(1)

Schulte, Christian. editor.

(1)

Schätz, Bernhard. editor.

(1)

Scutari, Marco. author.

(1)

Seidl, Helmut. author.

(1)

Shan, Chung-chieh. editor.

(1)

Shang, Delong. editor.

(1)

Shaw, Mary. editor.

(1)

Sinderen, Marten. editor.

(1)

Smolka, Scott A. editor.

(1)

Son, Tran Cao. editor.

(1)

Spivakovsky, Aleksander. editor.

(1)

Sun, Jing. editor.

(1)

Taft, S. Tucker. editor.

(1)

Tan, Wang-Chiew. editor.

(1)

Tannen, Val. editor.

(1)

Tanter, Éric. editor.

(1)

Tasiran, Serdar. editor.

(1)

Tillmann, Nikolai. author.

(1)

Toeroe, Maria. editor.

(1)

Torre, Leon. editor.

(1)

Torroni, Paolo. editor.

(1)

Trinder, Phil. editor.

(1)

Ulrich, Andreas. editor.

(1)

Vallecillo, Antonio. editor.

(1)

Varma, Jayant. author.

(1)

Varró, Dániel. editor.

(1)

Veanes, Margus. editor.

(1)

Venet, Arnaud. editor.

(1)

Viganò, Luca. editor.

(1)

Virvou, Maria. editor.

(1)

Visser, Joost. editor.

(1)

Voronkov, Andrei. editor.

(1)

Vos, Tanja. editor.

(1)

Wallingford, Eugene. editor.

(1)

Wilhelm, Reinhard. author.

(1)

Wolf, Felix. editor.

(1)

Wolff, Burkhart. editor.

(1)

Tümünü genişlet

Dil

(92)

Yayın Yılı

-

(92)

Konu

Computer science.

(92)

Programming Languages, Compilers, Interpreters.

(92)

Software engineering.

(67)

(49)

Logics and Meanings of Programs.

(48)

Programming Techniques.

(37)

Mathematical Logic and Formal Languages.

(30)

Computer Communication Networks.

(19)

Information Systems.

(16)

Management of Computing and Information Systems.

(16)

Artificial Intelligence (incl. Robotics).

(13)

Artificial intelligence.

(13)

Algorithm Analysis and Problem Complexity.

(11)

Computer software.

(11)

Operating Systems.

(11)

Operating systems (Computers).

(11)

Information Systems Applications (incl. Internet).

(10)

Computer Science, general.

(8)

Computer simulation.

(8)

Simulation and Modeling.

(8)

Computation by Abstract Devices.

(7)

Software Engineering/Programming and Operating Systems.

(7)

Computer system performance.

(5)

Special Purpose and Application-Based Systems.

(5)

System Performance and Evaluation.

(5)

Electronic data processing.

(4)

Data Structures.

(3)

Data structures (Computer science).

(3)

Database management.

(3)

Computer Appl. in Administrative Data Processing.

(2)

Computer vision.

(2)

Computing Methodologies.

(2)

History of Computing.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Information systems.

(2)

Logic, Symbolic and mathematical.

(2)

Mathematical Logic and Foundations.

(2)

Mathematical statistics.

(2)

Models and Principles.

(2)

Numeric Computing.

(2)

Statistics and Computing/Statistics Programs.

(2)

(2)

Algebra -- Data processing.

(1)

(1)

Arithmetic and Logic Structures.

(1)

Business Information Systems.

(1)

Communications Engineering, Networks.

(1)

Computational complexity.

(1)

Computer Applications.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer network architectures.

(1)

Data Mining and Knowledge Discovery.

(1)

(1)

Discrete Mathematics in Computer Science.

(1)

(1)

History of Science.

(1)

Image Processing and Computer Vision.

(1)

Information theory.

(1)

Management information systems.

(1)

Multimedia Information Systems.

(1)

Multimedia systems.

(1)

Optical pattern recognition.

(1)

Pattern Recognition.

(1)

Personal Computing.

(1)

Probability and Statistics in Computer Science.

(1)

Processor Architectures.

(1)

Quantum Physics.

(1)

Quantum theory.

(1)

Register-Transfer-Level Implementation.

(1)

Robotics and Automation.

(1)

Science -- History.

(1)

Statistical Theory and Methods.

(1)

Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.

(1)

Symbolic and Algebraic Manipulation.

(1)

Telecommunication.

(1)

Theory of Computation.

(1)

User Interfaces and Human Computer Interaction.

(1)

Tümünü genişlet

Materyal Türü

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

92 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 8

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.

Fundamental Approaches to Software Engineering 16th International Conference, FASE 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

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Fundamental Approaches to Software Engineering 16th International Conference, FASE 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

Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334354.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 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

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 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

Pfenning, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334358.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 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

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 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

Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334278.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers için kapak resmi

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

Yazar

Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334282.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers için kapak resmi

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

Yazar

Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334469.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings için kapak resmi

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Yazar

Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.

Yer Numarası

ONLINE(335120.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers için kapak resmi

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Yazar

Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335125.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings için kapak resmi

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Yazar

Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335141.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings için kapak resmi

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

Yazar

Sagonas, Kostis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335204.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers için kapak resmi

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

Yazar

Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335206.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Ada 2012 Rationale The Language, The Standard Libraries için kapak resmi

Ada 2012 Rationale The Language, The Standard Libraries

Ada 2012 Rationale The Language, The Standard Libraries

Yazar

Barnes, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335195.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings için kapak resmi

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Yazar

McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335196.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 3 4 5 6 7 8

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11