Search Results for Reasoning. - Narrowed by: Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dReasoning.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?dt=list
2026-03-21T23:28:38Z
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:610538
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Sauerwald, Kai. editor. (orcid)0000-0002-1551-7016 Thimm, Matthias. editor. (orcid)0000-0002-8157-1053 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-05134-9">https://doi.org/10.1007/978-3-032-05134-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604145
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63498-7">https://doi.org/10.1007/978-3-031-63498-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:604146
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63501-4">https://doi.org/10.1007/978-3-031-63501-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural-Symbolic Learning and Reasoning 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605096
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Besold, Tarek R. editor. (orcid)0000-0002-8002-0049 d'Avila Garcez, Artur. editor. (orcid)0000-0001-7375-9518 Jimenez-Ruiz, Ernesto. editor. (orcid)0000-0002-9083-4599 Confalonieri, Roberto. editor. (orcid)0000-0003-0936-2123 Madhyastha, Pranava. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71167-1">https://doi.org/10.1007/978-3-031-71167-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural-Symbolic Learning and Reasoning 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605097
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Besold, Tarek R. editor. (orcid)0000-0002-8002-0049 d'Avila Garcez, Artur. editor. (orcid)0000-0001-7375-9518 Jimenez-Ruiz, Ernesto. editor. (orcid)0000-0002-9083-4599 Confalonieri, Roberto. editor. (orcid)0000-0003-0936-2123 Madhyastha, Pranava. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71170-1">https://doi.org/10.1007/978-3-031-71170-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:601983
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Bouraoui, Zied. editor. Vesic, Srdjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45608-4">https://doi.org/10.1007/978-3-031-45608-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483241
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20528-7">https://doi.org/10.1007/978-3-030-20528-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486438
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31095-0">https://doi.org/10.1007/978-3-030-31095-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:398962
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01081-2">https://doi.org/10.1007/978-3-030-01081-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402536
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94205-6">https://doi.org/10.1007/978-3-319-94205-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616211
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66902-1">https://doi.org/10.1007/978-3-319-66902-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616289
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61660-5">https://doi.org/10.1007/978-3-319-61660-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613621
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Costantini, Stefania. editor. Franconi, Enrico. editor. Van Woensel, William. editor. Kontchakov, Roman. editor. Sadri, Fariba. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61252-2">https://doi.org/10.1007/978-3-319-61252-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618348
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61581-3">https://doi.org/10.1007/978-3-319-61581-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613275
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40229-1">https://doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489078
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Kontchakov, Roman. editor. Mugnier, Marie-Laure. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11113-1">https://doi.org/10.1007/978-3-319-11113-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:334962
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334969
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334969.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334832
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334832.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39666-3">http://dx.doi.org/10.1007/978-3-642-39666-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335196
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335196.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196518
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28717-6">http://dx.doi.org/10.1007/978-3-642-28717-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197336
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Krötzsch, Markus. editor. Straccia, Umberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33203-6">http://dx.doi.org/10.1007/978-3-642-33203-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
ent://SD_ILS/0/SD_ILS:196950
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30743-0">http://dx.doi.org/10.1007/978-3-642-30743-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197063
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31365-3">http://dx.doi.org/10.1007/978-3-642-31365-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194920
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Brünnler, Kai. editor. Metcalfe, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22119-4">http://dx.doi.org/10.1007/978-3-642-22119-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195384
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Rudolph, Sebastian. editor. Gutierrez, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23580-1">http://dx.doi.org/10.1007/978-3-642-23580-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193176
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Armando, Alessandro. editor. Lowe, Gavin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16074-5">http://dx.doi.org/10.1007/978-3-642-16074-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194523
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20895-9">http://dx.doi.org/10.1007/978-3-642-20895-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195060
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22546-8">http://dx.doi.org/10.1007/978-3-642-22546-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots
ent://SD_ILS/0/SD_ILS:195071
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Hartanto, Ronny. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22580-2">http://dx.doi.org/10.1007/978-3-642-22580-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193232
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16242-8">http://dx.doi.org/10.1007/978-3-642-16242-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193623
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17511-4">http://dx.doi.org/10.1007/978-3-642-17511-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193127
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Hitzler, Pascal. editor. Lukasiewicz, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15918-3">http://dx.doi.org/10.1007/978-3-642-15918-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190408
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Giese, Martin. editor. Waaler, Arild. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02716-1">http://dx.doi.org/10.1007/978-3-642-02716-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190883
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04238-6">http://dx.doi.org/10.1007/978-3-642-04238-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings
ent://SD_ILS/0/SD_ILS:191152
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Polleres, Axel. editor. Swift, Terrance. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05082-4">http://dx.doi.org/10.1007/978-3-642-05082-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186168
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Armando, Alessandro. editor. Baumgartner, Peter. editor. Dowek, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71070-7">http://dx.doi.org/10.1007/978-3-540-71070-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189114
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Calvanese, Diego. editor. Lausen, Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88737-9">http://dx.doi.org/10.1007/978-3-540-88737-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189133
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88808-6">http://dx.doi.org/10.1007/978-3-540-88808-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189268
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89439-1">http://dx.doi.org/10.1007/978-3-540-89439-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186707
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72982-2">http://dx.doi.org/10.1007/978-3-540-72982-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186741
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Olivetti, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73099-6">http://dx.doi.org/10.1007/978-3-540-73099-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187449
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75560-9">http://dx.doi.org/10.1007/978-3-540-75560-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185067
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11916277">http://dx.doi.org/10.1007/11916277</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184493
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Furbach, Ulrich. editor. Shankar, Natarajan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814771">http://dx.doi.org/10.1007/11814771</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184738
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Alferes, Jóse Júlio. editor. Bailey, James. editor. May, Wolfgang. editor. Schwertel, Uta. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11853107">http://dx.doi.org/10.1007/11853107</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings
ent://SD_ILS/0/SD_ILS:183093
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Fages, François. editor. Soliman, Sylvain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11552222">http://dx.doi.org/10.1007/11552222</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182801
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182908
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Beckert, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11554554">http://dx.doi.org/10.1007/11554554</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:183241
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106663">http://dx.doi.org/10.1007/b106663</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183262
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605503
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Neele, Thomas. editor. (orcid)0000-0001-6117-9129 Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66149-5">https://doi.org/10.1007/978-3-031-66149-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:607214
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78750-8">https://doi.org/10.1007/978-3-031-78750-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:607116
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78709-6">https://doi.org/10.1007/978-3-031-78709-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial General Intelligence 17th International Conference, AGI 2024, Seattle, WA, USA, August 13-16, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604337
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Thórisson, Kristinn R. editor. (orcid)0000-0003-3842-0564 Isaev, Peter. editor. Sheikhlar, Arash. editor. (orcid)0000-0002-0568-075X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65572-2">https://doi.org/10.1007/978-3-031-65572-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structures of Computing A Guide to Practice-Oriented Theory
ent://SD_ILS/0/SD_ILS:602773
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-54358-6">https://doi.org/10.1007/978-3-031-54358-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Feature Models AI-Driven Design, Analysis and Applications
ent://SD_ILS/0/SD_ILS:604112
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Felfernig, Alexander. author. Falkner, Andreas. author. Benavides, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61874-1">https://doi.org/10.1007/978-3-031-61874-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
ent://SD_ILS/0/SD_ILS:602163
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Morazán, Marco T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43973-5">https://doi.org/10.1007/978-3-031-43973-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:602216
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50521-8">https://doi.org/10.1007/978-3-031-50521-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602217
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50524-9">https://doi.org/10.1007/978-3-031-50524-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An introduction to self-adaptive systems : a contemporary software engineering perspective
ent://SD_ILS/0/SD_ILS:596351
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Weyns, Danny.<br/>Preferred Shelf Number QA76.76 .S375<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119574910">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119574910</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611629
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60042-0">https://doi.org/10.1007/978-3-319-60042-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616183
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63501-9">https://doi.org/10.1007/978-3-319-63501-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613619
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54292-8">https://doi.org/10.1007/978-3-319-54292-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models of Computation
ent://SD_ILS/0/SD_ILS:616061
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42900-7">https://doi.org/10.1007/978-3-319-42900-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616302
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 Maynard, Diana. editor. Gangemi, Aldo. editor. Hoekstra, Rinke. editor. Hitzler, Pascal. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58068-5">https://doi.org/10.1007/978-3-319-58068-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617812
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:617841
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
ent://SD_ILS/0/SD_ILS:617461
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616255
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 Maynard, Diana. editor. Gangemi, Aldo. editor. Hoekstra, Rinke. editor. Hitzler, Pascal. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58451-5">https://doi.org/10.1007/978-3-319-58451-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Artificial Intelligence 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616155
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Oliveira, Eugénio. editor. Gama, João. editor. Vale, Zita. editor. Lopes Cardoso, Henrique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65340-2">https://doi.org/10.1007/978-3-319-65340-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618308
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60045-1">https://doi.org/10.1007/978-3-319-60045-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, Proceedings
ent://SD_ILS/0/SD_ILS:616233
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author 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/>
Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611744
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Greuel, Gert-Martin. editor. Koch, Thorsten. editor. Paule, Peter. editor. Sommese, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42432-3">https://doi.org/10.1007/978-3-319-42432-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612727
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613372
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Michael, Loizos. editor. Kakas, Antonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48758-8">https://doi.org/10.1007/978-3-319-48758-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Behavioural Models From Modelling Finite Automata to Analysing Business Processes
ent://SD_ILS/0/SD_ILS:614579
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44960-9">https://doi.org/10.1007/978-3-319-44960-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Controlled Natural Language 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611432
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Davis, Brian. editor. Pace, Gordon J. editor. Wyner, Adam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41498-0">https://doi.org/10.1007/978-3-319-41498-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Decision Procedures An Algorithmic Point of View
ent://SD_ILS/0/SD_ILS:615175
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-50497-0">https://doi.org/10.1007/978-3-662-50497-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Modularity and Composition I
ent://SD_ILS/0/SD_ILS:617818
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46969-0">https://doi.org/10.1007/978-3-319-46969-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Conceptual Modeling ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618053
2026-03-21T23:28:38Z
2026-03-21T23:28:38Z
Author Link, Sebastian. editor. Trujillo, Juan C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47717-6">https://doi.org/10.1007/978-3-319-47717-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>