Search Results for Information Theory.

1.

Logic and the Foundations of Game and Decision Theory – LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

Yazar

Bonanno, Giacomo. editor. Löwe, Benedikt. editor. Hoek, Wiebe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Information Computing and Applications First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings

Yazar

Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Bioinspired Computation in Combinatorial Optimization Algorithms and Their Computational Complexity

Yazar

Neumann, Frank. author. Witt, Carsten. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings

Yazar

Kratochvíl, Jan. editor. Li, Angsheng. editor. Fiala, Jiří. editor. Kolman, Petr. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings

Yazar

Brennan, Rob. editor. Fleck, Joel. editor. Meer, Sven. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien

Yazar

Reisig, Wolfgang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-9708-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Natural Computing 4th International Workshop on Natural Computing Himeji, Japan, September 2009 Proceedings

Yazar

Peper, F. editor. Umeo, H. editor. Matsui, N. editor. Isokawa, T. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-4-431-53868-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Search Computing Challenges and Directions

Yazar

Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I

Yazar

Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II

Yazar

Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP

Yazar

Dovier, Agostino. editor. Pontelli, Enrico. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers

Yazar

Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Transactions on Rough Sets XII

Yazar

Peters, James F. editor. Skowron, Andrzej. editor. Słowiński, Roman. editor. Lingras, Pawan. editor. Miao, Duoqian. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings

Yazar

Lee, Der-Tsai. editor. Chen, Danny Z. editor. Ying, Shi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

Yazar

Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II

Yazar

Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings

Yazar

Raman, Venkatesh. editor. Saurabh, Saket. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Transactions on Petri Nets and Other Models of Concurrency IV

Yazar

Jensen, Kurt. editor. Donatelli, Susanna. editor. Koutny, Maciej. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Genetic Programming Theory and Practice VII

Yazar

Riolo, Rick. editor. O'Reilly, Una-May. editor. McConaghy, Trent. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-1626-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

The P=NP Question and Gödel’s Lost Letter

Yazar

Lipton, Richard J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-7155-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Algorithmic Randomness and Complexity

Yazar

Downey, Rodney G. author. Hirschfeldt, Denis R. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-68441-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Computable Models

Yazar

Turner, Raymond. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-052-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Models of Computation An Introduction to Computability Theory

Yazar

Fernández, Maribel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-434-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Elements of Computation Theory

Yazar

Singh, Arindama. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-497-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

Yazar

Archibald, Margaret. editor. Brattka, Vasco. editor. Goranko, Valentin. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Yazar

Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Transactions on Petri Nets and Other Models of Concurrency III

Yazar

Jensen, Kurt. editor. Billington, Jonathan. editor. Koutny, Maciej. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings

Yazar

He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Optical SuperComputing Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009. Proceedings

Yazar

Dolev, Shlomi. editor. Oltean, Mihai. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Yazar

Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Grundkurs Künstliche Intelligenz Eine praxisorientierte Einführung

Yazar

Ertel, Wolfgang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-9989-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Post-Quantum Cryptography

Yazar

Bernstein, Daniel J. editor. Buchmann, Johannes. editor. Dahmen, Erik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-88702-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Gröbner Bases, Coding, and Cryptography

Yazar

Sala, Massimiliano. editor. Sakata, Shojiro. editor. Mora, Teo. editor. Traverso, Carlo. editor. Perret, Ludovic. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-93806-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings

Yazar

Nielsen, Mogens. editor. Kučera, Antonín. editor. Miltersen, Peter Bro. editor. Palamidessi, Catuscia. editor. Tůma, Petr. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-95891-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems

Yazar

Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Yazar

Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I

Yazar

Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II

Yazar

Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

Yazar

Chen, Jianer. editor. Cooper, S. Barry. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Hagenberg Research

Yazar

Buchberger, Bruno. editor. Affenzeller, Michael. editor. Ferscha, Alois. editor. Haller, Michael. editor. Jebelean, Tudor. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings

Yazar

Ono, Hiroakira. editor. Kanazawa, Makoto. editor. Queiroz, Ruy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Yazar

Fisher, Michael. editor. Sadri, Fariba. editor. Thielscher, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings

Yazar

Sossai, Claudio. editor. Chemello, Gaetano. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I

Yazar

Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II

Yazar

Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Yazar

Ambos-Spies, Klaus. editor. Löwe, Benedikt. editor. Merkle, Wolfgang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Transactions on Rough Sets X

Yazar

Peters, James F. editor. Skowron, Andrzej. editor. Wolski, Marcin. editor. Chakraborty, Mihir K. editor. Wu, Wei-Zhi. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings

Yazar

Frid, Anna. editor. Morozov, Andrey. editor. Rybalchenko, Andrey. editor. Wagner, Klaus W. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Yazar

Corradini, Andrea. editor. Montanari, Ugo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures

Yazar

Koopman, Pieter. editor. Plasmeijer, Rinus. editor. Swierstra, Doaitse. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Theory of Quantum Computation, Communication, and Cryptography 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papers

Yazar

Childs, Andrew. editor. Mosca, Michele. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers

Yazar

Chen, Jianer. editor. Fomin, Fedor V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Formale Sprachen, abstrakte Automaten und Compiler Lehr- und Arbeitsbuch für Grundstudium und Fortbildung

Yazar

Wagenknecht, Christian. author. Hielscher, Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-9972-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Natural Computing 2nd International Workshop on Natural Computing, Nagoya, Japan, December 2007, Proceedings

Yazar

Suzuki, Y. editor. Hagiya, M. editor. Umeo, H. editor. Adamatzky, A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-4-431-88981-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Algorithmic Adventures From Knowledge to Magic

Yazar

Hromkovic, Juraj. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-85986-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Algorithmic Bioprocesses

Yazar

Condon, Anne. editor. Harel, David. editor. Kok, Joost N. editor. Salomaa, Arto. editor. Winfree, Erik. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-88869-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Yazar

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-92687-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

Yazar

Ramanujam, R. editor. Sarukkai, Sundar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-92701-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Yazar

Castagna, Giuseppe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Yazar

Alfaro, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Yazar

Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Quantum Interaction Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings

Yazar

Bruza, Peter. editor. Sofge, Donald. editor. Lawless, William. editor. Rijsbergen, Keith. editor. Klusch, Matthias. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers

Yazar

César, Eduardo. editor. Alexander, Michael. editor. Streit, Achim. editor. Träff, Jesper Larsson. editor. Cérin, Christophe. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings

Yazar

Dediu, Adrian Horia. editor. Ionescu, Armand Mihai. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings

Yazar

Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I

Yazar

Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II

Yazar

Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

Yazar

Leucker, Martin. editor. Morgan, Carroll. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Yazar

Bravetti, Mario. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

Genetic Programming Theory and Practice VI

Yazar

Worzel, Bill. editor. Soule, Terence. editor. Riolo, Rick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-87623-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Computability of Julia Sets

Yazar

Braverman, Mark. author. Yampolsky, Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-68547-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Neural-Symbolic Cognitive Reasoning

Yazar

d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73246-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings

Yazar

Bournez, Olivier. editor. Potapov, Igor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Principles of the Spin Model Checker

Yazar

Ben-Ari, Mordechai. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84628-770-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Robust Intelligent Systems

Yazar

Schuster, Alfons. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-261-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

A Concise Introduction to Languages and Machines

Yazar

Parkes, Alan P. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-121-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

Yazar

Hee, Kees M. editor. Valk, Rüdiger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-68746-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I

Yazar

Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69384-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II

Yazar

Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69387-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III

Yazar

Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69389-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

Yazar

Beckmann, Arnold. editor. Dimitracopoulos, Costas. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69407-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

Time-Dependent Scheduling

Yazar

Gawiejnowicz, Stanisław. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69446-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I

Yazar

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69839-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II

Yazar

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69848-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Euro-Par 2008 – Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings

Yazar

Luque, Emilio. editor. Margalef, Tomàs. editor. Benítez, Domingo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-85451-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Unfoldings A Partial-Order Approach to Model Checking

Yazar

Esparza, Javier. author. Heljanko, Keijo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-77426-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Yazar

Avron, Arnon. editor. Dershowitz, Nachum. editor. Rabinovich, Alexander. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-78127-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings

Yazar

Geffert, Viliam. editor. Karhumäki, Juhani. editor. Bertoni, Alberto. editor. Preneel, Bart. editor. Návrat, Pavol. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-77566-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings

Yazar

Hirsch, Edward A. editor. Razborov, Alexander A. editor. Semenov, Alexei. editor. Slissenko, Anatol. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-79709-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Komplexitätstheorie und Kryptologie Eine Einführung in Kryptokomplexität

Yazar

Rothe, Jörg. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-79745-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

Yazar

Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. Soós, Anna. editor. Zsók, Viktória. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-88059-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers

Yazar

Martín-Vide, Carlos. editor. Otto, Friedrich. editor. Fernau, Henning. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-88282-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings

Yazar

Baek, Joonsang. editor. Bao, Feng. editor. Chen, Kefei. editor. Lai, Xuejia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-88733-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers

Yazar

Kawano, Yasuhito. editor. Mosca, Michele. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-89304-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers

Yazar

Costa, Paulo Cesar G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor. Laskey, Kenneth J. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-89765-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

Methoden wissensbasierter Systeme Grundlagen, Algorithmen, Anwendungen

Yazar

Beierle, Christoph. author. Kern-Isberner, Gabriele. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-9517-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Ordnungen, Verbände und Relationen mit Anwendungen Studium

Yazar

Berghammer, Rudolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-9532-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Advances in Metaheuristics for Hard Optimization

Yazar

Siarry, Patrick. editor. Michalewicz, Zbigniew. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72960-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Multiobjective Problem Solving from Nature From Concepts to Applications

Yazar

Knowles, Joshua. editor. Corne, David. editor. Deb, Kalyanmoy. editor. Chair, Deva Raj. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72964-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers

Yazar

Bougé, Luc. editor. Forsell, Martti. editor. Träff, Jesper Larsson. editor. Streit, Achim. editor. Ziegler, Wolfgang. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-78474-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings

Yazar

Agrawal, Manindra. editor. Du, Dingzhu. editor. Duan, Zhenhua. editor. Li, Angsheng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-79228-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

Transactions on Computational Science I

Yazar

Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-79299-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

Yazar

Breugel, Franck. editor. Chechik, Marsha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-85361-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

Optical SuperComputing First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings

Yazar

Dolev, Shlomi. editor. Haist, Tobias. editor. Oltean, Mihai. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-85673-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

Yazar

Fitzgerald, John S. editor. Haxthausen, Anne E. editor. Yenigun, Husnu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-85762-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

Yazar

Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-85778-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Transactions on Computational Science II

Yazar

Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Wang, Yingxu. editor. Yao, Yiyu. editor. Wang, Guoyin. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-87563-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers

Yazar

Palma, José M. Laginha M. editor. Amestoy, Patrick R. editor. Daydé, Michel. editor. Mattoso, Marta. editor. Lopes, João Correia. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-92859-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008

Yazar

Ausiello, Giorgio. editor. Karhumäki, Juhani. editor. Mauri, Giancarlo. editor. Ong, Luke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-09680-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Advances in Information Systems Research, Education and Practice IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy

Yazar

Avison, David. editor. Kasper, George M. editor. Pernici, Barbara. editor. Ramos, Isabel. editor. Roode, Dewald. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-09682-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

Open Source Development, Communities and Quality IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy

Yazar

Russo, Barbara. editor. Damiani, Ernesto. editor. Hissam, Scott. editor. Lundell, Björn. editor. Succi, Giancarlo. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-09684-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Artificial Intelligence in Theory and Practice II IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy

Yazar

Bramer, Max. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-09695-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy

Yazar

Cascini, Gaetano. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-09697-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Learning to Live in the Knowledge Society IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7–10, 2008, Milano, Italy

Yazar

Kendall, Michael. editor. Samways, Brian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-09729-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

Probing Experience From Assessment of User Emotions and Behaviour to Development of Products

Yazar

Westerink, Joyce H. D. M. editor. Ouwerkerk, Martin. editor. Overbeek, Thérése J. M. editor. Pasveer, W. Frank. editor. Ruyter, Boris. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-6593-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

New Computational Paradigms Changing Conceptions of What is Computable

Yazar

Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-68546-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

Genetic Programming Theory and Practice V

Yazar

Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-76308-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Advances in Applied Self-organizing Systems

Yazar

Prokopenko, Mikhail. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84628-982-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

Yazar

Hodges, Wilfrid. editor. Queiroz, Ruy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69937-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

Yazar

Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-70575-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

Yazar

Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-70583-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Dissemination of Information in Optical Networks From Technology to Algorithms In Cooperation with Ralf Klasing

Yazar

Bandyopadhyay, Subir. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72875-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

The Art of Artificial Evolution A Handbook on Evolutionary Art and Music

Yazar

Romero, Juan. editor. Machado, Penousal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72877-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Decision Procedures An Algorithmic Point of View

Yazar

Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-74105-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

Logics of Specification Languages

Yazar

Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-74107-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

Crashkurs Mathematik für Informatiker

Yazar

Jukna, Stasys. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8351-9214-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

Encyclopedia of Algorithms

Yazar

Kao, Ming-Yang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-30162-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

An Introduction to Kolmogorov Complexity and Its Applications

Yazar

Li, Ming. author. Vitányi, Paul. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-49820-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

Hypercomputation Computing Beyond the Church-Turing Barrier

Yazar

Syropoulos, Apostolos. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-49970-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity

Yazar

Georgiou, Chryssis. author. Shvartsman, Alexander A. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-69045-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

A Computer Scientist's Guide to Cell Biology A travelogue from a stranger in a strange land

Yazar

Cohen, William W. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-48278-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Natural Language Processing and Text Mining

Yazar

Kao, Anne. editor. Poteet, Stephen R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84628-754-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings

Yazar

Leeuwen, Jan. editor. Italiano, Giuseppe F. editor. Hoek, Wiebe. editor. Meinel, Christoph. editor. Sack, Harald. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69507-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers

Yazar

Daydé, Michel. editor. Palma, José M. L. M. editor. Coutinho, Álvaro L. G. A. editor. Pacitti, Esther. editor. Lopes, João Correia. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-71351-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers

Yazar

Lehner, Wolfgang. editor. Meyer, Norbert. editor. Streit, Achim. editor. Stewart, Craig. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72337-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings

Yazar

Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Zhu, Hong. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72504-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I

Yazar

Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72584-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II

Yazar

Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72586-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III

Yazar

Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72588-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV

Yazar

Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72590-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

Yazar

Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73094-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

Yazar

Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73420-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

Yazar

Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73001-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings

Yazar

Kermarrec, Anne-Marie. editor. Bougé, Luc. editor. Priol, Thierry. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-74466-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I

Yazar

Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-74472-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II

Yazar

Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-74477-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III

Yazar

Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-74484-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings

Yazar

Diekert, Volker. editor. Volkov, Mikhail V. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-74510-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Theoretical Aspects of Local Search

Yazar

Michiels, Wil. author. Korst, Jan. author. Aarts, Emile. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-35854-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Classification and Learning Using Genetic Algorithms Applications in Bioinformatics and Web Intelligence

Yazar

Bandyopadhyay, Sanghamitra. author. Pal, Sankar K. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-49607-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

Yazar

Leivant, Daniel. editor. Queiroz, Ruy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73445-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

Modelling Distributed Systems

Yazar

Fokkink, Wan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73938-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

Linear Genetic Programming

Yazar

Brameier, Markus F. author. Banzhaf, Wolfgang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-31030-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

The Calculus of Computation Decision Procedures with Applications to Verification

Yazar

Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-74113-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

Die Macht der Abstraktion Einführung in die Programmierung

Yazar

Klaeren, Herbert. author. Sperber, Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8351-9079-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Theoretische Informatik Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie

Yazar

Hromkovič, Juraj. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8351-9115-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Evolutionäre Algorithmen

Yazar

Weicker, Karsten. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8351-9203-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition

Yazar

Coello, Carlos A. Coello. author. Lamont, Gary B. author. Veldhuizen, David A. Van. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-36797-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Genetic Programming Theory and Practice IV

Yazar

Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-49650-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Computation Engineering Applied Automata Theory and Logic

Yazar

Gopalakrishnan, Ganesh. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-32520-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

Theoretical Introduction to Programming

Yazar

Mills, Bruce. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-263-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Theory of Computation

Yazar

Kozen, Dexter C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-477-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

Applications of Membrane Computing

Yazar

Ciobanu, Gabriel. editor. Păun, Gheorghe. editor. Pérez-Jiménez, Mario J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-29937-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

Nanotechnology: Science and Computation

Yazar

Chen, Junghuei. editor. Jonoska, Nataša. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-30296-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

Fundamentals of Algebraic Graph Transformation

Yazar

Ehrig, Hartmut. author. Ehrig, Karsten. author. Prange, Ulrike. author. Taentzer, Gabriele. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-31188-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II

Yazar

Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11758525

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Computer Science – Theory and Applications First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings

Yazar

Grigoriev, Dima. editor. Harrison, John. editor. Hirsch, Edward A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11753728

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Yazar

Futatsugi, Kokichi. editor. Jouannaud, Jean-Pierre. editor. Meseguer, José. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11780274

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings

Yazar

Beckmann, Arnold. editor. Berger, Ulrich. editor. Löwe, Benedikt. editor. Tucker, John V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11780342

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

170.

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I

Yazar

Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11786986

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

SOFSEM 2006: Theory and Practice of Computer Science 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings

Yazar

Wiedermann, Jiří. editor. Tel, Gerard. editor. Pokorný, Jaroslav. editor. Bieliková, Mária. editor. Štuller, Július. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11611257

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

Experimental Research in Evolutionary Computation The New Experimentalism

Yazar

Bartz-Beielstein, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-32027-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

Yazar

Bollig, Benedikt. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-32923-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

Concurrent Zero-Knowledge With Additional Background by Oded Goldreich

Yazar

Rosen, Alon. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-32939-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings

Yazar

Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11750321

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I

Yazar

Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11751540

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part II

Yazar

Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11751588

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III

Yazar

Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11751595

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV

Yazar

Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11751632

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V

Yazar

Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11751649

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I

Yazar

Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11758501

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III

Yazar

Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11758532

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV

Yazar

Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11758549

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

Yazar

Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11787006

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies

Yazar

Zomaya, Albert Y. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-27705-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

Coordination of Large-Scale Multiagent Systems

Yazar

Scerri, Paul. editor. Vincent, Régis. editor. Mailler, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-27972-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

Genetic Programming Theory and Practice III

Yazar

Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-28111-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

Biologically Inspired Algorithms for Financial Modelling

Yazar

Brabazon, Anthony. author. O’Neill, Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-31307-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

Yazar

Donatelli, Susanna. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11767589

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

Vorlesungen über Informatik Band 2: Objektorientiertes Programmieren und Algorithmen

Yazar

Goos, Gerhard. author. Zimmermann, Wolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-34778-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

Interactive Computation The New Paradigm

Yazar

Goldin, Dina. editor. Smolka, Scott A. editor. Wegner, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-34874-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

Euro-Par 2006 Parallel Processing 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings

Yazar

Nagel, Wolfgang E. editor. Walter, Wolfgang V. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11823285

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

Evolvable Hardware

Yazar

Higuchi, Tetsuya. editor. Liu, Yong. editor. Yao, Xin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-31238-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods

Yazar

Nikolaev, Nikolay Y. author. Iba, Hitoshi. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-31240-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23–24, 2006, Santiago, Chile

Yazar

Navarro, Gonzalo. editor. Bertossi, Leopoldo. editor. Kohayakawa, Yoshiharu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-34735-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

196.

SAT 2005 Satisfiability Research in the Year 2005

Yazar

Giunchiglia, Enrico. editor. Walsh, Toby. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-5571-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

197.

Vorlesungen über Informatik Grundlagen und funktionales Programmieren

Yazar

Goos, Gerhard. author. Zimmermann, Wolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-29272-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

Parameterized Complexity Theory

Yazar

Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-29953-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

Computer and Information Sciences – ISCIS 2006 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings

Yazar

Levi, Albert. editor. Savaş, Erkay. editor. Yenigün, Hüsnü. editor. Balcısoy, Selim. editor. Saygın, Yücel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11902140

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

Approximationsalgorithmen Eine Einführung

Yazar

Wanka, Rolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8351-9067-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

Multivariate Public Key Cryptosystems

Yazar

Ding, Jintai. author. Gower, Jason E. author. Schmidt, Dieter S. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-36946-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

Network Control and Engineering for QoS, Security and Mobility, III IFIP TC6 / WG6.2, 6.6, 6.7 and 6.8 Third International Conference on Network Control and Engineering for QoS, Security and Mobility, NetCon 2004 on November 2–5, 2004, Palma de Mallorca, Spain

Yazar

Gaïti, Dominique. editor. Galmés, Sebastià. editor. Puigjaner, Ramon. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b100917

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

Genetic Programming Theory and Practice II

Yazar

O’Reilly, Una-May. editor. Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b101112

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

Semistructured Database Design

Yazar

Ling, Tok Wang. author. Lee, Mong Li. author. Dobbie, Gillian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b101873

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

205.

Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance

Yazar

Hromkovič, Juraj. author. Klasing, Ralf. author. Pelc, Andrzej. author. Ružička†, Peter. author. Unger, Walter. author.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b137871

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

206.

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers

Yazar

Daydé, Michel. editor. Dongarra, Jack. editor. Hernández, Vicente. editor. Palma, José M. L. M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106965

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

207.

STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings

Yazar

Diekert, Volker. editor. Durand, Bruno. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106485

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

Contemporary Cryptology

Yazar

Catalano, Dario. author. Cramer, Ronald. author. Crescenzo, Giovanni. author. Darmgård, Ivan. author. Pointcheval, David. author.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-7643-7394-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

209.

Complexity Theory and Cryptology An Introduction to Cryptocomplexity

Yazar

Rothe, Jörg. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-28520-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

Parallel and Distributed Computing: Applications and Technologies 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings

Yazar

Liew, Kim-Meow. editor. Shen, Hong. editor. See, Simon. editor. Cai, Wentong. editor. Fan, Pingzhi. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b103538

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings

Yazar

Maher, Michael J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b103476

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

212.

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings

Yazar

Vojtáš, Peter. editor. Bieliková, Mária. editor. Charron-Bost, Bernadette. editor. Sýkora, Ondrej. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b105088

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

213.

Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

Yazar

Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11523468

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers

Yazar

Chapman, Barbara M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b105895

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings

Yazar

Cunha, José C. editor. Medeiros, Pedro D. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11549468

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings

Yazar

Cooper, S. Barry. editor. Löwe, Benedikt. editor. Torenvliet, Leen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136981

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

217.

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part I

Yazar

Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136266

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

Genetic Programming IV Routine Human-Competitive Machine Intelligence

Yazar

Koza, John R. author. Keane, Martin A. author. Streeter, Matthew J. author. Mydlowec, William. author. Yu, Jessen. author.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b137549

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

219.

Super-Recursive Algorithms

Yazar

Burgin, Mark. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138114

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Yazar

Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-3532-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

221.

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling

Yazar

Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b101185

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability

Yazar

Hutter, Marcus. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138233

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

223.

Theoretical and Experimental DNA Computation

Yazar

Amos, Martyn. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-28131-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

224.

Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings

Yazar

Zhang, Jun. editor. He, Ji-Huan. editor. Fu, Yuxi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b104566

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

225.

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part II

Yazar

Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136269

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

226.

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part III

Yazar

Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136271

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

227.

Informatik Aufgaben und Lösungen, Begleitbuch zu Blieberger et al.: Informatik

Yazar

Kastner, Wolfgang. editor. Schildt, Gerhard-Helge. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138718

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

228.

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings

Yazar

Ciardo, Gianfranco. editor. Darondeau, Philippe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136988

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

229.

Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings

Yazar

Yolum, pInar. editor. Güngör, Tunga. editor. Gürgen, Fikret. editor. Özturan, Can. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11569596

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I

Yazar

Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136570

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II

Yazar

Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136571

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

232.

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III

Yazar

Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136575

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV

Yazar

Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganá, Antonio. editor. Lee, Heow Pueh. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136278

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}