Search Results for Logic. - Narrowed by: Mathematical logic.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-11-10T15:08:02Z
Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482979
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-58771-3">https://doi.org/10.1007/978-3-662-58771-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:483257
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22102-7">https://doi.org/10.1007/978-3-030-22102-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Functions and Equations Binary Models for Computer Science
ent://SD_ILS/0/SD_ILS:483633
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02420-8">https://doi.org/10.1007/978-3-030-02420-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485199
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-59533-6">https://doi.org/10.1007/978-3-662-59533-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485265
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-13838-7">https://doi.org/10.1007/978-3-030-13838-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485579
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Chaves, Madalena. editor. Martins, Manuel A. editor. (orcid)0000-0002-5109-8066 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19432-1">https://doi.org/10.1007/978-3-030-19432-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486058
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Silva, Alexandra. editor. Staton, Sam. editor. Sutton, Peter. editor. Umbach, Carla. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-59565-7">https://doi.org/10.1007/978-3-662-59565-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers
ent://SD_ILS/0/SD_ILS:486727
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Sikos, Jennifer. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-59620-3">https://doi.org/10.1007/978-3-662-59620-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486169
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-60292-8">https://doi.org/10.1007/978-3-662-60292-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486889
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Fullér, Robert. editor. Giove, Silvio. editor. Masulli, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12544-8">https://doi.org/10.1007/978-3-030-12544-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485783
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12904-4">https://doi.org/10.1007/978-3-319-12904-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489018
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Klein, Gerwin. editor. Gamboa, Ruben. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08970-6">https://doi.org/10.1007/978-3-319-08970-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489075
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08867-9">https://doi.org/10.1007/978-3-319-08867-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489579
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14125-1">https://doi.org/10.1007/978-3-319-14125-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers
ent://SD_ILS/0/SD_ILS:482733
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Colinet, Margot. editor. Katrenko, Sophia. editor. Rendsvig, Rasmus K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44116-9">https://doi.org/10.1007/978-3-662-44116-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:482852
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Kohlenbach, Ulrich. editor. Barceló, Pablo. editor. de Queiroz, Ruy J G B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44145-9">https://doi.org/10.1007/978-3-662-44145-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485585
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08587-6">https://doi.org/10.1007/978-3-319-08587-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485592
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08615-6">https://doi.org/10.1007/978-3-319-08615-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489599
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Bulling, Nils. editor. van der Torre, Leendert. editor. Villata, Serena. editor. (orcid)0000-0003-3495-493X Jamroga, Wojtek. editor. Vasconcelos, Wamberto. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09764-0">https://doi.org/10.1007/978-3-319-09764-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487364
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Dowek, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08918-8">https://doi.org/10.1007/978-3-319-08918-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488931
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44923-3">https://doi.org/10.1007/978-3-662-44923-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
ent://SD_ILS/0/SD_ILS:489515
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Casadio, Claudia. editor. Coecke, Bob. editor. Moortgat, Michael. editor. Scott, Philip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54789-8">https://doi.org/10.1007/978-3-642-54789-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:482984
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14174-5">https://doi.org/10.1007/978-3-030-14174-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483222
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X Mordonini, Monica. editor. (orcid)0000-0002-5916-9770 Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Villani, Marco. editor. (orcid)0000-0002-5991-5470<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21733-4">https://doi.org/10.1007/978-3-030-21733-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483131
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19570-0">https://doi.org/10.1007/978-3-030-19570-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483256
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Uden, Lorna. editor. Ting, I-Hsien. editor. Corchado, Juan Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21451-7">https://doi.org/10.1007/978-3-030-21451-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483155
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446 Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32505-3">https://doi.org/10.1007/978-3-030-32505-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483434
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33246-4">https://doi.org/10.1007/978-3-030-33246-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483377
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Bernardi, Raffaella. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-59648-7">https://doi.org/10.1007/978-3-662-59648-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:483688
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25543-5">https://doi.org/10.1007/978-3-030-25543-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Languages and Compilation
ent://SD_ILS/0/SD_ILS:483708
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04879-2">https://doi.org/10.1007/978-3-030-04879-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy
ent://SD_ILS/0/SD_ILS:483709
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author de Haan, Ronald. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-60670-4">https://doi.org/10.1007/978-3-662-60670-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483779
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Ekštein, Kamil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27947-9">https://doi.org/10.1007/978-3-030-27947-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483829
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29007-8">https://doi.org/10.1007/978-3-030-29007-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484198
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Mercaş, Robert. editor. (orcid)0000-0001-6034-433X Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-28796-2">https://doi.org/10.1007/978-3-030-28796-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484219
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34146-6">https://doi.org/10.1007/978-3-030-34146-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484225
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32079-9">https://doi.org/10.1007/978-3-030-32079-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484438
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Manea, Florin. editor. Martin, Barnaby. editor. Paulusma, Daniël. editor. Primiero, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22996-2">https://doi.org/10.1007/978-3-030-22996-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484478
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Gopal, T.V. editor. Watada, Junzo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14812-6">https://doi.org/10.1007/978-3-030-14812-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483052
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484819
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Suzuki, Kenji. editor. Reyes, Mauricio. editor. Syeda-Mahmood, Tanveer. editor. Konukoglu, Ender. editor. Glocker, Ben. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33850-3">https://doi.org/10.1007/978-3-030-33850-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484880
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Cuzzocrea, Alfredo. editor. Greco, Sergio. editor. Larsen, Henrik Legind. editor. Saccà, Domenico. editor. Andreasen, Troels. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27629-4">https://doi.org/10.1007/978-3-030-27629-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:485354
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601 Stepanova, Daria. editor. (orcid)0000-0001-8654-5121 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31423-1">https://doi.org/10.1007/978-3-030-31423-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:486304
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17462-0">https://doi.org/10.1007/978-3-030-17462-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486307
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20981-0">https://doi.org/10.1007/978-3-030-20981-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486336
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30048-7">https://doi.org/10.1007/978-3-030-30048-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metadata and Semantic Research 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486610
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Fallucchi, Francesca. editor. (orcid)0000-0002-3288-044X William De Luca, Ernesto. editor. (orcid)0000-0003-3621-4118 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-36599-8">https://doi.org/10.1007/978-3-030-36599-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486827
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946 Eder, Johann. editor. (orcid)0000-0001-6050-468X Podgorelec, Vili. editor. (orcid)0000-0001-6955-7868 Wrembel, Robert. editor. (orcid)0000-0001-6037-5718 Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30278-8">https://doi.org/10.1007/978-3-030-30278-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence Applications and Innovations 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486866
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19823-7">https://doi.org/10.1007/978-3-030-19823-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482857
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Viviani, Marco. editor. (orcid)0000-0002-2274-9050 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26773-5">https://doi.org/10.1007/978-3-030-26773-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483088
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Alviano, Mario. editor. (orcid)0000-0002-2052-2063 Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828 Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35166-3">https://doi.org/10.1007/978-3-030-35166-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483469
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Batyrshin, Ildar. editor. Marín-Hernández, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33749-0">https://doi.org/10.1007/978-3-030-33749-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483600
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Bartoletti, Massimo. editor. (orcid)0000-0003-3796-9774 Barla, Annalisa. editor. (orcid)0000-0002-3436-035X Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260 Klau, Gunnar W. editor. (orcid)0000-0002-6340-0090 Peterson, Leif. editor. (orcid)0000-0002-1187-0883<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14160-8">https://doi.org/10.1007/978-3-030-14160-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483605
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29026-9">https://doi.org/10.1007/978-3-030-29026-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483548
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35540-1">https://doi.org/10.1007/978-3-030-35540-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483549
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Coecke, Bob. editor. (orcid)0000-0002-5310-8723 Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35895-2">https://doi.org/10.1007/978-3-030-35895-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483884
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30179-8">https://doi.org/10.1007/978-3-030-30179-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483886
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30281-8">https://doi.org/10.1007/978-3-030-30281-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:484033
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:484616
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
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-030-17601-3">https://doi.org/10.1007/978-3-030-17601-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:485008
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17938-0">https://doi.org/10.1007/978-3-030-17938-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bioinformatics Research and Applications 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485016
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Cai, Zhipeng. editor. Skums, Pavel. editor. Li, Min. editor. (orcid)0000-0002-0188-1394 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20242-2">https://doi.org/10.1007/978-3-030-20242-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:485282
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485306
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Hospodár, Michal. editor. Jirásková, Galina. editor. Konstantinidis, Stavros. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23247-4">https://doi.org/10.1007/978-3-030-23247-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485559
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-13435-8">https://doi.org/10.1007/978-3-030-13435-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Natural Language Processing and Chinese Computing 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:485610
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Tang, Jie. editor. Kan, Min-Yen. editor. Zhao, Dongyan. editor. Li, Sujian. editor. Zan, Hongying. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32236-6">https://doi.org/10.1007/978-3-030-32236-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:485649
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17935-9">https://doi.org/10.1007/978-3-030-17935-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:485699
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Cleaveland, Rance. editor. Grosu, Radu. editor. (orcid)0000-0001-5715-2142 Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31514-6">https://doi.org/10.1007/978-3-030-31514-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485700
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32441-4">https://doi.org/10.1007/978-3-030-32441-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486010
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-0105-0">https://doi.org/10.1007/978-981-15-0105-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486017
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-0310-8">https://doi.org/10.1007/978-981-15-0310-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486239
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30763-9">https://doi.org/10.1007/978-3-030-30763-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486274
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486429
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Hofman, Piotrek. editor. Skrzypczak, Michał. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24886-4">https://doi.org/10.1007/978-3-030-24886-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486431
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Zhao, Jun. editor. Harmelen, Frank van. editor. Tang, Jie. editor. Han, Xianpei. editor. Wang, Quan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-3146-6">https://doi.org/10.1007/978-981-13-3146-6</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
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
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/>
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486683
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12988-0">https://doi.org/10.1007/978-3-030-12988-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486687
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Sengupta, Anirban. editor. Dasgupta, Sudeb. editor. Singh, Virendra. editor. Sharma, Rohit. editor. Kumar Vishvakarma, Santosh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-32-9767-8">https://doi.org/10.1007/978-981-32-9767-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Discovery, Knowledge Engineering and Knowledge Management 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486755
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Fred, Ana. editor. Aveiro, David. editor. (orcid)0000-0001-6453-3648 Dietz, Jan L. G. editor. Liu, Kecheng. editor. Bernardino, Jorge. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-15640-4">https://doi.org/10.1007/978-3-030-15640-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482677
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472 Fernández, Miriam. editor. (orcid)0000-0001-5939-4321 Janowicz, Krzysztof. editor. Zaveri, Amrapali. editor. Gray, Alasdair J.G. editor. (orcid)0000-0002-5711-4872<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21348-0">https://doi.org/10.1007/978-3-030-21348-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:482916
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22348-9">https://doi.org/10.1007/978-3-030-22348-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486559
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33636-3">https://doi.org/10.1007/978-3-030-33636-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metadata and Semantic Research 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486899
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Sartori, Fabio. editor. (orcid)0000-0002-5038-9785 Siatri, Rania. editor. Zervas, Marios. editor. (orcid)0000-0002-4466-7910 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14401-2">https://doi.org/10.1007/978-3-030-14401-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486946
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Seki, Hirosato. editor. Nguyen, Canh Hao. editor. Huynh, Van-Nam. editor. Inuiguchi, Masahiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14815-7">https://doi.org/10.1007/978-3-030-14815-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Search, Integration, and Personalization 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486950
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Kotzinos, Dimitris. editor. Laurent, Dominique. editor. (orcid)0000-0002-7264-9576 Spyratos, Nicolas. editor. Tanaka, Yuzuru. editor. Taniguchi, Rin-ichiro. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30284-9">https://doi.org/10.1007/978-3-030-30284-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484531
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12154-3">https://doi.org/10.1007/978-3-319-12154-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:484565
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author O'Sullivan, Barry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10428-7">https://doi.org/10.1007/978-3-319-10428-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485472
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04921-2">https://doi.org/10.1007/978-3-319-04921-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485806
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Bobillo, Fernando. editor. Carvalho, Rommel N. editor. Costa, Paulo C.G. editor. d'Amato, Claudia. editor. Fanizzi, Nicola. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13413-0">https://doi.org/10.1007/978-3-319-13413-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:485824
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08795-5">https://doi.org/10.1007/978-3-319-08795-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:486822
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11245-9">https://doi.org/10.1007/978-3-319-11245-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:486852
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Watt, Stephen M. editor. Sexton, Alan. editor. Davenport, James H. editor. Sojka, Petr. editor. Urban, Josef. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08434-3">https://doi.org/10.1007/978-3-319-08434-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486854
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07602-7">https://doi.org/10.1007/978-3-319-07602-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487419
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54108-7">https://doi.org/10.1007/978-3-642-54108-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Software Quality
ent://SD_ILS/0/SD_ILS:487425
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author O’Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06106-1">https://doi.org/10.1007/978-3-319-06106-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487471
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09108-2">https://doi.org/10.1007/978-3-319-09108-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487888
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Boniol, Frederic. editor. Wiels, Virginie. editor. Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07512-9">https://doi.org/10.1007/978-3-319-07512-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:488987
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Csuhaj-Varjú, Ersébet. editor. Dietzfelbinger, Martin. editor. Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44522-8">https://doi.org/10.1007/978-3-662-44522-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Natural Language Processing 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:488994
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Przepiórkowski, Adam. editor. Ogrodniczuk, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10888-9">https://doi.org/10.1007/978-3-319-10888-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489012
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Holzer, Markus. editor. Kutrib, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08846-4">https://doi.org/10.1007/978-3-319-08846-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
ent://SD_ILS/0/SD_ILS:489017
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45489-3">https://doi.org/10.1007/978-3-662-45489-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489028
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11164-3">https://doi.org/10.1007/978-3-319-11164-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489043
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Asher, Nicholas. editor. Soloviev, Sergei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43742-1">https://doi.org/10.1007/978-3-662-43742-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489054
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Maffei, Matteo. editor. Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45917-1">https://doi.org/10.1007/978-3-662-45917-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday
ent://SD_ILS/0/SD_ILS:489074
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Calude, Cristian S. editor. Freivalds, Rūsiņš. editor. Kazuo, Iwama. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13350-8">https://doi.org/10.1007/978-3-319-13350-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:489262
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Csuhaj-Varjú, Ersébet. editor. Dietzfelbinger, Martin. editor. Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44465-8">https://doi.org/10.1007/978-3-662-44465-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:482800
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Richter, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44121-3">https://doi.org/10.1007/978-3-662-44121-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:482713
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Goertzel, Ben. editor. Orseau, Laurent. editor. Snaider, Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09274-4">https://doi.org/10.1007/978-3-319-09274-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:483100
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485454
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 Gonzales, Christophe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04534-4">https://doi.org/10.1007/978-3-319-04534-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485507
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Baptista, Jorge. editor. Mamede, Nuno. editor. Candeias, Sara. editor. Paraboni, Ivandré. editor. Pardo, Thiago A.S. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09761-9">https://doi.org/10.1007/978-3-319-09761-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485515
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06089-7">https://doi.org/10.1007/978-3-319-06089-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485524
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06410-9">https://doi.org/10.1007/978-3-319-06410-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485525
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06686-8">https://doi.org/10.1007/978-3-319-06686-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485526
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Höfner, Peter. editor. Jipsen, Peter. editor. Kahl, Wolfram. editor. Müller, Martin Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06251-8">https://doi.org/10.1007/978-3-319-06251-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485597
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08311-7">https://doi.org/10.1007/978-3-319-08311-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rough Sets and Intelligent Systems Paradigms Second International Conference, RSEISP 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485605
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Kryszkiewicz, Marzena. editor. Cornelis, Chris. editor. Ciucci, Davide. editor. Medina-Moreno, Jesús. editor. Motoda, Hiroshi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08729-0">https://doi.org/10.1007/978-3-319-08729-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rough Sets and Current Trends in Computing 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485606
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Cornelis, Chris. editor. Kryszkiewicz, Marzena. editor. Slezak, Dominik. editor. Menasalvas Ruiz, Ernestina. editor. Bello, Rafael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08644-6">https://doi.org/10.1007/978-3-319-08644-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485637
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09704-6">https://doi.org/10.1007/978-3-319-09704-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485652
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Nakano, Yukiko. editor. Satoh, Ken. editor. Bekki, Daisuke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10061-6">https://doi.org/10.1007/978-3-319-10061-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concrete Semantics With Isabelle/HOL
ent://SD_ILS/0/SD_ILS:485672
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10542-0">https://doi.org/10.1007/978-3-319-10542-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485675
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Koubarakis, Manolis. editor. Stamou, Giorgos. editor. Stoilos, Giorgos. editor. Horrocks, Ian. editor. Kolaitis, Phokion. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10587-1">https://doi.org/10.1007/978-3-319-10587-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485721
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Fermé, Eduardo. editor. Leite, Joao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11558-0">https://doi.org/10.1007/978-3-319-11558-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485725
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11737-9">https://doi.org/10.1007/978-3-319-11737-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:486691
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08855-6">https://doi.org/10.1007/978-3-319-08855-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487655
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Beierle, Christoph. editor. Meghini, Carlo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04939-7">https://doi.org/10.1007/978-3-319-04939-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487782
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author van den Herik, H. Jaap. editor. Iida, Hiroyuki. editor. Plaat, Aske. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09165-5">https://doi.org/10.1007/978-3-319-09165-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:487786
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08852-5">https://doi.org/10.1007/978-3-319-08852-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488547
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Shi, Zhongzhi. editor. Wu, Zhaohui. editor. Leake, David. editor. Sattler, Uli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44980-6">https://doi.org/10.1007/978-3-662-44980-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
KI 2014: Advances in Artificial Intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488915
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Lutz, Carsten. editor. Thielscher, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11206-0">https://doi.org/10.1007/978-3-319-11206-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489137
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Jones, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44202-9">https://doi.org/10.1007/978-3-662-44202-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489622
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Yahav, Eran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13338-6">https://doi.org/10.1007/978-3-319-13338-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Regulated Grammars and Automata
ent://SD_ILS/0/SD_ILS:489527
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Meduna, Alexander. author. Zemek, Petr. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-0369-6">https://doi.org/10.1007/978-1-4939-0369-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:486672
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Glodeanu, Cynthia Vera. editor. Kaytoue, Mehdi. editor. Sacarea, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07248-7">https://doi.org/10.1007/978-3-319-07248-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486886
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Abadi, Martín. editor. Lluch Lafuente, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05119-2">https://doi.org/10.1007/978-3-319-05119-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:486931
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Barkatou, Moulay. editor. Cluzeau, Thomas. editor. Regensburger, Georg. editor. Rosenkranz, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54479-8">https://doi.org/10.1007/978-3-642-54479-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi
ent://SD_ILS/0/SD_ILS:487212
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54624-2">https://doi.org/10.1007/978-3-642-54624-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics of Probabilistic Processes An Operational Approach
ent://SD_ILS/0/SD_ILS:487163
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Deng, Yuxin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45198-4">https://doi.org/10.1007/978-3-662-45198-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487329
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Diaz, Josep. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Sangiorgi, Davide. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44602-7">https://doi.org/10.1007/978-3-662-44602-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487680
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44124-4">https://doi.org/10.1007/978-3-662-44124-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Refinement in Z and Object-Z Foundations and Advanced Applications
ent://SD_ILS/0/SD_ILS:488030
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Derrick, John. author. Boiten, Eerke A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-5355-9">https://doi.org/10.1007/978-1-4471-5355-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489095
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Shur, Arseny M. editor. Volkov, Mikhail V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09698-8">https://doi.org/10.1007/978-3-319-09698-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488926
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11936-6">https://doi.org/10.1007/978-3-319-11936-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488949
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Muscholl, Anca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54830-7">https://doi.org/10.1007/978-3-642-54830-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:488966
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43652-3">https://doi.org/10.1007/978-3-662-43652-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:488979
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author van Breugel, Franck. editor. Kashefi, Elham. editor. Palamidessi, Catuscia. editor. Rutten, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06880-0">https://doi.org/10.1007/978-3-319-06880-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489310
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11439-2">https://doi.org/10.1007/978-3-319-11439-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489519
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Rauzy, Antoine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12214-4">https://doi.org/10.1007/978-3-319-12214-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Controlled Natural Language 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489520
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Davis, Brian. editor. Kaljurand, Kaarel. editor. Kuhn, Tobias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10223-8">https://doi.org/10.1007/978-3-319-10223-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tractatus logico-philosophicus
ent://SD_ILS/0/SD_ILS:482602
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Wittgenstein, Ludwig. Aruoba, Oruç.<br/>Preferred Shelf Number BC135 W5719 2011<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Sayısal devrelerde mantıksal tasarım
ent://SD_ILS/0/SD_ILS:124805
2024-11-10T15:08:02Z
2024-11-10T15:08:02Z
Author Yarımağan, Ünal.<br/>Preferred Shelf Number TK7888.4 Y37 2003<br/>Format: Books<br/>Availability Beytepe Library~1<br/>