Search Results for a - Narrowed by: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003da$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?2024-11-13T06:31:35ZWireless Indoor Localization A Crowdsourcing Approachent://SD_ILS/0/SD_ILS:4003242024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Wu, Chenshu. author. Yang, Zheng. author. Liu, Yunhao. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-0356-2">https://doi.org/10.1007/978-981-13-0356-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Fault Prediction A Road Mapent://SD_ILS/0/SD_ILS:4013872024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Kumar, Sandeep. author. Rathore, Santosh Singh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-8715-8">https://doi.org/10.1007/978-981-10-8715-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Personal Web A Research Agendaent://SD_ILS/0/SD_ILS:3348762024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Chignell, Mark. editor. Cordy, James R. editor. Kealey, Ryan. editor. Ng, Joanna. editor. Yesha, Yelena. editor.<br/>Preferred Shelf Number ONLINE(334876.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39995-4">http://dx.doi.org/10.1007/978-3-642-39995-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software engineering : a practitioner's approachent://SD_ILS/0/SD_ILS:3132492024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Pressman, Roger S.<br/>Preferred Shelf Number QA76.758 P75 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Parsing Techniques A Practical Guideent://SD_ILS/0/SD_ILS:1666662024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Grune, Dick. author. Jacobs, Ceriel J. H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68954-8">http://dx.doi.org/10.1007/978-0-387-68954-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Concise Introduction to Software Engineeringent://SD_ILS/0/SD_ILS:1758042024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Jalote, Pankaj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-302-6">http://dx.doi.org/10.1007/978-1-84800-302-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Aggregation Functions: A Guide for Practitionersent://SD_ILS/0/SD_ILS:1869412024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Beliakov, Gleb. author. Pradera, Ana. author. Calvo, Tomasa. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73721-6">http://dx.doi.org/10.1007/978-3-540-73721-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>JDBC Recipes A Problem-Solution Approachent://SD_ILS/0/SD_ILS:1707662024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Parsian, Mahmoud. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0061-1">http://dx.doi.org/10.1007/978-1-4302-0061-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A discipline for software engineeringent://SD_ILS/0/SD_ILS:888082024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Humphrey, Watts S., 1927-<br/>Preferred Shelf Number QA 76.758 H857 1995<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Shell Scripting Recipes A Problem-Solution Approachent://SD_ILS/0/SD_ILS:1707292024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Johnson, Chris F. A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0024-6">http://dx.doi.org/10.1007/978-1-4302-0024-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Practical Approach to High-Performance Computingent://SD_ILS/0/SD_ILS:4859202024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Kurgalin, Sergei. author. Borzunov, Sergei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27558-7">https://doi.org/10.1007/978-3-030-27558-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Project Management in a Changing Worldent://SD_ILS/0/SD_ILS:4872432024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Ruhe, Günther. editor. Wohlin, Claes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55035-5">https://doi.org/10.1007/978-3-642-55035-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concise Guide to Databases A Practical Introductionent://SD_ILS/0/SD_ILS:3312242024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331224.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5601-7">http://dx.doi.org/10.1007/978-1-4471-5601-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>User-Level Workflow Design A Bioinformatics Perspectiveent://SD_ILS/0/SD_ILS:3352132024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Lamprecht, Anna-Lena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335213.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45389-2">http://dx.doi.org/10.1007/978-3-642-45389-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Primer on Scientific Programming with Pythonent://SD_ILS/0/SD_ILS:1968562024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Langtangen, Hans Petter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30293-0">http://dx.doi.org/10.1007/978-3-642-30293-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Primer on Scientific Programming with Pythonent://SD_ILS/0/SD_ILS:1938702024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Langtangen, Hans Petter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18366-9">http://dx.doi.org/10.1007/978-3-642-18366-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Practical Introduction to Hardware/Software Codesignent://SD_ILS/0/SD_ILS:1724812024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Schaumont, Patrick R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-6000-9">http://dx.doi.org/10.1007/978-1-4419-6000-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Composing Software Components A Software-testing Perspectiveent://SD_ILS/0/SD_ILS:1727862024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Hamlet, Dick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7148-7">http://dx.doi.org/10.1007/978-1-4419-7148-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Primer on Scientific Programming with Pythonent://SD_ILS/0/SD_ILS:1903322024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Langtangen, Hans Petter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02475-7">http://dx.doi.org/10.1007/978-3-642-02475-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software engineering foundations a software science perspectiveent://SD_ILS/0/SD_ILS:2864112024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Wang, Yingxu.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203496091">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Designing Embedded Processors A Low Power Perspectiveent://SD_ILS/0/SD_ILS:1696212024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Henkel, Jörg. editor. Parameswaran, Sri. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5869-1">http://dx.doi.org/10.1007/978-1-4020-5869-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software measurement and estimation a practical approachent://SD_ILS/0/SD_ILS:2494722024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Laird, Linda M., 1952- Brennan, M. Carol, 1954- IEEE Computer Society. John Wiley & Sons.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5988896">http://ieeexplore.ieee.org/servlet/opac?bknumber=5988896</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dynamics AX A Guide to Microsoft Axaptaent://SD_ILS/0/SD_ILS:1707832024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Mourão, Luis X. B. author. Weiner, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0078-9">http://dx.doi.org/10.1007/978-1-4302-0078-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Tester’s Guide to .NET Programmingent://SD_ILS/0/SD_ILS:1708212024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Root, Randal. author. Sweeney, Mary Romero. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0116-8">http://dx.doi.org/10.1007/978-1-4302-0116-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>AutoCAD 2006 VBA A Programmer’s Referenceent://SD_ILS/0/SD_ILS:1707742024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Sutphin, Joe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0069-7">http://dx.doi.org/10.1007/978-1-4302-0069-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthinessent://SD_ILS/0/SD_ILS:4851682024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Gol Mohammadi, Nazila. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-27488-7">https://doi.org/10.1007/978-3-658-27488-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computing and Communication Systems in Urban Development A Detailed Perspectiveent://SD_ILS/0/SD_ILS:4854082024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Haldorai, Anandakumar. author. (orcid)0000-0001-9975-6462 Ramu, Arulmurugan. author. (orcid)0000-0003-1030-9565 Murugan, Suriya. author. (orcid)0000-0002-8130-7228 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26013-2">https://doi.org/10.1007/978-3-030-26013-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthdayent://SD_ILS/0/SD_ILS:4868592024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31175-9">https://doi.org/10.1007/978-3-030-31175-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Verification of Floating-Point Hardware Design A Mathematical Approachent://SD_ILS/0/SD_ILS:4867162024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Russinoff, David M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95513-1">https://doi.org/10.1007/978-3-319-95513-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parallel Computing Hits the Power Wall Principles, Challenges, and a Survey of Solutionsent://SD_ILS/0/SD_ILS:4859982024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Francisco Lorenzon, Arthur. author. Beck Filho, Antonio Carlos Schneider. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-28719-1">https://doi.org/10.1007/978-3-030-28719-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:4856992024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Cleaveland, Rance. editor. Grosu, Radu. editor. (orcid)0000-0001-5715-2142 Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31514-6">https://doi.org/10.1007/978-3-030-31514-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>IoT as a Service Third International Conference, IoTaaS 2017, Taichung, Taiwan, September 20–22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:3990812024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Lin, Yi-Bing. editor. Deng, Der-Jiunn. editor. You, Ilsun. editor. Lin, Chun-Cheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00410-1">https://doi.org/10.1007/978-3-030-00410-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Study Guide to the ISTQB® Foundation Level 2018 Syllabus Test Techniques and Sample Mock Examsent://SD_ILS/0/SD_ILS:3997732024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Roman, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98740-8">https://doi.org/10.1007/978-3-319-98740-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3998122024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Rusu, Vlad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security Education – Towards a Cybersecure Society 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3990192024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Drevin, Lynette. editor. (orcid)0000-0001-9370-8216 Theocharidou, Marianthi. editor. (orcid)0000-0002-8870-1746 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99734-6">https://doi.org/10.1007/978-3-319-99734-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Managing Software Crisis: A Smart Way to Enterprise Agilityent://SD_ILS/0/SD_ILS:4012532024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Zykov, Sergey V. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77917-1">https://doi.org/10.1007/978-3-319-77917-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Towards a Synergistic Combination of Research and Practice in Software Engineeringent://SD_ILS/0/SD_ILS:4020612024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Kosiuczenko, Piotr. editor. Madeyski, Lech. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65208-5">https://doi.org/10.1007/978-3-319-65208-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Warehouse Requirements Engineering A Decision Based Approachent://SD_ILS/0/SD_ILS:4024122024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Prakash, Naveen. author. Prakash, Deepika. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7019-8">https://doi.org/10.1007/978-981-10-7019-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4024852024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Mokhtari, Mounir. editor. Abdulrazak, Bessam. editor. Aloulou, Hamdi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94523-1">https://doi.org/10.1007/978-3-319-94523-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Failure Investigation A Near-Miss Analysis Approachent://SD_ILS/0/SD_ILS:4026802024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Eloff, Jan. author. Bihina Bella, Madeleine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61334-5">https://doi.org/10.1007/978-3-319-61334-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-Disciplinary Digital Signal Processing A Functional Approach Using Matlabent://SD_ILS/0/SD_ILS:4007882024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Gopi, E. S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57430-1">https://doi.org/10.1007/978-3-319-57430-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>TraceME: A Traceability-Based Method for Conceptual Model Evolution Model-Driven Techniques, Tools, Guidelines, and Open Challenges in Conceptual Model Evolutionent://SD_ILS/0/SD_ILS:4010422024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Ruiz, Marcela. author. (orcid)0000-0002-0592-1779 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89716-5">https://doi.org/10.1007/978-3-319-89716-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Toolsent://SD_ILS/0/SD_ILS:4012772024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Ganchev, Ivan. editor. (orcid)0000-0003-0535-7087 van der Mei, R. D. editor. van den Berg, Hans. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90415-3">https://doi.org/10.1007/978-3-319-90415-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering Education for a Global E-Service Economy State of the Art, Trends and Developmentsent://SD_ILS/0/SD_ILS:4854412024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Motta, Gianmario. editor. Wu, Bing. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04217-6">https://doi.org/10.1007/978-3-319-04217-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:4857832024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12904-4">https://doi.org/10.1007/978-3-319-12904-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling and Simulation of Complex Systems A Framework for Efficient Agent-Based Modeling and Simulationent://SD_ILS/0/SD_ILS:4880442024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Siegfried, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-07529-3">https://doi.org/10.1007/978-3-658-07529-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proofent://SD_ILS/0/SD_ILS:4889192024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13906-7">https://doi.org/10.1007/978-3-319-13906-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systemsent://SD_ILS/0/SD_ILS:4893272024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Biedermann, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-08047-1">https://doi.org/10.1007/978-3-658-08047-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Rigorous Semantics for BPMN 2.0 Process Diagramsent://SD_ILS/0/SD_ILS:4886042024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Kossak, Felix. author. Illibauer, Christa. author. Geist, Verena. author. Kubovy, Jan. author. Natschläger, Christine. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09931-6">https://doi.org/10.1007/978-3-319-09931-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded and Real Time System Development: A Software Engineering Perspective Concepts, Methods and Principlesent://SD_ILS/0/SD_ILS:4892962024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Khan, Mohammad Ayoub. editor. Saeed, Saqib. editor. Darwish, Ashraf. editor. Abraham, Ajith. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-40888-5">https://doi.org/10.1007/978-3-642-40888-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:4845612024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Fernández, Maribel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6368-8">https://doi.org/10.1007/978-1-4471-6368-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:4878592024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06776-6">https://doi.org/10.1007/978-3-319-06776-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systemsent://SD_ILS/0/SD_ILS:4883312024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Wagner, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-05270-6">https://doi.org/10.1007/978-3-658-05270-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimationent://SD_ILS/0/SD_ILS:4883612024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Mendes, Emilia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54157-5">https://doi.org/10.1007/978-3-642-54157-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Physical Layer Multi-Core Prototyping A Dataflow-Based Approach for LTE eNodeBent://SD_ILS/0/SD_ILS:3309302024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Pelcat, Maxime. author. Aridhi, Slaheddine. author. Piat, Jonathan. author. Nezan, Jean-François. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330930.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4210-2">http://dx.doi.org/10.1007/978-1-4471-4210-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschriftent://SD_ILS/0/SD_ILS:3328222024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Paule, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332822.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Early Software Reliability Prediction A Fuzzy Logic Approachent://SD_ILS/0/SD_ILS:3355122024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Pandey, Ajeet Kumar. author. Goyal, Neeraj Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335512.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-81-322-1176-1">http://dx.doi.org/10.1007/978-81-322-1176-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approachent://SD_ILS/0/SD_ILS:3341292024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Jörges, Sven. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334129.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36127-2">http://dx.doi.org/10.1007/978-3-642-36127-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Architecture ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1956022024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Varbanescu, Ana Lucia. editor. Molnos, Anca. editor. Nieuwpoort, Rob. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24322-6">http://dx.doi.org/10.1007/978-3-642-24322-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Building a National Distributed e-Infrastructure–PL-Grid Scientific and Technical Achievementsent://SD_ILS/0/SD_ILS:1963982024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Bubak, Marian. editor. Szepieniec, Tomasz. editor. Wiatr, Kazimierz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28267-6">http://dx.doi.org/10.1007/978-3-642-28267-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:1974562024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Durán, Franciso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34005-5">http://dx.doi.org/10.1007/978-3-642-34005-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Exorcism: A Handbook for Debugging and Optimizing Legacy Codeent://SD_ILS/0/SD_ILS:1718182024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Blunden, Bill. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5108-8">http://dx.doi.org/10.1007/978-1-4302-5108-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>IS Olympics: Information Systems in a Diverse World CAiSE Forum 2011, London, UK, June 20-24, 2011, Selected Extended Papersent://SD_ILS/0/SD_ILS:1967632024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Nurcan, Selmin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29749-6">http://dx.doi.org/10.1007/978-3-642-29749-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Architecture A Comprehensive Framework and Guide for Practitionersent://SD_ILS/0/SD_ILS:1941392024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Vogel, Oliver. author. Arnold, Ingo. author. Chughtai, Arif. author. Kehrer, Timo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19736-9">http://dx.doi.org/10.1007/978-3-642-19736-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robotsent://SD_ILS/0/SD_ILS:1950712024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Hartanto, Ronny. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22580-2">http://dx.doi.org/10.1007/978-3-642-22580-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Towards a Service-Based Internet. ServiceWave 2010 Workshops International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1951302024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Cezon, Michel. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22760-8">http://dx.doi.org/10.1007/978-3-642-22760-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design Methodologies for Secure Embedded Systems Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Hussent://SD_ILS/0/SD_ILS:1934022024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Biedermann, Alexander. editor. Molter, H. Gregor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16767-6">http://dx.doi.org/10.1007/978-3-642-16767-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Towards a Service-Based Internet 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1957362024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Abramowicz, Witold. editor. Llorente, Ignacio M. editor. Surridge, Mike. editor. Zisman, Andrea. editor. Vayssière, Julien. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24755-2">http://dx.doi.org/10.1007/978-3-642-24755-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Evolution of Conceptual Modeling From a Historical Perspective towards the Future of Conceptual Modelingent://SD_ILS/0/SD_ILS:1936212024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Kaschek, Roland. editor. Delcambre, Lois. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17505-3">http://dx.doi.org/10.1007/978-3-642-17505-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming for Engineers A Foundational Approach to Learning C and Matlabent://SD_ILS/0/SD_ILS:1953032024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Bradley, Aaron R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23303-6">http://dx.doi.org/10.1007/978-3-642-23303-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Process Algebraic Approach to Software Architecture Designent://SD_ILS/0/SD_ILS:1757682024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Aldini, Alessandro. author. Bernardo, Marco. author. Corradini, Flavio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-223-4">http://dx.doi.org/10.1007/978-1-84800-223-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modelingent://SD_ILS/0/SD_ILS:1931802024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Katz, Shmuel. editor. Mezini, Mira. editor. Kienzle, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16086-8">http://dx.doi.org/10.1007/978-3-642-16086-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Towards a Service-Based Internet Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1936802024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Nitto, Elisabetta. editor. Yahyapour, Ramin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17694-4">http://dx.doi.org/10.1007/978-3-642-17694-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems Development Towards a Service Provision Societyent://SD_ILS/0/SD_ILS:1677172024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Papadopoulos, George Angelos. editor. Wojtkowski, Wita. editor. Wojtkowski, Gregory. editor. Wrycza, Stanislaw. editor. Zupancic, Jože. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137171">http://dx.doi.org/10.1007/b137171</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business Process Technology A Unified View on Business Processes, Workflows and Enterprise Applicationsent://SD_ILS/0/SD_ILS:1900492024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Draheim, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01588-5">http://dx.doi.org/10.1007/978-3-642-01588-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Strategic IT Management A Toolkit for Enterprise Architecture Managementent://SD_ILS/0/SD_ILS:1911352024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Hanschke, Inge. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05034-3">http://dx.doi.org/10.1007/978-3-642-05034-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Collaborative Networks for a Sustainable World 11th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2010, St. Etienne, France, October 11-13, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1931402024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Afsarmanesh, Hamideh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15961-9">http://dx.doi.org/10.1007/978-3-642-15961-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1932552024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16310-4">http://dx.doi.org/10.1007/978-3-642-16310-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Specification and Verification of Declarative Open Interaction Models A Logic-Based Approachent://SD_ILS/0/SD_ILS:1926882024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Montali, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14538-4">http://dx.doi.org/10.1007/978-3-642-14538-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Architecting software intensive systems a practitioner's guideent://SD_ILS/0/SD_ILS:2896312024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Lattanze, Anthony J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420045703">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hardware Software Co-Design of a Multimedia SOC Platforment://SD_ILS/0/SD_ILS:1705932024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9623-5">http://dx.doi.org/10.1007/978-1-4020-9623-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approachent://SD_ILS/0/SD_ILS:1759312024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Li, ZhiWu. author. Zhou, MengChu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-244-3">http://dx.doi.org/10.1007/978-1-84882-244-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Concise and Practical Introduction to Programming Algorithms in Javaent://SD_ILS/0/SD_ILS:1759542024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Nielsen, Frank. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-339-6">http://dx.doi.org/10.1007/978-1-84882-339-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design Requirements Engineering: A Ten-Year Perspective Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papersent://SD_ILS/0/SD_ILS:1894992024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Lyytinen, Kalle. editor. Loucopoulos, Pericles. editor. Mylopoulos, John. editor. Robinson, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92966-6">http://dx.doi.org/10.1007/978-3-540-92966-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USAent://SD_ILS/0/SD_ILS:1679672024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Hasler, Paul. editor. Mooney, Vincent. editor. Reis, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-89558-1">http://dx.doi.org/10.1007/978-0-387-89558-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>OSS Design Patterns A Pattern Approach to the Design of Telecommunications Management Systemsent://SD_ILS/0/SD_ILS:1899792024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Ashford, Colin. author. Gauthier, Pierre. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01396-6">http://dx.doi.org/10.1007/978-3-642-01396-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedingsent://SD_ILS/0/SD_ILS:1857742024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Chapman, Barbara. editor. Zheng, Weiming. editor. Gao, Guang R. editor. Sato, Mitsuhisa. editor. Ayguadé, Eduard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69303-1">http://dx.doi.org/10.1007/978-3-540-69303-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1884792024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Eigenmann, Rudolf. editor. Supinski, Bronis R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79561-2">http://dx.doi.org/10.1007/978-3-540-79561-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Modular Calculus for the Average Cost of Data Structuringent://SD_ILS/0/SD_ILS:1670502024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Schellekens, Michel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-73384-5">http://dx.doi.org/10.1007/978-0-387-73384-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automatic Program Development A Tribute to Robert Paigeent://SD_ILS/0/SD_ILS:1698622024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Danvy, Olivier. editor. Henglein, Fritz. editor. Mairson, Harry. editor. Pettorossi, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6585-9">http://dx.doi.org/10.1007/978-1-4020-6585-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics and Computation, a Contemporary View The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006ent://SD_ILS/0/SD_ILS:1856132024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Munthe-Kaas, Hans. editor. Owren, Brynjulf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68850-1">http://dx.doi.org/10.1007/978-3-540-68850-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Making of Information Systems Software Engineering and Management in a Globalized Worldent://SD_ILS/0/SD_ILS:1883772024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Kurbel, Karl E. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79261-1">http://dx.doi.org/10.1007/978-3-540-79261-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Making Globally Distributed Software Development a Success Story International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1884872024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79588-9">http://dx.doi.org/10.1007/978-3-540-79588-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Unfoldings A Partial-Order Approach to Model Checkingent://SD_ILS/0/SD_ILS:1878682024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Esparza, Javier. author. Heljanko, Keijo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77426-6">http://dx.doi.org/10.1007/978-3-540-77426-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logicent://SD_ILS/0/SD_ILS:1864292024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Clavel, Manuel. author. Durán, Francisco. author. Eker, Steven. author. Lincoln, Patrick. author. Martí-Oliet, Narciso. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71999-1">http://dx.doi.org/10.1007/978-3-540-71999-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modelingent://SD_ILS/0/SD_ILS:1863812024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Pastor, Oscar. author. Molina, Juan Carlos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71868-0">http://dx.doi.org/10.1007/978-3-540-71868-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automatic Quantum Computer Programming A Genetic Programming Approachent://SD_ILS/0/SD_ILS:1661732024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Spector, Lee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36791-0">http://dx.doi.org/10.1007/978-0-387-36791-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Servicesent://SD_ILS/0/SD_ILS:1825032024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Gunther, Neil J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-31010-5">http://dx.doi.org/10.1007/978-3-540-31010-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>IPv6 in Practice A Unixer’s Guide to the Next Generation Internetent://SD_ILS/0/SD_ILS:1850492024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Stockebrand, Benedikt. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-48001-3">http://dx.doi.org/10.1007/978-3-540-48001-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>IEEE Computer Society real-world software engineering problems a self-study guide for today's software professionalent://SD_ILS/0/SD_ILS:2498302024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Naveda, J. Fernando. Seidman, Stephen B.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989366">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989366</a>
IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5989366">http://ieeexplore.ieee.org/servlet/opac?bknumber=5989366</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Excel Pivot Tables Recipe Book A Problem-Solution Approachent://SD_ILS/0/SD_ILS:1708462024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Dalgleisch, Debra. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0141-0">http://dx.doi.org/10.1007/978-1-4302-0141-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Writing Scientific Software A Guide to Good Styleent://SD_ILS/0/SD_ILS:2388702024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Oliveira, Suely. Stewart, David E..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511617973">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Theory of Distributed Objects Asynchrony — Mobility — Groups — Componentsent://SD_ILS/0/SD_ILS:1812842024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Caromel, Denis. author. Henrio, Ludovic. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138812">http://dx.doi.org/10.1007/b138812</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learning Design A Handbook on Modelling and Delivering Networked Education and Trainingent://SD_ILS/0/SD_ILS:1813612024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Koper, Rob. editor. Tattersall, Colin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138966">http://dx.doi.org/10.1007/b138966</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Software Process Model Handbook for Incorporating People’s Capabilitiesent://SD_ILS/0/SD_ILS:1651432024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Acuña, Silvia Teresita. author. Juristo, Natalia. author. Moreno, Ana María. author. Mon, Alicia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106969">http://dx.doi.org/10.1007/b106969</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Functional Verification of Programmable Embedded Architectures A Top-Down Approachent://SD_ILS/0/SD_ILS:1652772024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137514">http://dx.doi.org/10.1007/b137514</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Form-Oriented Analysis A New Methodology to Model Form-Based Applicationsent://SD_ILS/0/SD_ILS:1810682024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Draheim, Dirk. author. Weber, Gerald. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138252">http://dx.doi.org/10.1007/b138252</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviorsent://SD_ILS/0/SD_ILS:1813522024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Kurki-Suonio, Reino. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138956">http://dx.doi.org/10.1007/b138956</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Management in a Connected World Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthdayent://SD_ILS/0/SD_ILS:1828052024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Härder, Theo. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137346">http://dx.doi.org/10.1007/b137346</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systemsent://SD_ILS/0/SD_ILS:1830762024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Rust, Heinrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135629">http://dx.doi.org/10.1007/b135629</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Programmer’s Introduction to C# 2.0ent://SD_ILS/0/SD_ILS:1707402024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Gunnerson, Eric. editor. Wienholt, Nick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0035-2">http://dx.doi.org/10.1007/978-1-4302-0035-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The laws of software process a new model for the production and management of softwareent://SD_ILS/0/SD_ILS:2901002024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Armour, Philip G.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203505649">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>What every engineer should know about software engineeringent://SD_ILS/0/SD_ILS:2857472024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Laplante, Phillip A.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420006742">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software engineering for image processing systemsent://SD_ILS/0/SD_ILS:2864732024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Laplante, Phillip A.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203496107">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Schaum's outline of theory and problems of software engineeringent://SD_ILS/0/SD_ILS:3133042024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Gustafson, David A.<br/>Preferred Shelf Number QA76.758 G88 2002<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Distributed Computing 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930772024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Lynch, Nancy A. editor. Shvartsman, Alexander A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15763-9">http://dx.doi.org/10.1007/978-3-642-15763-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Business System Management and Engineering From Open Issues to Applicationsent://SD_ILS/0/SD_ILS:1972182024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Ardagna, Claudio A. editor. Damiani, Ernesto. editor. Maciaszek, Leszek A. editor. Missikoff, Michele. editor. Parkin, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32439-0">http://dx.doi.org/10.1007/978-3-642-32439-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1837182024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Clark, John A. editor. Paige, Richard F. editor. Polack, Fiona A. C. editor. Brooke, Phillip J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11734666">http://dx.doi.org/10.1007/11734666</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Persuasive Technology First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1839982024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor IJsselsteijn, Wijnand A. editor. Kort, Yvonne A. W. editor. Midden, Cees. editor. Eggen, Berry. editor. Hoven, Elise. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11755494">http://dx.doi.org/10.1007/11755494</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sicherheitsgerichtete Echtzeitsystemeent://SD_ILS/0/SD_ILS:3372562024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Halang, Wolfgang A. author. Konakovsky, Rudolf M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337256.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37298-8">http://dx.doi.org/10.1007/978-3-642-37298-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Eingebettete Systemeent://SD_ILS/0/SD_ILS:1932152024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Halang, Wolfgang A. editor. Holleczek, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16189-6">http://dx.doi.org/10.1007/978-3-642-16189-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3997822024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98938-9">https://doi.org/10.1007/978-3-319-98938-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:3335582024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333558.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32341-6">http://dx.doi.org/10.1007/978-3-642-32341-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3352172024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335217.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45422-6">http://dx.doi.org/10.1007/978-3-642-45422-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Kommunikation unter Echtzeitbedingungen Echtzeit 2012ent://SD_ILS/0/SD_ILS:3370752024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Halang, Wolfgang A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337075.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33707-9">http://dx.doi.org/10.1007/978-3-642-33707-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Programming Theory and Practiceent://SD_ILS/0/SD_ILS:3316112024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Shankar, A. Udaya. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331611.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4881-5">http://dx.doi.org/10.1007/978-1-4614-4881-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350472024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Botía, Juan A. editor. Álvarez-García, Juan Antonio. editor. Fujinami, Kaori. editor. Barsocchi, Paolo. editor. Riedel, Till. editor.<br/>Preferred Shelf Number ONLINE(335047.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41043-7">http://dx.doi.org/10.1007/978-3-642-41043-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Funktionale Sicherheit Echtzeit 2013ent://SD_ILS/0/SD_ILS:3373912024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Halang, Wolfgang A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337391.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41309-4">http://dx.doi.org/10.1007/978-3-642-41309-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Improving Software Testing Technical and Organizational Developmentsent://SD_ILS/0/SD_ILS:1962032024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Majchrzak, Tim A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27464-0">http://dx.doi.org/10.1007/978-3-642-27464-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:1969172024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor 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/>Software Business Third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1969512024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Cusumano, Michael A. editor. Iyer, Bala. editor. Venkatraman, N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30746-1">http://dx.doi.org/10.1007/978-3-642-30746-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Self-Organizing Systems 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1964812024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Kuipers, Fernando A. editor. Heegaard, Poul E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28583-7">http://dx.doi.org/10.1007/978-3-642-28583-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Herausforderungen durch Echtzeitbetrieb Echtzeit 2011ent://SD_ILS/0/SD_ILS:1957052024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Halang, Wolfgang A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24658-6">http://dx.doi.org/10.1007/978-3-642-24658-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Open Source Systems: Grounding Research 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1956312024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Hissam, Scott A. editor. Russo, Barbara. editor. Mendonça Neto, Manoel G. editor. Kon, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24418-6">http://dx.doi.org/10.1007/978-3-642-24418-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1953312024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Maciaszek, Leszek A. editor. Loucopoulos, Pericles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23391-3">http://dx.doi.org/10.1007/978-3-642-23391-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1955522024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Troubitsyna, Elena A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24124-6">http://dx.doi.org/10.1007/978-3-642-24124-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Requirements-Engineering systematisch Modellbildung für softwaregestützte Systemeent://SD_ILS/0/SD_ILS:1912402024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Partsch, Helmuth A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05358-0">http://dx.doi.org/10.1007/978-3-642-05358-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1927792024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Maciaszek, Leszek A. editor. González-Pérez, César. editor. Jablonski, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14819-4">http://dx.doi.org/10.1007/978-3-642-14819-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Requirements engineering : from system goals to UML models to software specificationsent://SD_ILS/0/SD_ILS:3127212024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Lamsweerde, A. van (Axel)<br/>Preferred Shelf Number QA76.758 L28 2009<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Aktuelle Anwendungen in Technik und Wirtschaft Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 27. und 28. November 2008ent://SD_ILS/0/SD_ILS:1886742024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Halang, Wolfgang A. editor. Holleczek, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85324-4">http://dx.doi.org/10.1007/978-3-540-85324-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1903142024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Lewis, Grace A. editor. Poernomo, Iman. editor. Hofmeister, Christine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02414-6">http://dx.doi.org/10.1007/978-3-642-02414-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software-intensive verteilte Echtzeitsysteme Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 19. und 20. November 2009ent://SD_ILS/0/SD_ILS:1910562024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Halang, Wolfgang A. editor. Holleczek, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04783-1">http://dx.doi.org/10.1007/978-3-642-04783-1</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:1759582024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor 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/>Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1896832024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Peled, Doron A. editor. Wooldridge, Michael J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00431-5">http://dx.doi.org/10.1007/978-3-642-00431-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Next Generation Information Technologies and Systems 7th International Conference, NGITS 2009, Haifa, Israel, June 16-18, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1911052024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Feldman, Yishai A. editor. Kraft, Donald. editor. Kuflik, Tsvi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04941-5">http://dx.doi.org/10.1007/978-3-642-04941-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06ent://SD_ILS/0/SD_ILS:1697052024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Huss, Sorin A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6149-3">http://dx.doi.org/10.1007/978-1-4020-6149-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papersent://SD_ILS/0/SD_ILS:1859182024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69868-5">http://dx.doi.org/10.1007/978-3-540-69868-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1867432024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Jacko, Julie A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73105-4">http://dx.doi.org/10.1007/978-3-540-73105-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1867442024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Jacko, Julie A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73107-8">http://dx.doi.org/10.1007/978-3-540-73107-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:1867452024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Jacko, Julie A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73110-8">http://dx.doi.org/10.1007/978-3-540-73110-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IVent://SD_ILS/0/SD_ILS:1867462024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Jacko, Julie A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73111-5">http://dx.doi.org/10.1007/978-3-540-73111-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>IT-Projektrecht Vertragliche Gestaltung und Steuerung von IT-Projekten, Best Practices, Haftung der Geschäftsleitungent://SD_ILS/0/SD_ILS:1867812024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Koch, Frank A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73224-2">http://dx.doi.org/10.1007/978-3-540-73224-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1874292024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Garay, Juan A. editor. Lenstra, Arjen K. editor. Mambo, Masahiro. editor. Peralta, René. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75496-1">http://dx.doi.org/10.1007/978-3-540-75496-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1837112024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Hales, David. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11734697">http://dx.doi.org/10.1007/11734697</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1846432024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11828563">http://dx.doi.org/10.1007/11828563</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Self-Organising Systems Methodologies and Applicationsent://SD_ILS/0/SD_ILS:1829872024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Karageorgos, Anthony. editor. Nagpal, Radhika. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136984">http://dx.doi.org/10.1007/b136984</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1833692024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Bader, David A. editor. Parashar, Manish. editor. Sridhar, Varadarajan. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11602569">http://dx.doi.org/10.1007/11602569</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830412024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11562948">http://dx.doi.org/10.1007/11562948</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>E-Voting and Identity Second International Conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908472024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Ryan, Peter Y. A. editor. Schoenmakers, Berry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04135-8">http://dx.doi.org/10.1007/978-3-642-04135-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1853082024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Shvartsman, Mariam Momenzadeh Alexander A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11945529">http://dx.doi.org/10.1007/11945529</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1831012024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Sloot, Peter M. A. editor. Hoekstra, Alfons G. editor. Priol, Thierry. editor. Reinefeld, Alexander. editor. Bubak, Marian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137919">http://dx.doi.org/10.1007/b137919</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software design for engineers and scientistsent://SD_ILS/0/SD_ILS:2546572024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Robinson, John A. (John Allen), 1958-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750660808">http://www.sciencedirect.com/science/book/9780750660808</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4853042024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21759-4">https://doi.org/10.1007/978-3-030-21759-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering Workshops CAiSE 2019 International Workshops, Rome, Italy, June 3-7, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4866042024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Stirna, Janis. editor. (orcid)0000-0002-3669-832X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20948-3">https://doi.org/10.1007/978-3-030-20948-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4007112024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73117-9">https://doi.org/10.1007/978-3-319-73117-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The cognitive dynamics of computer science cost-effective large scale software developmentent://SD_ILS/0/SD_ILS:2494732024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor De Gyurky, Szabolcs Michael. Tarbell, Mark A. John Wiley & Sons.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429">http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Technologies 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4831082024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor van Sinderen, Marten. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29157-0">https://doi.org/10.1007/978-3-030-29157-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Networked Systems 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4847492024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Schwarzmann, Alexander A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31277-0">https://doi.org/10.1007/978-3-030-31277-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3992382024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Krogstie, John. editor. Reijers, Hajo A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91563-0">https://doi.org/10.1007/978-3-319-91563-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Refinement in Z and Object-Z Foundations and Advanced Applicationsent://SD_ILS/0/SD_ILS:4880302024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Derrick, John. author. Boiten, Eerke A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-5355-9">https://doi.org/10.1007/978-1-4471-5355-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890282024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11164-3">https://doi.org/10.1007/978-3-319-11164-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349922024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334992.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40708-6">http://dx.doi.org/10.1007/978-3-642-40708-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3352272024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335227.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-54092-9">http://dx.doi.org/10.1007/978-3-642-54092-9</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:3342782024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor 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/>Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedingsent://SD_ILS/0/SD_ILS:1970762024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31424-7">http://dx.doi.org/10.1007/978-3-642-31424-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Management in Grid and Peer-to-Peer Systems 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedingsent://SD_ILS/0/SD_ILS:1951902024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22947-3">http://dx.doi.org/10.1007/978-3-642-22947-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information and Communication on Technology for the Fight against Global Warming First International Conference, ICT-GLOW 2011, Toulouse, France, August 30-31, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1953452024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Kranzlmüller, Dieter. editor. Toja, A Min. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23447-7">http://dx.doi.org/10.1007/978-3-642-23447-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929252024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15297-9">http://dx.doi.org/10.1007/978-3-642-15297-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software-Entwicklung für Echtzeitsystemeent://SD_ILS/0/SD_ILS:1900522024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Benra, Juliane T. editor. Halang, Wolfgang A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01596-0">http://dx.doi.org/10.1007/978-3-642-01596-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papersent://SD_ILS/0/SD_ILS:1910282024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Bensalem, Saddek. editor. Peled, Doron A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04694-0">http://dx.doi.org/10.1007/978-3-642-04694-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Management in Grid and Peer-to-Peer Systems Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1907142024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03715-3">http://dx.doi.org/10.1007/978-3-642-03715-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Global Specification and Validation of Embedded Systems Integrating Heterogeneous Componentsent://SD_ILS/0/SD_ILS:1697062024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6153-0">http://dx.doi.org/10.1007/978-1-4020-6153-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Services with OpenAFS for Enterprise and Educationent://SD_ILS/0/SD_ILS:1843972024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Milicchio, Franco. author. Gehrke, Wolfgang A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-36634-8">http://dx.doi.org/10.1007/978-3-540-36634-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Strategic software engineering an interdisciplinary approachent://SD_ILS/0/SD_ILS:2847712024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Deek, Fadi P. McHugh, James A., 1944- Eljabiri, Osama M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420031119">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent Intelligence Through Data Miningent://SD_ILS/0/SD_ILS:1651802024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Symeonidis, Andreas L. author. Mitkas, Pericles A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136000">http://dx.doi.org/10.1007/b136000</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4858592024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22559-9">https://doi.org/10.1007/978-3-030-22559-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4868362024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17872-7">https://doi.org/10.1007/978-3-030-17872-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part Vent://SD_ILS/0/SD_ILS:4870802024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24308-1">https://doi.org/10.1007/978-3-030-24308-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4870642024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24289-3">https://doi.org/10.1007/978-3-030-24289-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VIent://SD_ILS/0/SD_ILS:4870652024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24311-1">https://doi.org/10.1007/978-3-030-24311-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4869682024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24302-9">https://doi.org/10.1007/978-3-030-24302-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4869692024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24296-1">https://doi.org/10.1007/978-3-030-24296-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IVent://SD_ILS/0/SD_ILS:4846562024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24305-0">https://doi.org/10.1007/978-3-030-24305-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Industrial Applications of Holonic and Multi-Agent Systems 9th International Conference, HoloMAS 2019, Linz, Austria, August 26–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4846782024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Mařík, Vladimír. editor. Kadera, Petr. editor. Rzevski, George. editor. Zoitl, Alois. editor. Anderst-Kotsis, Gabriele. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27878-6">https://doi.org/10.1007/978-3-030-27878-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4849092024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Sako, Kazue. editor. Schneider, Steve. editor. (orcid)0000-0001-8365-6993 Ryan, Peter Y. A. editor. (orcid)0000-0002-1677-9034 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29959-0">https://doi.org/10.1007/978-3-030-29959-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4849102024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Sako, Kazue. editor. Schneider, Steve. editor. (orcid)0000-0001-8365-6993 Ryan, Peter Y. A. editor. (orcid)0000-0002-1677-9034 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29962-0">https://doi.org/10.1007/978-3-030-29962-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4849582024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34500-6">https://doi.org/10.1007/978-3-030-34500-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Technology and Innovation in Learning, Teaching and Education First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20–22, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4866322024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Tsitouridou, Meni. editor. A. Diniz, José. editor. Mikropoulos, Tassos A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20954-4">https://doi.org/10.1007/978-3-030-20954-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:3997502024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Fortino, Giancarlo. editor. Ali, A.B.M. Shawkat. editor. Pathan, Mukaddim. editor. Guerrieri, Antonio. editor. Di Fatta, Giuseppe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97795-9">https://doi.org/10.1007/978-3-319-97795-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Social Robotics 10th International Conference, ICSR 2018, Qingdao, China, November 28 - 30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3997862024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Ge, Shuzhi Sam. editor. (orcid)0000-0001-5549-312X Cabibihan, John-John. editor. (orcid)0000-0001-5892-743X Salichs, Miguel A. editor. Broadbent, Elizabeth. editor. (orcid)0000-0003-3626-9100 He, Hongsheng. editor. (orcid)0000-0002-2810-865X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05204-1">https://doi.org/10.1007/978-3-030-05204-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4001242024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02671-4">https://doi.org/10.1007/978-3-030-02671-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4023762024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95168-3">https://doi.org/10.1007/978-3-319-95168-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part Vent://SD_ILS/0/SD_ILS:4023772024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95174-4">https://doi.org/10.1007/978-3-319-95174-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4000392024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95162-1">https://doi.org/10.1007/978-3-319-95162-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4000402024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95165-2">https://doi.org/10.1007/978-3-319-95165-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accessesent://SD_ILS/0/SD_ILS:4003502024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor H. M. Cruz, Eduardo. author. Diener, Matthias. author. O. A. Navaux, Philippe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91074-1">https://doi.org/10.1007/978-3-319-91074-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005422024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Stoyanov, Danail. editor. Taylor, Zeike. editor. Sarikaya, Duygu. editor. McLeod, Jonathan. editor. González Ballester, Miguel Angel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01201-4">https://doi.org/10.1007/978-3-030-01201-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4022132024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Cabello, Enrique. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93641-3">https://doi.org/10.1007/978-3-319-93641-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Business Process Managementent://SD_ILS/0/SD_ILS:4020272024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Dumas, Marlon. author. La Rosa, Marcello. author. Mendling, Jan. author. Reijers, Hajo A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-56509-4">https://doi.org/10.1007/978-3-662-56509-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IVent://SD_ILS/0/SD_ILS:4005712024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95171-3">https://doi.org/10.1007/978-3-319-95171-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Model Checkingent://SD_ILS/0/SD_ILS:4012932024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Artificial Intelligent Systems 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4014572024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor de Cos Juez, Francisco Javier. editor. Villar, José Ramón. editor. de la Cal, Enrique A. editor. Herrero, Álvaro. editor. Quintián, Héctor. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92639-1">https://doi.org/10.1007/978-3-319-92639-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4872072024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Franch, Xavier. editor. Ghose, Aditya K. editor. Lewis, Grace A. editor. Bhiri, Sami. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45391-9">https://doi.org/10.1007/978-3-662-45391-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Logistics 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4876522024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor González-Ramírez, Rosa G. editor. Schulte, Frederik. editor. Voß, Stefan. editor. Ceroni Díaz, Jose A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11421-7">https://doi.org/10.1007/978-3-319-11421-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857152024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Ait Ameur, Yamine. editor. Bellatreche, Ladjel. editor. Papadopoulos, George A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11587-0">https://doi.org/10.1007/978-3-319-11587-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:3340552024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334055.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351782024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335178.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45008-2">http://dx.doi.org/10.1007/978-3-642-45008-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)ent://SD_ILS/0/SD_ILS:3352162024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.<br/>Preferred Shelf Number ONLINE(335216.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45419-6">http://dx.doi.org/10.1007/978-3-642-45419-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Autonomic Computing Principles, Design and Implementationent://SD_ILS/0/SD_ILS:3311152024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331115.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5007-7">http://dx.doi.org/10.1007/978-1-4471-5007-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile Web Information Systems 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349222024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Daniel, Florian. editor. Papadopoulos, George A. editor. Thiran, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334922.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40276-0">http://dx.doi.org/10.1007/978-3-642-40276-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350232024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335023.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40885-4">http://dx.doi.org/10.1007/978-3-642-40885-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Business Process Managementent://SD_ILS/0/SD_ILS:3336712024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Dumas, Marlon. author. La Rosa, Marcello. author. Mendling, Jan. author. Reijers, Hajo A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333671.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33143-5">http://dx.doi.org/10.1007/978-3-642-33143-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3340642024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.<br/>Preferred Shelf Number ONLINE(334064.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35843-2">http://dx.doi.org/10.1007/978-3-642-35843-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3341062024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.<br/>Preferred Shelf Number ONLINE(334106.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36046-6">http://dx.doi.org/10.1007/978-3-642-36046-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise, Business-Process and Information Systems Modeling 14th International Conference, BPMDS 2013, 18th International Conference, EMMSAD 2013, Held at CAiSE 2013, Valencia, Spain, June 17-18, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346072024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Nurcan, Selmin. editor. Proper, Henderik A. editor. Soffer, Pnina. editor. Krogstie, John. editor. Schmidt, Rainer. editor.<br/>Preferred Shelf Number ONLINE(334607.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38484-4">http://dx.doi.org/10.1007/978-3-642-38484-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1970152024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31075-1">http://dx.doi.org/10.1007/978-3-642-31075-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1970212024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31125-3">http://dx.doi.org/10.1007/978-3-642-31125-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IVent://SD_ILS/0/SD_ILS:1970222024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31128-4">http://dx.doi.org/10.1007/978-3-642-31128-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:1970252024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31137-6">http://dx.doi.org/10.1007/978-3-642-31137-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>ICT as Key Technology against Global Warming Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1972422024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Auweter, Axel. editor. Kranzlmüller, Dieter. editor. Tahamtan, Amirreza. editor. Tjoa, A Min. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32606-6">http://dx.doi.org/10.1007/978-3-642-32606-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Harnessing VLSI System Design with EDA Toolsent://SD_ILS/0/SD_ILS:2061952024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Kamat, Rajanish K. author. Shinde, Santosh A. author. Gaikwad, Pawan K. author. Guhilot, Hansraj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1864-7">http://dx.doi.org/10.1007/978-94-007-1864-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Code Generation with Templatesent://SD_ILS/0/SD_ILS:2070422024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Arnoldus, Jeroen. author. van den Brand, Mark. author. Serebrenik, A. author. Brunekreef, J.J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-56-5">http://dx.doi.org/10.2991/978-94-91216-56-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Reliability Assessment with OR Applicationsent://SD_ILS/0/SD_ILS:1684542024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Kapur, P.K. author. Pham, Hoang. author. Gupta, A. author. Jha, P.C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-204-9">http://dx.doi.org/10.1007/978-0-85729-204-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ambient Intelligence Second International Joint Conference on AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1958642024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Keyson, David V. editor. Maher, Mary Lou. editor. Streitz, Norbert. editor. Cheok, Adrian. editor. Augusto, Juan Carlos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25167-2">http://dx.doi.org/10.1007/978-3-642-25167-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1922082024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Bellavista, Paolo. editor. Chang, Ruay-Shiung. editor. Chao, Han-Chieh. editor. Lin, Shin-Feng. editor. Sloot, Peter M. A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13067-0">http://dx.doi.org/10.1007/978-3-642-13067-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Management in Grid and Peer-to-Peer Systems Third International Conference, Globe 2010, Bilbao, Spain, September 1-2, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1928632024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Hameurlain, Abdelkader. editor. Morvan, Franck. editor. Tjoa, A Min. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15108-8">http://dx.doi.org/10.1007/978-3-642-15108-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1919332024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Chio, Cecilia. editor. Brabazon, Anthony. editor. Caro, Gianni A. editor. Ebner, Marc. editor. Farooq, Muddassar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12242-2">http://dx.doi.org/10.1007/978-3-642-12242-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Business First International Conference, ICSOB 2010, Jyväskylä, Finland, June 21-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923982024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Tyrväinen, Pasi. editor. Jansen, Slinger. editor. Cusumano, Michael A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13633-7">http://dx.doi.org/10.1007/978-3-642-13633-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929042024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Hinchey, Mike. editor. Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Lindsay, Peter A. editor. Rammig, Franz J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15234-4">http://dx.doi.org/10.1007/978-3-642-15234-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Technological Developments in Education and Automationent://SD_ILS/0/SD_ILS:2051422024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Iskander, Magued. editor. Kapila, Vikram. editor. Karim, Mohammad A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3656-8">http://dx.doi.org/10.1007/978-90-481-3656-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software and Data Technologies Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1890992024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Filipe, Joaquim. editor. Shishkov, Boris. editor. Helfert, Markus. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88655-6">http://dx.doi.org/10.1007/978-3-540-88655-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papersent://SD_ILS/0/SD_ILS:1891092024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Collins, John. editor. Faratin, Peyman. editor. Parsons, Simon. editor. Rodriguez-Aguilar, Juan A. editor. Sadeh, Norman M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88713-3">http://dx.doi.org/10.1007/978-3-540-88713-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part Ient://SD_ILS/0/SD_ILS:1901772024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01970-8">http://dx.doi.org/10.1007/978-3-642-01970-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part IIent://SD_ILS/0/SD_ILS:1901782024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01973-9">http://dx.doi.org/10.1007/978-3-642-01973-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Unleash the System On Chip using FPGAs and Handel Cent://SD_ILS/0/SD_ILS:1705122024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Kamat, Rajanish K. author. Shinde, Santhosh A. author. Shelake, Vinod G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9362-3">http://dx.doi.org/10.1007/978-1-4020-9362-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Security 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1909622024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Samarati, Pierangela. editor. Yung, Moti. editor. Martinelli, Fabio. editor. Ardagna, Claudio A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04474-8">http://dx.doi.org/10.1007/978-3-642-04474-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web and Wireless Geographical Information Systems 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1914182024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Carswell, James D. editor. Fotheringham, A. Stewart. editor. McArdle, Gavin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10601-9">http://dx.doi.org/10.1007/978-3-642-10601-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pervasive Computing 7th International Conference, Pervasive 2009, Nara, Japan, May 11-14, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1900242024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Tokuda, Hideyuki. editor. Beigl, Michael. editor. Friday, Adrian. editor. Brush, A. J. Bernheim. editor. Tobe, Yoshito. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01516-8">http://dx.doi.org/10.1007/978-3-642-01516-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1858052024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69384-0">http://dx.doi.org/10.1007/978-3-540-69384-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1858062024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69387-1">http://dx.doi.org/10.1007/978-3-540-69387-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:1858072024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69389-5">http://dx.doi.org/10.1007/978-3-540-69389-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1880482024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Logozzo, Francesco. editor. Peled, Doron A. editor. Zuck, Lenore D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78163-9">http://dx.doi.org/10.1007/978-3-540-78163-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Environment-Mediated Multi-Agent Systems International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papersent://SD_ILS/0/SD_ILS:1885602024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Weyns, Danny. editor. Brueckner, Sven A. editor. Demazeau, Yves. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85029-8">http://dx.doi.org/10.1007/978-3-540-85029-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1889322024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Darzentas, John. editor. Vouros, George A. editor. Vosinakis, Spyros. editor. Arnellos, Argyris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87881-0">http://dx.doi.org/10.1007/978-3-540-87881-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronicsent://SD_ILS/0/SD_ILS:1703022024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Sobh, Tarek. editor. Elleithy, Khaled. editor. Mahmood, Ausif. editor. Karim, Mohammad A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8737-0">http://dx.doi.org/10.1007/978-1-4020-8737-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Wired/Wireless Internet Communications 6th International Conference, WWIC 2008 Tampere, Finland, May 28-30, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1855942024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Harju, Jarmo. editor. Heijenk, Geert. editor. Langendörfer, Peter. editor. Siris, Vasilios A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68807-5">http://dx.doi.org/10.1007/978-3-540-68807-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papersent://SD_ILS/0/SD_ILS:1894422024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Shen, Weiming. editor. Yong, Jianming. editor. Yang, Yun. editor. Barthès, Jean-Paul A. editor. Luo, Junzhou. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92719-8">http://dx.doi.org/10.1007/978-3-540-92719-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Applications and Services in the Finance Industry 3rd International Workshop, FinanceCom 2007, Montreal, Canada, December 8, 2007. Revised Papersent://SD_ILS/0/SD_ILS:1881652024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Veit, Daniel J. editor. Kundisch, Dennis. editor. Weitzel, Tim. editor. Weinhardt, Christof. editor. Rabhi, Fethi A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78550-7">http://dx.doi.org/10.1007/978-3-540-78550-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papersent://SD_ILS/0/SD_ILS:1860592024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Coninx, Karin. editor. Luyten, Kris. editor. Schneider, Kevin A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70816-2">http://dx.doi.org/10.1007/978-3-540-70816-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed, High-Performance and Grid Computing in Computational Biology International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1859572024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Dubitzky, Werner. editor. Schuster, Assaf. editor. Sloot, Peter M. A. editor. Schroeder, Michael. editor. Romberg, Mathilde. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69968-2">http://dx.doi.org/10.1007/978-3-540-69968-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1866682024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Shen, Weiming. editor. Luo, Junzhou. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Hao, Qi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72863-4">http://dx.doi.org/10.1007/978-3-540-72863-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1862592024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Daydé, Michel. editor. Palma, José M. L. M. editor. Coutinho, Álvaro L. G. A. editor. Pacitti, Esther. editor. Lopes, João Correia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71351-7">http://dx.doi.org/10.1007/978-3-540-71351-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1865902024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72584-8">http://dx.doi.org/10.1007/978-3-540-72584-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1865912024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72586-2">http://dx.doi.org/10.1007/978-3-540-72586-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:1865922024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72588-6">http://dx.doi.org/10.1007/978-3-540-72588-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IVent://SD_ILS/0/SD_ILS:1865932024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72590-9">http://dx.doi.org/10.1007/978-3-540-72590-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1868922024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Schmidt, Heinz W. editor. Crnkovic, Ivica. editor. Heineman, George T. editor. Stafford, Judith A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73551-9">http://dx.doi.org/10.1007/978-3-540-73551-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compiling Esterelent://SD_ILS/0/SD_ILS:1667552024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Potop-Butucaru, Dumitru. author. Edwards, Stephen A. author. Berry, Gérard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-70628-3">http://dx.doi.org/10.1007/978-0-387-70628-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1879312024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Overhage, Sven. editor. Szyperski, Clemens A. editor. Reussner, Ralf. editor. Stafford, Judith A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77619-2">http://dx.doi.org/10.1007/978-3-540-77619-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1ent://SD_ILS/0/SD_ILS:1857902024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Taft, S. Tucker. author. Duff, Robert A. author. Brukardt, Randall L. author. Ploedereder, Erhard. author. Leroy, Pascal. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69336-9">http://dx.doi.org/10.1007/978-3-540-69336-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1840342024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11758501">http://dx.doi.org/10.1007/11758501</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1840352024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11758525">http://dx.doi.org/10.1007/11758525</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part IIIent://SD_ILS/0/SD_ILS:1840362024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11758532">http://dx.doi.org/10.1007/11758532</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IVent://SD_ILS/0/SD_ILS:1840372024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11758549">http://dx.doi.org/10.1007/11758549</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Innovative Concepts for Autonomic and Agent-Based Systems Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papersent://SD_ILS/0/SD_ILS:1857562024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Hinchey, Michael G. editor. Rago, Patricia. editor. Rash, James L. editor. Rouff, Christopher A. editor. Sterritt, Roy. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11964995">http://dx.doi.org/10.1007/11964995</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1835742024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Shen, Wei-ming. editor. Chao, Kuo-Ming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. James, Anne. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11686699">http://dx.doi.org/10.1007/11686699</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1842812024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Gorton, Ian. editor. Heineman, George T. editor. Crnković, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11783565">http://dx.doi.org/10.1007/11783565</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:1843092024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Reussner, Ralf H. editor. Stafford, Judith A. editor. Szyperski, Clemens A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11786160">http://dx.doi.org/10.1007/11786160</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing of Communicating Systems 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1839612024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Uyar, M. Ümit. editor. Duale, Ali Y. editor. Fecko, Mariusz A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11754008">http://dx.doi.org/10.1007/11754008</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:1828662024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Shen, Weiming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Li, Tangqiu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11568421">http://dx.doi.org/10.1007/11568421</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1824792024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105317">http://dx.doi.org/10.1007/b105317</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831142024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Heineman, George T. editor. Crnkovic, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor. Szyperski, Clemens. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136248">http://dx.doi.org/10.1007/b136248</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831212024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Reussner, Ralf. editor. Mayer, Johannes. editor. Stafford, Judith A. editor. Overhage, Sven. editor. Becker, Steffen. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11558569">http://dx.doi.org/10.1007/11558569</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part Ient://SD_ILS/0/SD_ILS:1831732024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136570">http://dx.doi.org/10.1007/b136570</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part IIent://SD_ILS/0/SD_ILS:1831752024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136571">http://dx.doi.org/10.1007/b136571</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:1831792024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136575">http://dx.doi.org/10.1007/b136575</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Risks and Security of Internet and Systems 13th International Conference, CRiSIS 2018, Arcachon, France, October 16–18, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4835922024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Zemmari, Akka. editor. Mosbah, Mohamed. editor. Cuppens-Boulahia, Nora. editor. Cuppens, Frédéric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12143-3">https://doi.org/10.1007/978-3-030-12143-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4836012024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867 Fraser, Steven. editor. (orcid)0000-0002-3958-6585 Coallier, François. editor. (orcid)0000-0002-2730-2469 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19034-7">https://doi.org/10.1007/978-3-030-19034-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cryptography and Coding 17th IMA International Conference, IMACC 2019, Oxford, UK, December 16–18, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4836082024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Albrecht, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35199-1">https://doi.org/10.1007/978-3-030-35199-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4836262024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 Petrenko, Alexander. editor. (orcid)0000-0001-7411-3831 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29852-4">https://doi.org/10.1007/978-3-030-29852-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Trends in Model and Data Engineering MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4836272024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Attiogbé, Christian. editor. (orcid)0000-0002-7815-1752 Ferrarotti, Flavio. editor. (orcid)0000-0003-2278-8233 Maabout, Sofian. editor. (orcid)0000-0001-8703-7620 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32213-7">https://doi.org/10.1007/978-3-030-32213-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4838292024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29007-8">https://doi.org/10.1007/978-3-030-29007-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Biomedical Engineering Systems and Technologies 11th International Joint Conference, BIOSTEC 2018, Funchal, Madeira, Portugal, January 19–21, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4838392024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Cliquet Jr., Alberto. editor. Wiebe, Sheldon. editor. Anderson, Paul. editor. Saggio, Giovanni. editor. Zwiggelaar, Reyer. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29196-9">https://doi.org/10.1007/978-3-030-29196-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4838472024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29400-7">https://doi.org/10.1007/978-3-030-29400-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4838482024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Fontaine, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29436-6">https://doi.org/10.1007/978-3-030-29436-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4838862024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30281-8">https://doi.org/10.1007/978-3-030-30281-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4842252024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32079-9">https://doi.org/10.1007/978-3-030-32079-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4851642024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05807-4">https://doi.org/10.1007/978-3-030-05807-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Security and Quality in Cyber-Physical Systems Engineering With Forewords by Robert M. Lee and Tom Gilbent://SD_ILS/0/SD_ILS:4853802024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Eckhart, Matthias. editor. Lüder, Arndt. editor. Weippl, Edgar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25312-7">https://doi.org/10.1007/978-3-030-25312-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4854042024-11-13T06:31:35Z2024-11-13T06:31:35ZAuthor Mirto, Ignazio Mauro. editor. Monteleone, Mario. editor. Silberztein, Max. editor. (orcid)0000-0003-0930-6463 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-10868-7">https://doi.org/10.1007/978-3-030-10868-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>