Search Results for Logics and Meanings of Programs.

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: Software engineering.

Yazar

SpringerLink (Online service)

(77)

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)

Boreale, Michele. editor.

(1)

Botterweck, Goetz. editor.

(1)

Braberman, Víctor. editor.

(1)

Brat, Guillaume. editor.

(1)

Bravetti, Mario. editor.

(1)

Cabalar, Pedro. editor.

(1)

Castagna, Giuseppe. 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)

Dencker, Peter. editor.

(1)

Dennis, Louise. editor.

(1)

Desel, Jörg. editor.

(1)

Dierkes, Michael. editor.

(1)

Drira, Khalil. 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)

Jensen, Kurt. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Julien, Christine. 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)

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, Welf. editor.

(1)

Machado, Ricardo J. editor.

(1)

Maciel, Rita Suzana P. 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)

Moreira, Ana. editor.

(1)

Morgenstern, Leora. 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)

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)

Schätz, Bernhard. editor.

(1)

Shan, Chung-chieh. editor.

(1)

Shankar, A. Udaya. author.

(1)

Sharygina, Natasha. editor.

(1)

Sirjani, Marjan. editor.

(1)

Smolka, Scott A. editor.

(1)

Stefaneas, Petros. editor.

(1)

Storey, Veda C. editor.

(1)

Tasiran, Serdar. editor.

(1)

Toeroe, Maria. editor.

(1)

Torre, Leon. editor.

(1)

Torroni, Paolo. editor.

(1)

Trujillo, Juan C. editor.

(1)

Ulrich, Andreas. editor.

(1)

Vallecillo, Antonio. 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)

Yakovlev, Alex. editor.

(1)

Yamashita, Masafumi. editor.

(1)

Yenigün, Hüsnü. editor.

(1)

Yilmaz, Cemal. editor.

(1)

Yokoyama, Tetsuo. editor.

(1)

Zhang, Kang. editor.

(1)

Zhu, Huibiao. editor.

(1)

Tümünü genişlet

Dil

(77)

Yayın Yılı

-

(77)

Konu

(77)

Logics and Meanings of Programs.

(77)

Computer science.

(76)

Programming Languages, Compilers, Interpreters.

(44)

Mathematical Logic and Formal Languages.

(34)

Programming Techniques.

(21)

Computer Communication Networks.

(19)

Artificial Intelligence (incl. Robotics).

(18)

Artificial intelligence.

(18)

Computation by Abstract Devices.

(13)

Information Systems Applications (incl. Internet).

(13)

Management of Computing and Information Systems.

(12)

Algorithm Analysis and Problem Complexity.

(11)

Computer software.

(11)

Information Systems.

(11)

Computer simulation.

(5)

Operating Systems.

(5)

Operating systems (Computers).

(5)

Simulation and Modeling.

(5)

Special Purpose and Application-Based Systems.

(5)

Computational complexity.

(4)

Discrete Mathematics in Computer Science.

(4)

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)

Management information systems.

(2)

Systems and Data Security.

(2)

Algebra -- Data processing.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer network architectures.

(1)

Computer system performance.

(1)

Computers and Education.

(1)

Data Structures.

(1)

Data structures (Computer science).

(1)

Database management.

(1)

(1)

Economics/Management Science.

(1)

(1)

Information Systems and Communication Service.

(1)

Mathematics of Computing.

(1)

Models and Principles.

(1)

Symbolic and Algebraic Manipulation.

(1)

System Performance and Evaluation.

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

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.

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings için kapak resmi

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Yazar

Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332921.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-02444-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

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:

3.

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:

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.

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers için kapak resmi

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Yazar

Albert, Elvira. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334552.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

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:

10.

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:

11.

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings için kapak resmi

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

Yazar

Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334651.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings için kapak resmi

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

Yazar

Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334832.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 7

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11