Arama Sonuçları Programming Languages - Daraltılmış: Online Library

Multiparadigm Constraint Programming Languages

2026-03-09T11:46:52Z

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

Principles of Programming Languages

2026-03-09T11:46:52Z

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

Types and programming languages

2026-03-09T11:46:52Z

Yazar Pierce, Benjamin C.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267321
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Programming Languages

2026-03-09T11:46:52Z

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

Programming Languages: Principles and Paradigms

2026-03-09T11:46:52Z

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

Programming Languages: Principles and Paradigms

2026-03-09T11:46:52Z

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

Programming Languages An Active Learning Approach

2026-03-09T11:46:52Z

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

Object-Oriented Programming Languages: Interpretation

2026-03-09T11:46:52Z

Yazar Craig, Iain D. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-774-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Pattern Languages of Programming IV

2026-03-09T11:46:52Z

Yazar Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14291-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming languages for MIS : concepts and practice

2026-03-09T11:46:52Z

Yazar Wang, Hai, author. Wang, Shouhong, 1962- author. Taylor and Francis.
Yer Numarası T58.6
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Transactions on Pattern Languages of Programming III

2026-03-09T11:46:52Z

Yazar Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334647.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38676-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to the Theory of Programming Languages

2026-03-09T11:46:52Z

Yazar Dowek, Gilles. author. Lévy, Jean-Jacques. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-076-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Pattern Languages of Programming I

2026-03-09T11:46:52Z

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

Multi-Agent Programming: Languages, Tools and Applications

2026-03-09T11:46:52Z

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

Multi-Agent Programming Languages, Platforms and Applications

2026-03-09T11:46:52Z

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

Logic programming languages constraints, functions, and objects

2026-03-09T11:46:52Z

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

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

2026-03-09T11:46:52Z

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

Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings

2026-03-09T11:46:52Z

Yazar Hur, Chung-Kil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-8311-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of probabilistic logic programming : languages, semantics, inference and learning

2026-03-09T11:46:52Z

Yazar Riguzzi, Fabrizio, author.
Yer Numarası QA76.63
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003427421 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

Concepts and semantics of programming languages. 1 : a semantical approach with OCaml and Python

2026-03-09T11:46:52Z

Yazar Hardin, Therese. Jaume, Mathieu. Pessaux, François. Donzeau-Gouge, Véronique.
Yer Numarası QA76.7
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119824121
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java

2026-03-09T11:46:52Z

Yazar Hardin, Thérèse, author. Jaume, Mathieu, author. Pessaux, Francois, author. Donzeau-Gouge, Véronique, author.
Yer Numarası QA76.7
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119851196
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 28th European Symposium on Programming, ESOP 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-03-09T11:46:52Z

Yazar Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17184-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

2026-03-09T11:46:52Z

Yazar Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21485-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

2026-03-09T11:46:52Z

Yazar Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34175-6
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-03-09T11:46:52Z

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

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-03-09T11:46:52Z

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

Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

2026-03-09T11:46:52Z

Yazar Bodei, Chiara. editor. Ferrari, Gianluigi. editor. Priami, Corrado. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-25527-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

2026-03-09T11:46:52Z

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

Programming Languages 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

2026-03-09T11:46:52Z

Yazar Pardo, Alberto. editor. Swierstra, S. Doaitse. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-24012-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

2026-03-09T11:46:52Z

Yazar Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-47672-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

2026-03-09T11:46:52Z

Yazar Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-47666-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2026-03-09T11:46:52Z

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

Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

2026-03-09T11:46:52Z

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

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

2026-03-09T11:46:52Z

Yazar Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43951-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

2026-03-09T11:46:52Z

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

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2026-03-09T11:46:52Z

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

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

2026-03-09T11:46:52Z

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

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

2026-03-09T11:46:52Z

Yazar Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43948-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Operational Semantics A Concise Overview

2026-03-09T11:46:52Z

Yazar Fernández, Maribel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6368-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

2026-03-09T11:46:52Z

Yazar Shan, Chung-chieh. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332981.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03542-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

2026-03-09T11:46:52Z

Yazar Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334751.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39206-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

2026-03-09T11:46:52Z

Yazar Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334753.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39212-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings

2026-03-09T11:46:52Z

Yazar Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335028.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40922-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-03-09T11:46:52Z

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

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

2026-03-09T11:46:52Z

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

Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings

2026-03-09T11:46:52Z

Yazar Carvalho Junior, Francisco Heron. editor. Barbosa, Luis Soares. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33182-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

2026-03-09T11:46:52Z

Yazar Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31585-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I

2026-03-09T11:46:52Z

Yazar Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31594-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings

2026-03-09T11:46:52Z

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

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I

2026-03-09T11:46:52Z

Yazar Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22006-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

2026-03-09T11:46:52Z

Yazar Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22012-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

2026-03-09T11:46:52Z

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

Transactions on Pattern Languages of Programming II Special Issue on Applying Patterns

2026-03-09T11:46:52Z

Yazar Noble, James. editor. Johnson, Ralph. editor. Avgeriou, Paris. editor. Harrison, Neil B. editor. Zdun, Uwe. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19432-0
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-03-09T11:46:52Z

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

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

2026-03-09T11:46:52Z

Yazar Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13678-8
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 II

2026-03-09T11:46:52Z

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-14162-1
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-03-09T11:46:52Z

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

IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids

2026-03-09T11:46:52Z

Yazar John, Karl Heinz. author. Tiegelkamp, Michael. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12015-2
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-03-09T11:46:52Z

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

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

2026-03-09T11:46:52Z

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

Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings

2026-03-09T11:46:52Z

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

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2026-03-09T11:46:52Z

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

Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I

2026-03-09T11:46:52Z

Yazar Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02927-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II

2026-03-09T11:46:52Z

Yazar Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02930-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database Programming Languages 12th International Symposium, DBPL 2009, Lyon, France, August 23-24, 2009. Proceedings

2026-03-09T11:46:52Z

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

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

2026-03-09T11:46:52Z

Yazar Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70583-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

2026-03-09T11:46:52Z

Yazar Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70575-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

2026-03-09T11:46:52Z

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

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2026-03-09T11:46:52Z

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

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2026-03-09T11:46:52Z

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

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

2026-03-09T11:46:52Z

Yazar Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73420-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database Programming Languages 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers

2026-03-09T11:46:52Z

Yazar Arenas, Marcelo. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75987-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

2026-03-09T11:46:52Z

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

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I

2026-03-09T11:46:52Z

Yazar Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11786986
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings

2026-03-09T11:46:52Z

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

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

2026-03-09T11:46:52Z

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

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2026-03-09T11:46:52Z

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

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

2026-03-09T11:46:52Z

Yazar Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11787006
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

2026-03-09T11:46:52Z

Yazar Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11523468
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

2026-03-09T11:46:52Z

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

Database Programming Languages 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers

2026-03-09T11:46:52Z

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

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2026-03-09T11:46:52Z

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

The formal semantics of programming languages an introduction

2026-03-09T11:46:52Z

Yazar Winskel, G. (Glynn)
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New storytelling : learning through metaphors

2026-03-09T11:46:52Z

Yazar Ursyn, Anna, 1955- author.
Yer Numarası QA268
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003592945 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

Health metrics and the spread of infectious diseases : machine learning applications and spatial modelling analysis with R

2026-03-09T11:46:52Z

Yazar Gazzelloni, Federica, author.
Yer Numarası R853 .S7
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781032625935 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

DATA ANALYTICS FOR FINANCE USING PYTHON

2026-03-09T11:46:52Z

Yazar Untwal, Nitin Jaglal. Kose, Utku.
Yer Numarası HG4012.5
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781032618241 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

Java 22 for healthcare and medical applications

2026-03-09T11:46:52Z

Yazar Bhimavarapu, Usharani, author.
Yer Numarası R858
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003544319 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

Mathematical foundations of computer science

2026-03-09T11:46:52Z

Yazar Lall, Ashwin, author.
Yer Numarası QA76.9 .M35
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003383284 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

Java programming exercises. Volume one, Language fundamentals and core concepts

2026-03-09T11:46:52Z

Yazar Ullenboom, Christian, author, translator.
Yer Numarası QA76.73 .J38
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003454502 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

Python programming : a step-by-step guide to learning the language

2026-03-09T11:46:52Z

Yazar Dhaliwal, C. K., author. Rana, Poonam, author. Brar, T. P. S., author.
Yer Numarası QA76.73 .P98
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781032691053 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

Python for Experimental Psychologists A Fun Way of Learning How to Code Your Experiments.

2026-03-09T11:46:52Z

Yazar Dalmaijer, Edwin S., 1990-
Yer Numarası BF39.5
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003174332 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

Java programming exercises

2026-03-09T11:46:52Z

Yazar Ullenboom, Christian, author, translator.
Yer Numarası QA76.73 .J38
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003495550 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

Python : a practical learning approach

2026-03-09T11:46:52Z

Yazar Murugesh, T. S., author. Vasudevan, Shriram K., author. Pulari, Sini Raj, author.
Yer Numarası QA76.73 .P98
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781032712673 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

Alice and Bob learn secure coding

2026-03-09T11:46:52Z

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

Financial data analytics with machine learning, optimization and statistics

2026-03-09T11:46:52Z

Yazar Chen, Yongzhao, author. Cheung, Ka Chun, author. Fan, Kaiser, author. Yam, Phillip (Sheung Chi Phillip), author.
Yer Numarası HG104 .C44 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119863403
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The data science handbook

2026-03-09T11:46:52Z

Yazar Cady, Field, 1984- author.
Yer Numarası QA76.9 .D32 C33 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394234523
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The microprocessor : a practical introduction using the Arm Cortex-M0 processor

2026-03-09T11:46:52Z

Yazar Vasavada, Darshak S., author. Sinha, Sudhir Kumar, author.
Yer Numarası TK7895 .M5 V37 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394245321
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Beginning Solidity : learn to program smart contracts with solidity

2026-03-09T11:46:52Z

Yazar Dolgov, Alexandros, author.
Yer Numarası QA76.73 .S57 D65 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352159
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming language explorations

2026-03-09T11:46:52Z

Yazar Toal, Ray, author. Strieker, Sage Angelica, author. Berardini, Marco, author.
Yer Numarası QA76.7
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003222354 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

MUSE OF CODING computer programming as art.

2026-03-09T11:46:52Z

Yazar Garfinkle, Richard.
Yer Numarası QA76.6
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003459866 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

SIMPLE INTRODUCTION TO PYTHON

2026-03-09T11:46:52Z

Yazar Lynch, Stephen.
Yer Numarası QA76.73 .P98
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003472759 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 FOR ENGINEERS

2026-03-09T11:46:52Z

Yazar Arif, Tariq M. Rahim, Md. Adilur.
Yer Numarası TA160
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003402923 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

Quick Java

2026-03-09T11:46:52Z

Yazar Matuszek, David L., author.
Yer Numarası QA76.73 .J38
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003402947 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

Tiny Android projects using Kotlin.

2026-03-09T11:46:52Z

Yazar Panjuta, Denis, author. Nwokike, Loveth, author.
Yer Numarası QA76.8 .G2
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781032622538 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

NLP application through a rule-based mapping algorithm between natural language questions and SQL using computational linguistics

2026-03-09T11:46:52Z

Yazar Kedwan, Ftoon, author.
Yer Numarası QA76.9 .N38
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003413899 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

Introduction to Python : with applications in optimization, image and video processing, and machine learning

2026-03-09T11:46:52Z

Yazar Báez López, David, author. Báez Villegas, David Alfredo, author.
Yer Numarası QA76.73 .P98
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003222118 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

PLAYFUL PYTHON PROJECTS modeling and animation.

2026-03-09T11:46:52Z

Yazar Mozgovoy, Maxim, author.
Yer Numarası QA76.73 .P98
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003455295 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

Machine Learning and Python for Human Behavior, Emotion, and Health Status Analysis

2026-03-09T11:46:52Z

Yazar Zia Uddin, Md, author.
Yer Numarası TK7881.25
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003425908 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

Mathematical physics using Python applications in physics and engineering

2026-03-09T11:46:52Z

Yazar Pagonis, Vasilis, author. Kulp, Christopher W., author.
Yer Numarası QC20.7 .E4
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003294320 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

Learn R : as a language

2026-03-09T11:46:52Z

Yazar Aphalo, Pedro J., author.
Yer Numarası QA76.73 .R3 2024
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003404187 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 Python : and Its applications to physical systems

2026-03-09T11:46:52Z

Yazar Singh, M. Shubhakanta, author.
Yer Numarası QA76.73 .P98
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003453307 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

Data mining with Python : theory, application, and case studies

2026-03-09T11:46:52Z

Yazar Wu, Di (Computer science teacher), author.
Yer Numarası QA76.9 .D343
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003462781 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

Learning professional Python. Volume 2, Advanced

2026-03-09T11:46:52Z

Yazar Bhimavarapu, Usharani, author. Hemanth, Jude D. Karunya University, India Hemanth, Jude, author.
Yer Numarası QA76.73 .P98
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003462392 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-03-09T11:46:52Z

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

x86 software reverse-engineering, cracking, and counter-measures

2026-03-09T11:46:52Z

Yazar Domas, Stephanie, author. Domas, Christopher, author.
Yer Numarası QA76.9 .A25 D66 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277131
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical modeling and simulation : introduction for scientists and engineers

2026-03-09T11:46:52Z

Yazar Velten, Kai, author. Schmidt, Dominik M., author. Kahlen, Katrin, author.
Yer Numarası QA401 .V38 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9783527849604
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and optimization of signals using machine learning techniques

2026-03-09T11:46:52Z

Yer Numarası TK5102.9 .M63 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119847717
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Professional JavaScript for web developers

2026-03-09T11:46:52Z

Yazar Frisbie, Matt, author.
Yer Numarası TK5105.8885 .J38 Z34 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394193240
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CompTIA DataSys+ study guide : exam DSO-001

2026-03-09T11:46:52Z

Yazar Chapple, Mike, 1975- author. Nijim, Sharif, author.
Yer Numarası QA76.3 .C43 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277094
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quick functional programming

2026-03-09T11:46:52Z

Yazar Matuszek, David L., editor.
Yer Numarası QA76.62
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003358541 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

SQL SERVER DATABASE PROGRAMMING WITH C#; DESKTOP AND WEB APPLICATIONS

2026-03-09T11:46:52Z

Yazar Bai, Ying.
Yer Numarası QA76.9 .D32
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003319832 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

End-User Development 9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6-8, 2023, Proceedings

2026-03-09T11:46:52Z

Yazar Spano, Lucio Davide. editor. Schmidt, Albrecht. editor. (orcid) Santoro, Carmen. editor. Stumpf, Simone. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-34433-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings

2026-03-09T11:46:52Z

Yazar Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-29927-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Augmented Intelligence and Intelligent Tutoring Systems 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings

2026-03-09T11:46:52Z

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

Prolog: The Next 50 Years

2026-03-09T11:46:52Z

Yazar Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35254-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

2026-03-09T11:46:52Z

Yazar Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-31476-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

2026-03-09T11:46:52Z

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

Euro-Par 2022: Parallel Processing Workshops Euro-Par 2022 International Workshops, Glasgow, UK, August 22-26, 2022, Revised Selected Papers

2026-03-09T11:46:52Z

Yazar Singer, Jeremy. editor. Elkhatib, Yehia. editor. Blanco Heras, Dora. editor. Diehl, Patrick. editor. (orcid) Brown, Nick. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-31209-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Artificial Intelligence

2026-03-09T11:46:52Z

Yazar Klontzas, Michail E. editor. Fanni, Salvatore Claudio. editor. Neri, Emanuele. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-25928-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Communication, Networking and IoT Proceedings of 5th ICICC 2021, Volume 2

2026-03-09T11:46:52Z

Yazar Satapathy, Suresh Chandra. editor. Lin, Jerry Chun-Wei. editor. Wee, Lai Khin. editor. Bhateja, Vikrant. editor. Rajesh, T. M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-1976-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Python for scientific computation and artificial intelligence

2026-03-09T11:46:52Z

Yazar Lynch, Stephen, 1964- author.
Yer Numarası QA76.73 .P98 L96 2023
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003285816 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

Introduction to financial derivatives with Python

2026-03-09T11:46:52Z

Yazar Alòs, Elisa, author. Merino, Raúl, author.
Yer Numarası HG6024 .A3
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003266730 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

Thermal physics tutorial with Python simulations

2026-03-09T11:46:52Z

Yazar Kouh, Minjoon, author. Kouh, Taejoon, author.
Yer Numarası QC311 .K68 2023
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003287841 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 Python audio cookbook : recipes for audio scripting with Python

2026-03-09T11:46:52Z

Yazar Drymonitis, Alexandros, author.
Yer Numarası ML74.4 .P97
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003386964 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

Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing

2026-03-09T11:46:52Z

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

Digital image processing with C++ : implementing reference algorithms with the CImg library

2026-03-09T11:46:52Z

Yazar Tschumperle, David, author. Tilmant, Christophe, author. Barra, Vincent, author.
Yer Numarası TA1637
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003323693 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

Quick recursion

2026-03-09T11:46:52Z

Yazar Matuszek, David L., author.
Yer Numarası QA76.6
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003359616 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

Learning professional Python. Volume 1, The basics

2026-03-09T11:46:52Z

Yazar Bhimavarapu, Usharani, author. Hemanth, Jude, author.
Yer Numarası QA76.73 .P98
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003414322 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

COMPUTER ARITHMETIC IN PRACTICE exercises and programming.

2026-03-09T11:46:52Z

Yazar Gryś, Sławomir, author.
Yer Numarası QA76.9 .C62
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003363286 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

Data structure using C : theory and program

2026-03-09T11:46:52Z

Yazar Siddiqui, Ahmad Talha, author. Siddiqui, Shoeb Ahad, author.
Yer Numarası QA76.9 .D35
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003453291 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

Numerical calculations in Clifford algebra : a practical guide for engineers and scientists

2026-03-09T11:46:52Z

Yazar Seagar, Andrew, author. John Wiley & Sons, publisher.
Yer Numarası QA199 .S43 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394173273
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job ready SQL

2026-03-09T11:46:52Z

Yazar Weiss, Kimberly A., author. Balti, Haythem, author.
Yer Numarası QA76.73 .S67
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320615
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The garbage collection handbook : the art of automatic memory management

2026-03-09T11:46:52Z

Yazar Jones, Richard, 1954- author. Hosking, Antony, 1964- author. Moss, Eliot, author.
Yer Numarası QA76.9 .M45
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003276142 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

LEARNING ADVANCED PYTHON BY STUDYING OPEN SOURCE PROJECTS

2026-03-09T11:46:52Z

Yazar Li, Rongpeng.
Yer Numarası QA76.73 .P98
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003316909 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

Systems engineering neural networks

2026-03-09T11:46:52Z

Yazar Migliaccio, Alessandro, author. Iannone, Giovanni, author.
Yer Numarası QA76.87 .M537 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ALGORITHM DESIGN a methodological approach - 150problems and detailed solutions.

2026-03-09T11:46:52Z

Yazar Bosc, Patrick, author. Miclet, Lauren, author. Guyomard, Marc, author.
Yer Numarası QA9.58
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003334590 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

INTRODUCTION TO C++

2026-03-09T11:46:52Z

Yazar Tselikis, George S.
Yer Numarası QA76.73 .C153
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003230076 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

Python programming : a practical approach

2026-03-09T11:46:52Z

Yazar Śarmā, Vijaya Kumāra, author. Kumar, Vimal, author. Sharma, Swati, author. Pathak, Shashwat, author.
Yer Numarası QA76.73 .P98
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003185505 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

Quick Python 3

2026-03-09T11:46:52Z

Yazar Matuszek, David L., author.
Yer Numarası QA76.73 .P98
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003356219 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

JavaScript : syntax and practices

2026-03-09T11:46:52Z

Yazar Tomar, Ravi, author. Dangi, Sarishma, author.
Yer Numarası QA76.73 .J39
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003122364 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

Python packages

2026-03-09T11:46:52Z

Yazar Beuzen, Tomas, author. Timbers, Tiffany-Anne, author.
Yer Numarası QA76.73 .P98
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003189251 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

Machine learning for decision sciences with case studies in Python

2026-03-09T11:46:52Z

Yazar Sumathi, S., 1968- author. Rajappa, Suresh, author. Kumar, L. Ashok, author. Surekha, P., 1980- author.
Yer Numarası Q325.5
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003258803 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

Database Systems A Pragmatic Approach

2026-03-09T11:46:52Z

Yazar Foster, Elvis C. Godbole, Shripad, author.
Yer Numarası QA76.9 .D26
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003275725 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

C programming : learn to code

2026-03-09T11:46:52Z

Yazar Jena, Sisir Kumar, author.
Yer Numarası QA76.73 .C15
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003188254 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

JAVASCRIPT FOR SOUND ARTISTS learn to code with the web audio api.

2026-03-09T11:46:52Z

Yazar Turner, William (Web site developer), author. Leonard, Steve (Web site developer), editor.
Yer Numarası TK7881.4
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003201496 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

Python for beginners

2026-03-09T11:46:52Z

Yazar Kaswan, Kuldeep Singh, author. Dhatterwal, Jagjit Singh, author. Balamurugan, B, author.
Yer Numarası QA76.73 .P98
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003202035 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

STEM PROBLEMS WITH MATHCAD AND PYTHON

2026-03-09T11:46:52Z

Yazar Ochkov, V. F. (Valeriĭ Fedorovich), author. Stevens, Alan (Mathematician), author. Tikhonov, Anton (Information technology), author.
Yer Numarası QA303.2
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003228356 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

ORACLE DATABASE PROGRAMMING WITH JAVA ideas, designs, and implementations.

2026-03-09T11:46:52Z

Yazar Bai, Ying.
Yer Numarası QA76.9 .D3
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003304029 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

COMPUTATIONAL FRAMEWORK FOR THE FINITE ELEMENT METHOD IN MATLAB AND PYTHON

2026-03-09T11:46:52Z

Yazar Sumets, Pavel, author.
Yer Numarası TA347 .F5
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003265979 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

Sports analytics in practice with R

2026-03-09T11:46:52Z

Yazar Kwartler, Ted, 1978- author. Baker, Robert E., 1957- author.
Yer Numarası GV706.8 .K83 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119598084
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

JOB READY GO.

2026-03-09T11:46:52Z

Yazar BALTI, HAYTHEM.
Yer Numarası QA76.73 .G63
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320622
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial intelligence and quantum computing for advanced wireless networks

2026-03-09T11:46:52Z

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

Beginning ReactJS Foundations building user interfaces with ReactJS : an approachable guide

2026-03-09T11:46:52Z

Yazar Minnick, Chris.
Yer Numarası QA76.9 .U83
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119685630
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital VLSI design and simulation with Verilog

2026-03-09T11:46:52Z

Yazar Tripathi, Suman Lata, author. Saxena, Sobhit, author. Sinha, Sanjeet Kumar, author. Patel, Govind Singh, author.
Yer Numarası TK7874.75 .T75 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119778097
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The statistical analysis of doubly truncated data : with applications in R

2026-03-09T11:46:52Z

Yazar Uña-Álvarez, Jacobo de, 1972- author. Moreira, Carla, 1972- author. Crujeiras, Rosa M. (Rosa María), 1978- author.
Yer Numarası QH323.5 .U53 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119500469
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Software Engineering with Python : Building software that makes research possible.

2026-03-09T11:46:52Z

Yazar Irving, Damien. Hertweck, Kate Johnston, Luke Ostblom, Joel Wickham, Charlotte
Yer Numarası Q180.55 .E4
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003143482 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

Survival Analysis with Python.

2026-03-09T11:46:52Z

Yazar Nag, Avishek.
Yer Numarası TA645
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003255499 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 IN AGRICULTURE

2026-03-09T11:46:52Z

Yazar Singh, Rajesh (Electrical engineer), author. Gehlot, Anita, author. Kumar Prajapat, Mahesh, author. Singh, Bhupendra, author.
Yer Numarası S494.5 .D3
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003245759 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

Designing software synthesizer plug-ins in C++

2026-03-09T11:46:52Z

Yazar Pirkle, William C., author.
Yer Numarası MT723
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003052203 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

A tour of data science : learn R and Python in parallel

2026-03-09T11:46:52Z

Yazar Zhang, Nailong, author.
Yer Numarası QA76.9 .D343 Z458 2021 EB
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003020646 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

Automated Software Testing with Cypress

2026-03-09T11:46:52Z

Yazar Palani, Narayanan.
Yer Numarası QA76.76 .T48
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003145110 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

Data Structures using C : A Practical Approach for Beginners.

2026-03-09T11:46:52Z

Yazar Jagtap, Amol M. Mali, Ajit S.
Yer Numarası QA76.9 .D35
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003105800 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

Data structure and algorithms using C++ : a practical implementation

2026-03-09T11:46:52Z

Yazar Mohanty, Sachi Nandan, editor. Tripathy, Pabitra Kumar, editor.
Yer Numarası QA76.73 .C153 D38 2021
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119752059
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms in bioinformatics : theory and implementation

2026-03-09T11:46:52Z

Yazar Gagniuc, Paul A., author.
Yer Numarası QH324.2 .G34 2021
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119698005
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied evolutionary algorithms for engineers with Python

2026-03-09T11:46:52Z

Yazar Scardua, Leonardo Azevedo, 1966- author.
Yer Numarası QA76.618 .S33 2020
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429298028 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

SOFTWARE DEVELOPMENT PATTERNS AND ANTIPATTERNS.

2026-03-09T11:46:52Z

Yazar Jones, Capers.
Yer Numarası QA76.76 .D47
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003193128 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

Digital system design using FSMs : a practical learning approach

2026-03-09T11:46:52Z

Yazar Minns, Peter D., author.
Yer Numarası QA267.5 .S4 M56 2021
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782735
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to programming with C++ for engineers

2026-03-09T11:46:52Z

Yazar Cyganek, Bogusław, author.
Yer Numarası QA76.73 .C153 C94 2021
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119431152
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Microcontroller prototypes with Arduino and a 3D printer : learn, program, manufacture

2026-03-09T11:46:52Z

Yazar Bolanakis, Dimosthenis E., 1978- author.
Yer Numarası TJ223 .P76 B665 2021
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782698
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Oracle database programming with Visual Basic .NET : Concepts, Designs, and Implementations

2026-03-09T11:46:52Z

Yazar Bai, Ying, 1956-
Yer Numarası QA76.9 .D3 B35 2021
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119734529
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The SMART CYBER ECOSYSTEM FOR SUSTAINABLE DEVELOPMENT.

2026-03-09T11:46:52Z

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

Learning by doing with National Instruments development boards

2026-03-09T11:46:52Z

Yazar Parab, Jivan S., author. Nazareth, Ingrid Anne, author. Gad, Rajendra S., author. Naik, Gourish, author.
Yer Numarası Q185
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429441806 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

C++ template metaprogramming in practice a deep learning framework

2026-03-09T11:46:52Z

Yazar Wei, Li.
Yer Numarası QA76.73 .C153
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003102311 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

Anyone can code : the art and science of logical creativity

2026-03-09T11:46:52Z

Yazar Arya, Ali, author.
Yer Numarası QA76.6
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429244421 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

Practical scientific and numerical computing with MATLAB and Python

2026-03-09T11:46:52Z

Yazar Bashier, Eihab Bashier Mohammed, author.
Yer Numarası Q183.9 .B375 2020
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429021985 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

Bite-size Python : an introduction to Python programming

2026-03-09T11:46:52Z

Yazar Speight, April.
Yer Numarası QA76.73 .P98
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119643845
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

2026-03-09T11:46:52Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31157-5
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-03-09T11:46:52Z

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

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

2026-03-09T11:46:52Z

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

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

2026-03-09T11:46:52Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22348-9
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-03-09T11:46:52Z

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

A Beginners Guide to Python 3 Programming

2026-03-09T11:46:52Z

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

Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming

2026-03-09T11:46:52Z

Yazar Upadhyaya, Bhim P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12561-5
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-03-09T11:46:52Z

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

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

2026-03-09T11:46:52Z

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

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2026-03-09T11:46:52Z

Yazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32079-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

2026-03-09T11:46:52Z

Yazar Knauss, Eric. editor. (orcid)0000-0002-6631-872X Goedicke, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-15538-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2026-03-09T11:46:52Z

Yazar Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21759-4
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-03-09T11:46:52Z

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

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

2026-03-09T11:46:52Z

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

Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

2026-03-09T11:46:52Z

Yazar Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18506-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Guide to Python 3 Programming

2026-03-09T11:46:52Z

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

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

2026-03-09T11:46:52Z

Yazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23611-3
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-03-09T11:46:52Z

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

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

2026-03-09T11:46:52Z

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

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

2026-03-09T11:46:52Z

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

Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2026-03-09T11:46:52Z

Yazar Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22397-7
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-03-09T11:46:52Z

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

Computing and Software Science State of the Art and Perspectives

2026-03-09T11:46:52Z

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

2026-03-09T11:46:52Z

Yazar Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18744-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geographical Information Systems Theory, Applications and Management 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers

2026-03-09T11:46:52Z

Yazar Ragia, Lemonia. editor. Grueau, Cédric. editor. Laurini, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29948-4
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-03-09T11:46:52Z

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

Languages and Compilers for Parallel Computing 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers

2026-03-09T11:46:52Z

Yazar Hall, Mary. editor. (orcid)0000-0002-3058-7573 Sundar, Hari. editor. (orcid)0000-0001-9001-5107 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34627-0
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-03-09T11:46:52Z

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

Formal Languages and Compilation

2026-03-09T11:46:52Z

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: 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-03-09T11:46:52Z

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

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

2026-03-09T11:46:52Z

Yazar Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27455-9
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-03-09T11:46:52Z

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

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

2026-03-09T11:46:52Z

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

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

2026-03-09T11:46:52Z

Yazar Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30690-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on High-Performance Embedded Architectures and Compilers V

2026-03-09T11:46:52Z

Yazar Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58834-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

2026-03-09T11:46:52Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05807-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-09T11:46:52Z

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

Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

2026-03-09T11:46:52Z

Yazar Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18419-3
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-03-09T11:46:52Z

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

Introduction to Software Design with Java

2026-03-09T11:46:52Z

Yazar Robillard, Martin P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24094-3
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-03-09T11:46:52Z

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

Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

2026-03-09T11:46:52Z

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

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

2026-03-09T11:46:52Z

Yazar Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12988-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

2026-03-09T11:46:52Z

Yazar Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24781-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

2026-03-09T11:46:52Z

Yazar Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17872-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

2026-03-09T11:46:52Z

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

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 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-03-09T11:46:52Z

Yazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-16722-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows

2026-03-09T11:46:52Z

Yazar Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19052-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning C# by Programming Games

2026-03-09T11:46:52Z

Yazar van Toll, Wouter. author. Egges, Arjan. author. Fokker, Jeroen D. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-59252-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2026-03-09T11:46:52Z

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

On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

2026-03-09T11:46:52Z

Yazar Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33246-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

2026-03-09T11:46:52Z

Yazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12274-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Music Instruments II Realtime and Object-Oriented Audio

2026-03-09T11:46:52Z

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

Answer Set Programming

2026-03-09T11:46:52Z

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

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

2026-03-09T11:46:52Z

Yazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34968-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

2026-03-09T11:46:52Z

Yazar Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27008-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Java in Two Semesters Featuring JavaFX

2026-03-09T11:46:52Z

Yazar Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99420-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

2026-03-09T11:46:52Z

Yazar Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-28596-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Python Workbook A Brief Introduction with Exercises and Solutions

2026-03-09T11:46:52Z

Yazar Stephenson, Ben. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18873-3
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-03-09T11:46:52Z

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

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

2026-03-09T11:46:52Z

Yazar Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-20652-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Access 2019 Bible

2026-03-09T11:46:52Z

Yazar Alexander, Michael, 1972- author. Kusleika, Dick, author.
Yer Numarası QA76.9 .D3 A493 2019
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549437
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Visual Studio code : end-to-end editing and debugging tools for web developers

2026-03-09T11:46:52Z

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

Python machine learning

2026-03-09T11:46:52Z

Yazar Lee, Wei-Meng, author.
Yer Numarası QA76.73 .P98 L44 2019 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119557500
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Graphical User Interfaces in R

2026-03-09T11:46:52Z

Yazar Lawrence, Michael, author. Verzani, John, author. Taylor and Francis.
Yer Numarası QA76.9 .U83
Elektronik Erişim Click here to view.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

How to Reduce the Cost of Software Testing

2026-03-09T11:46:52Z

Yazar Heusser, Matthew, editor. Kulkarni, Govind, editor. Taylor and Francis.
Yer Numarası QA76.76 .T48
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Python for R users : a data science approach

2026-03-09T11:46:52Z

Yazar Ohri, A. (Ajay), author.
Yer Numarası QA76.73 .P98 O37 2018
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119126805
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The official BBC Micro:bit user guide

2026-03-09T11:46:52Z

Yazar Halfacree, Gareth, author.
Yer Numarası TJ223 .P76
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119413752
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Professional C++

2026-03-09T11:46:52Z

Yazar Gregoire, Marc (Software engineer), author.
Yer Numarası QA76.73 .C153 G733 2018
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119421276
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Beginning C# 7 Programming with Visual Studio 2017

2026-03-09T11:46:52Z

Yazar Perkins, Benjamin, author. Hammer, Jacob Vibe, author. Reid, Jon D., author.
Yer Numarası QA76.73 .C154
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549550
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Professional C# 7 and .NET Core 2.0

2026-03-09T11:46:52Z

Yazar Nagel, Christian, author.
Yer Numarası QA76.73 .C154
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549147
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

JavaScript and open data

2026-03-09T11:46:52Z

Yazar Jeansoulin, Robert, author.
Yer Numarası QA76.73 .J39 J43 2018
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119451761
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concurrent, real-time and distributed programming in Java : Threads, RTSJ and RMI

2026-03-09T11:46:52Z

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

Neural data science : a primer with MATLAB® and Python

2026-03-09T11:46:52Z

Yazar Nylen, Erik Lee, author. Wallisch, Pascal, 1978- author.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect https://www.sciencedirect.com/science/book/9780128040430
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

EXPLORING NEURAL NETWORKS WITH C#

2026-03-09T11:46:52Z

Yazar TADEUSIEWICZ, RYSZARD.
Yer Numarası QA76.87
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429256226 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

Dictionary of Computer Science, Engineering and Technology

2026-03-09T11:46:52Z

Yazar Laplante, Philip A., editor., author.
Yer Numarası QA76.15 L375 2017
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

The data science handbook

2026-03-09T11:46:52Z

Yazar Cady, Field, 1984- author.
Yer Numarası QA76.9 .D32
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119092919
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Swift in the cloud

2026-03-09T11:46:52Z

Yazar Williamson, Leigh, author.
Yer Numarası QA76.73 .S95
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119368502
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SPSS statistics for data analysis and visualization

2026-03-09T11:46:52Z

Yazar McCormick, Keith (Consultant), author. Salcedo, Jesus, author. Peck, Jon, author. Wheeler, Andrew, author.
Yer Numarası HA32
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119183426
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics

2026-03-09T11:46:52Z

Yazar Tolk, Andreas, editor. Ören, Tuncer I., editor.
Yer Numarası QA10.5
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The image-interface : graphical supports for visual information

2026-03-09T11:46:52Z

Yazar Reyes-Garcia, Everardo, author.
Yer Numarası QA76.9 .U83
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119474166
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A data scientist's guide to acquiring, cleaning and managing data in R

2026-03-09T11:46:52Z

Yazar Buttrey, Samuel, author. Whitaker, Lyn R., author.
Yer Numarası QA76.9 .D26
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119080053
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of quantum programming

2026-03-09T11:46:52Z

Yazar Ying, Mingsheng, author.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128023068
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Molecular data analysis using R

2026-03-09T11:46:52Z

Yazar Ortutay, Csaba, 1976- author. Ortutay, Zsuzsanna, author.
Yer Numarası QH506 .O78 2016 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119165057
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

2026-03-09T11:46:52Z

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

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

2026-03-09T11:46:52Z

Yazar Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-28114-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

2026-03-09T11:46:52Z

Yazar Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-26184-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

2026-03-09T11:46:52Z

Yazar Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-17701-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

2026-03-09T11:46:52Z

Yazar Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-21365-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-09T11:46:52Z

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

LogiQL : a query language for smart databases

2026-03-09T11:46:52Z

Yazar Halpin, T. A., author. Rugaber, Spencer, author.
Yer Numarası QA76.73 .L62 H35 2015
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Language Production, Cognition, and the Lexicon

2026-03-09T11:46:52Z

Yazar Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08043-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

2026-03-09T11:46:52Z

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

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

2026-03-09T11:46:52Z

Yazar Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-19282-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

2026-03-09T11:46:52Z

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

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2026-03-09T11:46:52Z

Yazar Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-23264-5
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-03-09T11:46:52Z

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

Interaction flow modeling language model-driven UI engineering of web and mobile apps with IFML

2026-03-09T11:46:52Z

Yazar Brambilla, Marco, 1976- author. Fraternali, Piero, author.
Yer Numarası ONLINE(355438.1)
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128001080
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2026-03-09T11:46:52Z

Yazar Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54862-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

2026-03-09T11:46:52Z

Yazar Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-06200-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

2026-03-09T11:46:52Z

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

Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

2026-03-09T11:46:52Z

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

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

2026-03-09T11:46:52Z

Yazar Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11245-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Python Workbook A Brief Introduction with Exercises and Solutions

2026-03-09T11:46:52Z

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

Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers

2026-03-09T11:46:52Z

Yazar Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44920-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2026-03-09T11:46:52Z

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

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

2026-03-09T11:46:52Z

Yazar Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13906-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

2026-03-09T11:46:52Z

Yazar Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11936-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

2026-03-09T11:46:52Z

Yazar Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10702-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-09T11:46:52Z

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

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

2026-03-09T11:46:52Z

Yazar Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54848-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-09T11:46:52Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-45231-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

2026-03-09T11:46:52Z

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

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

2026-03-09T11:46:52Z

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