Arama Sonuçları Integration. - Daraltılmış: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dIntegration.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026pe$003dd$00253A$0026ic$003dtrue$0026ps$003d300?dt=list2026-03-20T18:18:09ZPro Spring Integrationent://SD_ILS/0/SD_ILS:1715052026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Lui, Mark. author. Gray, Mario. author. Chan, Andy. author. Long, Josh. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ontology-based Application Integrationent://SD_ILS/0/SD_ILS:1739382026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Paulheim, Heiko. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SQL Server 2012 Data Integration Recipesent://SD_ILS/0/SD_ILS:1718062026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Aspin, Adam. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pro SQL Server 2012 Integration Servicesent://SD_ILS/0/SD_ILS:1715892026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Rodrigues, Francis. author. Coles, Michael. author. Dye, David. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data Mining and Multi-agent Integrationent://SD_ILS/0/SD_ILS:1719872026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Cao, Longbing. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pro SQL Server 2005 Integration Servicesent://SD_ILS/0/SD_ILS:1710292026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Wightman, James. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information Systems Reengineering and Integrationent://SD_ILS/0/SD_ILS:1754762026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Fong, Joseph F. P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Workflow-based Integration Grundlagen, Technologien, Managementent://SD_ILS/0/SD_ILS:1810522026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Müller, Joachim. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138228">http://dx.doi.org/10.1007/b138228</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>JDF Process Integration, Technology, Product Descriptionent://SD_ILS/0/SD_ILS:1814662026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Kühn, Wolfgang. author. Grell, Martin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Enterprise Systems Integration A Process-Oriented Approachent://SD_ILS/0/SD_ILS:3350062026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Ferreira, Diogo R. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335006.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Seamless R and C++ Integration with Rcppent://SD_ILS/0/SD_ILS:3321422026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Eddelbuettel, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332142.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SQL Server 2012 Integration Services Design Patternsent://SD_ILS/0/SD_ILS:1716122026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Leonard, Andy. author. Masson, Matt. author. Mitchell, Tim. author. Moss, Jessica M. author. Ufford, Michelle. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recent Trends in Information Reuse and Integrationent://SD_ILS/0/SD_ILS:1977742026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Özyer, Tansel. editor. Kianmehr, Keivan. editor. Tan, Mehmet. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Informationsmanagement in der Systembiologie Datenbanken, Integration, Modellierungent://SD_ILS/0/SD_ILS:1938372026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Eckstein, Silke. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Karwowski, Waldemar. editor. Ahram, Tareq. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Da Silveira, Marcos. editor. Pruski, Cédric. editor. Schneider, Reinhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semanticsent://SD_ILS/0/SD_ILS:4892732026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Majkić, Zoran. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Registration Methods for Pulmonary Image Analysis Integration of Morphological and Physiological Knowledgeent://SD_ILS/0/SD_ILS:4888522026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Schmidt-Richberg, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information Reuse and Integration in Academia and Industryent://SD_ILS/0/SD_ILS:3353362026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Özyer, Tansel. editor. Kianmehr, Keivan. editor. Tan, Mehmet. editor. Zeng, Jia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335336.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334549.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Baker, Christopher J. O. editor. Butler, Greg. editor. Jurisica, Igor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334800.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Tanaka, Yuzuru. editor. Spyratos, Nicolas. editor. Yoshida, Tetsuya. editor. Meghini, Carlo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334898.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Burg, Andreas. editor. Coṣkun, Ayṣe. editor. Guthaus, Matthew. editor. Katkoori, Srinivas. editor. Reis, Ricardo. editor.<br/>Yer Numarası ONLINE(335188.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Ayala, José L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Beldiceanu, Nicolas. editor. Jussien, Narendra. editor. Pinson, Éric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Bodenreider, Olivier. editor. Rance, Bastien. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integration of World Knowledge for Natural Language Understandingent://SD_ILS/0/SD_ILS:2070412026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Ovchinnikova, Ekaterina. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application and Multidisciplinary Aspects of Wireless Sensor Networks Concepts, Integration, and Case Studiesent://SD_ILS/0/SD_ILS:1762702026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Gavrilovska, Liljana. editor. Krco, Srdjan. editor. Milutinovic, Veljko. editor. Stojmenovic, Ivan. editor. Trobec, Roman. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Achterberg, Tobias. editor. Beck, J. Christopher. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Becker, Jürgen. editor. Johann, Marcelo. editor. Reis, Ricardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proceedings of the Paralinguistic Information and its Integration in Spoken Dialogue Systems Workshopent://SD_ILS/0/SD_ILS:1739182026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Delgado, Ramón López-Cózar. editor. Kobayashi, Tetsunori. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Lambrix, Patrick. editor. Kemp, Graham. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Datenaustausch in der Anlagenplanung mit AutomationML Integration von CAEX, PLCopen XML und COLLADAent://SD_ILS/0/SD_ILS:1910232026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Draht, Rainer. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Bernus, Peter. editor. Doumeingts, Guy. editor. Fox, Mark. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Beginning Mac OS X Snow Leopard Server From Solo Install to Enterprise Integrationent://SD_ILS/0/SD_ILS:1713702026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Edge, Charles S. author. Barker, Chris. author. Schwiebert, Ehren. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>PDF@Flash Multimediale interaktive PDF-Dokumente durch Integration von Flashent://SD_ILS/0/SD_ILS:1906752026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Hehn, Tiberius. author. Riempp, Roland. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Piguet, Christian. editor. Reis, Ricardo. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Lodi, Andrea. editor. Milano, Michela. editor. Toth, Paolo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Hoeve, Willem-Jan. editor. Hooker, John N. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Paton, Norman W. editor. Missier, Paolo. editor. Hedeler, Cornelia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Yang, Jianhua. editor. Ginige, Athula. editor. Mayr, Heinrich C. editor. Kutsche, Ralf-D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Hasler, Paul. editor. Mooney, Vincent. editor. Reis, Ricardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Achievements in European Research on Grid Systems CoreGRID Integration Workshop 2006 (Selected Papers)ent://SD_ILS/0/SD_ILS:1669882026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Gorlatch, Sergei. editor. Bubak, Marian. editor. Priol, Thierry. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Micheli, Giovanni. editor. Mir, Salvador. editor. Reis, Ricardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mule 2: A Developer’s Guide to ESB and Integration Platforment://SD_ILS/0/SD_ILS:1711182026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Delia, Peter. author. Borg, Antoine. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Perron, Laurent. editor. Trick, Michael A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Kutsche, Ralf-Detlef. editor. Milanovic, Nikola. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Bairoch, Amos. editor. Cohen-Boulakia, Sarah. editor. Froidevaux, Christine. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Gorlatch, Sergei. editor. Danelutto, Marco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Reis, Ricardo. editor. Osseiran, Adam. editor. Pfleiderer, Hans-Joerg. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Wang, Weijun. editor. Li, Yanhui. editor. Duan, Zhao. editor. Yan, Li. editor. Li, Hongxiu. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Wang, Weijun. editor. Li, Yanhui. editor. Duan, Zhao. editor. Yan, Li. editor. Li, Hongxiu. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Grid Computing Experiment Management, Tool Integration, and Scientific Workflowsent://SD_ILS/0/SD_ILS:1857542026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Prodan, Radu. author. Fahringer, Thomas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Hentenryck, Pascal. editor. Wolsey, Laurence. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Guelfi, Nicolas. editor. Buchs, Didier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Cohen-Boulakia, Sarah. editor. Tannen, Val. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Leser, Ulf. editor. Naumann, Felix. editor. Eckman, Barbara. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11799511">http://dx.doi.org/10.1007/11799511</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Applications in Sustainable Forest Management Including Perspectives on Collaboration and Integrationent://SD_ILS/0/SD_ILS:1691652026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Shao, Guofan. editor. Reynolds, Keith M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Beck, J. Christopher. editor. Smith, Barbara M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11757375">http://dx.doi.org/10.1007/11757375</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software-Architekturen für das E-Business Enterprise-Application-Integration mit verteilten Systemenent://SD_ILS/0/SD_ILS:1825922026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Herden, Sebastian. author. Marx Gómez, Jorge. author. Rautenstrauch, Claus. author. Zwanziger, André. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Guelfi, Nicolas. editor. Savidis, Anthony. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11751113">http://dx.doi.org/10.1007/11751113</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Glesner, Manfred. editor. Reis, Ricardo. editor. Indrusiak, Leandro. editor. Mooney, Vincent. editor. Eveking, Hans. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modular Algorithms in Symbolic Summation and Symbolic Integrationent://SD_ILS/0/SD_ILS:1822632026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Gerhard, Jürgen. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b104035">http://dx.doi.org/10.1007/b104035</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Ludäscher, Bertram. editor. Raschid, Louiqa. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11530084">http://dx.doi.org/10.1007/11530084</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Guelfi, Nicolas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136153">http://dx.doi.org/10.1007/b136153</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Barták, Roman. editor. Milano, Michela. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136920">http://dx.doi.org/10.1007/b136920</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Beroggi, Giampiero E. G. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b100802">http://dx.doi.org/10.1007/b100802</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Turn Integration of Information Seeking and Retrieval in Contextent://SD_ILS/0/SD_ILS:1690172026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Ingwersen, Peter. author. Järvelin, Kalervo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Auf dem Weg zur Integration Factory Proceedings der DW2004 — Data Warehousing und EAIent://SD_ILS/0/SD_ILS:1982362026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Schelp, Joachim. editor. Winter, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138325">http://dx.doi.org/10.1007/b138325</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Diseaseent://SD_ILS/0/SD_ILS:6019342026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Channa, Asma. author. Popescu, Nirvana. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations for Functional Modeling of Technical Artefactsent://SD_ILS/0/SD_ILS:6021042026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Lind, Morten. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Chen, Xujin. editor. (orcid)0000-0001-7844-5411 Li, Bo. editor. (orcid)0000-0001-7500-8355 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Model-Based Systems Engineeringent://SD_ILS/0/SD_ILS:5273532026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Conceptual Modeling Perspectivesent://SD_ILS/0/SD_ILS:6125562026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Cabot, Jordi. editor. Gómez, Cristina. editor. Pastor, Oscar. editor. Sancho, Maria Ribera. editor. Teniente, Ernest. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Grünbacher, Paul. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162332026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pervasive Computing Engineering Smart Systemsent://SD_ILS/0/SD_ILS:6173712026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Silvis-Cividjian, Natalia. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed Simulation A Model Driven Engineering Approachent://SD_ILS/0/SD_ILS:6111892026-03-20T18:18:09Z2026-03-20T18:18:09ZYazar Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Hodicky, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T18:18:09Z2026-03-20T18:18:09ZYazar Lamprecht, Anna-Lena. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>