Arama Sonuçları Programming. - Daraltılmış: Artificial intelligence.

Answer Set Programming

2026-01-20T21:48:13Z

Yazar Lifschitz, Vladimir. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24658-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cartesian Genetic Programming

2026-01-20T21:48:13Z

Yazar Miller, Julian F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17310-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linear Genetic Programming

2026-01-20T21:48:13Z

Yazar Brameier, Markus F. author. Banzhaf, Wolfgang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-31030-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiparadigm Constraint Programming Languages

2026-01-20T21:48:13Z

Yazar Hofstedt, Petra. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17330-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice III

2026-01-20T21:48:13Z

Yazar Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28111-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice II

2026-01-20T21:48:13Z

Yazar O’Reilly, Una-May. editor. Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b101112
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robot souls : programming in humanity

2026-01-20T21:48:13Z

Yazar Poole, Eve, 1972- author.
Yer Numarası Q335
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003366614 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice XVI

2026-01-20T21:48:13Z

Yazar Banzhaf, Wolfgang. editor. Spector, Lee. editor. Sheneman, Leigh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04735-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice XIV

2026-01-20T21:48:13Z

Yazar Riolo, Rick. editor. Worzel, Bill. editor. Goldman, Brian. editor. Tozier, Bill. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-97088-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice XV

2026-01-20T21:48:13Z

Yazar Banzhaf, Wolfgang. editor. Olson, Randal S. editor. Tozier, William. editor. Riolo, Rick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90512-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice XI

2026-01-20T21:48:13Z

Yazar Riolo, Rick. editor. Moore, Jason H. editor. Kotanchek, Mark. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4939-0375-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constraint Programming and Decision Making

2026-01-20T21:48:13Z

Yazar Ceberio, Martine. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-04280-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice X

2026-01-20T21:48:13Z

Yazar Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332135.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6846-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice VIII

2026-01-20T21:48:13Z

Yazar Riolo, Rick. editor. McConaghy, Trent. editor. Vladislavleva, Ekaterina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7747-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice IX

2026-01-20T21:48:13Z

Yazar Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Moore, Jason H. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1770-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice VII

2026-01-20T21:48:13Z

Yazar Riolo, Rick. editor. O'Reilly, Una-May. editor. McConaghy, Trent. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-1626-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice VI

2026-01-20T21:48:13Z

Yazar Worzel, Bill. editor. Soule, Terence. editor. Riolo, Rick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-87623-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice V

2026-01-20T21:48:13Z

Yazar Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-76308-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice IV

2026-01-20T21:48:13Z

Yazar Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-49650-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic Programming A Computational Tool

2026-01-20T21:48:13Z

Yazar Art, Lew. author. Mauch, Holger. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-37014-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Systems Programming Theory and Experiences

2026-01-20T21:48:13Z

Yazar Nedjah, Nadia. editor. Mourelle, Luiza de Macedo. editor. Abraham, Ajith. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-32498-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automatic Quantum Computer Programming A Genetic Programming Approach

2026-01-20T21:48:13Z

Yazar Spector, Lee. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-36791-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming IV Routine Human-Competitive Machine Intelligence

2026-01-20T21:48:13Z

Yazar Koza, John R. author. Keane, Martin A. author. Streeter, Matthew J. author. Mydlowec, William. author. Yu, Jessen. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137549
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30048-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02768-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Hooker, John. editor. (orcid)0000-0003-3169-1871 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-98334-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

2026-01-20T21:48:13Z

Yazar O'Sullivan, Barry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10428-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Probabilistic Inductive Logic Programming Theory and Applications

2026-01-20T21:48:13Z

Yazar Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78652-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Programming Languages, Platforms and Applications

2026-01-20T21:48:13Z

Yazar Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137449
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Mathematical Programming and Fuzzy Matrix Games

2026-01-20T21:48:13Z

Yazar Bector, C. R. author. Chandra, Suresh. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-32371-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Problem solving methods, programming, and future concepts

2026-01-20T21:48:13Z

Yazar German, O. V. (Oleg Vitolʹdovich) Ofitserov, Dmitri V.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444822260
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ChatGPT & Co. : A Workbook for Writing, Research, Creating Images, Programming, and More

2026-01-20T21:48:13Z

Yazar Hattenhauer, Rainer, author.
Yer Numarası Q335
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003503675 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming with GitHub Copilot : Write Better Code--Faster!

2026-01-20T21:48:13Z

Yazar Dowswell, Kurt, author.
Yer Numarası QA76.76 .D47
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319787
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14805-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Rousseau, Louis-Martin. editor. Stergiou, Kostas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19212-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concepts of Soft Computing Fuzzy and ANN with Programming

2026-01-20T21:48:13Z

Yazar Chakraverty, Snehashish. author. Sahoo, Deepti Moyi. author. Mahato, Nisha Rani. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-7430-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-20528-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Thachuk, Chris. editor. Liu, Yan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26807-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Hu, Ting. editor. (orcid)0000-0001-6382-0602 Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Richter, Hendrik. editor. (orcid)0000-0001-5417-8291 García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-16670-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Zsók, Viktória. editor. Porkoláb, Zoltán. editor. Horváth, Zoltán. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-28346-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment

2026-01-20T21:48:13Z

Yazar Ahlbrecht, Tobias. editor. (orcid)0000-0002-4652-901X Dix, Jürgen. editor. (orcid)0000-0002-8528-1440 Fiekas, Niklas. editor. (orcid)0000-0002-8369-4890 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-37959-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Java® programming for IoT, AI, and Blockchain

2026-01-20T21:48:13Z

Yazar Xiao, Perry, author.
Yer Numarası QA76.73 .J38 X536 2019 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119560050
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00030-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00801-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703 Bellodi, Elena. editor. (orcid)0000-0002-3717-3779 Zese, Riccardo. editor. (orcid)0000-0001-8352-6304 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99960-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Castelli, Mauro. editor. Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Zhang, Mengjie. editor. Cagnoni, Stefano. editor. García-Sánchez, Pablo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77553-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constraint Programming and Decision Making: Theory and Applications

2026-01-20T21:48:13Z

Yazar Ceberio, Martine. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61753-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Lachiche, Nicolas. editor. Vrain, Christel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78090-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar van Hoeve, Willem-Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93031-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89884-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44923-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications

2026-01-20T21:48:13Z

Yazar Janjua, Naeem Khalid. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-03949-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Nicolau, Miguel. editor. Krawiec, Krzysztof. editor. Heywood, Malcolm I. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44303-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

2026-01-20T21:48:13Z

Yazar Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-07151-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Rocha, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08909-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings

2026-01-20T21:48:13Z

Yazar Brugali, Davide. editor. Broenink, Jan. editor. Kroeger, Torsten. editor. MacDonald, Bruce. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11900-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-20T21:48:13Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2026-01-20T21:48:13Z

Yazar Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.
Yer Numarası ONLINE(334384.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37207-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334652.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38700-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334673.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38812-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Tompits, Hans. editor. Abreu, Salvador. editor. Oetsch, Johannes. editor. Pührer, Jörg. editor. Seipel, Dietmar. editor.
Yer Numarası ONLINE(335118.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41524-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

2026-01-20T21:48:13Z

Yazar McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335196.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45221-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-20T21:48:13Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive Dynamic Programming for Control Algorithms and Stability

2026-01-20T21:48:13Z

Yazar Zhang, Huaguang. author. Liu, Derong. author. Luo, Yanhong. author. Wang, Ding. author. SpringerLink (Online service)
Yer Numarası ONLINE(331049.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4757-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Credibilistic Programming An Introduction to Models and Applications

2026-01-20T21:48:13Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Logics Essays in Memory of Harald Ganzinger

2026-01-20T21:48:13Z

Yazar Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334468.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37651-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-20T21:48:13Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

2026-01-20T21:48:13Z

Yazar Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334841.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39721-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012. Proceedings

2026-01-20T21:48:13Z

Yazar Moraglio, Alberto. editor. Silva, Sara. editor. Krawiec, Krzysztof. editor. Machado, Penousal. editor. Cotta, Carlos. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29139-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Collier, Rem. editor. Dix, Jürgen. editor. Novák, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28939-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

2026-01-20T21:48:13Z

Yazar Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29822-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings

2026-01-20T21:48:13Z

Yazar Beldiceanu, Nicolas. editor. Jussien, Narendra. editor. Pinson, Éric. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29828-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scientific Workflows Programming, Optimization, and Synthesis with ASKALON and AWDL

2026-01-20T21:48:13Z

Yazar Qin, Jun. author. Fahringer, Thomas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30715-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Dennis, Louise. editor. Boissier, Olivier. editor. Bordini, Rafael H. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31915-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Muggleton, Stephen H. editor. Tamaddoni-Nezhad, Alireza. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31951-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DNA Computing and Molecular Programming 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings

2026-01-20T21:48:13Z

Yazar Stefanovic, Darko. editor. Turberfield, Andrew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32208-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings

2026-01-20T21:48:13Z

Yazar Noda, Itsuki. editor. Ando, Noriaki. editor. Brugali, Davide. editor. Kuffner, James J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34327-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

2026-01-20T21:48:13Z

Yazar Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28717-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DNA Computing and Molecular Programming 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Sakakibara, Yasubumi. editor. Mi, Yongli. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-18305-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

2026-01-20T21:48:13Z

Yazar Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20832-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

2026-01-20T21:48:13Z

Yazar Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20895-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-20T21:48:13Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers

2026-01-20T21:48:13Z

Yazar Frasconi, Paolo. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21295-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings

2026-01-20T21:48:13Z

Yazar Achterberg, Tobias. editor. Beck, J. Christopher. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21311-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-20T21:48:13Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings

2026-01-20T21:48:13Z

Yazar Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22546-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2026-01-20T21:48:13Z

Yazar Barthe, Gilles. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19718-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DNA Computing and Molecular Programming 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

2026-01-20T21:48:13Z

Yazar Cardelli, Luca. editor. Shih, William. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23638-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-20T21:48:13Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming 14th European Conference, EuroGP 2011, Torino, Italy, April 27-29, 2011. Proceedings

2026-01-20T21:48:13Z

Yazar Silva, Sara. editor. Foster, James A. editor. Nicolau, Miguel. editor. Machado, Penousal. editor. Giacobini, Mario. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20407-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Declarative Programming and Knowledge Management 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Abreu, Salvador. editor. Seipel, Dietmar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20589-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming – CP 2011 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings

2026-01-20T21:48:13Z

Yazar Lee, Jimmy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23786-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings

2026-01-20T21:48:13Z

Yazar Lodi, Andrea. editor. Milano, Michela. editor. Toth, Paolo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13520-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-20T21:48:13Z

Yazar Dovier, Agostino. editor. Pontelli, Enrico. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14309-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

2026-01-20T21:48:13Z

Yazar Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16242-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings

2026-01-20T21:48:13Z

Yazar Qin, Shengchao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16690-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings

2026-01-20T21:48:13Z

Yazar Ando, Noriaki. editor. Balakirsky, Stephen. editor. Hemker, Thomas. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17319-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers

2026-01-20T21:48:13Z

Yazar Schmid, Ute. editor. Kitzelmann, Emanuel. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11931-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2026-01-20T21:48:13Z

Yazar Gordon, Andrew D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11957-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Escobar, Santiago. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11999-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings

2026-01-20T21:48:13Z

Yazar Esparcia-Alcázar, Anna Isabel. editor. Ekárt, Anikó. editor. Silva, Sara. editor. Dignum, Stephen. editor. Uyar, A. Şima. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12148-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings

2026-01-20T21:48:13Z

Yazar Blume, Matthias. editor. Kobayashi, Naoki. editor. Vidal, Germán. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12251-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Space-Time Continuous Models of Swarm Robotic Systems Supporting Global-to-Local Programming

2026-01-20T21:48:13Z

Yazar Hamann, Heiko. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13377-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

2026-01-20T21:48:13Z

Yazar Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14165-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Butterfield, Andrew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14521-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Braubach, Lars. editor. Briot, Jean-Pierre. editor. Thangarajah, John. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14843-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Mobile Robots with Aria and Player A Guide to C++ Object-Oriented Control

2026-01-20T21:48:13Z

Yazar Whitbrook, Amanda. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-864-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Developments in Multiple Objective and Goal Programming

2026-01-20T21:48:13Z

Yazar Jones, Dylan. editor. Tamiz, Mehrdad. editor. Ries, Jana. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10354-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings

2026-01-20T21:48:13Z

Yazar Cohen, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15396-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17511-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DNA Computing and Molecular Programming 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Deaton, Russell. editor. Suyama, Akira. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10604-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Declarative Programming and Knowledge Management 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Seipel, Dietmar. editor. Hanus, Michael. editor. Wolf, Armin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00675-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming 12th European Conference, EuroGP 2009 Tübingen, Germany, April 15-17, 2009 Proceedings

2026-01-20T21:48:13Z

Yazar Vanneschi, Leonardo. editor. Gustafson, Steven. editor. Moraglio, Alberto. editor. Falco, Ivanoe. editor. Ebner, Marc. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01181-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

2026-01-20T21:48:13Z

Yazar Hill, Patricia M. editor. Warren, David S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02846-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

2026-01-20T21:48:13Z

Yazar Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04238-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings

2026-01-20T21:48:13Z

Yazar Hoeve, Willem-Jan. editor. Hooker, John N. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01929-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Oddi, Angelo. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03251-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers

2026-01-20T21:48:13Z

Yazar Hindriks, Koen V. editor. Pokahr, Alexander. editor. Sardina, Sebastian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03278-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings

2026-01-20T21:48:13Z

Yazar O’Neill, Michael. editor. Vanneschi, Leonardo. editor. Gustafson, Steven. editor. Esparcia Alcázar, Anna Isabel. editor. Falco, Ivanoe. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78671-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

2026-01-20T21:48:13Z

Yazar Garrigue, Jacques. editor. Hermenegildo, Manuel V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78969-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers

2026-01-20T21:48:13Z

Yazar Dastani, Mehdi. editor. El Fallah Seghrouchni, Amal. editor. Ricci, Alessandro. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79043-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

2026-01-20T21:48:13Z

Yazar Železný, Filip. editor. Lavrač, Nada. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85928-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings

2026-01-20T21:48:13Z

Yazar Stuckey, Peter J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85958-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings

2026-01-20T21:48:13Z

Yazar Perron, Laurent. editor. Trick, Michael A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68155-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Fages, François. editor. Rossi, Francesca. editor. Soliman, Sylvain. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89812-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

2026-01-20T21:48:13Z

Yazar Garcia de la Banda, Maria. editor. Pontelli, Enrico. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89982-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Blockeel, Hendrik. editor. Ramon, Jan. editor. Shavlik, Jude. editor. Tadepalli, Prasad. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78469-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings

2026-01-20T21:48:13Z

Yazar Carpin, Stefano. editor. Noda, Itsuki. editor. Pagello, Enrico. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89076-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

2026-01-20T21:48:13Z

Yazar Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89439-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007. Proceedings

2026-01-20T21:48:13Z

Yazar Ebner, Marc. editor. O’Neill, Michael. editor. Ekárt, Anikó. editor. Vanneschi, Leonardo. editor. Esparcia-Alcázar, Anna Isabel. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71605-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings

2026-01-20T21:48:13Z

Yazar Baral, Chitta. editor. Brewka, Gerhard. editor. Schlipf, John. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72200-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings

2026-01-20T21:48:13Z

Yazar Hentenryck, Pascal. editor. Wolsey, Laurence. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72397-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

2026-01-20T21:48:13Z

Yazar Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73817-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Muggleton, Stephen. editor. Otero, Ramon. editor. Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73847-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2026-01-20T21:48:13Z

Yazar Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Seghrouchni, Amal El Fallah. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71956-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings

2026-01-20T21:48:13Z

Yazar Bessière, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74970-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

2026-01-20T21:48:13Z

Yazar Dahl, Véronica. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74610-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

2026-01-20T21:48:13Z

Yazar Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75560-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming for Peace Computer-Aided Methods for International Conflict Resolution and Prevention

2026-01-20T21:48:13Z

Yazar Trappl, Robert. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-4390-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-20T21:48:13Z

Yazar Nikolaev, Nikolay Y. author. Iba, Hitoshi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-31240-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings

2026-01-20T21:48:13Z

Yazar Collet, Pierre. editor. Tomassini, Marco. editor. Ebner, Marc. editor. Gustafson, Steven. editor. Ekárt, Anikó. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11729976
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Gene Expression Programming Mathematical Modeling by an Artificial Intelligence

2026-01-20T21:48:13Z

Yazar Ferreira, Cândida. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-32849-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

2026-01-20T21:48:13Z

Yazar Bordini, Rafael H. editor. Dastani, Mehdi M. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11678823
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

2026-01-20T21:48:13Z

Yazar Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11754602
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings

2026-01-20T21:48:13Z

Yazar Beck, J. Christopher. editor. Smith, Barbara M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11757375
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2026-01-20T21:48:13Z

Yazar Etalle, Sandro. editor. Truszczyński, Mirosław. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11799573
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings

2026-01-20T21:48:13Z

Yazar Benhamou, Frédéric. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11889205
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

2026-01-20T21:48:13Z

Yazar Hagiya, Masami. editor. Wadler, Philip. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11737414
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines

2026-01-20T21:48:13Z

Yazar Bhattacharya, Alakananda. author. Konar, Amit. author. Mandal, Ajit K. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-33459-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Declarative Programming for Knowledge Management 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Umeda, Masanobu. editor. Wolf, Armin. editor. Bartenstein, Oskar. editor. Geske, Ulrich. editor. Seipel, Dietmar. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11963578
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

2026-01-20T21:48:13Z

Yazar Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11916277
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Robots The Art and Science of Programming Robotic Agents

2026-01-20T21:48:13Z

Yazar Thielscher, Michael. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3069-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

2026-01-20T21:48:13Z

Yazar Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11591191
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

2026-01-20T21:48:13Z

Yazar Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11546207
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings

2026-01-20T21:48:13Z

Yazar Kramer, Stefan. editor. Pfahringer, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11536314
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings

2026-01-20T21:48:13Z

Yazar Gabbrielli, Maurizio. editor. Gupta, Gopal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11562931
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings

2026-01-20T21:48:13Z

Yazar Keijzer, Maarten. editor. Tettamanzi, Andrea. editor. Collet, Pierre. editor. Hemert, Jano. editor. Tomassini, Marco. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b107383
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

2026-01-20T21:48:13Z

Yazar Beek, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11564751
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

2026-01-20T21:48:13Z

Yazar Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106890
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

2026-01-20T21:48:13Z

Yazar Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105887
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Seipel, Dietmar. editor. Hanus, Michael. editor. Geske, Ulrich. editor. Bartenstein, Oskar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b135595
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedings

2026-01-20T21:48:13Z

Yazar Barták, Roman. editor. Milano, Michela. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136920
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

2026-01-20T21:48:13Z

Yazar Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106931
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22888-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26601-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Services Computing – SCC 2019 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Ferreira, Joao Eduardo. editor. (orcid)0000-0001-9607-2014 Musaev, Aibek. editor. (orcid)0000-0001-5836-8754 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23554-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32409-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Yangui, Sami. editor. (orcid)0000-0001-9756-642X Bouassida Rodriguez, Ismael. editor. Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Tari, Zahir. editor. (orcid)0000-0002-1235-9673 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33702-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Services – ICWS 2019 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Miller, John. editor. Stroulia, Eleni. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23499-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05998-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Gashi, Ilir. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26250-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing – ICSOC 2018 Workshops ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Liu, Xiao. editor. Mrissa, Michael. editor. Zhang, Liang. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Ghose, Aditya. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17642-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21500-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

2026-01-20T21:48:13Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17601-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31517-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31095-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31784-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model and Data Engineering 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Schewe, Klaus-Dieter. editor. (orcid)0000-0002-8309-1803 Singh, Neeraj Kumar. editor. (orcid)0000-0002-1124-0179 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32065-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30942-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Calinescu, Radu. editor. (orcid)0000-0002-2678-9260 Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30856-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35333-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Tutoring Systems 15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Coy, Andre. editor. Hayashi, Yugo. editor. Chang, Maiga. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22244-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77935-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Bakhshi, Rena. editor. Ballarini, Paolo. editor. Barbot, Benoît. editor. Castel-Taleb, Hind. editor. Remke, Anne. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02227-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar German, Reinhard. editor. Hielscher, Kai-Steffen. editor. Krieger, Udo R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74947-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Tutoring Systems 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11–15, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Nkambou, Roger. editor. Azevedo, Roger. editor. Vassileva, Julita. editor. (orcid)0000-0001-5050-3106 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91464-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95582-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99927-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28–30, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Traore, Issa. editor. (orcid)0000-0003-2987-8047 Woungang, Isaac. editor. (orcid)0000-0003-2484-4649 Ahmed, Sherif Saad. editor. Malik, Yasir. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03712-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Services – ICWS 2018 25th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Jin, Hai. editor. Wang, Qingyang. editor. (orcid)0000-0002-5729-2898 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94289-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04771-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90421-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Services Computing – SCC 2018 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Ferreira, João Eduardo. editor. (orcid)0000-0001-9607-2014 Spanoudakis, George. editor. Ma, Yutao. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94376-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Seidl, Martina. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74730-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Kamsties, Erik. editor. (orcid)0000-0002-7373-8466 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77243-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74781-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99241-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

2026-01-20T21:48:13Z

Yazar Lohstroh, Marten. editor. Derler, Patricia. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95246-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II

2026-01-20T21:48:13Z

Yazar Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02671-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

2026-01-20T21:48:13Z

Yazar Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96562-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I

2026-01-20T21:48:13Z

Yazar Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02610-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2026-01-20T21:48:13Z

Yazar de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90089-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-98938-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99229-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99498-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99906-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2026-01-20T21:48:13Z

Yazar Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 Golfarelli, Mattéo. editor. (orcid)0000-0002-0437-0725 Méry, Dominique. editor. (orcid)0000-0001-5231-6611 Ordonez, Carlos. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00856-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings

2026-01-20T21:48:13Z

Yazar Sauer, Stefan. editor. Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Forbrig, Peter. editor. Bernhaupt, Regina. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44811-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12154-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings

2026-01-20T21:48:13Z

Yazar Ait Ameur, Yamine. editor. Bellatreche, Ladjel. editor. Papadopoulos, George A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11587-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings

2026-01-20T21:48:13Z

Yazar Bikakis, Antonis. editor. Fodor, Paul. editor. Roman, Dumitru. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09870-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Cerone, Antonio. editor. Persico, Donatella. editor. Fernandes, Sara. editor. Garcia-Perez, Alexeis. editor. Katsaros, Panagiotis. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54338-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54108-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

2026-01-20T21:48:13Z

Yazar Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44471-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Tutoring Systems 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings

2026-01-20T21:48:13Z

Yazar Trausan-Matu, Stefan. editor. Boyer, Kristy. editor. Crosby, Martha. editor. Panourgia, Kitty. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-07221-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings

2026-01-20T21:48:13Z

Yazar Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-14130-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Algorithms First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings

2026-01-20T21:48:13Z

Yazar Gupta, Prosenjit. editor. Zaroliagis, Christos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-04126-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi

2026-01-20T21:48:13Z

Yazar Arif, Tariq M., author. John Wiley & Sons, publisher.
Yer Numarası Q325.73 .A75 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ALPHAGO SIMPLIFIED rule-based ai and deep learning in everyday games.

2026-01-20T21:48:13Z

Yazar Liu, Mark.
Yer Numarası Q325.5
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781032722207 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Choreomata : performance and performativity after AI

2026-01-20T21:48:13Z

Yazar Trillo, Roberto Alonso, 1983- editor. Poliks, Marek, editor.
Yer Numarası PN1584
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003312338 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

INTELLIGENT AUTOMATION bridging the gap between business and academia.

2026-01-20T21:48:13Z

Yazar Myers, Marie, editor. Brace, Carol, editor. Carden, Lila, editor.
Yer Numarası Q335
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003276128 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Build AI-enhanced audio plugins with C++

2026-01-20T21:48:13Z

Yazar Yee-King, Matthew John, author.
Yer Numarası ML74.3
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003365495 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent systems of computing and informatics

2026-01-20T21:48:13Z

Yazar Karim, Samsul Ariffin Abdul, editor.
Yer Numarası Q335
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003400387 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Game AI uncovered. Volume two

2026-01-20T21:48:13Z

Yazar Roberts, Paul (Game programmer), editor.
Yer Numarası GV1469.3
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003323549 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

BLOCKCHAIN AND DIGITAL TWIN ENABLED IOT NETWORKS privacy and security.

2026-01-20T21:48:13Z

Yazar Kumar, Randhir. Kumar, Prabhat. C C, Sobin.
Yer Numarası QA76.9 .A25
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003403791 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantum artificial intelligence with Qiskit.

2026-01-20T21:48:13Z

Yazar Wichert, Andrzej, author.
Yer Numarası Q335
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003374404 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

LARGE LANGUAGE MODELS concepts, techniques and applications.

2026-01-20T21:48:13Z

Yazar Atkinson-Abutridy, John.
Yer Numarası Q335
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003517245 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

GAME AI UNCOVERED. Volume one

2026-01-20T21:48:13Z

Yazar Roberts, Paul (Game programmer) Dent, Nicholas (Illustrator)
Yer Numarası GV1469.3
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003324102 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

International Conference on Innovative Computing and Communications Proceedings of ICICC 2023, Volume 1

2026-01-20T21:48:13Z

Yazar Hassanien, Aboul Ella. editor. Castillo, Oscar. editor. Anand, Sameer. editor. Jaiswal, Ajay. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-3315-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Informatics in Control, Automation and Robotics 18th International Conference, ICINCO 2021 Lieusaint - Paris, France, July 6-8, 2021, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Gusikhin, Oleg. editor. Madani, Kurosh. editor. Nijmeijer, Henk. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-26474-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Methodologies and Intelligent Systems for Technology Enhanced Learning, 12th International Conference

2026-01-20T21:48:13Z

Yazar Temperini, Marco. editor. Scarano, Vittorio. editor. Marenzi, Ivana. editor. Kravcik, Milos. editor. Popescu, Elvira. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-20617-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Serverless Computing: Principles and Paradigms

2026-01-20T21:48:13Z

Yazar Krishnamurthi, Rajalakshmi. editor. Kumar, Adarsh. editor. Gill, Sukhpal Singh. editor. Buyya, Rajkumar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-26633-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial intelligence in games

2026-01-20T21:48:13Z

Yazar Roberts, Paul (Game programmer), author. Dent, Nicholas (Illustrator), illustrator.
Yer Numarası QA76.76 .C672 R6327 2023 EB
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003305835 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Mathematical Modelling, Applied Analysis and Computation Proceedings of ICMMAAC 2021

2026-01-20T21:48:13Z

Yazar Singh, Jagdev. editor. Anastassiou, George A. editor. Baleanu, Dumitru. editor. Cattani, Carlo. editor. Kumar, Devendra. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-0179-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Mechanics with Deep Learning An Introduction

2026-01-20T21:48:13Z

Yazar Yagawa, Genki. author. Oishi, Atsuya. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-11847-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Intelligent Welding Manufacturing Volume IV No. 2 2020

2026-01-20T21:48:13Z

Yazar Chen, Shanben. editor. Zhang, Yuming. editor. Feng, Zhili. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-6149-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computing and Artificial Intelligence, 19th International Conference

2026-01-20T21:48:13Z

Yazar Omatu, Sigeru. editor. Mehmood, Rashid. editor. Sitek, Pawel. editor. Cicerone, Serafino. editor. Rodríguez, Sara. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-20859-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI, IoT, Big Data and Cloud Computing for Industry 4.0

2026-01-20T21:48:13Z

Yazar Neustein, Amy. editor. Mahalle, Parikshit N. editor. Joshi, Prachi. editor. Shinde, Gitanjali Rahul. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-29713-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Mathematics and Computing

2026-01-20T21:48:13Z

Yazar Gyei-Kark, Park. editor. Jana, Dipak Kumar. editor. Panja, Prabir. editor. Abd Wahab, Mohd Helmy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-2300-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"

2026-01-20T21:48:13Z

Yazar Polkowski, Lech T. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42034-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence and Mathematics for Tackling Complex Problems 4

2026-01-20T21:48:13Z

Yazar Cornejo, María Eugenia. editor. Harmati, István Á. editor. Kóczy, László T. editor. Medina-Moreno, Jesús. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-07707-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain

2026-01-20T21:48:13Z

Yazar Sahoo, Laxminarayan. editor. Senapati, Tapan. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-4929-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2026-01-20T21:48:13Z

Yazar Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-19604-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI for physics

2026-01-20T21:48:13Z

Yazar Knecht, Volker, author.
Yer Numarası QC52 .K54 2023
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003245186 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Blockchain in Digital Forensics

2026-01-20T21:48:13Z

Yazar Kārttikēyan̲, Pa. Pande, Hari Mohan. Sarveshwaran, Velliangiri.
Yer Numarası HV8078.7
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003374671 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hidden in white sight : how AI empowers and deepens systemic racism

2026-01-20T21:48:13Z

Yazar Lawrence, Calvin (Computer scientist), author.
Yer Numarası Q335
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003368755 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundation, architecture, and prototyping of humanized AI a new constructivist approach

2026-01-20T21:48:13Z

Yazar Chang, Mark.
Yer Numarası Q335
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003392422 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deep learning : from big data to artificial intelligence with R

2026-01-20T21:48:13Z

Yazar Tuffery, Stéphane, author.
Yer Numarası Q325.73 .T84 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119845041
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimizasyon ve MATLAB uygulamaları

2026-01-20T21:48:13Z

Yazar Tezel Özturan, Aysun.
Yer Numarası QA402.5 T49 2022
Format: Kitap
Durum Beytepe Kütüphanesi~1

AI for creativity

2026-01-20T21:48:13Z

Yazar Hageback, Niklas, author.
Yer Numarası Q342 .H34 2022 EB
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003194941 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI for sports

2026-01-20T21:48:13Z

Yazar Brady, Christopher, 1947- author. Tuyls, Karl, author. Omidshafiei, Shayegan, author.
Yer Numarası GV706.8 .B728 2022 EB
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003196532 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial intelligence and quantum computing for advanced wireless networks

2026-01-20T21:48:13Z

Yazar Glisic, Savo G., author. Lorenzo, Beatriz, author.
Yer Numarası Q335 .G55 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119790327
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

MIND, BRAIN, QUANTUM AI, AND THE MULTIVERSE

2026-01-20T21:48:13Z

Yazar Wichert, Andrzej, author.
Yer Numarası BF161
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003244547 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The future of the artificial mind

2026-01-20T21:48:13Z

Yazar Plebe, Alessio, author. Perconti, Pietro, author.
Yer Numarası Q335
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/e/9781003120865 Taylor & Francis https://www.taylorfrancis.com/books/9781003120865 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI for school teachers

2026-01-20T21:48:13Z

Yazar Luckin, Rosemary, author. George, Karine, author. Cukurova, Mutlu, author.
Yer Numarası LB1028.3
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003193173 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deep learning in gaming and animations : principles and applications

2026-01-20T21:48:13Z

Yazar Chaudhary, Vikas, editor. Sharma, Moolchand, editor. Sharma, Prerna, editor. Agarwal, Deevyankar, editor.
Yer Numarası QA76.64
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003231530 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI for Death and Dying

2026-01-20T21:48:13Z

Yazar Savin-Baden, Maggi, 1960-
Yer Numarası HQ1073 .S38 2022
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003108504 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent system algorithms and applications in science and technology

2026-01-20T21:48:13Z

Yazar Pathak, Sunil, editor. Bhatt, Pramod Kumar, editor. Singh, Sanjay Kumar (Research professional), editor. Tripathi, Ashutosh, editor. Pandey, Pankaj Kumar, editor.
Yer Numarası T56.24
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003187059 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding artificial intelligence

2026-01-20T21:48:13Z

Yazar Sabouret, Nicolas, author.
Yer Numarası Q335
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003080626 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Uygulamalı derin öğrenme

2026-01-20T21:48:13Z

Yazar Özkan, Yalçın.
Yer Numarası Q335 O95 2021
Format: Kitap
Durum Beytepe Kütüphanesi~1

The handbook of AI-based metaheuristics

2026-01-20T21:48:13Z

Yazar Kulkarni, Anand Jayant, editor. Siarry, Patrick, editor.
Yer Numarası TA168
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003162841 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

INTELLIGENT SUPPORT FOR COMPUTER SCIENCE EDUCATION pedagogy enhanced by artificial intelligence.

2026-01-20T21:48:13Z

Yazar Di Eugenio, Barbara, author. Fossati, Davide, author. Green, Nick (Engineer), author.
Yer Numarası QA76.27 .D49 2022
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781315168067 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI and deep learning in biometric security : trends, potential, and challenges

2026-01-20T21:48:13Z

Yazar Jaswal, Gaurav, editor. Kanhangad, Vivek, editor. Ramachandra, Raghavendra, editor.
Yer Numarası TK7882 .B56
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003003489 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The SMART CYBER ECOSYSTEM FOR SUSTAINABLE DEVELOPMENT.

2026-01-20T21:48:13Z

Yazar Kumar, Pardeep, 1976- Jain, Vishal, 1983- Ponnusamy, Vasaki, 1974-
Yer Numarası Q335
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119761655
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical AI for Cybersecurity

2026-01-20T21:48:13Z

Yazar Das, Ravindra.
Yer Numarası QA76.9 .A25
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003005230 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cognitive computing systems : applications and technological advancements

2026-01-20T21:48:13Z

Yazar Jain, Vishal, 1983- editor. Tayal, Akash, 1973- editor. Singh, Jaspreet, 1976- editor. Solanki, Arun, 1985- editor.
Yer Numarası QA76.9 .S63
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003082033 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI FOR GAMES

2026-01-20T21:48:13Z

Yazar Millington, Ian.
Yer Numarası QA76.76 .C672
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003124047 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI for cars

2026-01-20T21:48:13Z

Yazar Aulinas, Josep, author. Sjafrie, Hanky, author.
Yer Numarası TL272.5
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003099512 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cunning machines : your pocket guide to the world of artificial intelligence

2026-01-20T21:48:13Z

Yazar Osiński, Jędrzej.
Yer Numarası Q335
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003021537 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14174-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17127-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Cybenko, George. editor. (orcid)0000-0001-7734-2912 Pym, David. editor. (orcid)0000-0002-6504-5838 Fila, Barbara. editor. (orcid)0000-0002-1824-7621 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-15465-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimizasyon ve MATLAB uygulamaları

2026-01-20T21:48:13Z

Yazar Tezel Özturan, Aysun.
Yer Numarası QA402.5 T49 2019
Format: Kitap
Durum Beytepe Kütüphanesi~2

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

2026-01-20T21:48:13Z

Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30985-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Senger, Hermes. editor. (orcid)0000-0003-1273-9809 Marques, Osni. editor. Garcia, Rogerio. editor. (orcid)0000-0003-1248-528X Pinheiro de Brito, Tatiana. editor. Iope, Rogério. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-15996-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-13838-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Lujak, Marin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17294-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23584-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing and Software Science State of the Art and Perspectives

2026-01-20T21:48:13Z

Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91908-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deep Reinforcement Learning Frontiers of Artificial Intelligence

2026-01-20T21:48:13Z

Yazar Sewak, Mohit. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-8285-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19570-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

2026-01-20T21:48:13Z

Yazar Bjørner, Nikolaj. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-37487-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2026-01-20T21:48:13Z

Yazar Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30446-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deep Learning with R

2026-01-20T21:48:13Z

Yazar Ghatak, Abhijit. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-5850-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Keras to Kubernetes : the journey of a machine learning model to production

2026-01-20T21:48:13Z

Yazar Rao, Dattaraj, author.
Yer Numarası Q325.5 .R36 2019
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119564843
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Games

2026-01-20T21:48:13Z

Yazar Yannakakis, Georgios N. author. (orcid)0000-0001-7793-1450 Togelius, Julian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63519-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial intelligence and data mining for mergers and acquisitions

2026-01-20T21:48:13Z

Yazar Chanda, Debasis, author.
Yer Numarası HD2746.5
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429424571 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling, Computation and Optimization in Information Systems and Management Sciences Proceedings of the 3rd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences - MCO 2015 - Part I

2026-01-20T21:48:13Z

Yazar Le Thi, Hoai An. editor. Pham Dinh, Tao. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-18161-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pattern Analysis, Intelligent Security and the Internet of Things

2026-01-20T21:48:13Z

Yazar Abraham, Ajith. editor. Muda, Azah Kamilah. editor. Choo, Yun-Huoy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-17398-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1

2026-01-20T21:48:13Z

Yazar Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-81-322-2217-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Swarm Intelligence and Evolutionary Computation

2026-01-20T21:48:13Z

Yazar Yang, Xin-She. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13826-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fifty Years of Fuzzy Logic and its Applications

2026-01-20T21:48:13Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-20T21:48:13Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Foundations of Robotics XI Selected Contributions of the Eleventh International Workshop on the Algorithmic Foundations of Robotics

2026-01-20T21:48:13Z

Yazar Akin, H. Levent. editor. Amato, Nancy M. editor. Isler, Volkan. editor. van der Stappen, A. Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-16595-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary Constrained Optimization

2026-01-20T21:48:13Z

Yazar Datta, Rituparna. editor. Deb, Kalyanmoy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-81-322-2184-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Decision Technologies Proceedings of the 7th KES International Conference on Intelligent Decision Technologies (KES-IDT 2015)

2026-01-20T21:48:13Z

Yazar Neves-Silva, Rui. editor. Jain, Lakhmi C. editor. Howlett, Robert J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-19857-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2

2026-01-20T21:48:13Z

Yazar Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-81-322-2220-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Encyclopedia of Systems and Control

2026-01-20T21:48:13Z

Yazar Baillieul, John. editor. Samad, Tariq. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-5058-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems, Volume 1

2026-01-20T21:48:13Z

Yazar Handa, Hisashi. editor. Ishibuchi, Hisao. editor. Ong, Yew-Soon. editor. Tan, Kay Chen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13359-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Methodologies and Intelligent Systems for Technology Enhanced Learning

2026-01-20T21:48:13Z

Yazar Mascio, Tania Di. editor. Gennari, Rosella. editor. Vittorini, Pierpaolo. editor. De la Prieta, Fernando. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-19632-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1