Search Results for Tools. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTools.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?2025-12-24T23:10:11ZTools for High Performance Computing 2012ent://SD_ILS/0/SD_ILS:3344112025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor 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/>Image Registration Principles, Tools and Methodsent://SD_ILS/0/SD_ILS:1734492025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Goshtasby, A. Ardeshir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2458-0">http://dx.doi.org/10.1007/978-1-4471-2458-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Open Source Toolsent://SD_ILS/0/SD_ILS:1729582025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Koranne, Sandeep. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7719-9">http://dx.doi.org/10.1007/978-1-4419-7719-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling and Tools for Network Simulationent://SD_ILS/0/SD_ILS:1919602025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Wehrle, Klaus. editor. Güneş, Mesut. editor. Gross, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12331-3">http://dx.doi.org/10.1007/978-3-642-12331-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Graphics Software Toolsent://SD_ILS/0/SD_ILS:1758482025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Chen, Jim X. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-901-1">http://dx.doi.org/10.1007/978-1-84800-901-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Grid Computing: Software Environments and Toolsent://SD_ILS/0/SD_ILS:1753892025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Cunha, José C. editor. Rana, Omer F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-339-6">http://dx.doi.org/10.1007/1-84628-339-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sicheres Netzwerkmanagement Konzepte, Protokolle, Toolsent://SD_ILS/0/SD_ILS:1825812025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Schwenkler, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-31287-0">http://dx.doi.org/10.1007/3-540-31287-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wiki-Tools Kooperation im Webent://SD_ILS/0/SD_ILS:1814762025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Ebersbach, Anja. author. Glaser, Markus. author. Heigl, Richard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27543-6">http://dx.doi.org/10.1007/3-540-27543-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agentenorientierte Softwareentwicklung Methoden und Toolsent://SD_ILS/0/SD_ILS:1810032025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Weiß, Gerhard. author. Jakob, Ralf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138124">http://dx.doi.org/10.1007/b138124</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Social Networks Tools, Perspectives and Applicationsent://SD_ILS/0/SD_ILS:1735262025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Abraham, Ajith. editor. Hassanien, Aboul-Ella. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4048-1">http://dx.doi.org/10.1007/978-1-4471-4048-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Methods, Models and Tools for Fault Toleranceent://SD_ILS/0/SD_ILS:1898172025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Butler, Michael. editor. Jones, Cliff. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00867-2">http://dx.doi.org/10.1007/978-3-642-00867-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-Agent Programming: Languages, Tools and Applicationsent://SD_ILS/0/SD_ILS:1679332025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor El Fallah Seghrouchni, Amal. editor. Dix, Jürgen. editor. Dastani, Mehdi. editor. Bordini, Rafael H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-89299-3">http://dx.doi.org/10.1007/978-0-387-89299-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Knowledge Cartography Software Tools and Mapping Techniquesent://SD_ILS/0/SD_ILS:1757332025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Sherborne, Tony. editor. Buckingham Shum, Simon J. editor. Okada, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-149-7">http://dx.doi.org/10.1007/978-1-84800-149-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Methods and Tools for Collaborative Networked Organizationsent://SD_ILS/0/SD_ILS:1676782025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Camarinha-Matos, Luis M. editor. Afsarmanesh, Hamideh. editor. Ollus, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-79424-2">http://dx.doi.org/10.1007/978-0-387-79424-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994852025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99933-3">https://doi.org/10.1007/978-3-319-99933-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:3995972025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03592-1">https://doi.org/10.1007/978-3-030-03592-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4006412025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016ent://SD_ILS/0/SD_ILS:4009102025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Fummi, Franco. editor. Wille, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62920-9">https://doi.org/10.1007/978-3-319-62920-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4002932025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92141-9">https://doi.org/10.1007/978-3-319-92141-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4004592025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4006052025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Theories, Methods, and Tools 16th International Conference, HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4855042025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07233-3">https://doi.org/10.1007/978-3-319-07233-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Universal Access in Human-Computer Interaction. Design Methods, Tools, and Interaction Techniques for eInclusion 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3347472025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Stephanidis, Constantine. editor. Antona, Margherita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334747.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39188-0">http://dx.doi.org/10.1007/978-3-642-39188-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342782025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334278.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342992025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Brisk, Philip. editor. Figueiredo Coutinho, José Gabriel. editor. Diniz, Pedro C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334299.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36812-7">http://dx.doi.org/10.1007/978-3-642-36812-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability. Design Philosophy, Methods, and Tools Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3347582025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Marcus, Aaron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334758.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39229-0">http://dx.doi.org/10.1007/978-3-642-39229-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3347592025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334759.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39232-0">http://dx.doi.org/10.1007/978-3-642-39232-0</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. Proceedingsent://SD_ILS/0/SD_ILS:3348702025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor 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/>Measurement Methodology and Tools First European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012, Revised and Extended Papersent://SD_ILS/0/SD_ILS:3350862025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Fàbrega, Lluís. editor. Vilà, Pere. editor. Careglio, Davide. editor. Papadimitriou, Dimitri. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335086.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41296-7">http://dx.doi.org/10.1007/978-3-642-41296-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intel® Xeon Phi™ Coprocessor Architecture and Tools The Guide for Application Developersent://SD_ILS/0/SD_ILS:3307302025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Rahman, Rezaur. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330730.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5927-5">http://dx.doi.org/10.1007/978-1-4302-5927-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Partial Reconfiguration on FPGAs Architectures, Tools and Applicationsent://SD_ILS/0/SD_ILS:3312612025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Koch, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331261.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1225-0">http://dx.doi.org/10.1007/978-1-4614-1225-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340592025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Magnini, Bernardo. editor. Cutugno, Francesco. editor. Falcone, Mauro. editor. Pianta, Emanuele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334059.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35828-9">http://dx.doi.org/10.1007/978-3-642-35828-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems and Software Variability Management Concepts, Tools and Experiencesent://SD_ILS/0/SD_ILS:3342402025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334240.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36583-6">http://dx.doi.org/10.1007/978-3-642-36583-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Techniques and Tools for Designing an Online Social Network Platforment://SD_ILS/0/SD_ILS:3352972025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Karampelas, Panagiotis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335297.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7091-0787-4">http://dx.doi.org/10.1007/978-3-7091-0787-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Collaborative Financial Infrastructure Protection Tools, Abstractions, and Middlewareent://SD_ILS/0/SD_ILS:1943662025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Baldoni, Roberto. editor. Chockler, Gregory. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20420-3">http://dx.doi.org/10.1007/978-3-642-20420-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1962752025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27705-4">http://dx.doi.org/10.1007/978-3-642-27705-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1964272025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Choy, Oliver C. S. editor. Cheung, Ray C. C. editor. Athanas, Peter. editor. Sano, Kentaro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28365-9">http://dx.doi.org/10.1007/978-3-642-28365-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965262025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1970392025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31202-1">http://dx.doi.org/10.1007/978-3-642-31202-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresdenent://SD_ILS/0/SD_ILS:1970842025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Brunst, Holger. editor. Müller, Matthias S. editor. Nagel, Wolfgang E. editor. Resch, Michael M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31476-6">http://dx.doi.org/10.1007/978-3-642-31476-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lecturesent://SD_ILS/0/SD_ILS:1976342025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35746-6">http://dx.doi.org/10.1007/978-3-642-35746-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1969172025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Furia, Carlo A. editor. Nanz, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30561-0">http://dx.doi.org/10.1007/978-3-642-30561-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business Processes for Business Communities Modeling Languages, Methods, Toolsent://SD_ILS/0/SD_ILS:1957472025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Schönthaler, Frank. author. Vossen, Gottfried. author. Oberweis, Andreas. author. Karle, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24791-0">http://dx.doi.org/10.1007/978-3-642-24791-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Virtual and Networked Organizations, Emergent Technologies and Tools First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:1971382025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Putnik, Goran D. editor. Cruz-Cunha, Maria Manuela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31800-9">http://dx.doi.org/10.1007/978-3-642-31800-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bisociative Knowledge Discovery An Introduction to Concept, Algorithms, Tools, and Applicationsent://SD_ILS/0/SD_ILS:1971432025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Berthold, Michael R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31830-6">http://dx.doi.org/10.1007/978-3-642-31830-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro iOS5 Tools Xcode Instruments and Build Toolsent://SD_ILS/0/SD_ILS:1715692025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Alexander, Brandon. author. Dillion, Brad. author. Kim, Kevin Y. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3609-2">http://dx.doi.org/10.1007/978-1-4302-3609-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Musical Performance A Comprehensive Approach: Theory, Analytical Tools, and Case Studiesent://SD_ILS/0/SD_ILS:1918132025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Mazzola, Guerino. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11838-8">http://dx.doi.org/10.1007/978-3-642-11838-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946722025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21350-2">http://dx.doi.org/10.1007/978-3-642-21350-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Methods and Tools of Parallel Programming Multicomputers Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1927802025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Hsu, Ching-Hsien. editor. Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14822-4">http://dx.doi.org/10.1007/978-3-642-14822-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reconfigurable Computing: Architectures, Tools and Applications 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1940562025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Koch, Andreas. editor. Krishnamurthy, Ram. editor. McAllister, John. editor. Woods, Roger. editor. El-Ghazawi, Tarek. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19475-7">http://dx.doi.org/10.1007/978-3-642-19475-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Social Media Tools and Platforms in Learning Environmentsent://SD_ILS/0/SD_ILS:1943552025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor White, Bebo. editor. King, Irwin. editor. Tsang, Philip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20392-3">http://dx.doi.org/10.1007/978-3-642-20392-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1951172025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Hübner, Jomi. editor. Leite, João. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22723-3">http://dx.doi.org/10.1007/978-3-642-22723-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability. Theory, Methods, Tools and Practice First International Conference, DUXU 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1947792025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Marcus, Aaron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21675-6">http://dx.doi.org/10.1007/978-3-642-21675-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability. Theory, Methods, Tools and Practice First International Conference, DUXU 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1947912025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Marcus, Aaron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21708-1">http://dx.doi.org/10.1007/978-3-642-21708-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application Analysis Tools for ASIP Design Application Profiling and Instruction-set Customizationent://SD_ILS/0/SD_ILS:1731022025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Karuri, Kingshuk. author. Leupers, Rainer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-8255-1">http://dx.doi.org/10.1007/978-1-4419-8255-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941722025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19835-9">http://dx.doi.org/10.1007/978-3-642-19835-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Objects, Models, Components, Patterns 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1948712025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Bishop, Judith. editor. Vallecillo, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21952-8">http://dx.doi.org/10.1007/978-3-642-21952-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Musical Creativity Strategies and Tools in Composition and Improvisationent://SD_ILS/0/SD_ILS:1956602025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Mazzola, Guerino. author. Park, Joomi. author. Thalmann, Florian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24517-6">http://dx.doi.org/10.1007/978-3-642-24517-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Crafting Digital Media Audacity, Blender, Drupal, GIMP, Scribus, and Other Open Source Toolsent://SD_ILS/0/SD_ILS:1712182025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor James, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1888-3">http://dx.doi.org/10.1007/978-1-4302-1888-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918982025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Sirisuk, Phaophak. editor. Morgan, Fearghal. editor. El-Ghazawi, Tarek. editor. Amano, Hideharu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12133-3">http://dx.doi.org/10.1007/978-3-642-12133-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1925022025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13953-6">http://dx.doi.org/10.1007/978-3-642-13953-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools for High Performance Computing 2009 Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresdenent://SD_ILS/0/SD_ILS:1916312025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Müller, Matthias S. editor. Resch, Michael M. editor. Schulz, Alexander. editor. Nagel, Wolfgang E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11261-4">http://dx.doi.org/10.1007/978-3-642-11261-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages, Methodologies, and Development Tools for Multi-Agent Systems Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1923032025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Dastani, Mehdi. editor. El Fallah Segrouchni, Amal. editor. Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13338-1">http://dx.doi.org/10.1007/978-3-642-13338-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1928582025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Leavens, Gary T. editor. O’Hearn, Peter. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15057-9">http://dx.doi.org/10.1007/978-3-642-15057-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical Tools for Handling Change in Agent-Based Systemsent://SD_ILS/0/SD_ILS:1909372025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04407-6">http://dx.doi.org/10.1007/978-3-642-04407-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Functions, Spaces, and Expansions Mathematical Tools in Physics and Engineeringent://SD_ILS/0/SD_ILS:1683352025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Christensen, Ole. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4980-7">http://dx.doi.org/10.1007/978-0-8176-4980-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Social Network Analysis Trends, Tools and Research Advancesent://SD_ILS/0/SD_ILS:1759272025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Abraham, Ajith. editor. Hassanien, Aboul-Ella. editor. Sná¿el, Vaclav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-229-0">http://dx.doi.org/10.1007/978-1-84882-229-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918572025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12002-2">http://dx.doi.org/10.1007/978-3-642-12002-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human and Nature Minding Automation An Overview of Concepts, Methods, Tools and Applicationsent://SD_ILS/0/SD_ILS:2051172025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Tzafestas, Spyros G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3562-2">http://dx.doi.org/10.1007/978-90-481-3562-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learn Xcode Tools for Mac OS X and iPhone Developmentent://SD_ILS/0/SD_ILS:1718292025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Piper, Ian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-7220-5">http://dx.doi.org/10.1007/978-1-4302-7220-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897942025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00768-2">http://dx.doi.org/10.1007/978-3-642-00768-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reconfigurable Computing: Architectures, Tools and Applications 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897592025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Becker, Jürgen. editor. Woods, Roger. editor. Athanas, Peter. editor. Morgan, Fearghal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00641-8">http://dx.doi.org/10.1007/978-3-642-00641-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Industrial Engineering and Ergonomics Visions, Concepts, Methods and Tools Festschrift in Honor of Professor Holger Luczakent://SD_ILS/0/SD_ILS:1899452025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Schlick, Christopher M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01293-8">http://dx.doi.org/10.1007/978-3-642-01293-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Objects, Components, Models and Patterns 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1903622025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Oriol, Manuel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02571-6">http://dx.doi.org/10.1007/978-3-642-02571-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Trends on Human–Computer Interaction Research, Development, New Tools and Methodsent://SD_ILS/0/SD_ILS:1759582025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Macías, José A. editor. Granollers Saltiveri, Antoni. editor. Latorre, Pedro M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-352-5">http://dx.doi.org/10.1007/978-1-84882-352-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning Digital Image Processing Using Free Tools for Photographersent://SD_ILS/0/SD_ILS:1713862025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Montabone, Sebastian. author. Pohlmann, Frank. editor. MacDonald, Brian. editor. Andres, Clay. editor. Anglin, Steve. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2842-4">http://dx.doi.org/10.1007/978-1-4302-2842-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1858972025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Paige, Richard F. editor. Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69824-1">http://dx.doi.org/10.1007/978-3-540-69824-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papersent://SD_ILS/0/SD_ILS:1885722025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85058-8">http://dx.doi.org/10.1007/978-3-540-85058-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1889282025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Shankar, Natarajan. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87873-5">http://dx.doi.org/10.1007/978-3-540-87873-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatoricsent://SD_ILS/0/SD_ILS:1757582025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Simovici, Dan A. author. Djeraba, Chabane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-201-2">http://dx.doi.org/10.1007/978-1-84800-201-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools for High Performance Computing Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgartent://SD_ILS/0/SD_ILS:1855112025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Resch, Michael. editor. Keller, Rainer. editor. Himmler, Valentin. editor. Krammer, Bettina. editor. Schulz, Alexander. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68564-7">http://dx.doi.org/10.1007/978-3-540-68564-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussionsent://SD_ILS/0/SD_ILS:1857232025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Meyer, Bertrand. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69149-5">http://dx.doi.org/10.1007/978-3-540-69149-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Visual Data Mining Theory, Techniques and Tools for Visual Analyticsent://SD_ILS/0/SD_ILS:1861722025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Simoff, Simeon J. editor. Böhlen, Michael H. editor. Mazeika, Arturas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71080-6">http://dx.doi.org/10.1007/978-3-540-71080-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reconfigurable Computing: Architectures, Tools and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1881832025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Woods, Roger. editor. Compton, Katherine. editor. Bouganis, Christos. editor. Diniz, Pedro C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78610-8">http://dx.doi.org/10.1007/978-3-540-78610-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882462025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78800-3">http://dx.doi.org/10.1007/978-3-540-78800-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Making Grids Work Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greeceent://SD_ILS/0/SD_ILS:1675862025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Danelutto, Marco. author. Fragopoulou, Paraskevi. author. Getov, Vladimir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-78448-9">http://dx.doi.org/10.1007/978-0-387-78448-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862132025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71209-1">http://dx.doi.org/10.1007/978-3-540-71209-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reconfigurable Computing: Architectures, Tools and Applications Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862792025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Diniz, Pedro C. editor. Marques, Eduardo. editor. Bertels, Koen. editor. Fernandes, Marcio Merino. editor. Cardoso, João M. P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71431-6">http://dx.doi.org/10.1007/978-3-540-71431-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings Part Ient://SD_ILS/0/SD_ILS:1868222025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Smith, Michael J. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73345-4">http://dx.doi.org/10.1007/978-3-540-73345-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Advances in Modeling and Simulation Tools for Communication Networks and Servicesent://SD_ILS/0/SD_ILS:1671102025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Ince, A. Nejat. editor. Bragg, Arnold. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-73908-3">http://dx.doi.org/10.1007/978-0-387-73908-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Building an Enterprise Architecture Practice Tools, Tips, Best Practices, Ready-to-Use Insightsent://SD_ILS/0/SD_ILS:1695382025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Berg, Martin. author. Steenbergen, Marlies. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5606-2">http://dx.doi.org/10.1007/978-1-4020-5606-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning Excel What-If Data Analysis Tools Getting Started with Goal Seek, Data Tables, Scenarios, and Solverent://SD_ILS/0/SD_ILS:1708032025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Cornell, Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0098-7">http://dx.doi.org/10.1007/978-1-4302-0098-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836042025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11691372">http://dx.doi.org/10.1007/11691372</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling and Simulation Tools for Emerging Telecommunication Networks Needs, Trends, Challenges and Solutionsent://SD_ILS/0/SD_ILS:1660082025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Nejat Ince, A. editor. Topuz, Ercan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-34167-6">http://dx.doi.org/10.1007/0-387-34167-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1829182025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Chapman, Barbara M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105895">http://dx.doi.org/10.1007/b105895</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830512025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107194">http://dx.doi.org/10.1007/b107194</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Designing and Evaluating E-Management Decision Tools The Integration of Decision and Negotiation Models into Internet-Multimedia Technologiesent://SD_ILS/0/SD_ILS:1648662025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Beroggi, Giampiero E. G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b100802">http://dx.doi.org/10.1007/b100802</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro J2ME Polish Open Source Wireless Java Tools Suiteent://SD_ILS/0/SD_ILS:1707502025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Virkus, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0045-1">http://dx.doi.org/10.1007/978-1-4302-0045-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papersent://SD_ILS/0/SD_ILS:1830972025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Leue, Stefan. editor. Systä, Tarja Johanna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137052">http://dx.doi.org/10.1007/b137052</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Encyclopedia of Computational Neuroscienceent://SD_ILS/0/SD_ILS:5302842025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Jaeger, Dieter. editor. Jung, Ranu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4614-6675-8">https://doi.org/10.1007/978-1-4614-6675-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Process Machine Interactions Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structuresent://SD_ILS/0/SD_ILS:3335752025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Denkena, Berend. editor. Hollmann, Ferdinand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333575.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32448-2">http://dx.doi.org/10.1007/978-3-642-32448-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer, network, software, and hardware engineering with applicationsent://SD_ILS/0/SD_ILS:2493552025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Schneidewind, Norman.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEEXplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reinforcement and systemic machine learning for decision makingent://SD_ILS/0/SD_ILS:2493812025-12-24T23:10:11Z2025-12-24T23:10:11ZAuthor Kulkarni, Parag.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6266787">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6266787</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>