Search Results for Logic

1.

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:

2.

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Yazar

Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334718.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Yazar

Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.

Yer Numarası

ONLINE(332964.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03089-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

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:

5.

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

Yazar

Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334174.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

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:

7.

Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers

Yazar

Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335202.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics

Yazar

Mogavero, Fabio. author. SpringerLink (Online service)

Yer Numarası

ONLINE(336496.1)

Elektronik Erişim

http://dx.doi.org/10.2991/978-94-91216-95-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

Yazar

Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334617.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

Yazar

Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334725.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

Yazar

Konstantinidis, Stavros. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334771.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings

Yazar

Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334814.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

Yazar

Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334825.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

Yazar

Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334925.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

Yazar

Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334973.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Yazar

Schulte, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334980.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

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:

18.

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Yazar

Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335023.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

Yazar

Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335030.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Yazar

Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335046.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

Yazar

Pudlák, Pavel. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332681.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

Yazar

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332910.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-02297-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

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:

24.

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:

25.

High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

Yazar

Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334658.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

Yazar

Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334665.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

Yazar

Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334666.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

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:

29.

Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

Yazar

Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334708.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Yazar

Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334724.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

Yazar

Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334778.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Yazar

Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335072.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}