Search Results for Software.

1.

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

Yazar

Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334022.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings

Yazar

Goemans, Michel. editor. Correa, José. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334268.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings

Yazar

Johansson, Thomas. editor. Nguyen, Phong Q. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334587.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings

Yazar

Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334615.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

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:

6.

Advances in Information and Computer Security 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings

Yazar

Sakiyama, Kazuo. editor. Terada, Masayuki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335098.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers

Yazar

Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335116.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Number Theory and Cryptography Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday

Yazar

Fischlin, Marc. editor. Katzenbeisser, Stefan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335154.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Algorithms and Models for the Web Graph 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings

Yazar

Bonato, Anthony. editor. Mitzenmacher, Michael. editor. Prałat, Paweł. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332980.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03536-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Structural Information and Communication Complexity 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers

Yazar

Moscibroda, Thomas. editor. Rescigno, Adele A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332983.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03578-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings

Yazar

Widmayer, Peter. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332995.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03780-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers

Yazar

Wismath, Stephen. editor. Wolff, Alexander. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332997.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03841-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

Yazar

Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332999.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03850-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers

Yazar

Gutin, Gregory. editor. Szeider, Stefan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333005.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

Yazar

Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.

Yer Numarası

ONLINE(334064.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings

Yazar

Ghosh, Subir Kumar. editor. Tokuyama, Takeshi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334112.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings

Yazar

Gonzalez-Diaz, Rocio. editor. Jimenez, Maria-Jose. editor. Medrano, Belen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334356.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede

Yazar

Aydinian, Harout. editor. Cicalese, Ferdinando. editor. Deppe, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334319.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers

Yazar

Erlebach, Thomas. editor. Persiano, Giuseppe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334516.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Algorithms and Complexity 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings

Yazar

Spirakis, Paul G. editor. Serna, Maria. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334563.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

Yazar

Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334549.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

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:

23.

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:

24.

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:

25.

Space-Efficient Data Structures, Streams, and Algorithms Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday

Yazar

Brodnik, Andrej. editor. López-Ortiz, Alejandro. editor. Raman, Venkatesh. editor. Viola, Alfredo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334921.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

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:

27.

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings

Yazar

Raghavendra, Prasad. editor. Raskhodnikova, Sofya. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334929.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings

Yazar

Bodlaender, Hans L. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334947.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings

Yazar

Darling, Aaron. editor. Stoye, Jens. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334948.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I

Yazar

Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335157.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II

Yazar

Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335160.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers

Yazar

Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335176.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings

Yazar

Cai, Leizhen. editor. Cheng, Siu-Wing. editor. Lam, Tak-Wah. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335180.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Graph-Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers

Yazar

Brandstädt, Andreas. editor. Jansen, Klaus. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335182.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings

Yazar

Stam, Martijn. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335197.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

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:

37.

Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers

Yazar

Akiyama, Jin. editor. Kano, Mikio. editor. Sakai, Toshinori. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335203.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer

Yazar

Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330901.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4069-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

Yazar

Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332892.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-01928-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

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:

41.

Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers

Yazar

Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334121.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers

Yazar

Didimo, Walter. editor. Patrignani, Maurizio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334284.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Yazar

Middendorf, Martin. editor. Blum, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334383.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II

Yazar

Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334657.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings

Yazar

Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334663.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

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:

47.

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:

48.

Combinatorial Pattern Matching 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings

Yazar

Fischer, Johannes. editor. Sanders, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334695.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I

Yazar

Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334653.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings

Yazar

Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334879.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I

Yazar

Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334881.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II

Yazar

Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334888.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Algorithms and Data Structures 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings

Yazar

Dehne, Frank. editor. Solis-Oba, Roberto. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334893.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

Yazar

Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334751.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

Yazar

Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334753.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Yazar

Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334962.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Yazar

Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334969.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

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:

59.

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Yazar

Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334985.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Yazar

Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334987.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}