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.$0026ps$003d300$0026isd$003dtrue?2025-12-24T15:35:07ZTools for High Performance Computing 2012ent://SD_ILS/0/SD_ILS:3344112025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Agentenorientierte Softwareentwicklung Methoden und Toolsent://SD_ILS/0/SD_ILS:1810032025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Wiki-Tools Kooperation im Webent://SD_ILS/0/SD_ILS:1814762025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Computational Social Networks Tools, Perspectives and Applicationsent://SD_ILS/0/SD_ILS:1735262025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Multi-Agent Programming: Languages, Tools and Applicationsent://SD_ILS/0/SD_ILS:1679332025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Methods, Models and Tools for Fault Toleranceent://SD_ILS/0/SD_ILS:1898172025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Methods and Tools for Collaborative Networked Organizationsent://SD_ILS/0/SD_ILS:1676782025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Knowledge Cartography Software Tools and Mapping Techniquesent://SD_ILS/0/SD_ILS:1757332025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016ent://SD_ILS/0/SD_ILS:4009102025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Systems and Software Variability Management Concepts, Tools and Experiencesent://SD_ILS/0/SD_ILS:3342402025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Intel® Xeon Phi™ Coprocessor Architecture and Tools The Guide for Application Developersent://SD_ILS/0/SD_ILS:3307302025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Techniques and Tools for Designing an Online Social Network Platforment://SD_ILS/0/SD_ILS:3352972025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Bisociative Knowledge Discovery An Introduction to Concept, Algorithms, Tools, and Applicationsent://SD_ILS/0/SD_ILS:1971432025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Business Processes for Business Communities Modeling Languages, Methods, Toolsent://SD_ILS/0/SD_ILS:1957472025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1969172025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Collaborative Financial Infrastructure Protection Tools, Abstractions, and Middlewareent://SD_ILS/0/SD_ILS:1943662025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lecturesent://SD_ILS/0/SD_ILS:1976342025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946722025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Objects, Models, Components, Patterns 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1948712025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Pro iOS5 Tools Xcode Instruments and Build Toolsent://SD_ILS/0/SD_ILS:1715692025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Application Analysis Tools for ASIP Design Application Profiling and Instruction-set Customizationent://SD_ILS/0/SD_ILS:1731022025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Musical Performance A Comprehensive Approach: Theory, Analytical Tools, and Case Studiesent://SD_ILS/0/SD_ILS:1918132025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Human and Nature Minding Automation An Overview of Concepts, Methods, Tools and Applicationsent://SD_ILS/0/SD_ILS:2051172025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Crafting Digital Media Audacity, Blender, Drupal, GIMP, Scribus, and Other Open Source Toolsent://SD_ILS/0/SD_ILS:1712182025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Functions, Spaces, and Expansions Mathematical Tools in Physics and Engineeringent://SD_ILS/0/SD_ILS:1683352025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Logical Tools for Handling Change in Agent-Based Systemsent://SD_ILS/0/SD_ILS:1909372025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>New Trends on Human–Computer Interaction Research, Development, New Tools and Methodsent://SD_ILS/0/SD_ILS:1759582025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Learn Xcode Tools for Mac OS X and iPhone Developmentent://SD_ILS/0/SD_ILS:1718292025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Industrial Engineering and Ergonomics Visions, Concepts, Methods and Tools Festschrift in Honor of Professor Holger Luczakent://SD_ILS/0/SD_ILS:1899452025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatoricsent://SD_ILS/0/SD_ILS:1757582025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Visual Data Mining Theory, Techniques and Tools for Visual Analyticsent://SD_ILS/0/SD_ILS:1861722025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Recent Advances in Modeling and Simulation Tools for Communication Networks and Servicesent://SD_ILS/0/SD_ILS:1671102025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Beginning Excel What-If Data Analysis Tools Getting Started with Goal Seek, Data Tables, Scenarios, and Solverent://SD_ILS/0/SD_ILS:1708032025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Building an Enterprise Architecture Practice Tools, Tips, Best Practices, Ready-to-Use Insightsent://SD_ILS/0/SD_ILS:1695382025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papersent://SD_ILS/0/SD_ILS:1830972025-12-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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-24T15:35:07Z2025-12-24T15:35:07ZAuthor 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/>