Search Results for ALGEBRA.

1.

Foundations of Geometric Algebra Computing

Yazar

Hildenbrand, Dietmar. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333490.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Guide to Geometric Algebra in Practice

Yazar

Dorst, Leo. editor. Lasenby, Joan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-811-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Geometric Algebra with Applications in Engineering

Yazar

Perwass, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

The Modern Algebra of Information Retrieval

Yazar

Dominich, Sándor. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Geometric Algebra for Computer Graphics

Yazar

Vince, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Mathematik für Informatiker Algebra, Analysis, Diskrete Strukturen

Yazar

Kreußler, Bernd. author. Pfister, Gerhard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Rational Algebraic Curves A Computer Algebra Approach

Yazar

Sendra, J. Rafael. author. Winkler, Franz. author. Pérez-Díaz, Sonia. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Diskrete Strukturen Band 1: Kombinatorik, Graphentheorie, Algebra

Yazar

Steger, Angelika. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

Yazar

England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-26831-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Yazar

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-99639-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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:

12.

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

Yazar

Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334910.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Lineare Algebra für die Informatik Vektorräume, Gleichungssysteme, Codierung, Quantenalgorithmen

Yazar

Witt, Kurt-Ulrich. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337446.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-658-00189-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Mathematik für Informatiker Band 1: Diskrete Mathematik und Lineare Algebra

Yazar

Teschl, Gerald. author. Teschl, Susanne. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337312.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings

Yazar

Corradini, Andrea. editor. Klin, Bartek. editor. Cîrstea, Corina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Computer Algebra in Scientific Computing 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Übungsbuch zur Linearen Algebra und analytischen Geometrie Aufgaben mit Lösungen

Yazar

Lau, Dietlinde. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Algebra und Diskrete Mathematik 1 Grundbegriffe der Mathematik, Algebraische Strukturen 1, Lineare Algebra und Analytische Geometrie, Numerische Algebra und Kombinatorik

Yazar

Lau, Dietlinde. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Geometric Algebra Computing in Engineering and Computer Science

Yazar

Bayro-Corrochano, Eduardo. editor. Scheuermann, Gerik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84996-108-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Computer Algebra in Scientific Computing 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings

Yazar

Berghammer, Rudolf. editor. Jaoua, Ali Mohamed. editor. Möller, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 18th International Symposium, AAECC-18 2009, Tarragona, Spain, June 8-12, 2009. Proceedings

Yazar

Bras-Amorós, Maria. editor. Høholdt, Tom. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Geometric Algebra: An Algebraic System for Computer Games and Animation

Yazar

Vince, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-379-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings

Yazar

Kurz, Alexander. editor. Lenisa, Marina. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Mathematik für Informatiker Band 1: Diskrete Mathematik und Lineare Algebra

Yazar

Teschl, Gerald. author. Teschl, Susanne. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings

Yazar

Berghammer, Rudolf. editor. Möller, Bernhard. editor. Struth, Georg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

Yazar

Mossakowski, Till. editor. Montanari, Ugo. editor. Haveraaen, Magne. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Mathematik für Informatiker Band 1: Diskrete Mathematik und Lineare Algebra

Yazar

Teschl, Gerald. author. Teschl, Susanne. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Algebra und Diskrete Mathematik 1 Grundbegriffe der Mathematik, Algebraische Strukturen 1, Lineare Algebra und Analytische Geometrie, Numerische Algebra

Yazar

Lau, Dietlinde. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Übungsbuch zur Linearen Algebra und analytischen Geometrie Aufgaben mit Lösungen

Yazar

Lau, Dietlinde. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Matrix Algebra Theory, Computations, and Applications in Statistics

Yazar

Gentle, James E. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings

Yazar

Ganzha, Victor G. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007. Proceedings

Yazar

Boztaş, Serdar. editor. Lu, Hsiao-Feng (Francis). editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

Yazar

Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006. Proceedings

Yazar

Ganzha, Victor G. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

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:

39.

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings

Yazar

Schmidt, Renate A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Mathematik für Informatiker Band 1: Diskrete Mathematik und Lineare Algebra

Yazar

Teschl, Gerald. author. Teschl, Susanne. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006. Proceedings

Yazar

Fossorier, Marc P. C. editor. Imai, Hideki. editor. Lin, Shu. editor. Poli, Alain. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

Yazar

MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Computer Algebra and Geometric Algebra with Applications 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Yazar

Li, Hongbo. editor. Olver, Peter J. editor. Sommer, Gerald. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

Yazar

Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings

Yazar

Ganzha, Victor G. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Multiscale Forecasting Models

Yazar

Barba Maggi, Lida Mercedes. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-94992-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Yazar

Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332982.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03545-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

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:

49.

Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective

Yazar

Chan, Chi-kong. author. Leung, Ho-fung. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334558.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

Yazar

Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334580.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

Yazar

Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.

Yer Numarası

ONLINE(334781.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Mathematics and Computation in Music 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013. Proceedings

Yazar

Yust, Jason. editor. Wild, Jonathan. editor. Burgoyne, John Ashley. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334789.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

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:

54.

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:

55.

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

Yazar

Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334992.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Yazar

Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335032.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Quantum Attacks on Public-Key Cryptosystems

Yazar

Yan, Song Y. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330828.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-7722-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

A Course on Mathematical Logic

Yazar

Srivastava, Shashi Mohan. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331853.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-5746-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

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:

60.

Design, Analysis and Test of Logic Circuits Under Uncertainty

Yazar

Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335669.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-90-481-9644-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Polyhedral and Algebraic Methods in Computational Geometry

Yazar

Joswig, Michael. author. Theobald, Thorsten. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331067.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4817-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Introduction to Cryptography with Maple

Yazar

Gómez Pardo, José Luis. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333533.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Cylindric-like Algebras and Algebraic Logic

Yazar

Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333922.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

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:

65.

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

Yazar

Hasegawa, Masahito. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334702.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

Yazar

Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334875.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings

Yazar

Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334877.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

Yazar

Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings

Yazar

Gilbert, David. editor. Heiner, Monika. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

Combinatorial Algorithms 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, Revised Selected Papers

Yazar

Arumugam, S. editor. Smyth, W. F. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Loewy Decomposition of Linear Differential Equations

Yazar

Schwarz, Fritz. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-7091-1286-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Foundations of Algebraic Specification and Formal Software Development

Yazar

Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Fuzzy Computational Ontologies in Contexts Formal Models of Knowledge Representation with Membership Degree and Typicality of Objects, and Their Applications

Yazar

Cai, Yi. author. Au Yeung, Ching-man. author. Leung, Ho-fung. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday

Yazar

Bordihn, Henning. editor. Kutrib, Martin. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings

Yazar

Özbudak, Ferruh. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Formal Grammar 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers

Yazar

Groote, Philippe. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Research in Cryptology 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised Selected Papers

Yazar

Armknecht, Frederik. editor. Lucks, Stefan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings

Yazar

Hawblitzel, Chris. editor. Miller, Dale. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings

Yazar

Baldoni, Roberto. editor. Flocchini, Paola. editor. Binoy, Ravindran. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Sets, Logic and Maths for Computing

Yazar

Makinson, David. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Guide to Computational Geometry Processing Foundations, Algorithms, and Methods

Yazar

Bærentzen, Jakob Andreas. author. Gravesen, Jens. author. Anton, François. author. Aanæs, Henrik. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4075-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

Graph Drawing 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers

Yazar

Kreveld, Marc. editor. Speckmann, Bettina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers

Yazar

Marx, Dániel. editor. Rossmanith, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers

Yazar

Horimoto, Katsuhisa. editor. Nakatsui, Masahiko. editor. Popov, Nikolaj. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings

Yazar

Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

Yazar

Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

Yazar

Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Yazar

Ong, Luke. editor. Queiroz, Ruy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles

Yazar

Bartocci, Claudio. editor. Betti, Renato. editor. Guerraggio, Angelo. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Yazar

Swart, Harrie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings

Yazar

Winkler, Franz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Yazar

Ong, Luke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Yazar

Kuchen, Herbert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions

Yazar

Kaiser, Łukasz. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

Yazar

Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

Yazar

Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings

Yazar

Fernàndez Anta, Antonio. editor. Lipari, Giuseppe. editor. Roy, Matthieu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Game Start! Strumenti per comprendere i videogiochi

Yazar

Alinovi, Francesco. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-88-470-1956-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Graph Drawing 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers

Yazar

Brandes, Ulrik. editor. Cornelsen, Sabine. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

WALCOM: Algorithms and Computation 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings

Yazar

Katoh, Naoki. editor. Kumar, Amit. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers

Yazar

Larrosa, Javier. editor. O’Sullivan, Barry. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

Yazar

Mariño, Julio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

Mathematics and Computation in Music Third International Conference, MCM 2011, Paris, France, June 15-17, 2011. Proceedings

Yazar

Agon, Carlos. editor. Andreatta, Moreno. editor. Assayag, Gérard. editor. Amiot, Emmanuel. editor. Bresson, Jean. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

Yazar

Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Yazar

Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Combinatorial Algorithms 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers

Yazar

Iliopoulos, Costas S. editor. Smyth, William F. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

Yazar

Schreck, Pascal. editor. Narboux, Julien. editor. Richter-Gebert, Jürgen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Yazar

Jouannaud, Jean-Pierre. editor. Shao, Zhong. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Rigorous Software Development An Introduction to Program Verification

Yazar

Almeida, José Bacelar. author. Frade, Maria João. author. Pinto, Jorge Sousa. author. Melo de Sousa, Simão. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-018-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Identity-Based Encryption

Yazar

Chatterjee, Sanjit. author. Sarkar, Palash. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-9383-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

Comparative Genomics International Workshop, RECOMB-CG 2010, Ottawa, Canada, October 9-11, 2010. Proceedings

Yazar

Tannier, Eric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings

Yazar

Valtchev, Petko. editor. Jäschke, Robert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

Yazar

Beklemishev, Lev D. editor. Queiroz, Ruy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Patterns in Permutations and Words

Yazar

Kitaev, Sergey. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

Combinatorial Algorithms 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers

Yazar

Iliopoulos, Costas S. editor. Smyth, William F. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Formal Grammar 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers

Yazar

Groote, Philippe. editor. Egg, Markus. editor. Kallmeyer, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

Graph Drawing 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers

Yazar

Eppstein, David. editor. Gansner, Emden R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Arithmetic of Finite Fields Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. Proceedings

Yazar

Hasan, M. Anwar. editor. Helleseth, Tor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

Yazar

Dawar, Anuj. editor. Queiroz, Ruy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Algorithmic Number Theory 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings

Yazar

Hanrot, Guillaume. editor. Morain, François. editor. Thomé, Emmanuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings

Yazar

Janhunen, Tomi. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Kryptologie Algebraische Methoden und Algorithmen

Yazar

Karpfinger, Christian. author. Kiechle, Hubert. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Diskrete Mathematik für Einsteiger Mit Anwendungen in Technik und Informatik

Yazar

Beutelspacher, Albrecht. author. Zschiegner, Marc-Alexander. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I

Yazar

Wu, Weili. editor. Daescu, Ovidiu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part II

Yazar

Wu, Weili. editor. Daescu, Ovidiu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

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:

127.

Cryptology and Network Security 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010. Proceedings

Yazar

Heng, Swee-Huay. editor. Wright, Rebecca N. editor. Goi, Bok-Min. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings

Yazar

Lu, Chenyang. editor. Masuzawa, Toshimitsu. editor. Mosbah, Mohamed. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

Kryptografie in Theorie und Praxis Mathematische Grundlagen für Internetsicherheit, Mobilfunk und elektronisches Geld

Yazar

Beutelspacher, Albrecht. author. Neumann, Heike B. author. Schwarzpaul, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers

Yazar

Aloni, Maria. editor. Bastiaanse, Harald. editor. Jager, Tikitu. editor. Schulz, Katrin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

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:

132.

Optimization—Theory and Practice

Yazar

Forst, Wilhelm. author. Hoffmann, Dieter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Mathematica®: A Problem-Centered Approach

Yazar

Hazrat, Roozbeh. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84996-251-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

Graph-Theoretic Concepts in Computer Science 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers

Yazar

Paul, Christophe. editor. Habib, Michel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

WALCOM: Algorithms and Computation 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings

Yazar

Rahman, Md. Saidur. editor. Fujita, Satoshi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Formal Concept Analysis 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings

Yazar

Kwuida, Léonard. editor. Sertkaya, Barış. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Cryptographic Hardware and Embedded Systems - CHES 2009 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings

Yazar

Clavier, Christophe. editor. Gaj, Kris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Selected Areas in Cryptography 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers

Yazar

Avanzi, Roberto Maria. editor. Keliher, Liam. editor. Sica, Francesco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Yazar

Palsberg, Jens. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

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:

141.

Algorithmic Decision Theory First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings

Yazar

Rossi, Francesca. editor. Tsoukias, Alexis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Mathematics and Computation in Music First International Conference, MCM 2007 Berlin, Germany, May 18–20, 2007 Revised Selected Papers

Yazar

Klouche, Timour. editor. Noll, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

Provable Security Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings

Yazar

Pieprzyk, Josef. editor. Zhang, Fangguo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

Selected Areas in Cryptography 16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers

Yazar

Jacobson, Michael J. editor. Rijmen, Vincent. editor. Safavi-Naini, Reihaneh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

Combinatorial Algorithms 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28–July 2, 2009, Revised Selected Papers

Yazar

Fiala, Jiří. editor. Kratochvíl, Jan. editor. Miller, Mirka. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

Flow, Gesture, and Spaces in Free Jazz Towards a Theory of Collaboration

Yazar

Mazzola, Guerino B. author. Cherlin, Paul B. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

Yazar

Ferré, Sébastien. editor. Rudolph, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings

Yazar

Wen, Peng. editor. Li, Yuefeng. editor. Polkowski, Lech. editor. Yao, Yiyu. editor. Tsumoto, Shusaku. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Stochastic Coalgebraic Logic

Yazar

Doberkat, Ernst-Erich. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Pairing-Based Cryptography – Pairing 2009 Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings

Yazar

Shacham, Hovav. editor. Waters, Brent. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Fast Software Encryption 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers

Yazar

Dunkelman, Orr. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

Advances in Cryptology - CRYPTO 2009 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009. Proceedings

Yazar

Halevi, Shai. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

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:

154.

Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings

Yazar

Bozapalidis, Symeon. editor. Rahonis, George. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

String Processing and Information Retrieval 16th International Symposium, SPIRE 2009 Saariselkä, Finland, August 25-27, 2009 Proceedings

Yazar

Karlgren, Jussi. editor. Tarhio, Jorma. editor. Hyyrö, Heikki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Comparative Genomics International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009. Proceedings

Yazar

Ciccarelli, Francesca D. editor. Miklós, István. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

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:

158.

The q-theory of Finite Semigroups

Yazar

Rhodes, John. author. Steinberg, Benjamin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV

Yazar

Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms

Yazar

Gomes, Abel J. P. editor. Voiculescu, Irina. editor. Jorge, Joaquim. editor. Wyvill, Brian. editor. Galbraith, Callum. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-406-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

From Combinatorics to Philosophy

Yazar

Damiani, Ernesto. editor. D’Antona, Ottavio. editor. Marra, Vincenzo. editor. Palombi, Fabrizio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

A Course in Formal Languages, Automata and Groups

Yazar

Chiswell, Ian M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-940-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

Maple Règles et fonctions essentielles

Yazar

Puech, Nicolas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-2-287-48607-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

Mathematical Methods in Counterterrorism

Yazar

Memon, Nasrullah. editor. David Farley, Jonathan. editor. Hicks, David L. editor. Rosenorn, Torben. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-211-09442-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks Third IFIP WG 11.2 International Workshop, WISTP 2009, Brussels, Belgium, September 1-4, 2009, Proceedings

Yazar

Markowitch, Olivier. editor. Bilas, Angelos. editor. Hoepman, Jaap-Henk. editor. Mitchell, Chris J. editor. Quisquater, Jean-Jacques. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

Yazar

Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

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:

168.

Cryptography and Coding 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009. Proceedings

Yazar

Parker, Matthew G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

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:

170.

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:

171.

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:

172.

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:

173.

The Rubato Composer Music Software Component-Based Implementation of a Functorial Concept Architecture

Yazar

Milmeister, Gérard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

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:

175.

Algorithmic Algebraic Combinatorics and Gröbner Bases

Yazar

Klin, Mikhail. editor. Jones, Gareth A. editor. Jurišić, Aleksandar. editor. Muzychuk, Mikhail. editor. Ponomarenko, Ilia. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Yazar

Curien, Pierre-Louis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings

Yazar

Treinen, Ralf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

Mathematics and Computation in Music Second International Conference, MCM 2009, John Clough Memorial Conference New Haven, CT, USA, June 19-22, 2009. Proceedings

Yazar

Chew, Elaine. editor. Childs, Adrian. editor. Chuan, Ching-Hua. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Yazar

Berardi, Stefano. editor. Damiani, Ferruccio. editor. de’Liguoro, Ugo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings

Yazar

Carette, Jacques. editor. Dixon, Lucas. editor. Coen, Claudio Sacerdoti. editor. Watt, Stephen M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

Developments in Language Theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings

Yazar

Diekert, Volker. editor. Nowotka, Dirk. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings

Yazar

Dinur, Irit. editor. Jansen, Klaus. editor. Naor, Joseph. editor. Rolim, José. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

Yazar

Tessaris, Sergio. editor. Franconi, Enrico. editor. Eiter, Thomas. editor. Gutierrez, Claudio. editor. Handschuh, Siegfried. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

Algorithms in Invariant Theory

Yazar

Sturmfels, Bernd. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-211-77417-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

Yazar

Miculan, Marino. editor. Scagnetto, Ivan. editor. Honsell, Furio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Yazar

Degano, Pierpaolo. editor. Nicola, Rocco. editor. Meseguer, José. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

Multiaccess, Reservations & Queues

Yazar

Denteneer, Dee. author. Leeuwaarden, Johan S. H. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

Arithmetic of Finite Fields 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings

Yazar

Gathen, Joachim. editor. Imaña, José Luis. editor. Koç, Çetin Kaya. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Yazar

Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

Programming Languages An Active Learning Approach

Yazar

Lee, Kent. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

Sets, Logic and Maths for Computing

Yazar

Makinson, David. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings

Yazar

Medina, Raoul. editor. Obiedkov, Sergei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

Algorithmic Number Theory 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings

Yazar

Poorten, Alfred J. editor. Stein, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Yazar

Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

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:

196.

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:

197.

Research in Cryptology Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers

Yazar

Lucks, Stefan. editor. Sadeghi, Ahmad-Reza. editor. Wolf, Christopher. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

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:

199.

Dynamic Brain - from Neural Spikes to Behaviors 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures

Yazar

Marinaro, Maria. editor. Scarpetta, Silvia. editor. Yamaguchi, Yoko. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings

Yazar

Horimoto, Katsuhisa. editor. Regensburger, Georg. editor. Rosenkranz, Markus. editor. Yoshida, Hiroshi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings

Yazar

Autexier, Serge. editor. Campbell, John. editor. Rubio, Julio. editor. Sorge, Volker. editor. Suzuki, Masakazu. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

Developments in Language Theory 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings

Yazar

Ito, Masami. editor. Toyama, Masafumi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers

Yazar

Hertling, Peter. editor. Hoffmann, Christoph M. editor. Luther, Wolfram. editor. Revol, Nathalie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

Pairing-Based Cryptography – Pairing 2008 Second International Conference, Egham, UK, September 1-3, 2008. Proceedings

Yazar

Galbraith, Steven D. editor. Paterson, Kenneth G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

205.

Sequences and Their Applications - SETA 2008 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings

Yazar

Golomb, Solomon W. editor. Parker, Matthew G. editor. Pott, Alexander. editor. Winterhof, Arne. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

206.

Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings

Yazar

Teixeira, António. editor. Lima, Vera Lúcia Strube. editor. Oliveira, Luís Caldas. editor. Quaresma, Paulo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

207.

Coding Theory and Applications Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings

Yazar

Barbero, Ángela. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers

Yazar

Kapur, Deepak. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

209.

Comparative Genomics International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008. Proceedings

Yazar

Nelson, Craig E. editor. Vialette, Stéphane. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

Binary Quadratic Forms An Algorithmic Approach

Yazar

Buchmann, Johannes. author. Vollmer, Ulrich. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

Yazar

Fiadeiro, José Luiz. editor. Schobbens, Pierre-Yves. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

212.

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:

213.

Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings

Yazar

Kuznetsov, Sergei O. editor. Schmidt, Stefan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

Arithmetic of Finite Fields First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. Proceedings

Yazar

Carlet, Claude. editor. Sunar, Berk. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings

Yazar

Harju, Tero. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings

Yazar

Anai, Hirokazu. editor. Horimoto, Katsuhisa. editor. Kutsia, Temur. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

217.

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

Yazar

Baader, Franz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

Pairing-Based Cryptography – Pairing 2007 First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings

Yazar

Takagi, Tsuyoshi. editor. Okamoto, Tatsuaki. editor. Okamoto, Eiji. editor. Okamoto, Takeshi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

219.

Mathematics of Surfaces XII 12th IMA International Conference, Sheffield, UK, September 4-6, 2007. Proceedings

Yazar

Martin, Ralph. editor. Sabin, Malcolm. editor. Winkler, Joab. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

Max-Plus Linear Stochastic Systems and Perturbation Analysis

Yazar

Heidergott, Bernd. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

221.

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

Yazar

Bozapalidis, Symeon. editor. Rahonis, George. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Yazar

Altenkirch, Thorsten. editor. McBride, Conor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

223.

Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Yazar

Pfenning, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

224.

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

Yazar

Calmet, Jacques. editor. Ida, Tetsuo. editor. Wang, Dongming. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

225.

Sequences and Their Applications – SETA 2006 4th International Conference Beijing, China, September 24-28, 2006 Proceedings

Yazar

Gong, Guang. editor. Helleseth, Tor. editor. Song, Hong-Yeop. editor. Yang, Kyeongcheol. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

226.

Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

Yazar

Swart, Harrie. editor. Orłowska, Ewa. editor. Schmidt, Gunther. editor. Roubens, Marc. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

227.

Quantum Computation and Quantum Communication Theory and Experiments

Yazar

Pavičić, Mladen. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

228.

Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings

Yazar

Missaoui, Rokia. editor. Schmidt, Jürg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

229.

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings

Yazar

Ibarra, Oscar H. editor. Dang, Zhe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

The Mathematica GuideBook for Symbolics

Yazar

Trott, Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

M-Solid Varieties of Algebras

Yazar

Koppitz, J. author. Denecke, K. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

232.

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Yazar

Filliâtre, Jean-Christophe. editor. Paulin-Mohring, Christine. editor. Werner, Benjamin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory

Yazar

Lau, Dietlinde. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

234.

OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy

Yazar

Kohlhase, Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

235.

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

Yazar

Iglesias, Andrés. editor. Takayama, Nobuki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

236.

Continuous System Simulation

Yazar

Cellier, François E. author. Kofman, Ernesto. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

237.

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:

238.

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

Yazar

Johnson, Michael. editor. Vene, Varmo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

239.

Algorithmic Number Theory 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006. Proceedings

Yazar

Hess, Florian. editor. Pauli, Sebastian. editor. Pohst, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

240.

Mathematical Morphology: 40 Years On Proceedings of the 7th International Symposium on Mathematical Morphology, April 18–20, 2005

Yazar

Ronse, Christian. editor. Najman, Laurent. editor. Decencière, Etienne. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-3443-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

Mathematics of Surfaces XI 11th IMA International Conference, Loughborough, UK, September 5-7, 2005. Proceedings

Yazar

Martin, Ralph. editor. Bez, Helmut. editor. Sabin, Malcolm. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

242.

Advanced Encryption Standard – AES 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers

Yazar

Dobbertin, Hans. editor. Rijmen, Vincent. editor. Sowa, Aleksandra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

243.

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

Yazar

Fiadeiro, José Luiz. editor. Mosses, Peter D. editor. Orejas, Fernando. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

244.

Cognitive Engineering A Distributed Approach to Machine Intelligence

Yazar

Konar, Amit. author. Jain, Lakhmi. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-234-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

245.

Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings

Yazar

Giesl, Jürgen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

246.

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers

Yazar

Jermann, Christophe. editor. Neumaier, Arnold. editor. Sam, Djamila. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

247.

Sequences and Their Applications - SETA 2004 Third International Conference, Seoul, Korea, October 24-28, 2004. Revised Selected Papers

Yazar

Helleseth, Tor. editor. Sarwate, Dilip. editor. Song, Hong-Yeop. editor. Yang, Kyeongcheol. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

248.

High Performance Computational Science and Engineering IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France

Yazar

Ng, Michael K. editor. Doncescu, Andrei. editor. Yang, Laurence T. editor. Leng, Tau. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

249.

Computer Graphics and Geometric Modeling Implementation and Algorithms

Yazar

Agoston, Max K. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

250.

Computer Graphics and Geometric Modeling Mathematics

Yazar

Agoston, Max K. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

251.

Computer viruses: from theory to applications

Yazar

Filiol, Eric. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/2-287-28099-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

252.

Modular Algorithms in Symbolic Summation and Symbolic Integration

Yazar

Gerhard, Jürgen. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}