Search Results for Chains. - Narrowed by: 2015SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dChains.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ps$003d300?2024-10-28T17:08:41ZData-Driven Process Discovery and Analysis Third IFIP WG 2.6, 2.12 International Symposium, SIMPDA 2013, Riva del Garda, Italy, August 30, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:5185962024-10-28T17:08:41Z2024-10-28T17:08:41ZAuthor Ceravolo, Paolo. editor. Accorsi, Rafael. editor. Cudre-Mauroux, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518596.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46436-6">https://doi.org/10.1007/978-3-662-46436-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Accountability and Security in the Cloud First Summer School, Cloud Accountability Project, A4Cloud, Malaga, Spain, June 2-6, 2014, Revised Selected Papers and Lecturesent://SD_ILS/0/SD_ILS:5187482024-10-28T17:08:41Z2024-10-28T17:08:41ZAuthor Felici, Massimo. editor. Fernández-Gago, Carmen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518748.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17199-9">https://doi.org/10.1007/978-3-319-17199-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Progress in Cryptology -- LATINCRYPT 2015 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5187902024-10-28T17:08:41Z2024-10-28T17:08:41ZAuthor Lauter, Kristin. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518790.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22174-8">https://doi.org/10.1007/978-3-319-22174-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191612024-10-28T17:08:41Z2024-10-28T17:08:41ZAuthor Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(519161.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structural Information and Communication Complexity 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedingsent://SD_ILS/0/SD_ILS:5190822024-10-28T17:08:41Z2024-10-28T17:08:41ZAuthor Scheideler, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519082.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25258-2">https://doi.org/10.1007/978-3-319-25258-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5186322024-10-28T17:08:41Z2024-10-28T17:08:41ZAuthor Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.<br/>Preferred Shelf Number XX(518632.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19237-6">https://doi.org/10.1007/978-3-319-19237-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5188232024-10-28T17:08:41Z2024-10-28T17:08:41ZAuthor Gribaudo, Marco. editor. Manini, Daniele. editor. Remke, Anne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518823.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18579-8">https://doi.org/10.1007/978-3-319-18579-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5190072024-10-28T17:08:41Z2024-10-28T17:08:41ZAuthor Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519007.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21690-4">https://doi.org/10.1007/978-3-319-21690-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIIent://SD_ILS/0/SD_ILS:5192472024-10-28T17:08:41Z2024-10-28T17:08:41ZAuthor Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519247.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48567-5">https://doi.org/10.1007/978-3-662-48567-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>