Search Results for Software.

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

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)

(87)

Maciaszek, Leszek A. editor.

(3)

Aalst, Wil M. P. editor.

(2)

Boer, Frank S. editor.

(2)

Bonsangue, Marcello M. 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)

Zholtkevych, Grygoriy. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Albert, Elvira. editor.

(1)

Arbab, Farhad. 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)

Bonacina, Maria Paola. 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)

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)

D’Argenio, Pedro R. editor.

(1)

Faber, Wolfgang. editor.

(1)

Feliachi, Abderrahmane. editor.

(1)

Felleisen, Matthias. editor.

(1)

Fontaine, Pascal. editor.

(1)

Fribourg, Laurent. editor.

(1)

Fähndrich, Manuel. 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)

Gorbenko, Anatoliy. editor.

(1)

Gorp, Pieter. editor.

(1)

Gray, Jeff. editor.

(1)

Hierons, Robert M. editor.

(1)

Higashino, Teruo. editor.

(1)

Hinze, Ralf. editor.

(1)

Hung, Dang. editor.

(1)

Hähnle, Reiner. editor.

(1)

Jain, Sanjay. editor.

(1)

Jensen, Kurt. editor.

(1)

Johnsen, Einar Broch. 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)

Liu, Shaoying. editor.

(1)

Liu, Zhiming. 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)

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)

Moreira, Ana. editor.

(1)

Morgenstern, Leora. editor.

(1)

Munos, Rémi. editor.

(1)

Muntean, Traian. editor.

(1)

Nahir, Amir. editor.

(1)

Ng, Wilfred. editor.

(1)

Nicola, Rocco. editor.

(1)

Ogawa, Mizuhito. editor.

(1)

Ong, Luke. 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)

Ringeissen, Christophe. editor.

(1)

Ritter, Tom. editor.

(1)

Rolland, Robert. editor.

(1)

Romanovsky, Alexander. editor.

(1)

Rose, Louis M. 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)

Sirjani, Marjan. editor.

(1)

Smolka, Scott A. editor.

(1)

Stefaneas, Petros. editor.

(1)

Stephan, Frank. editor.

(1)

Storey, Veda C. editor.

(1)

Tasiran, Serdar. editor.

(1)

Toeroe, Maria. editor.

(1)

Torre, Leon. editor.

(1)

Torroni, Paolo. editor.

(1)

Trevisan, Luca. editor.

(1)

Trujillo, Juan C. editor.

(1)

Truthe, Bianca. editor.

(1)

Ulrich, Andreas. editor.

(1)

Vallecillo, Antonio. editor.

(1)

Van Gelder, Allen. editor.

(1)

Varró, Dániel. editor.

(1)

Vasconcelos, Wamberto. editor.

(1)

Veanes, Margus. editor.

(1)

Veith, Helmut. editor.

(1)

Venet, Arnaud. editor.

(1)

Viganò, Luca. editor.

(1)

Vink, Erik. editor.

(1)

Visser, Joost. editor.

(1)

Voronkov, Andrei. editor.

(1)

Vos, Tanja. editor.

(1)

Wang, Jianmin. editor.

(1)

Weber, Barbara. editor.

(1)

Wiklicky, Herbert. editor.

(1)

Wolf, Karsten. editor.

(1)

Wolff, Burkhart. editor.

(1)

Woltran, Stefan. editor.

(1)

Woodcock, Jim. editor.

(1)

Wyner, Adam. editor.

(1)

Tümünü genişlet

Dil

(87)

Yayın Yılı

-

(87)

Konu

(87)

Computer science.

(86)

Software engineering.

(77)

Programming Languages, Compilers, Interpreters.

(45)

Mathematical Logic and Formal Languages.

(42)

Artificial Intelligence (incl. Robotics).

(22)

Artificial intelligence.

(22)

Algorithm Analysis and Problem Complexity.

(21)

Computer software.

(21)

Programming Techniques.

(21)

Computation by Abstract Devices.

(20)

Computer Communication Networks.

(20)

Information Systems Applications (incl. Internet).

(13)

Management of Computing and Information Systems.

(12)

Information Systems.

(11)

Computational complexity.

(9)

Discrete Mathematics in Computer Science.

(9)

Computer simulation.

(5)

Operating Systems.

(5)

Operating systems (Computers).

(5)

Simulation and Modeling.

(5)

Special Purpose and Application-Based Systems.

(5)

Information systems.

(4)

Software Engineering/Programming and Operating Systems.

(4)

Computer Appl. in Administrative Data Processing.

(3)

Information Storage and Retrieval.

(3)

Information storage and retrieval systems.

(3)

Probability and Statistics in Computer Science.

(3)

Bioinformatics.

(2)

Business Information Systems.

(2)

Computational Biology/Bioinformatics.

(2)

Computer Science, general.

(2)

Data Mining and Knowledge Discovery.

(2)

(2)

Data protection.

(2)

Data structures (Computer science).

(2)

Management information systems.

(2)

Mathematics of Computing.

(2)

Systems and Data Security.

(2)

Algebra -- Data processing.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer network architectures.

(1)

Computer system performance.

(1)

Computers and Education.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data Structures.

(1)

Database management.

(1)

(1)

Economics/Management Science.

(1)

(1)

Electronic data processing.

(1)

Information Systems and Communication Service.

(1)

Information and Communication, Circuits.

(1)

Information theory.

(1)

Logic, Symbolic and mathematical.

(1)

Math Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

(1)

Models and Principles.

(1)

Numeric Computing.

(1)

Optical pattern recognition.

(1)

Pattern Recognition.

(1)

Social sciences -- Data processing.

(1)

Symbolic and Algebraic Manipulation.

(1)

System Performance and Evaluation.

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

87 sonuç bulundu

Arama sonuçlarına abone ol

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

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings için kapak resmi

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Yazar

Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332962.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03077-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

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:

3.

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:

4.

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:

5.

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:

6.

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers için kapak resmi

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Yazar

Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334556.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

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:

8.

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings için kapak resmi

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Yazar

Drira, Khalil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334714.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings için kapak resmi

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

Yazar

Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334743.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers için kapak resmi

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Yazar

Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334820.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings için kapak resmi

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

Yazar

Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334821.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers için kapak resmi

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Yazar

Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334911.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 8

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11