Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(120)
Voronkov, Andrei. editor.
(11)
Fages, François. editor.
(5)
Rossi, Francesca. editor.
(5)
Hanus, Michael. editor.
(3)
Dil
English
(155)
Yayın Yılı
-
Konu
Artificial intelligence.
(56)
Computer science.
(55)
Logic design.
(37)
Software engineering.
(32)
Computer logic.
(23)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
155 sonuç bulundu Arama sonuçlarına abone ol
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT_TR
Yazdır
1. 
Logic tools programming için kapak resmi
Logic tools programming
Yazar 
Pace, Philip, 1956- Pace, L., ort. yaz.
Yer Numarası 
QA 76.6 P325 1987
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2. 
Logic Programming with Prolog için kapak resmi
Logic Programming with Prolog
Yazar 
Bramer, Max. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331207.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Logic Programming with Prolog için kapak resmi
Logic Programming with Prolog
Yazar 
Bramer, Max. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-84628-212-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Logic programming and databases için kapak resmi
Logic programming and databases
Yazar 
Ceri, Stefano, 1955- Gottlob, G., ort. yaz. Tanca, L., ort. yaz.
Yer Numarası 
QA 76.63 C47 1990
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
5. 
Logic and Integer Programming için kapak resmi
Logic and Integer Programming
Yazar 
Williams, H. Paul. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-92280-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Foundations of logic programming için kapak resmi
Foundations of logic programming
Yazar 
Lloyd, John Wylie, 1947-
Yer Numarası 
QA 76.6 L538 1987
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
7. 
A grammatical view of logic programming için kapak resmi
A grammatical view of logic programming
Yazar 
Deransart, Pierre. Małuszyński, J. (Jan), 1941-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Logic programming languages constraints, functions, and objects için kapak resmi
Logic programming languages constraints, functions, and objects
Yazar 
Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
From logic to logic programming için kapak resmi
From logic to logic programming
Yazar 
Doets, Kees.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Mathematical aspects of logic programming semantics için kapak resmi
Mathematical aspects of logic programming semantics
Yazar 
Hitzler, Pascal. Seda, Anthony.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Principles of logic and logic programming için kapak resmi
Principles of logic and logic programming
Yazar 
Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444816443
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Systems programming in parallel logic languages için kapak resmi
Systems programming in parallel logic languages
Yazar 
Foster, Ian, 1959-
Yer Numarası 
QA 76.66 F67 1990
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
13. 
Foundations of equational logic programming için kapak resmi
Foundations of equational logic programming
Yazar 
Hölldobler, Steffen, 1957-
Yer Numarası 
QA 76.63 H65 1989
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
14. 
Logic programming and knowledge engineering için kapak resmi
Logic programming and knowledge engineering
Yazar 
Amble, Tore, 1945-
Yer Numarası 
QA 76.6 A464 1987
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
15. 
Mathematical logic and programming languages için kapak resmi
Mathematical logic and programming languages
Yazar 
Hoare, C. A. R., ed. Shepherdson, J. C., ed.
Yer Numarası 
QA 9 M42 1985
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
16. 
Analog/logic computer programming and simulation için kapak resmi
Analog/logic computer programming and simulation
Yazar 
Ricci, Fred J.
Yer Numarası 
QA 76.4 R53 1973
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
17. 
Logic programming proceedings of the Tenth International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the Tenth International Conference on Logic Programming
Yazar 
International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Logic programming proceedings of the 1997 International Symposium için kapak resmi
Logic programming proceedings of the 1997 International Symposium
Yazar 
Małuszyński, J. (Jan), 1941- Association for Logic Programming. International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Inductive logic programming from machine learning to software engineering için kapak resmi
Inductive logic programming from machine learning to software engineering
Yazar 
Bergadano, Francesco, 1963- Gunetti, Daniele.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Logic programming proceedings of the twelfth International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the twelfth International Conference on Logic Programming
Yazar 
Sterling, Leon.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Logic programming proceedings of the eleventh International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the eleventh International Conference on Logic Programming
Yazar 
Van Hentenryck, Pascal.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Probabilistic Inductive Logic Programming Theory and Applications için kapak resmi
Probabilistic Inductive Logic Programming Theory and Applications
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Computing with logic : logic programming with prolog için kapak resmi
Computing with logic : logic programming with prolog
Yazar 
Maier, David, 1953- Warren, D. S., ort. yaz.
Yer Numarası 
QA 76.73.P76 M349 1988
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
24. 
Logic programming proceedings of the 1999 International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the 1999 International Conference on Logic Programming
Yazar 
International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.) De Schreye, Danny.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
25. 
Logic programming proceedings of the Fourteenth International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the Fourteenth International Conference on Logic Programming
Yazar 
International Conference on Logic Programming (14th : 1997 : Louvain, Belgium) Naish, Lee, 1960-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267518
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming için kapak resmi
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Yazar 
Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings için kapak resmi
Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings
Yazar 
Bellodi, Elena. editor. Lisi, Francesca Alessandra. editor. Zese, Riccardo. editor. SpringerLink (Online service)
Yer Numarası 
XX(521376.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-49299-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers için kapak resmi
Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Yazar 
Silva, Josep. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-16202-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers için kapak resmi
Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings için kapak resmi
Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings için kapak resmi
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Yazar 
Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-90686-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday için kapak resmi
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
Yazar 
Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
XX(519276.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-14726-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Yazar 
Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Yer Numarası 
XX(519293.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23264-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers için kapak resmi
Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
Yazar 
Davis, Jesse. editor. Ramon, Jan. editor. SpringerLink (Online service)
Yer Numarası 
XX(519102.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23708-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Yazar 
Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
XX(519103.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-48899-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
37. 
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings için kapak resmi
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications için kapak resmi
A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers için kapak resmi
Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers için kapak resmi
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Yazar 
Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334969.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40564-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings için kapak resmi
Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers için kapak resmi
Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach için kapak resmi
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
Yazar 
Janssen, Jeroen. Schockaert, Steven. Vermeir, Dirk. de Cock, Martine. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.2991/978-94-91216-59-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers için kapak resmi
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
Yazar 
Mariño, Julio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20775-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
49. 
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday için kapak resmi
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers için kapak resmi
Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
A Science of Operations Machines, Logic and the Invention of Programming için kapak resmi
A Science of Operations Machines, Logic and the Invention of Programming
Yazar 
Priestley, Mark. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-555-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings için kapak resmi
Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
Yazar 
Kuchen, Herbert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22531-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
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 için kapak resmi
Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
Yazar 
Larrosa, Javier. editor. O’Sullivan, Barry. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19486-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings için kapak resmi
Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP için kapak resmi
A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
Yazar 
Dovier, Agostino. editor. Pontelli, Enrico. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14309-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers için kapak resmi
Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers için kapak resmi
Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers
Yazar 
Raedt, Luc. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13840-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
61. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
62. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
63. 
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
64. 
Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings için kapak resmi
Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
66. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
67. 
Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings için kapak resmi
Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
68. 
Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers için kapak resmi
Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
69. 
Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings için kapak resmi
Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
70. 
Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings için kapak resmi
Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
71. 
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
72. 
Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
73. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
74. 
Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers için kapak resmi
Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
75. 
Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings için kapak resmi
Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
76. 
Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings için kapak resmi
Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings
Yazar 
Hagiya, Masami. editor. Wadler, Philip. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11737414
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
77. 
Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines için kapak resmi
Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
78. 
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
Yazar 
Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11916277
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
79. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
80. 
Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings için kapak resmi
Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
81. 
Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
82. 
Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings için kapak resmi
Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings
Yazar 
Kramer, Stefan. editor. Pfahringer, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11536314
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
83. 
Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings için kapak resmi
Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings
Yazar 
Gabbrielli, Maurizio. editor. Gupta, Gopal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11562931
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
84. 
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
Yazar 
Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11591191
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
85. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
86. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
87. 
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
Yazar 
Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106931
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
88. 
Mitsubishi FX programmable logic controllers applications and programming için kapak resmi
Mitsubishi FX programmable logic controllers applications and programming
Yazar 
Ridley, J. E. (John E.) Ridley, J. E. (John E.). Introduction to programmable logic controllers.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750656795
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
89. 
Logic programming proceedings of the 1995 international symposium için kapak resmi
Logic programming proceedings of the 1995 international symposium
Yazar 
Lloyd, J. W. (John Wylie)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
90. 
Logic programming and non-monotonic reasoning proceedings of the second international workshop için kapak resmi
Logic programming and non-monotonic reasoning proceedings of the second international workshop
Yazar 
Pereira, Luís Moniz. Nerode, Anil, 1932-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
91. 
LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications için kapak resmi
LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications
Yazar 
Stark, W. Richard.
Yer Numarası 
QA 76.73.L23 S72 1990
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
92. 
Interactive relational database design : a logic programming implementation için kapak resmi
Interactive relational database design : a logic programming implementation
Yazar 
Bagchi, Tapan P.
Yer Numarası 
QA 76.9.D26 B34 1989
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
93. 
Warren's abstract machine a tutorial reconstruction için kapak resmi
Warren's abstract machine a tutorial reconstruction
Yazar 
Aït-Kaci, Hassan, 1954-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
94. 
The Practice of Prolog için kapak resmi
The Practice of Prolog
Yazar 
Sterling, Leon.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
95. 
Concurrent constraint programming için kapak resmi
Concurrent constraint programming
Yazar 
Saraswat, Vijay.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267500
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
96. 
Higher Education Computer Science A Manual of Practical Approaches için kapak resmi
Higher Education Computer Science A Manual of Practical Approaches
Yazar 
Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)
Yer Numarası 
XX(520416.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29386-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
97. 
Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings için kapak resmi
Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings
Yazar 
Kambayashi, Yasushi. editor. Nguyen, Ngoc Thanh. editor. Chen, Shu-Heng. editor. Dini, Petre. editor. Takimoto, Munehiro. editor.
Yer Numarası 
XX(520668.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29126-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
98. 
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings için kapak resmi
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
Yazar 
Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Yer Numarası 
XX(520898.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27181-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
99. 
Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings için kapak resmi
Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
Yazar 
Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)
Yer Numarası 
XX(521340.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47963-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
100. 
Neuro Symbolic Reasoning and Learning için kapak resmi
Neuro Symbolic Reasoning and Learning
Yazar 
Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.
Yer Numarası 
XX(520609.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-39179-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
101. 
Programming Languages: Principles and Paradigms için kapak resmi
Programming Languages: Principles and Paradigms
Yazar 
Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)
Yer Numarası 
XX(520706.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34144-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
102. 
Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II için kapak resmi
Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
Yazar 
Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)
Yer Numarası 
XX(521033.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35129-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
103. 
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings için kapak resmi
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Yazar 
Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Yer Numarası 
XX(521140.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42823-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
104. 
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings için kapak resmi
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Yazar 
Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)
Yer Numarası 
XX(521245.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-45784-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
105. 
Prolog: The Next 50 Years için kapak resmi
Prolog: The Next 50 Years
Yazar 
Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.
Yer Numarası 
XX(521397.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35254-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
106. 
Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings için kapak resmi
Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
Yazar 
Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)
Yer Numarası 
XX(521411.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-52038-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
107. 
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings için kapak resmi
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Yazar 
Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Yer Numarası 
XX(520788.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-24841-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
108. 
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings için kapak resmi
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Yazar 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Yer Numarası 
XX(520984.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
109. 
Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers için kapak resmi
Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers
Yazar 
Vasić, Daniel. editor. Kundid Vasić, Mirela. editor. SpringerLink (Online service)
Yer Numarası 
XX(520500.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-36833-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
110. 
Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings için kapak resmi
Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings
Yazar 
Crémilleux, Bruno. editor. Hess, Sibylle. editor. Nijssen, Siegfried. editor. SpringerLink (Online service)
Yer Numarası 
XX(520837.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30047-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
111. 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Yazar 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası 
XX(520840.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
112. 
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Yazar 
Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Yer Numarası 
XX(520842.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30829-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
113. 
Next Generation Arithmetic 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings için kapak resmi
Next Generation Arithmetic 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings
Yazar 
Gustafson, John. editor. (orcid) Leong, Siew Hoon. editor. Michalewicz, Marek. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(520858.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-32180-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
114. 
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday için kapak resmi
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Yazar 
Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
XX(520864.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-31476-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
115. 
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings için kapak resmi
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Yazar 
Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Yer Numarası 
XX(521275.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
116. 
AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings için kapak resmi
AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings
Yazar 
Basili, Roberto. editor. Lembo, Domenico. editor. Limongelli, Carla. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Yer Numarası 
XX(521280.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47546-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
117. 
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers için kapak resmi
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
118. 
Formal Languages and Compilation için kapak resmi
Formal Languages and Compilation
Yazar 
Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04879-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
119. 
Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings için kapak resmi
Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Yazar 
Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31038-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
120. 
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings için kapak resmi
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Yazar 
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-32441-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
121. 
Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings için kapak resmi
Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
122. 
Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings için kapak resmi
Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
Yazar 
Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)
Yer Numarası 
XX(518763.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23485-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
123. 
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Yazar 
Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)
Yer Numarası 
XX(518775.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17822-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
124. 
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings için kapak resmi
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Yazar 
de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Yer Numarası 
XX(518949.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-47709-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
125. 
Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings için kapak resmi
Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Yazar 
Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)
Yer Numarası 
XX(518980.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19282-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
126. 
Diffusion in Social Networks için kapak resmi
Diffusion in Social Networks
Yazar 
Shakarian, Paulo. author. Bhatnagar, Abhivav. author. Aleali, Ashkan. author. Shaabani, Elham. author. Guo, Ruocheng. author.
Yer Numarası 
XX(518499.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23105-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
127. 
A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations için kapak resmi
A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations
Yazar 
Trappl, Robert. editor. SpringerLink (Online service)
Yer Numarası 
XX(518563.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21548-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
128. 
Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Yazar 
Falaschi, Moreno. editor. SpringerLink (Online service)
Yer Numarası 
XX(518861.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-27436-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
129. 
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings için kapak resmi
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Yazar 
Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Yer Numarası 
XX(518878.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21365-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
130. 
Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings için kapak resmi
Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Yazar 
Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası 
XX(518922.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19686-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
131. 
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Yazar 
Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Yer Numarası 
XX(519139.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28114-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
132. 
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. için kapak resmi
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Yazar 
Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
XX(519146.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46823-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
133. 
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Yazar 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(519161.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
134. 
Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings için kapak resmi
Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings
Yazar 
Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)
Yer Numarası 
XX(519087.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23540-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
135. 
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers için kapak resmi
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
136. 
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings için kapak resmi
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Yazar 
Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08789-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
137. 
Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings için kapak resmi
Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
Yazar 
Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-09099-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
138. 
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings için kapak resmi
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Yazar 
Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10431-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
139. 
Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings için kapak resmi
Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Yazar 
Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10181-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
140. 
Concrete Semantics With Isabelle/HOL için kapak resmi
Concrete Semantics With Isabelle/HOL
Yazar 
Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10542-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
141. 
Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings için kapak resmi
Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Yazar 
Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10882-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
142. 
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers için kapak resmi
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
143. 
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers için kapak resmi
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Yazar 
Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-12466-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
144. 
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings için kapak resmi
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Yazar 
Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11164-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
145. 
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures için kapak resmi
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Yazar 
Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-07317-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
146. 
Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings için kapak resmi
Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
Yazar 
Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-09195-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
147. 
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Yazar 
Muscholl, Anca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54830-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
148. 
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings için kapak resmi
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
Yazar 
Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-05215-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
149. 
Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers için kapak resmi
Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Yazar 
Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08260-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
150. 
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings için kapak resmi
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Yazar 
Yahav, Eran. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13338-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
151. 
Embedded systems circuits and programming için kapak resmi
Embedded systems circuits and programming
Yazar 
Sanchez, Julio, 1938- Canton, Maria P.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
152. 
Intelligent systems for engineers and scientists için kapak resmi
Intelligent systems for engineers and scientists
Yazar 
Hopgood, Adrian A.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
153. 
Discrete structures, logic, and computability için kapak resmi
Discrete structures, logic, and computability
Yazar 
Hein, James L.
Yer Numarası 
QA76.9.M35 H44 2010
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
154. 
Arithmetic and logic in computer systems için kapak resmi
Arithmetic and logic in computer systems
Yazar 
Lu, Mi.
Yer Numarası 
ONLINE
Elektronik Erişim 
Click for information
Full text available from Wiley InterScience
Authentication may be required
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=226429
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
155. 
Instrument engineers' handbook. Process software and digital networks için kapak resmi
Instrument engineers' handbook. Process software and digital networks
Yazar 
Liptk̀, Bľa G. Liptk̀, Bľa G. Instrument engineers' handbook. Process measurement and analysis. Liptk̀, Bľa G. Instrument engineers' handbook. Process control.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: