Search Results for Computer.

|

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: Logics and Meanings of Programs.

Yazar

SpringerLink (Online service)

(104)

Maciaszek, Leszek A. editor.

(3)

Aalst, Wil M. P. editor.

(2)

Boer, Frank S. editor.

(2)

Bonacina, Maria Paola. editor.

(2)

Bonsangue, Marcello M. editor.

(2)

D’Argenio, Pedro R. editor.

(2)

Ermolayev, Vadim. editor.

(2)

Filipe, Joaquim. editor.

(2)

Koutny, Maciej. editor.

(2)

Legay, Axel. editor.

(2)

Mayr, Heinrich C. editor.

(2)

Nikitchenko, Mykola. editor.

(2)

Son, Tran Cao. editor.

(2)

Spivakovsky, Aleksander. editor.

(2)

Voronkov, Andrei. editor.

(2)

Zholtkevych, Grygoriy. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Albert, Elvira. editor.

(1)

Amgoud, Leila. author.

(1)

Arbab, Farhad. editor.

(1)

Artemov, Sergei. editor.

(1)

Balbo, Gianfranco. editor.

(1)

Baldoni, Matteo. editor.

(1)

Bartocci, Ezio. editor.

(1)

Beckert, Bernhard. editor.

(1)

Beek, Maurice H. editor.

(1)

Bensalem, Saddek. editor.

(1)

Berdine, Josh. editor.

(1)

Bernardo, Marco. editor.

(1)

Bertacco, Valeria. editor.

(1)

Beyer, Dirk. editor.

(1)

Biere, Armin. editor.

(1)

Binder, Walter. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bodden, Eric. editor.

(1)

Bonizzoni, Paola. editor.

(1)

Boreale, Michele. editor.

(1)

Botterweck, Goetz. editor.

(1)

Braberman, Víctor. editor.

(1)

Brat, Guillaume. editor.

(1)

Brattka, Vasco. editor.

(1)

Bravetti, Mario. editor.

(1)

Bulatov, Andrei A. editor.

(1)

Cabalar, Pedro. editor.

(1)

Caro, Jaime. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Chan, T-H. Hubert. editor.

(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)

Daniel, Florian. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Dencker, Peter. editor.

(1)

Dennis, Louise. editor.

(1)

Desel, Jörg. editor.

(1)

Dierkes, Michael. editor.

(1)

Drira, Khalil. editor.

(1)

Du, Ding-Zhu. editor.

(1)

Duchier, Denys. editor.

(1)

Duddy, Keith. editor.

(1)

Dueck, Gerhard W. editor.

(1)

Faber, Wolfgang. editor.

(1)

Fan, Wenfei. editor.

(1)

Feliachi, Abderrahmane. editor.

(1)

Felleisen, Matthias. editor.

(1)

Fontaine, Pascal. editor.

(1)

Fourman, Michael. editor.

(1)

Fribourg, Laurent. editor.

(1)

Fähndrich, Manuel. editor.

(1)

Gaag, Linda C. editor.

(1)

Galmiche, Didier. editor.

(1)

Gardner, Philippa. editor.

(1)

Gaudel, Marie-Claude. editor.

(1)

Gherbi, Abdelouahed. editor.

(1)

Ghezzi, Carlo. editor.

(1)

Giachino, Elena. editor.

(1)

Giacobazzi, Roberto. editor.

(1)

Glück, Robert. editor.

(1)

Gonthier, Georges. editor.

(1)

Gorbenko, Anatoliy. editor.

(1)

Gorp, Pieter. editor.

(1)

Gray, Jeff. editor.

(1)

Grossi, Davide. editor.

(1)

Halpin, Harry. author.

(1)

Hasegawa, Masahito. editor.

(1)

Hierons, Robert M. editor.

(1)

Higashino, Teruo. editor.

(1)

Hinze, Ralf. editor.

(1)

Huang, Huaxin. editor.

(1)

Hung, Dang. editor.

(1)

Hähnle, Reiner. editor.

(1)

Jain, Sanjay. editor.

(1)

Jensen, Kurt. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Joshi, Kaustubh. editor.

(1)

Julien, Christine. editor.

(1)

Jurgensen, Helmut. editor.

(1)

Järvisalo, Matti. editor.

(1)

Kappel, Gerti. editor.

(1)

Katayama, Yoshiaki. editor.

(1)

Keller, Hubert B. editor.

(1)

Kharchenko, Vyacheslav. editor.

(1)

Khendek, Ferhat. editor.

(1)

Klenk, Herbert. editor.

(1)

Lamprecht, Anna-Lena. editor.

(1)

Larchey-Wendling, Dominique. editor.

(1)

Lau, Lap Chi. editor.

(1)

Leite, João. editor.

(1)

Lembo, Domenico. editor.

(1)

Lemos, Rogério. editor.

(1)

Libkin, Leonid. editor.

(1)

Liu, Shaoying. editor.

(1)

Liu, Zhiming. editor.

(1)

Lodaya, Kamal. editor.

(1)

Logozzo, Francesco. editor.

(1)

Lohmann, Niels. editor.

(1)

Lopes, Antónia. editor.

(1)

Lämmel, Ralf. editor.

(1)

Lévy, François. editor.

(1)

Löwe, Benedikt. editor.

(1)

Löwe, Welf. editor.

(1)

Machado, Ricardo J. editor.

(1)

Maciel, Rita Suzana P. editor.

(1)

Martinez, Maria Vanina. author.

(1)

Martí-Oliet, Narciso. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Mascardi, Viviana. editor.

(1)

Mastroeni, Isabella. editor.

(1)

Masuzawa, Toshimitsu. editor.

(1)

McMillan, Ken. editor.

(1)

Melgratti, Hernán. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Middeldorp, Aart. editor.

(1)

Miller, D. Michael. editor.

(1)

Mogavero, Fabio. author.

(1)

Molinaro, Cristian. author.

(1)

Moller, Faron. author.

(1)

Moreira, Ana. editor.

(1)

Morgenstern, Leora. editor.

(1)

Munos, Rémi. editor.

(1)

Muntean, Traian. editor.

(1)

Nahir, Amir. editor.

(1)

Nerode, Anil. editor.

(1)

Ng, Wilfred. editor.

(1)

Nicola, Rocco. editor.

(1)

Nishizaki, Shin-ya. editor.

(1)

Norrish, Michael. editor.

(1)

Numao, Masayuki. editor.

(1)

Ogawa, Mizuhito. editor.

(1)

Ong, Luke. editor.

(1)

O’Regan, Gerard. author.

(1)

Palomino, Miguel. editor.

(1)

Panangaden, Prakash. editor.

(1)

Parmentier, Yannick. editor.

(1)

Paschke, Adrian. editor.

(1)

Paulin-Mohring, Christine. editor.

(1)

Pecheur, Charles. editor.

(1)

Petre, Luigia. editor.

(1)

Pfenning, Frank. editor.

(1)

Pichardie, David. editor.

(1)

Pierro, Alessandra. editor.

(1)

Piterman, Nir. editor.

(1)

Plödereder, Erhard. editor.

(1)

Potapov, Igor. editor.

(1)

Potop-Butucaru, Maria. editor.

(1)

Poulakis, Dimitrios. editor.

(1)

Păsăreanu, Corina S. editor.

(1)

Qadeer, Shaz. editor.

(1)

Ramakrishnan, C. R. editor.

(1)

Reed, Rick. editor.

(1)

Reis, Rogério. editor.

(1)

Riguzzi, Fabrizio. editor.

(1)

Ringeissen, Christophe. editor.

(1)

Ritter, Tom. editor.

(1)

Rolland, Robert. editor.

(1)

Romanovsky, Alexander. editor.

(1)

Rose, Louis M. editor.

(1)

Roy, Olivier. editor.

(1)

Rubin, Julia. editor.

(1)

Rungta, Neha. editor.

(1)

Sagonas, Kostis. editor.

(1)

Salaün, Gwen. editor.

(1)

Saraiva, João. editor.

(1)

Schmidt, Renate A. editor.

(1)

Schulte, Christian. editor.

(1)

Schätz, Bernhard. editor.

(1)

Shan, Chung-chieh. editor.

(1)

Shankar, A. Udaya. author.

(1)

Sharygina, Natasha. editor.

(1)

Shur, Arseny M. editor.

(1)

Siegle, Markus. editor.

(1)

Sirjani, Marjan. editor.

(1)

Smolka, Scott A. editor.

(1)

Stefaneas, Petros. editor.

(1)

Stephan, Frank. editor.

(1)

Stickel, Mark E. editor.

(1)

Tümünü genişlet

Dil

(104)

Yayın Yılı

-

(104)

Konu

(104)

Computer science.

(103)

Software engineering.

(77)

Mathematical Logic and Formal Languages.

(55)

Programming Languages, Compilers, Interpreters.

(48)

Artificial Intelligence (incl. Robotics).

(31)

Artificial intelligence.

(31)

Computation by Abstract Devices.

(23)

Programming Techniques.

(23)

Algorithm Analysis and Problem Complexity.

(21)

Computer Communication Networks.

(21)

Computer software.

(21)

Information Systems Applications (incl. Internet).

(15)

Computational complexity.

(12)

Discrete Mathematics in Computer Science.

(12)

Management of Computing and Information Systems.

(12)

Information Systems.

(11)

Computer simulation.

(5)

Information Storage and Retrieval.

(5)

Information storage and retrieval systems.

(5)

Information theory.

(5)

Logic, Symbolic and mathematical.

(5)

Mathematical Logic and Foundations.

(5)

Operating Systems.

(5)

Operating systems (Computers).

(5)

Simulation and Modeling.

(5)

Special Purpose and Application-Based Systems.

(5)

Theory of Computation.

(5)

Algebra -- Data processing.

(4)

Computer Science, general.

(4)

Data Mining and Knowledge Discovery.

(4)

(4)

Information systems.

(4)

Math Applications in Computer Science.

(4)

Mathematics of Computing.

(4)

Probability and Statistics in Computer Science.

(4)

Software Engineering/Programming and Operating Systems.

(4)

Symbolic and Algebraic Manipulation.

(4)

Bioinformatics.

(3)

Computational Biology/Bioinformatics.

(3)

Computer Appl. in Administrative Data Processing.

(3)

Database management.

(3)

Business Information Systems.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer system performance.

(2)

Computer vision.

(2)

Data protection.

(2)

Data structures (Computer science).

(2)

Electronic data processing.

(2)

Management information systems.

(2)

System Performance and Evaluation.

(2)

Systems and Data Security.

(2)

User Interfaces and Human Computer Interaction.

(2)

Arithmetic and Logic Structures.

(1)

Coding and Information Theory.

(1)

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer network architectures.

(1)

Computers and Education.

(1)

Computing Methodologies.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data Structures.

(1)

Document Preparation and Text Processing.

(1)

(1)

Economics/Management Science.

(1)

(1)

History of Computing.

(1)

History of Mathematical Sciences.

(1)

Information Systems and Communication Service.

(1)

Information and Communication, Circuits.

(1)

Mathematical Applications in Computer Science.

(1)

(1)

Models and Principles.

(1)

Numeric Computing.

(1)

Optical pattern recognition.

(1)

Pattern Recognition.

(1)

Social sciences -- Data processing.

(1)

Text processing (Computer science.

(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

104 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 .. 9

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

2.

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:

3.

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings için kapak resmi

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

Yazar

Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334355.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

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:

5.

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings için kapak resmi

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

Yazar

Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334533.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Transactions on Petri Nets and Other Models of Concurrency VII için kapak resmi

Transactions on Petri Nets and Other Models of Concurrency VII

Transactions on Petri Nets and Other Models of Concurrency VII

Yazar

Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.

Yer Numarası

ONLINE(334545.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday için kapak resmi

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Yazar

Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334547.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers için kapak resmi

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Yazar

Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334562.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings için kapak resmi

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Yazar

Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334564.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings için kapak resmi

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Yazar

Bonacina, Maria Paola. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334626.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings için kapak resmi

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

Yazar

Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334631.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings için kapak resmi

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

Yazar

Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335003.1)

Elektronik Erişim

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

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 .. 9

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11