Search Results for Integration. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dIntegration.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026pe$003dd$00253A$0026ic$003dtrue$0026ps$003d300?dt=list2026-03-21T08:50:37ZPro Spring Integrationent://SD_ILS/0/SD_ILS:1715052026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Lui, Mark. author. Gray, Mario. author. Chan, Andy. author. Long, Josh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3346-6">http://dx.doi.org/10.1007/978-1-4302-3346-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ontology-based Application Integrationent://SD_ILS/0/SD_ILS:1739382026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Paulheim, Heiko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1430-8">http://dx.doi.org/10.1007/978-1-4614-1430-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SQL Server 2012 Data Integration Recipesent://SD_ILS/0/SD_ILS:1718062026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Aspin, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4792-0">http://dx.doi.org/10.1007/978-1-4302-4792-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro SQL Server 2012 Integration Servicesent://SD_ILS/0/SD_ILS:1715892026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Rodrigues, Francis. author. Coles, Michael. author. Dye, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3693-1">http://dx.doi.org/10.1007/978-1-4302-3693-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Mining and Multi-agent Integrationent://SD_ILS/0/SD_ILS:1719872026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Cao, Longbing. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0522-2">http://dx.doi.org/10.1007/978-1-4419-0522-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro SQL Server 2005 Integration Servicesent://SD_ILS/0/SD_ILS:1710292026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Wightman, James. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0448-0">http://dx.doi.org/10.1007/978-1-4302-0448-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems Reengineering and Integrationent://SD_ILS/0/SD_ILS:1754762026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Fong, Joseph F. P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-619-3">http://dx.doi.org/10.1007/978-1-84628-619-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Workflow-based Integration Grundlagen, Technologien, Managementent://SD_ILS/0/SD_ILS:1810522026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Müller, Joachim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138228">http://dx.doi.org/10.1007/b138228</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>JDF Process Integration, Technology, Product Descriptionent://SD_ILS/0/SD_ILS:1814662026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Kühn, Wolfgang. author. Grell, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27528-2">http://dx.doi.org/10.1007/3-540-27528-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Systems Integration A Process-Oriented Approachent://SD_ILS/0/SD_ILS:3350062026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Ferreira, Diogo R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335006.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40796-3">http://dx.doi.org/10.1007/978-3-642-40796-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Seamless R and C++ Integration with Rcppent://SD_ILS/0/SD_ILS:3321422026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Eddelbuettel, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332142.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6868-4">http://dx.doi.org/10.1007/978-1-4614-6868-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SQL Server 2012 Integration Services Design Patternsent://SD_ILS/0/SD_ILS:1716122026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Leonard, Andy. author. Masson, Matt. author. Mitchell, Tim. author. Moss, Jessica M. author. Ufford, Michelle. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3772-3">http://dx.doi.org/10.1007/978-1-4302-3772-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Trends in Information Reuse and Integrationent://SD_ILS/0/SD_ILS:1977742026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Özyer, Tansel. editor. Kianmehr, Keivan. editor. Tan, Mehmet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7091-0738-6">http://dx.doi.org/10.1007/978-3-7091-0738-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Informationsmanagement in der Systembiologie Datenbanken, Integration, Modellierungent://SD_ILS/0/SD_ILS:1938372026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Eckstein, Silke. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18234-1">http://dx.doi.org/10.1007/978-3-642-18234-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6091162026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95973-8">https://doi.org/10.1007/978-3-031-95973-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6091172026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95976-9">https://doi.org/10.1007/978-3-031-95976-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6036892026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60597-0">https://doi.org/10.1007/978-3-031-60597-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6036702026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60599-4">https://doi.org/10.1007/978-3-031-60599-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Human Systems Integration Proceedings of the 1st International Conference on Intelligent Human Systems Integration (IHSI 2018): Integrating People and Intelligent Systems, January 7-9, 2018, Dubai, United Arab Emiratesent://SD_ILS/0/SD_ILS:4005382026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Karwowski, Waldemar. editor. Ahram, Tareq. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73888-8">https://doi.org/10.1007/978-3-319-73888-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Integration in the Life Sciences 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6134362026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Da Silveira, Marcos. editor. Pruski, Cédric. editor. Schneider, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69751-2">https://doi.org/10.1007/978-3-319-69751-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semanticsent://SD_ILS/0/SD_ILS:4892732026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Majkić, Zoran. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04156-8">https://doi.org/10.1007/978-3-319-04156-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Registration Methods for Pulmonary Image Analysis Integration of Morphological and Physiological Knowledgeent://SD_ILS/0/SD_ILS:4888522026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Schmidt-Richberg, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-01662-3">https://doi.org/10.1007/978-3-658-01662-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Reuse and Integration in Academia and Industryent://SD_ILS/0/SD_ILS:3353362026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Özyer, Tansel. editor. Kianmehr, Keivan. editor. Tan, Mehmet. editor. Zeng, Jia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335336.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7091-1538-1">http://dx.doi.org/10.1007/978-3-7091-1538-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345492026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334549.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38171-3">http://dx.doi.org/10.1007/978-3-642-38171-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Integration in the Life Sciences 9th International Conference, DILS 2013, Montreal, QC, Canada, July 11-12, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348002026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Baker, Christopher J. O. editor. Butler, Greg. editor. Jurisica, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334800.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39437-9">http://dx.doi.org/10.1007/978-3-642-39437-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Search, Integration and Personalization International Workshop, ISIP 2012, Sapporo, Japan, October 11-13, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3348982026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Tanaka, Yuzuru. editor. Spyratos, Nicolas. editor. Yoshida, Tetsuya. editor. Meghini, Carlo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334898.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40140-4">http://dx.doi.org/10.1007/978-3-642-40140-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SoC: From Algorithms to Circuits and System-on-Chip Design 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3351882026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Burg, Andreas. editor. Coṣkun, Ayṣe. editor. Guthaus, Matthew. editor. Katkoori, Srinivas. editor. Reis, Ricardo. editor.<br/>Preferred Shelf Number ONLINE(335188.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45073-0">http://dx.doi.org/10.1007/978-3-642-45073-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1972722026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32770-4">http://dx.doi.org/10.1007/978-3-642-32770-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1964782026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Ayala, José L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28566-0">http://dx.doi.org/10.1007/978-3-642-28566-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1967762026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Beldiceanu, Nicolas. editor. Jussien, Narendra. editor. Pinson, Éric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29828-8">http://dx.doi.org/10.1007/978-3-642-29828-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Integration in the Life Sciences 8th International Conference, DILS 2012, College Park, MD, USA, June 28-29, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1970082026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Bodenreider, Olivier. editor. Rance, Bastien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31040-9">http://dx.doi.org/10.1007/978-3-642-31040-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of World Knowledge for Natural Language Understandingent://SD_ILS/0/SD_ILS:2070412026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Ovchinnikova, Ekaterina. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-53-4">http://dx.doi.org/10.2991/978-94-91216-53-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application and Multidisciplinary Aspects of Wireless Sensor Networks Concepts, Integration, and Case Studiesent://SD_ILS/0/SD_ILS:1762702026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Gavrilovska, Liljana. editor. Krco, Srdjan. editor. Milutinovic, Veljko. editor. Stojmenovic, Ivan. editor. Trobec, Roman. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-510-1">http://dx.doi.org/10.1007/978-1-84996-510-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1946592026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Achterberg, Tobias. editor. Beck, J. Christopher. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21311-3">http://dx.doi.org/10.1007/978-3-642-21311-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SoC: Technologies for Systems Integration 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianópolis, Brazil, October 12-14, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1952422026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Becker, Jürgen. editor. Johann, Marcelo. editor. Reis, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23120-9">http://dx.doi.org/10.1007/978-3-642-23120-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the Paralinguistic Information and its Integration in Spoken Dialogue Systems Workshopent://SD_ILS/0/SD_ILS:1739182026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Delgado, Ramón López-Cózar. editor. Kobayashi, Tetsunori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1335-6">http://dx.doi.org/10.1007/978-1-4614-1335-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Integration in the Life Sciences 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25-27, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1928672026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Lambrix, Patrick. editor. Kemp, Graham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15120-0">http://dx.doi.org/10.1007/978-3-642-15120-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Datenaustausch in der Anlagenplanung mit AutomationML Integration von CAEX, PLCopen XML und COLLADAent://SD_ILS/0/SD_ILS:1910232026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Draht, Rainer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04674-2">http://dx.doi.org/10.1007/978-3-642-04674-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Architecture, Integration and Interoperability IFIP TC 5 International Conference, EAI2N 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929912026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Bernus, Peter. editor. Doumeingts, Guy. editor. Fox, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15509-3">http://dx.doi.org/10.1007/978-3-642-15509-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning Mac OS X Snow Leopard Server From Solo Install to Enterprise Integrationent://SD_ILS/0/SD_ILS:1713702026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Edge, Charles S. author. Barker, Chris. author. Schwiebert, Ehren. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2773-1">http://dx.doi.org/10.1007/978-1-4302-2773-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>PDF@Flash Multimediale interaktive PDF-Dokumente durch Integration von Flashent://SD_ILS/0/SD_ILS:1906752026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Hehn, Tiberius. author. Riempp, Roland. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03599-9">http://dx.doi.org/10.1007/978-3-642-03599-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1919412026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Piguet, Christian. editor. Reis, Ricardo. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12267-5">http://dx.doi.org/10.1007/978-3-642-12267-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923622026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Lodi, Andrea. editor. Milano, Michela. editor. Toth, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13520-0">http://dx.doi.org/10.1007/978-3-642-13520-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedingsent://SD_ILS/0/SD_ILS:1901672026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Hoeve, Willem-Jan. editor. Hooker, John N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01929-6">http://dx.doi.org/10.1007/978-3-642-01929-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Integration in the Life Sciences 6th International Workshop, DILS 2009, Manchester, UK, July 20-22, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1904492026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Paton, Norman W. editor. Missier, Paolo. editor. Hedeler, Cornelia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02879-3">http://dx.doi.org/10.1007/978-3-642-02879-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Systems: Modeling, Development, and Integration Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1898882026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Yang, Jianhua. editor. Ginige, Athula. editor. Mayr, Heinrich C. editor. Kutsche, Ralf-D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01112-2">http://dx.doi.org/10.1007/978-3-642-01112-2</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:1679672026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor 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/>Achievements in European Research on Grid Systems CoreGRID Integration Workshop 2006 (Selected Papers)ent://SD_ILS/0/SD_ILS:1669882026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Gorlatch, Sergei. editor. Bubak, Marian. editor. Priol, Thierry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-72812-4">http://dx.doi.org/10.1007/978-0-387-72812-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SoC: Research Trends in VLSI and Systems on Chip Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2006), October 16-18, 2006, Nice, Franceent://SD_ILS/0/SD_ILS:1672222026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Micheli, Giovanni. editor. Mir, Salvador. 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-74909-9">http://dx.doi.org/10.1007/978-0-387-74909-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mule 2: A Developer’s Guide to ESB and Integration Platforment://SD_ILS/0/SD_ILS:1711182026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Delia, Peter. author. Borg, Antoine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0982-9">http://dx.doi.org/10.1007/978-1-4302-0982-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1853782026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Perron, Laurent. editor. Trick, Michael A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68155-7">http://dx.doi.org/10.1007/978-3-540-68155-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-Based Software and Data Integration First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1883032026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Kutsche, Ralf-Detlef. editor. Milanovic, Nikola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78999-4">http://dx.doi.org/10.1007/978-3-540-78999-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Integration in the Life Sciences 5th International Workshop, DILS 2008, Evry, France, June 25-27, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1858992026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Bairoch, Amos. editor. Cohen-Boulakia, Sarah. editor. Froidevaux, Christine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69828-9">http://dx.doi.org/10.1007/978-3-540-69828-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integrated Research in GRID Computing CoreGRID Integration Workshop 2005 (Selected Papers) November 28–30, Pisa, Italyent://SD_ILS/0/SD_ILS:1663802026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Gorlatch, Sergei. editor. Danelutto, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-47658-2">http://dx.doi.org/10.1007/978-0-387-47658-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Vlsi-Soc: From Systems To Silicon Proceedings of IFIP TC 10, WG 10.5, Thirteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2005), October 17-19, 2005, Perth, Australiaent://SD_ILS/0/SD_ILS:1670752026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Reis, Ricardo. editor. Osseiran, Adam. editor. Pfleiderer, Hans-Joerg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-73661-7">http://dx.doi.org/10.1007/978-0-387-73661-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration and Innovation Orient to E-Society Volume 1 Seventh IFIP International Conference on e-Business, e-Services, and e-Society (I3E2007), October 10–12, Wuhan, Chinaent://SD_ILS/0/SD_ILS:1672612026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Wang, Weijun. editor. Li, Yanhui. editor. Duan, Zhao. editor. Yan, Li. editor. Li, Hongxiu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-75466-6">http://dx.doi.org/10.1007/978-0-387-75466-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration and Innovation Orient to E-Society Volume 2 Seventh IFIP International Conference on e-Business, e-Services, and e-Society (13E2007), October 10–12, Wuhan, Chinaent://SD_ILS/0/SD_ILS:1672672026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Wang, Weijun. editor. Li, Yanhui. editor. Duan, Zhao. editor. Yan, Li. editor. Li, Hongxiu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-75494-9">http://dx.doi.org/10.1007/978-0-387-75494-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Grid Computing Experiment Management, Tool Integration, and Scientific Workflowsent://SD_ILS/0/SD_ILS:1857542026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Prodan, Radu. author. Fahringer, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69262-1">http://dx.doi.org/10.1007/978-3-540-69262-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1865292026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Hentenryck, Pascal. editor. Wolsey, Laurence. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72397-4">http://dx.doi.org/10.1007/978-3-540-72397-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papersent://SD_ILS/0/SD_ILS:1863852026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Guelfi, Nicolas. editor. Buchs, Didier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71876-5">http://dx.doi.org/10.1007/978-3-540-71876-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Integration in the Life Sciences 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1867902026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Cohen-Boulakia, Sarah. editor. Tannen, Val. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73255-6">http://dx.doi.org/10.1007/978-3-540-73255-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Integration in the Life Sciences Third International Workshop, DILS 2006, Hinxton, UK, July 20-22, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1843902026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Leser, Ulf. editor. Naumann, Felix. editor. Eckman, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11799511">http://dx.doi.org/10.1007/11799511</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Applications in Sustainable Forest Management Including Perspectives on Collaboration and Integrationent://SD_ILS/0/SD_ILS:1691652026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Shao, Guofan. editor. Reynolds, Keith M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-4387-1">http://dx.doi.org/10.1007/978-1-4020-4387-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1840032026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Beck, J. Christopher. editor. Smith, Barbara M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11757375">http://dx.doi.org/10.1007/11757375</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software-Architekturen für das E-Business Enterprise-Application-Integration mit verteilten Systemenent://SD_ILS/0/SD_ILS:1825922026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Herden, Sebastian. author. Marx Gómez, Jorge. author. Rautenstrauch, Claus. author. Zwanziger, André. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-31300-1">http://dx.doi.org/10.1007/3-540-31300-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1839252026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Guelfi, Nicolas. editor. Savidis, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751113">http://dx.doi.org/10.1007/11751113</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>VLSI-SOC: From Systems to Chips IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1–3, 2003, Darmstadt, Germanyent://SD_ILS/0/SD_ILS:1659342026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Glesner, Manfred. editor. Reis, Ricardo. editor. Indrusiak, Leandro. editor. Mooney, Vincent. editor. Eveking, Hans. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-33403-3">http://dx.doi.org/10.1007/0-387-33403-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modular Algorithms in Symbolic Summation and Symbolic Integrationent://SD_ILS/0/SD_ILS:1822632026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Gerhard, Jürgen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104035">http://dx.doi.org/10.1007/b104035</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Integration in the Life Sciences Second International Workshop, DILS 2005, San Diego, CA, USA, July 20-22, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1829652026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Ludäscher, Bertram. editor. Raschid, Louiqa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11530084">http://dx.doi.org/10.1007/11530084</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:1831042026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Guelfi, Nicolas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136153">http://dx.doi.org/10.1007/b136153</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832512026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Barták, Roman. editor. Milano, Michela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136920">http://dx.doi.org/10.1007/b136920</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Designing and Evaluating E-Management Decision Tools The Integration of Decision and Negotiation Models into Internet-Multimedia Technologiesent://SD_ILS/0/SD_ILS:1648662026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Beroggi, Giampiero E. G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b100802">http://dx.doi.org/10.1007/b100802</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Turn Integration of Information Seeking and Retrieval in Contextent://SD_ILS/0/SD_ILS:1690172026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Ingwersen, Peter. author. Järvelin, Kalervo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3851-8">http://dx.doi.org/10.1007/1-4020-3851-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Auf dem Weg zur Integration Factory Proceedings der DW2004 — Data Warehousing und EAIent://SD_ILS/0/SD_ILS:1982362026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Schelp, Joachim. editor. Winter, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138325">http://dx.doi.org/10.1007/b138325</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6082982026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90897-2">https://doi.org/10.1007/978-3-031-90897-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Diseaseent://SD_ILS/0/SD_ILS:6019342026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Channa, Asma. author. Popescu, Nirvana. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45003-7">https://doi.org/10.1007/978-3-031-45003-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations for Functional Modeling of Technical Artefactsent://SD_ILS/0/SD_ILS:6021042026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Lind, Morten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45918-4">https://doi.org/10.1007/978-3-031-45918-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6034712026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Chen, Xujin. editor. (orcid)0000-0001-7844-5411 Li, Bo. editor. (orcid)0000-0001-7500-8355 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2340-9">https://doi.org/10.1007/978-981-97-2340-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Model-Based Systems Engineeringent://SD_ILS/0/SD_ILS:5273532026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-93582-5">https://doi.org/10.1007/978-3-030-93582-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthdayent://SD_ILS/0/SD_ILS:5278042026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28859-3">https://doi.org/10.1007/978-3-031-28859-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Conceptual Modeling Perspectivesent://SD_ILS/0/SD_ILS:6125562026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Cabot, Jordi. editor. Gómez, Cristina. editor. Pastor, Oscar. editor. Sancho, Maria Ribera. editor. Teniente, Ernest. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67271-7">https://doi.org/10.1007/978-3-319-67271-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:6133422026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72308-2">https://doi.org/10.1007/978-3-319-72308-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159912026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Grünbacher, Paul. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54045-0">https://doi.org/10.1007/978-3-319-54045-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161902026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67471-1">https://doi.org/10.1007/978-3-319-67471-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162332026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62075-6">https://doi.org/10.1007/978-3-319-62075-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6122532026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72044-9">https://doi.org/10.1007/978-3-319-72044-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:6131442026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68972-2">https://doi.org/10.1007/978-3-319-68972-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pervasive Computing Engineering Smart Systemsent://SD_ILS/0/SD_ILS:6173712026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Silvis-Cividjian, Natalia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51655-4">https://doi.org/10.1007/978-3-319-51655-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Simulation A Model Driven Engineering Approachent://SD_ILS/0/SD_ILS:6111892026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-03050-0">https://doi.org/10.1007/978-3-319-03050-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6165792026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6130832026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45177-0">https://doi.org/10.1007/978-3-319-45177-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling and Simulation for Autonomous Systems Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6159842026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Hodicky, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47605-6">https://doi.org/10.1007/978-3-319-47605-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedingsent://SD_ILS/0/SD_ILS:6161482026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53042-9">https://doi.org/10.1007/978-3-662-53042-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:6163572026-03-21T08:50:37Z2026-03-21T08:50:37ZAuthor Lamprecht, Anna-Lena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51641-7">https://doi.org/10.1007/978-3-319-51641-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>