Search Results for Programming Techniques.

Recursive programming techniques

2025-12-08T18:15:43Z

Author Burge, William H.
Preferred Shelf Number QA 76.6 B8 1975
Format: Books
Availability Beytepe Library~1

Programming and scheduling techniques

2025-12-08T18:15:43Z

Author Uher, Thomas E. Zantis, Adam S.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

LabView advanced programming techniques

2025-12-08T18:15:43Z

Author Bitter, Rick., author. Mohiuddin, Taqi. Nawrocki, Matt.
Preferred Shelf Number QA76.6 .B5735 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

LabVIEW advanced programming techniques

2025-12-08T18:15:43Z

Author Bitter, Rick., author. Mohiuddin, Taqi. Nawrocki, Matt.
Preferred Shelf Number QA76.6 .B5735 2001
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Recursive techniques in programming

2025-12-08T18:15:43Z

Author Barron, David William.
Preferred Shelf Number QA 96.5 B2964 1968
Format: Books
Availability Beytepe Library~1

Programming : an introduction to computer techniques

2025-12-08T18:15:43Z

Author Maurer, Ward Douglas, 1938-
Preferred Shelf Number QA76.6 M39 1972
Format: Books
Availability Beytepe Library~1

Linear programming and related techniques

2025-12-08T18:15:43Z

Author Van de Panne, C.
Preferred Shelf Number T 57.74 V34 1971
Format: Books
Availability Beytepe Library~1

Java programming : complete concepts and techniques

2025-12-08T18:15:43Z

Preferred Shelf Number QA76.73.J38 J383 2006
Format: Books
Availability Beytepe Library~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-08T18:15:43Z

Author 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.
Preferred Shelf Number Q 340 .I575 2005
Format: Books
Availability Beytepe Library~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-08T18:15:43Z

Author 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.
Preferred Shelf Number Q 340 .I575 2004
Format: Books
Availability Beytepe Library~1

Concepts, techniques, and models of computer programming

2025-12-08T18:15:43Z

Author Van-Roy, Peter. Haridi, Seif.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353
Format: Electronic Resources
Availability Online Library~1

Programming and computer techniques in experimental physics

2025-12-08T18:15:43Z

Author Skobel'tsyn, D. V., ed.
Preferred Shelf Number QA 76 P9433 1970
Format: Books
Availability Beytepe Library~1

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

2025-12-08T18:15:43Z

Author Michel, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18008-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Siegesmund, Mark, author.
Preferred Shelf Number ONLINE(355476.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128013144
Format: Electronic Resources
Availability Online Library~1

Arduino sketches : tools and techniques for programming wizardry

2025-12-08T18:15:43Z

Author Langbridge, James A., author.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Simonis, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07046-9
Format: Electronic Resources
Availability Online Library~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-08T18:15:43Z

Author Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334549.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38171-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330912.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4126-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Ciubotaru, Bogdan. author. Muntean, Gabriel-Miro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331186.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5292-7
Format: Electronic Resources
Availability Online Library~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-08T18:15:43Z

Author Beldiceanu, Nicolas. editor. Jussien, Narendra. editor. Pinson, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29828-8
Format: Electronic Resources
Availability Online Library~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-08T18:15:43Z

Author Achterberg, Tobias. editor. Beck, J. Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21311-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Kyte, Thomas. author. Gennick, Jonathan. editor. Andres, Clay. editor. Anglin, Steve. editor. Beckner, Mark. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-2947-6
Format: Electronic Resources
Availability Online Library~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-08T18:15:43Z

Author Lodi, Andrea. editor. Milano, Michela. editor. Toth, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13520-0
Format: Electronic Resources
Availability Online Library~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-08T18:15:43Z

Author Hoeve, Willem-Jan. editor. Hooker, John N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01929-6
Format: Electronic Resources
Availability Online Library~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-08T18:15:43Z

Author Perron, Laurent. editor. Trick, Michael A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68155-7
Format: Electronic Resources
Availability Online Library~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-08T18:15:43Z

Author Hentenryck, Pascal. editor. Wolsey, Laurence. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72397-4
Format: Electronic Resources
Availability Online Library~1

Mathematical and Computer Programming Techniques for Computer Graphics

2025-12-08T18:15:43Z

Author Comninos, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-292-8
Format: Electronic Resources
Availability Online Library~1

Decomposition Techniques in Mathematical Programming Engineering and Science Applications

2025-12-08T18:15:43Z

Author Conejo, Antonio J. author. Castillo, Enrique. author. Mínguez, Roberto. author. García-Bertrand, Raquel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-27686-6
Format: Electronic Resources
Availability Online Library~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-08T18:15:43Z

Author Beck, J. Christopher. editor. Smith, Barbara M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11757375
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Kyte, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0067-3
Format: Electronic Resources
Availability Online Library~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-08T18:15:43Z

Author Barták, Roman. editor. Milano, Michela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136920
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Fernando, Randima.,ed. NVIDIA Corporation.
Preferred Shelf Number T 385 G68 2004
Format: Books
Availability Beytepe Library~2

Introduction to simulation : programming techniques and methods of analysis

2025-12-08T18:15:43Z

Author Payne, James Andrew.
Preferred Shelf Number QA 76.9.C65 P39 1982
Format: Books
Availability Beytepe Library~1

Introduction to optimization techniques : fundamentals and applications of nonlinear programming

2025-12-08T18:15:43Z

Author Aoki, Masanao.
Preferred Shelf Number T 57.8 A55 1971
Format: Books
Availability Beytepe Library~1

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

2025-12-08T18:15:43Z

Author Moore, Peter Gerald, 1928- ed. Hodges, Stewart Dimont, ed.
Preferred Shelf Number HF 5695 P943 1970
Format: Books
Availability Beytepe Library~1

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

2025-12-08T18:15:43Z

Author Nazareth, John Lawrence. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-21762-3
Format: Electronic Resources
Availability Online Library~1

Data Science Concepts and Techniques with Applications

2025-12-08T18:15:43Z

Author Qamar, Usman. author. Raza, Muhammad Summair. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-17442-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Brooks, Anthony L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28993-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Arastoopour Irgens, Golnaz. editor. Knight, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47014-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37114-1
Format: Electronic Resources
Availability Online Library~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-08T18:15:43Z

Author Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49011-8
Format: Electronic Resources
Availability Online Library~1

Prolog: The Next 50 Years

2025-12-08T18:15:43Z

Author Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35254-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Arockiarajan, A. editor. Duraiselvam, M. editor. Raju, Ramesh. editor. Reddy, N. Subba. editor. Satyanarayana, K. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-5347-7
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Neustein, Amy. editor. Mahalle, Parikshit N. editor. Joshi, Prachi. editor. Shinde, Gitanjali Rahul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29713-7
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author 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.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36357-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35078-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35081-8
Format: Electronic Resources
Availability Online Library~1

Optimization Methods for Product and System Design

2025-12-08T18:15:43Z

Author Kulkarni, Anand J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1521-7
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30445-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42823-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Pesquita, Catia. editor. Skaf-Molli, Hala. editor. Efthymiou, Vasilis. editor. Kirrane, Sabrina. editor. Ngonga, Axel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43458-7
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40725-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52038-9
Format: Electronic Resources
Availability Online Library~1

Neuraxial Therapeutics A Comprehensive Guide

2025-12-08T18:15:43Z

Author Yaksh, Tony. editor. Hayek, Salim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39558-1
Format: Electronic Resources
Availability Online Library~1

A Guide to MATLAB Object-Oriented Programming.

2025-12-08T18:15:43Z

Author Register, Andy H., author. CRC Press LLC.
Preferred Shelf Number QA76.64 .R454 2017
Electronic Access 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: Electronic Resources
Availability Online Library~1

Mechatronic system control, logic, and data acquisition

2025-12-08T18:15:43Z

Author Bishop, Robert H., 1957- editor. Taylor and Francis.
Preferred Shelf Number TJ223 .P76 M43 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Introduction to high performance computing for scientists and engineers

2025-12-08T18:15:43Z

Author Hager, Georg. Wellein, Gerhard. CRC Press LLC.
Preferred Shelf Number QA76.88
Electronic Access 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: Electronic Resources
Availability Online Library~1

Parameterized Algorithms

2025-12-08T18:15:43Z

Author Cygan, Marek. author. Fomin, Fedor V. author. Kowalik, Łukasz. author. Lokshtanov, Daniel. author. Marx, Dániel. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21275-3
Format: Electronic Resources
Availability Online Library~1

Handbook of Genetic Programming Applications

2025-12-08T18:15:43Z

Author Gandomi, Amir H. editor. Alavi, Amir H. editor. Ryan, Conor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-20883-1
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Swarm Intelligence and Evolutionary Computation

2025-12-08T18:15:43Z

Author Yang, Xin-She. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13826-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2217-0
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Olaru, Sorin. editor. Grancharova, Alexandra. editor. Lobo Pereira, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26687-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Neves-Silva, Rui. editor. Jain, Lakhmi C. editor. Howlett, Robert J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19857-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21668-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Natarajan, R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-1931-6
Format: Electronic Resources
Availability Online Library~1

Real-Time Visual Effects for Game Programming

2025-12-08T18:15:43Z

Author Kim, Chang-Hun. author. Kim, Sun-Jeong. author. Kim, Soo-Kyun. author. Kang, Shin-Jin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-287-487-0
Format: Electronic Resources
Availability Online Library~1

Evolutionary Constrained Optimization

2025-12-08T18:15:43Z

Author Datta, Rituparna. editor. Deb, Kalyanmoy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2184-5
Format: Electronic Resources
Availability Online Library~1

An Introduction to Python and Computer Programming

2025-12-08T18:15:43Z

Author Zhang, Yue. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-287-609-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21909-7
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26184-3
Format: Electronic Resources
Availability Online Library~1

Practical cryptography : algorithms and implementations using C++

2025-12-08T18:15:43Z

Author Azad, Saiful, editor. Pathan, Al-Sakib Khan, editor.
Preferred Shelf Number QA76.9 .A25 P725 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Handbook for construction planning and scheduling

2025-12-08T18:15:43Z

Author Baldwin, Andrew, 1950- author. Bordoli, David, author.
Preferred Shelf Number ONLINE(341862.1)
Electronic Access 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: Electronic Resources
Availability Online Library~1

Practical Gas Chromatography A Comprehensive Reference

2025-12-08T18:15:43Z

Author Dettmer-Wilde, Katja. editor. Engewald, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54640-2
Format: Electronic Resources
Availability Online Library~1

Game Design Workshop

2025-12-08T18:15:43Z

Author Fullerton, Tracy, author. Safari, an O'Reilly Media Company.
Preferred Shelf Number QA76.76 .C672
Electronic Access 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: Electronic Resources
Availability Online Library~1

Data Mining : Technologies, Techniques, Tools, and Trends

2025-12-08T18:15:43Z

Author Thuraisingham, Bhavani, author.
Preferred Shelf Number QA76.9 .D3 T487 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Multithreading for visual effects

2025-12-08T18:15:43Z

Author Watt, Martin, author. Coumans, Erwin, author. ElKoura, George, author. Henderson, Ronald, author. Kraemer, Manuel, author.
Preferred Shelf Number TR897.7
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Logic Programming with Prolog

2025-12-08T18:15:43Z

Author Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331207.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice X

2025-12-08T18:15:43Z

Author Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332135.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6846-2
Format: Electronic Resources
Availability Online Library~1

Compiler Design Syntactic and Semantic Analysis

2025-12-08T18:15:43Z

Author Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333076.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-17540-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author SAE-China. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333761.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33829-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334327.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36946-9
Format: Electronic Resources
Availability Online Library~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-08T18:15:43Z

Author Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334348.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37036-6
Format: Electronic Resources
Availability Online Library~1

Programming Logics Essays in Memory of Harald Ganzinger

2025-12-08T18:15:43Z

Author Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334468.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37651-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334469.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37658-0
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334711.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39013-5
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334934.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40355-2
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334946.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40447-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334968.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40561-7
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334969.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Electronic Resources
Availability Online Library~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-08T18:15:43Z

Author Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334990.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40698-0
Format: Electronic Resources
Availability Online Library~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-08T18:15:43Z

Author Tompits, Hans. editor. Abreu, Salvador. editor. Oetsch, Johannes. editor. Pührer, Jörg. editor. Seipel, Dietmar. editor.
Preferred Shelf Number ONLINE(335118.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41524-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335124.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41575-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Hinze, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335126.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41582-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335210.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45343-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.
Preferred Shelf Number ONLINE(335216.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45419-6
Format: Electronic Resources
Availability Online Library~1

Oracle Application Express for Mobile Web Applications

2025-12-08T18:15:43Z

Author Hartman, Roel. author. Rokitta, Christian. author. Peake, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330663.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4302-4948-1
Format: Electronic Resources
Availability Online Library~1

Pointers in C A Hands on Approach

2025-12-08T18:15:43Z

Author Toppo, Naveen. author. Dewan, Hrishikesh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330727.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4302-5912-1
Format: Electronic Resources
Availability Online Library~1

Java Quick Syntax Reference

2025-12-08T18:15:43Z

Author Olsson, Mikael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330770.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4302-6287-9
Format: Electronic Resources
Availability Online Library~1

Principles of Data Mining

2025-12-08T18:15:43Z

Author Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331086.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4884-5
Format: Electronic Resources
Availability Online Library~1

BiLBIQ: A Biologically Inspired Robot with Walking and Rolling Locomotion

2025-12-08T18:15:43Z

Author King, Ralf Simon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333882.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34682-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334014.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35632-2
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.
Preferred Shelf Number ONLINE(334025.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35668-1
Format: Electronic Resources
Availability Online Library~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-08T18:15:43Z

Author Rajopadhye, Sanjay. editor. Mills Strout, Michelle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334104.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36036-7
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334109.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36054-1
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development X

2025-12-08T18:15:43Z

Author Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334333.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36964-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334533.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38088-4
Format: Electronic Resources
Availability Online Library~1

Distributed Algorithms for Message-Passing Systems

2025-12-08T18:15:43Z

Author Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334542.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38123-2
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334552.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38197-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Pattern Languages of Programming III

2025-12-08T18:15:43Z

Author Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334647.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38676-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334652.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38700-5
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334673.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38812-5
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334706.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38977-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334683.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38856-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334715.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39038-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334844.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39742-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334962.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40537-2
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334870.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39955-8
Format: Electronic Resources
Availability Online Library~1

Beginning C

2025-12-08T18:15:43Z

Author Horton, Ivor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330651.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4302-4882-8
Format: Electronic Resources
Availability Online Library~1

Guide to Cloud Computing Principles and Practice

2025-12-08T18:15:43Z

Author Hill, Richard. author. Hirsch, Laurie. author. Lake, Peter. author. Moshiri, Siavash. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331022.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4603-2
Format: Electronic Resources
Availability Online Library~1

Guide to Programming and Algorithms Using R

2025-12-08T18:15:43Z

Author Ergül, Özgür. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331192.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5328-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334055.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Electronic Resources
Availability Online Library~1

Learning C# by Programming Games

2025-12-08T18:15:43Z

Author Egges, Arjan. author. Fokker, Jeroen D. author. Overmars, Mark H. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334239.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36580-5
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334069.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35861-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334096.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35992-7
Format: Electronic Resources
Availability Online Library~1

Tools for High Performance Computing 2012

2025-12-08T18:15:43Z

Author Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.
Preferred Shelf Number ONLINE(334411.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37349-7
Format: Electronic Resources
Availability Online Library~1

The Deductive Spreadsheet

2025-12-08T18:15:43Z

Author Cervesato, Iliano. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334475.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37747-1
Format: Electronic Resources
Availability Online Library~1

Parallel Programming for Multicore and Cluster Systems

2025-12-08T18:15:43Z

Author Rauber, Thomas. author. Rünger, Gudula. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334484.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37801-0
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334698.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38916-0
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334772.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39277-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335003.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40787-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335023.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40885-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335028.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40922-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Sagonas, Kostis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335204.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45284-0
Format: Electronic Resources
Availability Online Library~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-08T18:15:43Z

Author Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335072.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41202-8
Format: Electronic Resources
Availability Online Library~1

Ada 2012 Rationale The Language, The Standard Libraries

2025-12-08T18:15:43Z

Author Barnes, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335195.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45210-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335196.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45221-5
Format: Electronic Resources
Availability Online Library~1

An Introduction to Network Programming with Java Java 7 Compatible

2025-12-08T18:15:43Z

Author Graba, Jan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331180.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5254-5
Format: Electronic Resources
Availability Online Library~1

Using Event-B for Critical Device Software Systems

2025-12-08T18:15:43Z

Author Singh, Neeraj Kumar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331181.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: Electronic Resources
Availability Online Library~1

Distributed Programming Theory and Practice

2025-12-08T18:15:43Z

Author Shankar, A. Udaya. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331611.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4881-5
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering and Management for Software Development Projects

2025-12-08T18:15:43Z

Author Chemuturi, Murali. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331756.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5377-2
Format: Electronic Resources
Availability Online Library~1

Scala Design Patterns Patterns for Practical Reuse and Design

2025-12-08T18:15:43Z

Author Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332904.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02192-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332921.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02444-8
Format: Electronic Resources
Availability Online Library~1

Service-oriented distributed knowledge discovery

2025-12-08T18:15:43Z

Author Talia, Domenico., author. Trunfio, Paolo.
Preferred Shelf Number QA76.9 .D343 T3484 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

GPU Pro 4 : advanced rendering techniques

2025-12-08T18:15:43Z

Author Engel, Wolfgang.
Preferred Shelf Number T385 .G6887 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Multilevel modeling of categorical outcomes using IBM SPSS

2025-12-08T18:15:43Z

Author Heck, Ronald H. Thomas, Scott. Tabata, Lynn Naomi.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

GPU Pro 3 : advanced rendering techniques

2025-12-08T18:15:43Z

Author Engel, Wolfgang F.
Preferred Shelf Number T385 .G6886 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Numerical methods for equations and its applications

2025-12-08T18:15:43Z

Author Argyros, Ioannis K., author. Cho, Yeol Je. Hilout, Said.
Preferred Shelf Number QA246 .A74 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Instrument engineers' handbook. Process software and digital networks

2025-12-08T18:15:43Z

Author Eren, Halit. Liptak, Bela G.
Preferred Shelf Number TS156.8 .L57 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Applied operational research with SAS

2025-12-08T18:15:43Z

Author Emrouznejad, Ali., author. Ho, William.
Preferred Shelf Number T57.5 .E47 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Computer technology and computer programming : new research and strategies

2025-12-08T18:15:43Z

Author Antonakos, James L.
Preferred Shelf Number QA76.6 .C66 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Mathematical aspects of logic programming semantics

2025-12-08T18:15:43Z

Author Hitzler, Pascal., author. Seda, Anthony.
Preferred Shelf Number QA76.63 .H58 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

GPU Pro[superscript 2] : advanced rendering techniques

2025-12-08T18:15:43Z

Author Engel, Wolfgang F.
Preferred Shelf Number T385 .G6885 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Biological sequence analysis using the SeqAn C++ library

2025-12-08T18:15:43Z

Author Gogol-Doring, Andreas., author. Reinert, Knut.
Preferred Shelf Number QP625 .N89 G64 2010
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Bayesian analysis for population ecology

2025-12-08T18:15:43Z

Author King, Ruth, 1977-
Preferred Shelf Number QH352 .B38 2010
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Multi-core embedded systems

2025-12-08T18:15:43Z

Author Kornaros, Georgios.
Preferred Shelf Number TK7895 .E42 M848 2010
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.) El-Halwagi, Mahmoud M., 1962- Linninger, Andreas A.
Preferred Shelf Number TP155.7 .I552 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Introduction to scientific programming and simulation using R

2025-12-08T18:15:43Z

Author Jones, Owen (Owen Dafydd), author. Maillardet, Robert. Robinson, Andrew (Andrew P.)
Preferred Shelf Number Q183.9 .J66 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Algorithms and theory of computation handbook. General concepts and techniques

2025-12-08T18:15:43Z

Author Atallah, Mikhail J. Blanton, Marina.
Preferred Shelf Number QA76.9 .A43 A432 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Handbook of real-time and embedded systems

2025-12-08T18:15:43Z

Author Lee, Insup. Leung, Joseph Y-T. Son, Sang H.
Preferred Shelf Number QA76.54 .H35 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Mathematical finance theory, modeling, implementation

2025-12-08T18:15:43Z

Author Fries, Christian, 1970-
Preferred Shelf Number ONLINE(318887.1)
Electronic Access 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: Electronic Resources
Availability Online Library~1

Handbook of linear algebra

2025-12-08T18:15:43Z

Author Hogben, Leslie.
Preferred Shelf Number QA184.2 .H36 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Handbook of approximation algorithms and metaheurististics

2025-12-08T18:15:43Z

Author Gonzalez, Teofilo F.
Preferred Shelf Number QA76.9 .A43 H36 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Free and moving boundaries : analysis, simulation and control

2025-12-08T18:15:43Z

Author Glowinski, R. Zolesio, J. P.
Preferred Shelf Number TA347 .B69 F68 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Microcontroller programming : the microchip PIC

2025-12-08T18:15:43Z

Author Sanchez, Julio, 1938-, author. Canton, Maria P.
Preferred Shelf Number TJ223 .P76 S36 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Real-time volume graphics

2025-12-08T18:15:43Z

Author Engel, Klaus, 1969-
Preferred Shelf Number T385 .R43414 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Integer programming : theory and practice

2025-12-08T18:15:43Z

Author Karlof, John K.
Preferred Shelf Number T57.74 .I547 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Decision diagram techniques for micro- and nanoelectronic design handbook

2025-12-08T18:15:43Z

Author Yanushkevich, Svetlana N.
Preferred Shelf Number T57.95 .I549 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Handbook of sensor networks : compact wireless and wired sensing systems

2025-12-08T18:15:43Z

Author Ilyas, Mohammad, 1953- Mahgoub, Imad.
Preferred Shelf Number TK7872 .D48 H36 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Computers, Software Engineering, and Digital Devices

2025-12-08T18:15:43Z

Author Dorf, Richard C., author. Taylor and Francis.
Preferred Shelf Number TK7885
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Graphics Tools---The jgt Editors' Choice

2025-12-08T18:15:43Z

Author Barzel, Ronen, editor. Taylor and Francis.
Preferred Shelf Number T385
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Computer science handbook

2025-12-08T18:15:43Z

Author Tucker, Allen B.
Preferred Shelf Number QA76 .C54755 2004
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Statistical data mining and knowledge discovery

2025-12-08T18:15:43Z

Author Bozdogan, H. (Hamparsum), 1945-
Preferred Shelf Number QA76.9 .D343 S685 2004
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Dynamic software development : managing projects in flux

2025-12-08T18:15:43Z

Author Wells, Timothy D. CRC Press LLC.
Preferred Shelf Number QA76.76 .D47
Electronic Access 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: Electronic Resources
Availability Online Library~1

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

2025-12-08T18:15:43Z

Author Konar, Amit, author.
Preferred Shelf Number QA76.9 .S63 K59 2000
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Sensitivity of automatic control systems

2025-12-08T18:15:43Z

Author Rosenwasser, Efim. I͡Usupov, Rafaėlʹ Midkhatovich.
Preferred Shelf Number TJ213 .R655 2000
Electronic Access 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: Electronic Resources
Availability Online Library~1