Arama Sonuçları Programming Techniques.

Recursive programming techniques

2025-12-06T11:40:22Z

Yazar Burge, William H.
Yer Numarası QA 76.6 B8 1975
Format: Kitap
Durum Beytepe Kütüphanesi~1

Programming and scheduling techniques

2025-12-06T11:40:22Z

Yazar Uher, Thomas E. Zantis, Adam S.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

LabView advanced programming techniques

2025-12-06T11:40:22Z

Yazar Bitter, Rick., author. Mohiuddin, Taqi. Nawrocki, Matt.
Yer Numarası QA76.6 .B5735 2007
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

LabVIEW advanced programming techniques

2025-12-06T11:40:22Z

Yazar Bitter, Rick., author. Mohiuddin, Taqi. Nawrocki, Matt.
Yer Numarası QA76.6 .B5735 2001
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Recursive techniques in programming

2025-12-06T11:40:22Z

Yazar Barron, David William.
Yer Numarası QA 96.5 B2964 1968
Format: Kitap
Durum Beytepe Kütüphanesi~1

Programming : an introduction to computer techniques

2025-12-06T11:40:22Z

Yazar Maurer, Ward Douglas, 1938-
Yer Numarası QA76.6 M39 1972
Format: Kitap
Durum Beytepe Kütüphanesi~1

Linear programming and related techniques

2025-12-06T11:40:22Z

Yazar Van de Panne, C.
Yer Numarası T 57.74 V34 1971
Format: Kitap
Durum Beytepe Kütüphanesi~1

Java programming : complete concepts and techniques

2025-12-06T11:40:22Z

Yer Numarası QA76.73.J38 J383 2006
Format: Kitap
Durum Beytepe Kütüphanesi~2

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : second international conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005 : proceedings

2025-12-06T11:40:22Z

Yazar International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (2nd : 2005 : Prague, Czech Republic) Bartak, Roman, ed. Milano, Michela, ed.
Yer Numarası Q 340 .I575 2005
Format: Kitap
Durum Beytepe Kütüphanesi~1

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : first international conference, CPAIOR 2004, Nice, France, April 20-22, 2004 : proceedings

2025-12-06T11:40:22Z

Yazar International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (1st : 2004 : Nice, France) Regin, Jean-Charles, ed. Rueher, Michel, ed.
Yer Numarası Q 340 .I575 2004
Format: Kitap
Durum Beytepe Kütüphanesi~1

Concepts, techniques, and models of computer programming

2025-12-06T11:40:22Z

Yazar Van-Roy, Peter. Haridi, Seif.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming and computer techniques in experimental physics

2025-12-06T11:40:22Z

Yazar Skobel'tsyn, D. V., ed.
Yer Numarası QA 76 P9433 1970
Format: Kitap
Durum Beytepe Kütüphanesi~1

Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

2025-12-06T11:40:22Z

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

Embedded C programming : techniques and applications of C and PIC MCUS

2025-12-06T11:40:22Z

Yazar Siegesmund, Mark, author.
Yer Numarası ONLINE(355476.1)
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128013144
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Arduino sketches : tools and techniques for programming wizardry

2025-12-06T11:40:22Z

Yazar Langbridge, James A., author.
Yer Numarası ONLINE
Elektronik Erişim Wiley Online Library
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings

2025-12-06T11:40:22Z

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

Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques

2025-12-06T11:40:22Z

Yazar Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)
Yer Numarası ONLINE(330912.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4126-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Network Programming – Principles and Techniques Network Application Programming with Java

2025-12-06T11:40:22Z

Yazar Ciubotaru, Bogdan. author. Muntean, Gabriel-Miro. author. SpringerLink (Online service)
Yer Numarası ONLINE(331186.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5292-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-06T11:40:22Z

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

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

2025-12-06T11:40:22Z

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

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

2025-12-06T11:40:22Z

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

Expert Oracle Database Architecture Oracle Database 9i, 10g, and 11g Programming Techniques and Solutions

2025-12-06T11:40:22Z

Yazar Kyte, Thomas. author. Gennick, Jonathan. editor. Andres, Clay. editor. Anglin, Steve. editor. Beckner, Mark. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-2947-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-06T11:40:22Z

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

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

2025-12-06T11:40:22Z

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

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

2025-12-06T11:40:22Z

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

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

2025-12-06T11:40:22Z

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

Mathematical and Computer Programming Techniques for Computer Graphics

2025-12-06T11:40:22Z

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

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

2025-12-06T11:40:22Z

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

Decomposition Techniques in Mathematical Programming Engineering and Science Applications

2025-12-06T11:40:22Z

Yazar Conejo, Antonio J. author. Castillo, Enrique. author. Mínguez, Roberto. author. García-Bertrand, Raquel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-27686-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Expert Oracle Database Architecture 9i and 10g Programming Techniques and Solutions

2025-12-06T11:40:22Z

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

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

2025-12-06T11:40:22Z

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

GPU gems : programming techniques, tips, and tricks for real-time graphics

2025-12-06T11:40:22Z

Yazar Fernando, Randima.,ed. NVIDIA Corporation.
Yer Numarası T 385 G68 2004
Format: Kitap
Durum Beytepe Kütüphanesi~2

Introduction to simulation : programming techniques and methods of analysis

2025-12-06T11:40:22Z

Yazar Payne, James Andrew.
Yer Numarası QA 76.9.C65 P39 1982
Format: Kitap
Durum Beytepe Kütüphanesi~1

Introduction to optimization techniques : fundamentals and applications of nonlinear programming

2025-12-06T11:40:22Z

Yazar Aoki, Masanao.
Yer Numarası T 57.8 A55 1971
Format: Kitap
Durum Beytepe Kütüphanesi~1

Programming for optimal decisions : selected readings in mathematical programming techniques for management problems

2025-12-06T11:40:22Z

Yazar Moore, Peter Gerald, 1928- ed. Hodges, Stewart Dimont, ed.
Yer Numarası HF 5695 P943 1970
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2025-12-06T11:40:22Z

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

Data Science Concepts and Techniques with Applications

2025-12-06T11:40:22Z

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

ArtsIT, Interactivity and Game Creation 11th EAI International Conference, ArtsIT 2022, Faro, Portugal, November 21-22, 2022, Proceedings

2025-12-06T11:40:22Z

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

Advances in Computing 16th Colombian Congress, CCC 2022, Armenia, Colombia, October 17-21, 2022, Revised Selected Papers

2025-12-06T11:40:22Z

Yazar Agredo-Delgado, Vanessa. editor. Ruiz, Pablo H. editor. (orcid) Ruiz Gaona, Alexandra. editor. Villegas Ramírez, María Lili. editor. Giraldo Orozco, William Joseph. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-36357-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I

2025-12-06T11:40:22Z

Yazar Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35078-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II

2025-12-06T11:40:22Z

Yazar Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35081-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part II

2025-12-06T11:40:22Z

Yazar Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49011-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

2025-12-06T11:40:22Z

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

The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings

2025-12-06T11:40:22Z

Yazar Pesquita, Catia. editor. Skaf-Molli, Hala. editor. Efthymiou, Vasilis. editor. Kirrane, Sabrina. editor. Ngonga, Axel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-43458-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV

2025-12-06T11:40:22Z

Yazar Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-37114-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings

2025-12-06T11:40:22Z

Yazar García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-40725-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Prolog: The Next 50 Years

2025-12-06T11:40:22Z

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

Recent Advances in Materials Processing and Characterization Select Proceedings of ICMPC 2021

2025-12-06T11:40:22Z

Yazar Arockiarajan, A. editor. Duraiselvam, M. editor. Raju, Ramesh. editor. Reddy, N. Subba. editor. Satyanarayana, K. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-5347-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimization Methods for Product and System Design

2025-12-06T11:40:22Z

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

Advances in Quantitative Ethnography 5th International Conference, ICQE 2023, Melbourne, VIC, Australia, October 8-12, 2023, Proceedings

2025-12-06T11:40:22Z

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

Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

2025-12-06T11:40:22Z

Yazar Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-30445-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

2025-12-06T11:40:22Z

Yazar Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42823-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neuraxial Therapeutics A Comprehensive Guide

2025-12-06T11:40:22Z

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

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

2025-12-06T11:40:22Z

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

A Guide to MATLAB Object-Oriented Programming.

2025-12-06T11:40:22Z

Yazar Register, Andy H., author. CRC Press LLC.
Yer Numarası QA76.64 .R454 2017
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429138713 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

Mechatronic system control, logic, and data acquisition

2025-12-06T11:40:22Z

Yazar Bishop, Robert H., 1957- editor. Taylor and Francis.
Yer Numarası TJ223 .P76 M43 2008
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Introduction to high performance computing for scientists and engineers

2025-12-06T11:40:22Z

Yazar Hager, Georg. Wellein, Gerhard. CRC Press LLC.
Yer Numarası QA76.88
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429190612 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

Handbook of Genetic Programming Applications

2025-12-06T11:40:22Z

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

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

2025-12-06T11:40:22Z

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

Evolutionary Constrained Optimization

2025-12-06T11:40:22Z

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

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

2025-12-06T11:40:22Z

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

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

2025-12-06T11:40:22Z

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

An Introduction to Python and Computer Programming

2025-12-06T11:40:22Z

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

Practical cryptography : algorithms and implementations using C++

2025-12-06T11:40:22Z

Yazar Azad, Saiful, editor. Pathan, Al-Sakib Khan, editor.
Yer Numarası QA76.9 .A25 P725 2015
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Parameterized Algorithms

2025-12-06T11:40:22Z

Yazar Cygan, Marek. author. Fomin, Fedor V. author. Kowalik, Łukasz. author. Lokshtanov, Daniel. author. Marx, Dániel. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-21275-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

2025-12-06T11:40:22Z

Yazar Malyshkin, Victor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-21909-7
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

2025-12-06T11:40:22Z

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

Proceedings of the International Conference on Transformations in Engineering Education ICTIEE 2014

2025-12-06T11:40:22Z

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

Recent Advances in Swarm Intelligence and Evolutionary Computation

2025-12-06T11:40:22Z

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

Developments in Model-Based Optimization and Control Distributed Control and Industrial Applications

2025-12-06T11:40:22Z

Yazar Olaru, Sorin. editor. Grancharova, Alexandra. editor. Lobo Pereira, Fernando. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-26687-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real-Time Visual Effects for Game Programming

2025-12-06T11:40:22Z

Yazar Kim, Chang-Hun. author. Kim, Sun-Jeong. author. Kim, Soo-Kyun. author. Kang, Shin-Jin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-287-487-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook for construction planning and scheduling

2025-12-06T11:40:22Z

Yazar Baldwin, Andrew, 1950- author. Bordoli, David, author.
Yer Numarası ONLINE(341862.1)
Elektronik Erişim http://onlinelibrary.wiley.com/book/10.1002/9781118838167 Cover image http://catalogimages.wiley.com/images/db/jimages/9780470670323.jpg John Wiley http://dx.doi.org/10.1002/9781118838167
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Gas Chromatography A Comprehensive Reference

2025-12-06T11:40:22Z

Yazar Dettmer-Wilde, Katja. editor. Engewald, Werner. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54640-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multithreading for visual effects

2025-12-06T11:40:22Z

Yazar Watt, Martin, author. Coumans, Erwin, author. ElKoura, George, author. Henderson, Ronald, author. Kraemer, Manuel, author.
Yer Numarası TR897.7
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Game Design Workshop

2025-12-06T11:40:22Z

Yazar Fullerton, Tracy, author. Safari, an O'Reilly Media Company.
Yer Numarası QA76.76 .C672
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429188015 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 : Technologies, Techniques, Tools, and Trends

2025-12-06T11:40:22Z

Yazar Thuraisingham, Bhavani, author.
Yer Numarası QA76.9 .D3 T487 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Beginning C

2025-12-06T11:40:22Z

Yazar Horton, Ivor. author. SpringerLink (Online service)
Yer Numarası ONLINE(330651.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4882-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Oracle Application Express for Mobile Web Applications

2025-12-06T11:40:22Z

Yazar Hartman, Roel. author. Rokitta, Christian. author. Peake, David. author. SpringerLink (Online service)
Yer Numarası ONLINE(330663.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4948-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pointers in C A Hands on Approach

2025-12-06T11:40:22Z

Yazar Toppo, Naveen. author. Dewan, Hrishikesh. author. SpringerLink (Online service)
Yer Numarası ONLINE(330727.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-5912-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Java Quick Syntax Reference

2025-12-06T11:40:22Z

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

Guide to Cloud Computing Principles and Practice

2025-12-06T11:40:22Z

Yazar Hill, Richard. author. Hirsch, Laurie. author. Lake, Peter. author. Moshiri, Siavash. author. SpringerLink (Online service)
Yer Numarası ONLINE(331022.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4603-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Data Mining

2025-12-06T11:40:22Z

Yazar Bramer, Max. author. SpringerLink (Online service)
Yer Numarası ONLINE(331086.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4884-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Programming Theory and Practice

2025-12-06T11:40:22Z

Yazar Shankar, A. Udaya. author. SpringerLink (Online service)
Yer Numarası ONLINE(331611.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4881-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice X

2025-12-06T11:40:22Z

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

Proceedings of the FISITA 2012 World Automotive Congress Volume 6: Vehicle Electronics.

2025-12-06T11:40:22Z

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

Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures

2025-12-06T11:40:22Z

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

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

2025-12-06T11:40:22Z

Yazar Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334469.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37658-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Deductive Spreadsheet

2025-12-06T11:40:22Z

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

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

2025-12-06T11:40:22Z

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

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

2025-12-06T11:40:22Z

Yazar Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334711.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39013-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

2025-12-06T11:40:22Z

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

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

2025-12-06T11:40:22Z

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

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

2025-12-06T11:40:22Z

Yazar Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334683.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38856-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

2025-12-06T11:40:22Z

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

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

2025-12-06T11:40:22Z

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

Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

2025-12-06T11:40:22Z

Yazar Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334946.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40447-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-06T11:40:22Z

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

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

2025-12-06T11:40:22Z

Yazar Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334968.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40561-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-06T11:40:22Z

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

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

2025-12-06T11:40:22Z

Yazar Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334990.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40698-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-06T11:40:22Z

Yazar Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335124.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41575-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

2025-12-06T11:40:22Z

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

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

2025-12-06T11:40:22Z

Yazar Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335210.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45343-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)

2025-12-06T11:40:22Z

Yazar Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.
Yer Numarası ONLINE(335216.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45419-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

2025-12-06T11:40:22Z

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

Scala Design Patterns Patterns for Practical Reuse and Design

2025-12-06T11:40:22Z

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

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

2025-12-06T11:40:22Z

Yazar Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332921.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02444-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compiler Design Syntactic and Semantic Analysis

2025-12-06T11:40:22Z

Yazar Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)
Yer Numarası ONLINE(333076.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17540-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

BiLBIQ: A Biologically Inspired Robot with Walking and Rolling Locomotion

2025-12-06T11:40:22Z

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

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

2025-12-06T11:40:22Z

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

Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings

2025-12-06T11:40:22Z

Yazar Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.
Yer Numarası ONLINE(334025.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35668-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers

2025-12-06T11:40:22Z

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

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

2025-12-06T11:40:22Z

Yazar Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334055.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

2025-12-06T11:40:22Z

Yazar Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334069.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35861-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

2025-12-06T11:40:22Z

Yazar Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334096.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35992-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning C# by Programming Games

2025-12-06T11:40:22Z

Yazar Egges, Arjan. author. Fokker, Jeroen D. author. Overmars, Mark H. author. SpringerLink (Online service)
Yer Numarası ONLINE(334239.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36580-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

2025-12-06T11:40:22Z

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

Transactions on Aspect-Oriented Software Development X

2025-12-06T11:40:22Z

Yazar Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334333.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36964-3
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

2025-12-06T11:40:22Z

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

Tools for High Performance Computing 2012

2025-12-06T11:40:22Z

Yazar Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.
Yer Numarası ONLINE(334411.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37349-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

2025-12-06T11:40:22Z

Yazar Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334844.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39742-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

2025-12-06T11:40:22Z

Yazar Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334870.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39955-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-06T11:40:22Z

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

Ada 2012 Rationale The Language, The Standard Libraries

2025-12-06T11:40:22Z

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

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

2025-12-06T11:40:22Z

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

An Introduction to Network Programming with Java Java 7 Compatible

2025-12-06T11:40:22Z

Yazar Graba, Jan. author. SpringerLink (Online service)
Yer Numarası ONLINE(331180.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5254-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Using Event-B for Critical Device Software Systems

2025-12-06T11:40:22Z

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

Guide to Programming and Algorithms Using R

2025-12-06T11:40:22Z

Yazar Ergül, Özgür. author. SpringerLink (Online service)
Yer Numarası ONLINE(331192.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5328-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming with Prolog

2025-12-06T11:40:22Z

Yazar Bramer, Max. author. SpringerLink (Online service)
Yer Numarası ONLINE(331207.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering and Management for Software Development Projects

2025-12-06T11:40:22Z

Yazar Chemuturi, Murali. author. SpringerLink (Online service)
Yer Numarası ONLINE(331756.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5377-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Logics Essays in Memory of Harald Ganzinger

2025-12-06T11:40:22Z

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

Parallel Programming for Multicore and Cluster Systems

2025-12-06T11:40:22Z

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

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

2025-12-06T11:40:22Z

Yazar Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334533.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38088-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Algorithms for Message-Passing Systems

2025-12-06T11:40:22Z

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

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

2025-12-06T11:40:22Z

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

Transactions on Pattern Languages of Programming III

2025-12-06T11:40:22Z

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

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

2025-12-06T11:40:22Z

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

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

2025-12-06T11:40:22Z

Yazar Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334698.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38916-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

2025-12-06T11:40:22Z

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

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

2025-12-06T11:40:22Z

Yazar Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335023.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40885-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-06T11:40:22Z

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

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

2025-12-06T11:40:22Z

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

Service-oriented distributed knowledge discovery

2025-12-06T11:40:22Z

Yazar Talia, Domenico., author. Trunfio, Paolo.
Yer Numarası QA76.9 .D343 T3484 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

GPU Pro 4 : advanced rendering techniques

2025-12-06T11:40:22Z

Yazar Engel, Wolfgang.
Yer Numarası T385 .G6887 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Multilevel modeling of categorical outcomes using IBM SPSS

2025-12-06T11:40:22Z

Yazar Heck, Ronald H. Thomas, Scott. Tabata, Lynn Naomi.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

GPU Pro 3 : advanced rendering techniques

2025-12-06T11:40:22Z

Yazar Engel, Wolfgang F.
Yer Numarası T385 .G6886 2011
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Numerical methods for equations and its applications

2025-12-06T11:40:22Z

Yazar Argyros, Ioannis K., author. Cho, Yeol Je. Hilout, Said.
Yer Numarası QA246 .A74 2012
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Instrument engineers' handbook. Process software and digital networks

2025-12-06T11:40:22Z

Yazar Eren, Halit. Liptak, Bela G.
Yer Numarası TS156.8 .L57 2012
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Mathematical aspects of logic programming semantics

2025-12-06T11:40:22Z

Yazar Hitzler, Pascal., author. Seda, Anthony.
Yer Numarası QA76.63 .H58 2011
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Computer technology and computer programming : new research and strategies

2025-12-06T11:40:22Z

Yazar Antonakos, James L.
Yer Numarası QA76.6 .C66 2011
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Applied operational research with SAS

2025-12-06T11:40:22Z

Yazar Emrouznejad, Ali., author. Ho, William.
Yer Numarası T57.5 .E47 2011
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

GPU Pro[superscript 2] : advanced rendering techniques

2025-12-06T11:40:22Z

Yazar Engel, Wolfgang F.
Yer Numarası T385 .G6885 2011
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Bayesian analysis for population ecology

2025-12-06T11:40:22Z

Yazar King, Ruth, 1977-
Yer Numarası QH352 .B38 2010
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Design for energy and the environment : proceedings of the Seventh International Conference on the Foundations of Computer-Aided Process Design

2025-12-06T11:40:22Z

Yazar International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.) El-Halwagi, Mahmoud M., 1962- Linninger, Andreas A.
Yer Numarası TP155.7 .I552 2009
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Multi-core embedded systems

2025-12-06T11:40:22Z

Yazar Kornaros, Georgios.
Yer Numarası TK7895 .E42 M848 2010
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Biological sequence analysis using the SeqAn C++ library

2025-12-06T11:40:22Z

Yazar Gogol-Doring, Andreas., author. Reinert, Knut.
Yer Numarası QP625 .N89 G64 2010
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Introduction to scientific programming and simulation using R

2025-12-06T11:40:22Z

Yazar Jones, Owen (Owen Dafydd), author. Maillardet, Robert. Robinson, Andrew (Andrew P.)
Yer Numarası Q183.9 .J66 2009
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Algorithms and theory of computation handbook. General concepts and techniques

2025-12-06T11:40:22Z

Yazar Atallah, Mikhail J. Blanton, Marina.
Yer Numarası QA76.9 .A43 A432 2009
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Handbook of real-time and embedded systems

2025-12-06T11:40:22Z

Yazar Lee, Insup. Leung, Joseph Y-T. Son, Sang H.
Yer Numarası QA76.54 .H35 2008
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Mathematical finance theory, modeling, implementation

2025-12-06T11:40:22Z

Yazar Fries, Christian, 1970-
Yer Numarası ONLINE(318887.1)
Elektronik Erişim Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=315233 EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=208045 MyiLibrary http://www.myilibrary.com?id=97434 MyiLibrary, Table of contents http://www.myilibrary.com?id=97434&ref=toc Table of contents only http://catdir.loc.gov/catdir/toc/ecip0713/2007011325.html
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Free and moving boundaries : analysis, simulation and control

2025-12-06T11:40:22Z

Yazar Glowinski, R. Zolesio, J. P.
Yer Numarası TA347 .B69 F68 2007
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Microcontroller programming : the microchip PIC

2025-12-06T11:40:22Z

Yazar Sanchez, Julio, 1938-, author. Canton, Maria P.
Yer Numarası TJ223 .P76 S36 2007
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Handbook of linear algebra

2025-12-06T11:40:22Z

Yazar Hogben, Leslie.
Yer Numarası QA184.2 .H36 2007
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Handbook of approximation algorithms and metaheurististics

2025-12-06T11:40:22Z

Yazar Gonzalez, Teofilo F.
Yer Numarası QA76.9 .A43 H36 2007
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Integer programming : theory and practice

2025-12-06T11:40:22Z

Yazar Karlof, John K.
Yer Numarası T57.74 .I547 2006
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Decision diagram techniques for micro- and nanoelectronic design handbook

2025-12-06T11:40:22Z

Yazar Yanushkevich, Svetlana N.
Yer Numarası T57.95 .I549 2006
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Real-time volume graphics

2025-12-06T11:40:22Z

Yazar Engel, Klaus, 1969-
Yer Numarası T385 .R43414 2006
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Computers, Software Engineering, and Digital Devices

2025-12-06T11:40:22Z

Yazar Dorf, Richard C., author. Taylor and Francis.
Yer Numarası TK7885
Elektronik Erişim Click here to view.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of sensor networks : compact wireless and wired sensing systems

2025-12-06T11:40:22Z

Yazar Ilyas, Mohammad, 1953- Mahgoub, Imad.
Yer Numarası TK7872 .D48 H36 2005
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Graphics Tools---The jgt Editors' Choice

2025-12-06T11:40:22Z

Yazar Barzel, Ronen, editor. Taylor and Francis.
Yer Numarası T385
Elektronik Erişim Click here to view.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer science handbook

2025-12-06T11:40:22Z

Yazar Tucker, Allen B.
Yer Numarası QA76 .C54755 2004
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Statistical data mining and knowledge discovery

2025-12-06T11:40:22Z

Yazar Bozdogan, H. (Hamparsum), 1945-
Yer Numarası QA76.9 .D343 S685 2004
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Dynamic software development : managing projects in flux

2025-12-06T11:40:22Z

Yazar Wells, Timothy D. CRC Press LLC.
Yer Numarası QA76.76 .D47
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429134074 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

Sensitivity of automatic control systems

2025-12-06T11:40:22Z

Yazar Rosenwasser, Efim. I͡Usupov, Rafaėlʹ Midkhatovich.
Yer Numarası TJ213 .R655 2000
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/e/9781420049749 Taylor & Francis https://www.taylorfrancis.com/books/e/9781315219684 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-06T11:40:22Z

Yazar Konar, Amit, author.
Yer Numarası QA76.9 .S63 K59 2000
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1