Search Results for Programming Techniques.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming$002bTechniques.$0026te$003dILS$0026ps$003d300?dt=list
2024-12-23T05:09:06Z
Recursive programming techniques
ent://SD_ILS/0/SD_ILS:32181
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Burge, William H.<br/>Preferred Shelf Number QA 76.6 B8 1975<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
LabView advanced programming techniques
ent://SD_ILS/0/SD_ILS:290284
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Bitter, Rick. Mohiuddin, Taqi. Nawrocki, Matt.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420004915">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
LabVIEW advanced programming techniques
ent://SD_ILS/0/SD_ILS:284929
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Bitter, Rick. Mohiuddin, Taqi. Nawrocki, Matt.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420039351">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming and scheduling techniques
ent://SD_ILS/0/SD_ILS:262614
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Uher, Thomas E. Zantis, Adam S.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203836002">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recursive techniques in programming
ent://SD_ILS/0/SD_ILS:32574
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Barron, David William.<br/>Preferred Shelf Number QA 96.5 B2964 1968<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Programming : an introduction to computer techniques
ent://SD_ILS/0/SD_ILS:32209
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Maurer, Ward Douglas, 1938-<br/>Preferred Shelf Number QA76.6 M39 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Linear programming and related techniques
ent://SD_ILS/0/SD_ILS:47488
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Van de Panne, C.<br/>Preferred Shelf Number T 57.74 V34 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Java programming : complete concepts and techniques
ent://SD_ILS/0/SD_ILS:109640
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Preferred Shelf Number QA76.73.J38 J383 2006<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
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
ent://SD_ILS/0/SD_ILS:105575
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
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.<br/>Preferred Shelf Number Q 340 .I575 2005<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:105574
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
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.<br/>Preferred Shelf Number Q 340 .I575 2004<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Concepts, techniques, and models of computer programming
ent://SD_ILS/0/SD_ILS:219947
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Van-Roy, Peter. Haridi, Seif.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming and computer techniques in experimental physics
ent://SD_ILS/0/SD_ILS:69005
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Skobel'tsyn, D. V., ed.<br/>Preferred Shelf Number QA 76 P9433 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518836
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Michel, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518836.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18008-3">https://doi.org/10.1007/978-3-319-18008-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arduino sketches : tools and techniques for programming wizardry
ent://SD_ILS/0/SD_ILS:424464
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Langbridge, James A., author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1002/9781119183716">Wiley Online Library</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded C programming : techniques and applications of C and PIC MCUS
ent://SD_ILS/0/SD_ILS:355476
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Siegesmund, Mark, author.<br/>Preferred Shelf Number ONLINE(355476.1)<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128013144">http://www.sciencedirect.com/science/book/9780128013144</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487298
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Simonis, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07046-9">https://doi.org/10.1007/978-3-319-07046-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques
ent://SD_ILS/0/SD_ILS:330912
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330912.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4126-6">http://dx.doi.org/10.1007/978-1-4471-4126-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Network Programming – Principles and Techniques Network Application Programming with Java
ent://SD_ILS/0/SD_ILS:331186
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Ciubotaru, Bogdan. author. Muntean, Gabriel-Miro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331186.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5292-7">http://dx.doi.org/10.1007/978-1-4471-5292-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:334549
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334549.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38171-3">http://dx.doi.org/10.1007/978-3-642-38171-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:196776
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Beldiceanu, Nicolas. editor. Jussien, Narendra. editor. Pinson, Éric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29828-8">http://dx.doi.org/10.1007/978-3-642-29828-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:194659
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Achterberg, Tobias. editor. Beck, J. Christopher. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21311-3">http://dx.doi.org/10.1007/978-3-642-21311-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:192362
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Lodi, Andrea. editor. Milano, Michela. editor. Toth, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13520-0">http://dx.doi.org/10.1007/978-3-642-13520-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Expert Oracle Database Architecture Oracle Database 9i, 10g, and 11g Programming Techniques and Solutions
ent://SD_ILS/0/SD_ILS:171409
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Kyte, Thomas. author. Gennick, Jonathan. editor. Andres, Clay. editor. Anglin, Steve. editor. Beckner, Mark. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2947-6">http://dx.doi.org/10.1007/978-1-4302-2947-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:190167
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Hoeve, Willem-Jan. editor. Hooker, John N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01929-6">http://dx.doi.org/10.1007/978-3-642-01929-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:185378
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Perron, Laurent. editor. Trick, Michael A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68155-7">http://dx.doi.org/10.1007/978-3-540-68155-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:186529
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Hentenryck, Pascal. editor. Wolsey, Laurence. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72397-4">http://dx.doi.org/10.1007/978-3-540-72397-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Decomposition Techniques in Mathematical Programming Engineering and Science Applications
ent://SD_ILS/0/SD_ILS:181537
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Conejo, Antonio J. author. Castillo, Enrique. author. Mínguez, Roberto. author. García-Bertrand, Raquel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27686-6">http://dx.doi.org/10.1007/3-540-27686-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical and Computer Programming Techniques for Computer Graphics
ent://SD_ILS/0/SD_ILS:175364
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Comninos, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-292-8">http://dx.doi.org/10.1007/978-1-84628-292-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:184003
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Beck, J. Christopher. editor. Smith, Barbara M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11757375">http://dx.doi.org/10.1007/11757375</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Expert Oracle Database Architecture 9i and 10g Programming Techniques and Solutions
ent://SD_ILS/0/SD_ILS:170772
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Kyte, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0067-3">http://dx.doi.org/10.1007/978-1-4302-0067-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:183251
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Barták, Roman. editor. Milano, Michela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136920">http://dx.doi.org/10.1007/b136920</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
GPU gems : programming techniques, tips, and tricks for real-time graphics
ent://SD_ILS/0/SD_ILS:93322
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Fernando, Randima.,ed. NVIDIA Corporation.<br/>Preferred Shelf Number T 385 G68 2004<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Introduction to simulation : programming techniques and methods of analysis
ent://SD_ILS/0/SD_ILS:32391
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Payne, James Andrew.<br/>Preferred Shelf Number QA 76.9.C65 P39 1982<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Introduction to optimization techniques : fundamentals and applications of nonlinear programming
ent://SD_ILS/0/SD_ILS:47490
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Aoki, Masanao.<br/>Preferred Shelf Number T 57.8 A55 1971<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Programming for optimal decisions : selected readings in mathematical programming techniques for management problems
ent://SD_ILS/0/SD_ILS:62144
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Moore, Peter Gerald, 1928- ed. Hodges, Stewart Dimont, ed.<br/>Preferred Shelf Number HF 5695 P943 1970<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:521010
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.<br/>Preferred Shelf Number XX(521010.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37114-1">https://doi.org/10.1007/978-3-031-37114-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521140
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521140.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42823-4">https://doi.org/10.1007/978-3-031-42823-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521307
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
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)<br/>Preferred Shelf Number XX(521307.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40725-3">https://doi.org/10.1007/978-3-031-40725-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neuraxial Therapeutics A Comprehensive Guide
ent://SD_ILS/0/SD_ILS:522153
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Yaksh, Tony. editor. Hayek, Salim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(522153.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39558-1">https://doi.org/10.1007/978-3-031-39558-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Science Concepts and Techniques with Applications
ent://SD_ILS/0/SD_ILS:520307
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Qamar, Usman. author. Raza, Muhammad Summair. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520307.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-17442-1">https://doi.org/10.1007/978-3-031-17442-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ArtsIT, Interactivity and Game Creation 11th EAI International Conference, ArtsIT 2022, Faro, Portugal, November 21-22, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520308
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Brooks, Anthony L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520308.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28993-4">https://doi.org/10.1007/978-3-031-28993-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computing 16th Colombian Congress, CCC 2022, Armenia, Colombia, October 17-21, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520492
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
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.<br/>Preferred Shelf Number XX(520492.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36357-3">https://doi.org/10.1007/978-3-031-36357-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520498
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520498.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35078-8">https://doi.org/10.1007/978-3-031-35078-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520499
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520499.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35081-8">https://doi.org/10.1007/978-3-031-35081-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization Methods for Product and System Design
ent://SD_ILS/0/SD_ILS:520587
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Kulkarni, Anand J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520587.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-1521-7">https://doi.org/10.1007/978-981-99-1521-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Quantitative Ethnography 5th International Conference, ICQE 2023, Melbourne, VIC, Australia, October 8-12, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520715
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Arastoopour Irgens, Golnaz. editor. Knight, Simon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520715.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47014-1">https://doi.org/10.1007/978-3-031-47014-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:520846
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520846.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30445-3">https://doi.org/10.1007/978-3-031-30445-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing
ent://SD_ILS/0/SD_ILS:520189
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Nazareth, John Lawrence. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520189.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21762-3">https://doi.org/10.1007/978-3-031-21762-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521251
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Pesquita, Catia. editor. Skaf-Molli, Hala. editor. Efthymiou, Vasilis. editor. Kirrane, Sabrina. editor. Ngonga, Axel. editor.<br/>Preferred Shelf Number XX(521251.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43458-7">https://doi.org/10.1007/978-3-031-43458-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Prolog: The Next 50 Years
ent://SD_ILS/0/SD_ILS:521397
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.<br/>Preferred Shelf Number XX(521397.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35254-6">https://doi.org/10.1007/978-3-031-35254-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:521411
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521411.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52038-9">https://doi.org/10.1007/978-3-031-52038-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521364
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.<br/>Preferred Shelf Number XX(521364.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49011-8">https://doi.org/10.1007/978-3-031-49011-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518961
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518961.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21909-7">https://doi.org/10.1007/978-3-319-21909-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:519028
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519028.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21668-3">https://doi.org/10.1007/978-3-319-21668-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Genetic Programming Applications
ent://SD_ILS/0/SD_ILS:518480
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Gandomi, Amir H. editor. Alavi, Amir H. editor. Ryan, Conor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518480.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20883-1">https://doi.org/10.1007/978-3-319-20883-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parameterized Algorithms
ent://SD_ILS/0/SD_ILS:518379
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Cygan, Marek. author. Fomin, Fedor V. author. Kowalik, Łukasz. author. Lokshtanov, Daniel. author. Marx, Dániel. author.<br/>Preferred Shelf Number XX(518379.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21275-3">https://doi.org/10.1007/978-3-319-21275-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
ent://SD_ILS/0/SD_ILS:519297
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519297.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-26184-3">https://doi.org/10.1007/978-3-319-26184-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook for construction planning and scheduling
ent://SD_ILS/0/SD_ILS:341862
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Baldwin, Andrew, 1950- author. Bordoli, David, author.<br/>Preferred Shelf Number ONLINE(341862.1)<br/>Electronic Access <a href="http://onlinelibrary.wiley.com/book/10.1002/9781118838167">http://onlinelibrary.wiley.com/book/10.1002/9781118838167</a>
Cover image <a href="http://catalogimages.wiley.com/images/db/jimages/9780470670323.jpg">http://catalogimages.wiley.com/images/db/jimages/9780470670323.jpg</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118838167">http://dx.doi.org/10.1002/9781118838167</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-oriented distributed knowledge discovery
ent://SD_ILS/0/SD_ILS:291656
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Talia, Domenico. Trunfio, Paolo.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439875339">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Java Quick Syntax Reference
ent://SD_ILS/0/SD_ILS:330770
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Olsson, Mikael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330770.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-6287-9">http://dx.doi.org/10.1007/978-1-4302-6287-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Data Mining
ent://SD_ILS/0/SD_ILS:331086
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Bramer, Max. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331086.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4884-5">http://dx.doi.org/10.1007/978-1-4471-4884-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Network Programming with Java Java 7 Compatible
ent://SD_ILS/0/SD_ILS:331180
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Graba, Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331180.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5254-5">http://dx.doi.org/10.1007/978-1-4471-5254-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Using Event-B for Critical Device Software Systems
ent://SD_ILS/0/SD_ILS:331181
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Singh, Neeraj Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331181.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Programming and Algorithms Using R
ent://SD_ILS/0/SD_ILS:331192
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Ergül, Özgür. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331192.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5328-3">http://dx.doi.org/10.1007/978-1-4471-5328-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming with Prolog
ent://SD_ILS/0/SD_ILS:331207
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Bramer, Max. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331207.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5487-7">http://dx.doi.org/10.1007/978-1-4471-5487-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering and Management for Software Development Projects
ent://SD_ILS/0/SD_ILS:331756
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Chemuturi, Murali. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331756.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5377-2">http://dx.doi.org/10.1007/978-1-4614-5377-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice X
ent://SD_ILS/0/SD_ILS:332135
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332135.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6846-2">http://dx.doi.org/10.1007/978-1-4614-6846-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scala Design Patterns Patterns for Practical Reuse and Design
ent://SD_ILS/0/SD_ILS:332904
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332904.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02192-8">http://dx.doi.org/10.1007/978-3-319-02192-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332921
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332921.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02444-8">http://dx.doi.org/10.1007/978-3-319-02444-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
ent://SD_ILS/0/SD_ILS:334327
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334327.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36946-9">http://dx.doi.org/10.1007/978-3-642-36946-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development X
ent://SD_ILS/0/SD_ILS:334333
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334333.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36964-3">http://dx.doi.org/10.1007/978-3-642-36964-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:334348
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334348.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37036-6">http://dx.doi.org/10.1007/978-3-642-37036-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Deductive Spreadsheet
ent://SD_ILS/0/SD_ILS:334475
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Cervesato, Iliano. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334475.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37747-1">http://dx.doi.org/10.1007/978-3-642-37747-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Programming for Multicore and Cluster Systems
ent://SD_ILS/0/SD_ILS:334484
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Rauber, Thomas. author. Rünger, Gudula. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334484.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37801-0">http://dx.doi.org/10.1007/978-3-642-37801-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334552
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Albert, Elvira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334552.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Pattern Languages of Programming III
ent://SD_ILS/0/SD_ILS:334647
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334647.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38676-3">http://dx.doi.org/10.1007/978-3-642-38676-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334652
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334652.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38700-5">http://dx.doi.org/10.1007/978-3-642-38700-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334870
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334870.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39955-8">http://dx.doi.org/10.1007/978-3-642-39955-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
ent://SD_ILS/0/SD_ILS:334934
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334934.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40355-2">http://dx.doi.org/10.1007/978-3-642-40355-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:334962
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334968
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334968.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40561-7">http://dx.doi.org/10.1007/978-3-642-40561-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334969
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334969.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335023
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335023.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40885-4">http://dx.doi.org/10.1007/978-3-642-40885-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335072
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335072.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41202-8">http://dx.doi.org/10.1007/978-3-642-41202-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:335118
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Tompits, Hans. editor. Abreu, Salvador. editor. Oetsch, Johannes. editor. Pührer, Jörg. editor. Seipel, Dietmar. editor.<br/>Preferred Shelf Number ONLINE(335118.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41524-1">http://dx.doi.org/10.1007/978-3-642-41524-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335124
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335124.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41575-3">http://dx.doi.org/10.1007/978-3-642-41575-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335126
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Hinze, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335126.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41582-1">http://dx.doi.org/10.1007/978-3-642-41582-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Design Syntactic and Semantic Analysis
ent://SD_ILS/0/SD_ILS:333076
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333076.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17540-4">http://dx.doi.org/10.1007/978-3-642-17540-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the FISITA 2012 World Automotive Congress Volume 6: Vehicle Electronics.
ent://SD_ILS/0/SD_ILS:333761
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author SAE-China. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333761.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33829-8">http://dx.doi.org/10.1007/978-3-642-33829-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
BiLBIQ: A Biologically Inspired Robot with Walking and Rolling Locomotion
ent://SD_ILS/0/SD_ILS:333882
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author King, Ralf Simon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333882.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34682-8">http://dx.doi.org/10.1007/978-3-642-34682-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334014
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334014.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334025
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.<br/>Preferred Shelf Number ONLINE(334025.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35668-1">http://dx.doi.org/10.1007/978-3-642-35668-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:334055
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334055.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning C# by Programming Games
ent://SD_ILS/0/SD_ILS:334239
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Egges, Arjan. author. Fokker, Jeroen D. author. Overmars, Mark H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334239.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36580-5">http://dx.doi.org/10.1007/978-3-642-36580-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools for High Performance Computing 2012
ent://SD_ILS/0/SD_ILS:334411
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.<br/>Preferred Shelf Number ONLINE(334411.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37349-7">http://dx.doi.org/10.1007/978-3-642-37349-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Logics Essays in Memory of Harald Ganzinger
ent://SD_ILS/0/SD_ILS:334468
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334468.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37651-1">http://dx.doi.org/10.1007/978-3-642-37651-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334469
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334469.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37658-0">http://dx.doi.org/10.1007/978-3-642-37658-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334533
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334533.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Algorithms for Message-Passing Systems
ent://SD_ILS/0/SD_ILS:334542
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Raynal, Michel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334542.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38123-2">http://dx.doi.org/10.1007/978-3-642-38123-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Oracle Application Express for Mobile Web Applications
ent://SD_ILS/0/SD_ILS:330663
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Hartman, Roel. author. Rokitta, Christian. author. Peake, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330663.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4948-1">http://dx.doi.org/10.1007/978-1-4302-4948-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning C
ent://SD_ILS/0/SD_ILS:330651
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Horton, Ivor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330651.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4882-8">http://dx.doi.org/10.1007/978-1-4302-4882-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pointers in C A Hands on Approach
ent://SD_ILS/0/SD_ILS:330727
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Toppo, Naveen. author. Dewan, Hrishikesh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330727.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5912-1">http://dx.doi.org/10.1007/978-1-4302-5912-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Cloud Computing Principles and Practice
ent://SD_ILS/0/SD_ILS:331022
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Hill, Richard. author. Hirsch, Laurie. author. Lake, Peter. author. Moshiri, Siavash. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331022.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4603-2">http://dx.doi.org/10.1007/978-1-4471-4603-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Programming Theory and Practice
ent://SD_ILS/0/SD_ILS:331611
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Shankar, A. Udaya. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331611.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4881-5">http://dx.doi.org/10.1007/978-1-4614-4881-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334069
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334069.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35861-6">http://dx.doi.org/10.1007/978-3-642-35861-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
ent://SD_ILS/0/SD_ILS:334096
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334096.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334104
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Rajopadhye, Sanjay. editor. Mills Strout, Michelle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334104.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36036-7">http://dx.doi.org/10.1007/978-3-642-36036-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:334109
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334109.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36054-1">http://dx.doi.org/10.1007/978-3-642-36054-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334673
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334673.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38812-5">http://dx.doi.org/10.1007/978-3-642-38812-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334683
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334683.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38856-9">http://dx.doi.org/10.1007/978-3-642-38856-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334698
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334698.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings
ent://SD_ILS/0/SD_ILS:334706
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334706.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38977-1">http://dx.doi.org/10.1007/978-3-642-38977-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334711
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334711.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39013-5">http://dx.doi.org/10.1007/978-3-642-39013-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334715
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334715.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39038-8">http://dx.doi.org/10.1007/978-3-642-39038-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334772
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Liu, Shaoying. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334772.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39277-1">http://dx.doi.org/10.1007/978-3-642-39277-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334844
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334844.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39742-4">http://dx.doi.org/10.1007/978-3-642-39742-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334946
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334946.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40447-4">http://dx.doi.org/10.1007/978-3-642-40447-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:334990
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334990.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40698-0">http://dx.doi.org/10.1007/978-3-642-40698-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335003
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335003.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40787-1">http://dx.doi.org/10.1007/978-3-642-40787-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335028
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335028.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40922-6">http://dx.doi.org/10.1007/978-3-642-40922-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ada 2012 Rationale The Language, The Standard Libraries
ent://SD_ILS/0/SD_ILS:335195
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Barnes, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335195.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45210-9">http://dx.doi.org/10.1007/978-3-642-45210-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335196
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335196.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335204
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Sagonas, Kostis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335204.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45284-0">http://dx.doi.org/10.1007/978-3-642-45284-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335210
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335210.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45343-4">http://dx.doi.org/10.1007/978-3-642-45343-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
ent://SD_ILS/0/SD_ILS:335216
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.<br/>Preferred Shelf Number ONLINE(335216.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45419-6">http://dx.doi.org/10.1007/978-3-642-45419-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
GPU Pro 4 advanced rendering techniques
ent://SD_ILS/0/SD_ILS:290960
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Engel, Wolfgang.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466567443">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Instrument engineers' handbook. Process software and digital networks
ent://SD_ILS/0/SD_ILS:288965
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Liptk̀, Bľa G. Eren, Halit.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439863435">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical methods for equations and its applications
ent://SD_ILS/0/SD_ILS:288125
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Argyros, Ioannis K. Cho, Yeol Je. Hilout, Said.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466517110">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multilevel modeling of categorical outcomes using IBM SPSS
ent://SD_ILS/0/SD_ILS:262279
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Heck, Ronald H. Thomas, Scott. Tabata, Lynn Naomi.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203808986">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
GPU Pro 3 advanced rendering techniques
ent://SD_ILS/0/SD_ILS:289923
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Engel, Wolfgang F.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439887943">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer technology and computer programming new research and strategies
ent://SD_ILS/0/SD_ILS:287240
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Antonakos, James L.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466562592">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical aspects of logic programming semantics
ent://SD_ILS/0/SD_ILS:285188
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Hitzler, Pascal. Seda, Anthony.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439829622">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied operational research with SAS
ent://SD_ILS/0/SD_ILS:288039
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Emrouznejad, Ali. Ho, William.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439841310">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
GPU Pro[superscript 2] advanced rendering techniques
ent://SD_ILS/0/SD_ILS:289046
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Engel, Wolfgang F.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439865606">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to high performance computing for scientists and engineers
ent://SD_ILS/0/SD_ILS:291533
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Hager, Georg. Wellein, Gerhard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439811931">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design for energy and the environment proceedings of the Seventh International Conference on the Foundations of Computer-Aided Process Design
ent://SD_ILS/0/SD_ILS:288823
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.) El-Halwagi, Mahmoud M., 1962- Linninger, Andreas A.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439809136">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-core embedded systems
ent://SD_ILS/0/SD_ILS:290621
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Kornaros, Georgios.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439811627">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and theory of computation handbook. General concepts and techniques
ent://SD_ILS/0/SD_ILS:291680
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Atallah, Mikhail J. Blanton, Marina.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781584888239">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical finance theory, modeling, implementation
ent://SD_ILS/0/SD_ILS:318887
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Fries, Christian, 1970-<br/>Preferred Shelf Number ONLINE(318887.1)<br/>Electronic Access Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=315233">http://public.eblib.com/choice/publicfullrecord.aspx?p=315233</a>
EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=208045">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=208045</a>
MyiLibrary <a href="http://www.myilibrary.com?id=97434">http://www.myilibrary.com?id=97434</a>
MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=97434&ref=toc">http://www.myilibrary.com?id=97434&ref=toc</a>
Table of contents only <a href="http://catdir.loc.gov/catdir/toc/ecip0713/2007011325.html">http://catdir.loc.gov/catdir/toc/ecip0713/2007011325.html</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real-time volume graphics
ent://SD_ILS/0/SD_ILS:288868
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Engel, Klaus, 1969-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439864296">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graphics tools-- the jgt editors' choice
ent://SD_ILS/0/SD_ILS:289030
2024-12-23T05:09:06Z
2024-12-23T05:09:06Z
Author Barzel, Ronen.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439865729">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>