Search Results for Mathematics

1.

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:

2.

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

Yazar

Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334264.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

The Language of Mathematics A Linguistic and Philosophical Investigation

Yazar

Ganesalingam, Mohan. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334341.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers

Yazar

Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332975.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

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

Yazar

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

Yer Numarası

ONLINE(332999.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Computational Intelligence A Methodological Introduction

Yazar

Kruse, Rudolf. author. Borgelt, Christian. author. Klawonn, Frank. author. Moewes, Christian. author. Steinbrecher, Matthias. author.

Yer Numarası

ONLINE(331117.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5013-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Particle Filters for Random Set Models

Yazar

Ristic, Branko. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332002.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-6316-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Search Theory A Game Theoretic Perspective

Yazar

Alpern, Steve. editor. Fokkink, Robbert. editor. Gąsieniec, Leszek. editor. Lindelauf, Roy. editor. Subrahmanian, V.S. editor.

Yer Numarası

ONLINE(332129.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-6825-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Geometry of Knowledge for Intelligent Systems

Yazar

Resconi, Germano. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333167.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Automation, Communication and Cybernetics in Science and Engineering 2011/2012

Yazar

Jeschke, Sabina. editor. Isenhardt, Ingrid. editor. Hees, Frank. editor. Henning, Klaus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333703.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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

Yazar

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

Yer Numarası

ONLINE(334064.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Modeling, Simulation and Optimization of Bipedal Walking

Yazar

Mombaur, Katja. editor. Berns, Karsten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334186.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Credibilistic Programming An Introduction to Models and Applications

Yazar

Li, Xiang. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334188.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Emerging Intelligent Computing Technology and Applications 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings

Yazar

Huang, De-Shuang. editor. Gupta, Phalguni. editor. Wang, Ling. editor. Gromiha, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334835.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part I

Yazar

Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335036.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part II

Yazar

Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335037.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part III

Yazar

Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335038.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers

Yazar

Atzmueller, Martin. editor. Chin, Alvin. editor. Helic, Denis. editor. Hotho, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335214.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Combinatorial Search: From Algorithms to Systems

Yazar

Hamadi, Youssef. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335109.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Multidimensional Data Visualization Methods and Applications

Yazar

Dzemyda, Gintautas. author. Kurasova, Olga. author. Žilinskas, Julius. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330795.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-0236-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Extremal Fuzzy Dynamic Systems Theory and Applications

Yazar

Sirbiladze, Gia. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331460.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-4250-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Risk Assessment and Management in the Networked Economy

Yazar

Hussain, Omar K. author. Dillon, Tharam S. author. Hussain, Farookh K. author. Chang, Elizabeth J. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333196.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Generating Analog IC Layouts with LAYGEN II

Yazar

Martins, Ricardo M. F. author. Lourenço, Nuno C. C. author. Horta, Nuno C. G. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333672.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings

Yazar

Pfeiffer, Heather D. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. Gadiraju, Nagarjuna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334048.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

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:

26.

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

Yazar

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

Yer Numarası

ONLINE(334615.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Dimensionality Reduction with Unsupervised Nearest Neighbors

Yazar

Kramer, Oliver. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334643.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

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

Yazar

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

Yer Numarası

ONLINE(334653.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

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:

30.

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

Yazar

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

Yer Numarası

ONLINE(332892.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Knowledge Spaces Applications in Education

Yazar

Falmagne, Jean-Claude. editor. Albert, Dietrich. editor. Doble, Christopher. editor. Eppstein, David. editor. Hu, Xiangen. editor.

Yer Numarası

ONLINE(333964.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

Yazar

Lodaya, Kamal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334105.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

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

Yazar

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

Yer Numarası

ONLINE(334121.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013

Yazar

Yin, Zhixiang. editor. Pan, Linqiang. editor. Fang, Xianwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334443.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Advances in Probabilistic Databases for Uncertain Information Management

Yazar

Ma, Zongmin. editor. Yan, Li. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334444.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Intention Recognition, Commitment and Their Roles in the Evolution of Cooperation From Artificial Intelligence Techniques to Evolutionary Game Theory Models

Yazar

Han, The Anh. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334445.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

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

Yazar

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

Yer Numarası

ONLINE(334657.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

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

Yazar

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

Yer Numarası

ONLINE(334665.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

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

Yazar

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

Yer Numarası

ONLINE(334549.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

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

Yazar

Albert, Elvira. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334552.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I

Yazar

Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334722.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II

Yazar

Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334723.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

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

Yazar

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

Yer Numarası

ONLINE(334724.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

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

Yazar

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

Yer Numarası

ONLINE(334879.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings

Yazar

Nascimento, Mario A. editor. Sellis, Timos. editor. Cheng, Reynold. editor. Sander, Jörg. editor. Zheng, Yu. editor.

Yer Numarası

ONLINE(334915.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

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

Yazar

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

Yer Numarası

ONLINE(334962.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

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

Yazar

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

Yer Numarası

ONLINE(334969.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

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

Yazar

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

Yer Numarası

ONLINE(335176.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

The 3rd International Workshop on Intelligent Data Analysis and Management

Yazar

Uden, Lorna. editor. Wang, Leon S.L. editor. Hong, Tzung-Pei. editor. Yang, Hsin-Chang. editor. Ting, I-Hsien. editor.

Yer Numarası

ONLINE(336358.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-7293-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}