Search Results for Programming.

1.

Fifty Years of Fuzzy Logic and its Applications

Yazar

Tamir, Dan E. editor. Rishe, Naphtali D. editor. Kandel, Abraham. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-19683-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Advanced Computational Methods for Knowledge Engineering Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015

Yazar

Le Thi, Hoai An. editor. Nguyen, Ngoc Thanh. editor. Do, Tien Van. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-45234-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-45231-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

Yazar

Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 Dix, Jürgen. editor. van Riemsdijk, M. Birna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-14484-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Yazar

Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08615-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes

Yazar

Bosse, Tibor. editor. Broekens, Joost. editor. Dias, João. editor. (orcid)0000-0002-1653-1821 van der Zwaan, Janneke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-12973-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Game ai pro : collected wisdom of game ai professionals

Yazar

Rabin, Steven, editor. Taylor and Francis.

Yer Numarası

QA76.76 .C672

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Principles of Data Mining

Yazar

Bramer, Max. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331086.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4884-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Handbook of Neuroevolution Through Erlang

Yazar

Sher, Gene I. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331512.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-4463-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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:

12.

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

Yazar

Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.

Yer Numarası

ONLINE(334041.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

The Deductive Spreadsheet

Yazar

Cervesato, Iliano. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334475.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

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:

15.

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Yazar

Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334556.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

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

Yazar

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

Yer Numarası

ONLINE(335023.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Autonomic Computing Principles, Design and Implementation

Yazar

Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331115.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Giants of Computing A Compendium of Select, Pivotal Pioneers

Yazar

O’Regan, Gerard. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331194.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5340-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

Yazar

Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332934.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Yazar

Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332962.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

Yazar

Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334142.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Yazar

Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334820.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Yazar

Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334055.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

Yazar

Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334120.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

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:

26.

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

Yazar

Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.

Yer Numarası

ONLINE(334979.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings

Yazar

Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335124.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Yazar

Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335125.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

Yazar

Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335210.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Artificial intelligence for games

Yazar

Millington, Ian. Funge, John David, 1968-

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780123747310

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Artificial intelligence and soft computing : behavioral and cognitive modeling of the human brain

Yazar

Konar, Amit, author.

Yer Numarası

QA76.9 .S63 K59 2000

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy

Yazar

McCarthy, John, 1927-2011. Lifschitz, Vladimir.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780124500105

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}