Search Results for Knowledge theory. - Narrowed by: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dKnowledge$002btheory.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?dt=list 2026-03-24T16:31:55Z Software Architecture Knowledge Management Theory and Practice ent://SD_ILS/0/SD_ILS:190303 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Ali Babar, Muhammad. editor.&#160;Dings&oslash;yr, Torgeir. editor.&#160;Lago, Patricia. editor.&#160;van Vliet, Hans. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02374-3">http://dx.doi.org/10.1007/978-3-642-02374-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, C&aacute;diz, Spain, June 11-15, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400463 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Medina, Jes&uacute;s. editor.&#160;Ojeda-Aciego, Manuel. editor.&#160;Verdegay, Jos&eacute; Luis. editor.&#160;Pelta, David A. editor.&#160;Cabrera, Inma P. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91476-3">https://doi.org/10.1007/978-3-319-91476-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, C&aacute;diz, Spain, June 11-15, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399599 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Medina, Jes&uacute;s. editor.&#160;Ojeda-Aciego, Manuel. editor.&#160;Verdegay, Jos&eacute; Luis. editor.&#160;Pelta, David A. editor.&#160;Cabrera, Inma P. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91473-2">https://doi.org/10.1007/978-3-319-91473-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Libraries for Open Knowledge 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10&ndash;13, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400081 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;M&eacute;ndez, Eva. editor. (orcid)0000-0002-5337-4722&#160;Crestani, Fabio. editor. (orcid)0000-0001-8672-0700&#160;Ribeiro, Cristina. editor. (orcid)0000-0001-6150-0090&#160;David, Gabriel. editor. (orcid)0000-0001-5974-9989&#160;Lopes, Jo&atilde;o Correia. editor. (orcid)0000-0002-9040-0889<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00066-0">https://doi.org/10.1007/978-3-030-00066-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge in Formation A Computational Theory of Interpretation ent://SD_ILS/0/SD_ILS:193503 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Sarbo, Janos J. author.&#160;Farkas, Jozsef I. author.&#160;Breemen, Auke J.J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17089-8">http://dx.doi.org/10.1007/978-3-642-17089-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications ent://SD_ILS/0/SD_ILS:172306 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Triantaphyllou, Evangelos. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-1630-3">http://dx.doi.org/10.1007/978-1-4419-1630-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods 13th International Conference, IPMU 2010, Dortmund, Germany, June 28&ndash;July 2, 2010. Proceedings, Part I ent://SD_ILS/0/SD_ILS:192535 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;H&uuml;llermeier, Eyke. editor.&#160;Kruse, Rudolf. editor.&#160;Hoffmann, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14055-6">http://dx.doi.org/10.1007/978-3-642-14055-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers ent://SD_ILS/0/SD_ILS:185743 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Swart, Harrie. editor.&#160;Or&#322;owska, Ewa. editor.&#160;Schmidt, Gunther. editor.&#160;Roubens, Marc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11964810">http://dx.doi.org/10.1007/11964810</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Computation Automata, Formal Languages, Computation and Complexity ent://SD_ILS/0/SD_ILS:607704 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Chowdhary, K.R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-6234-7">https://doi.org/10.1007/978-981-97-6234-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas ent://SD_ILS/0/SD_ILS:608168 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Farmer, William M. author. (orcid)0009-0009-5524-9085&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-85352-4">https://doi.org/10.1007/978-3-031-85352-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Maximal Planar Graph Theory and the Four-Color Conjecture ent://SD_ILS/0/SD_ILS:608586 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Xu, Jin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-4745-3">https://doi.org/10.1007/978-981-96-4745-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Knowledge Structures Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8-12, 2025, Proceedings ent://SD_ILS/0/SD_ILS:609959 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Cellier, Peggy. editor. (orcid)0000-0002-1495-2534&#160;Ganter, Bernhard. editor. (orcid)0000-0003-0767-1379&#160;Missaoui, Rokia. editor. (orcid)0000-0001-7410-4177&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-032-03364-2">https://doi.org/10.1007/978-3-032-03364-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Maths For Computing A Beginner's Guide ent://SD_ILS/0/SD_ILS:606296 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Charatan, Quentin. author.&#160;Kans, Aaron. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-69234-5">https://doi.org/10.1007/978-3-031-69234-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Category Theory Using Haskell An Introduction with Moggi and Yoneda ent://SD_ILS/0/SD_ILS:606405 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Yukita, Shuichi. author. (orcid)0009-0006-5297-7501&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-68538-5">https://doi.org/10.1007/978-3-031-68538-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principle of Petri Nets ent://SD_ILS/0/SD_ILS:606870 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Yuan, Chongyi. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-7336-7">https://doi.org/10.1007/978-981-97-7336-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python ent://SD_ILS/0/SD_ILS:608772 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Caligiore, Daniele. author.&#160;Carli, Samuele. author. (orcid)0000-0002-3250-2465&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-2718-9">https://doi.org/10.1007/978-981-96-2718-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Knowledge Structures First International Joint Conference, CONCEPTS 2024, C&aacute;diz, Spain, September 9-13, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604624 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Cabrera, Inma P. editor. (orcid)0000-0001-5129-0085&#160;Ferr&eacute;, S&eacute;bastien. editor. (orcid)0000-0002-6302-2333&#160;Obiedkov, Sergei. editor. (orcid)0000-0003-1497-4001&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-67868-4">https://doi.org/10.1007/978-3-031-67868-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Infrared Small Target Detection Theory, Methods, and Algorithms. ent://SD_ILS/0/SD_ILS:603099 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Zhu, Hu. author.&#160;Pan, Yushan. author. (orcid)0000-0002-6877-3937&#160;Deng, Lizhen. author.&#160;Xu, Guoxia. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-9799-2">https://doi.org/10.1007/978-981-99-9799-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Beginner's Guide to Informatics and Artificial Intelligence A Short Course Towards Practical Problem Solving ent://SD_ILS/0/SD_ILS:603590 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Weng, Wei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-1477-3">https://doi.org/10.1007/978-981-97-1477-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:613551 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Takagi, Tsuyoshi. editor.&#160;Peyrin, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70694-8">https://doi.org/10.1007/978-3-319-70694-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:610796 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Huang, De-Shuang. editor.&#160;Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092&#160;Figueroa-Garc&iacute;a, Juan Carlos. editor. (orcid)0000-0001-5544-5937&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63312-1">https://doi.org/10.1007/978-3-319-63312-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III ent://SD_ILS/0/SD_ILS:610857 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Takagi, Tsuyoshi. editor.&#160;Peyrin, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70700-6">https://doi.org/10.1007/978-3-319-70700-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process Algebras for Petri Nets The Alphabetization of Distributed Systems ent://SD_ILS/0/SD_ILS:615659 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Gorrieri, Roberto. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-55559-1">https://doi.org/10.1007/978-3-319-55559-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Geuvers, Herman. editor.&#160;England, Matthew. editor.&#160;Hasan, Osman. editor.&#160;Rabe, Florian. editor.&#160;Teschke, Olaf. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Computing Engineering Smart Systems ent://SD_ILS/0/SD_ILS:617371 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Silvis-Cividjian, Natalia. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-51655-4">https://doi.org/10.1007/978-3-319-51655-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613342 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Paskevich, Andrei. editor.&#160;Wies, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-72308-2">https://doi.org/10.1007/978-3-319-72308-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:615566 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Cazenave, Tristan. editor.&#160;Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824&#160;Edelkamp, Stefan. editor.&#160;Schiffel, Stephan. editor.&#160;Thielscher, Michael. editor. (orcid)0000-0003-0885-2702<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-57969-6">https://doi.org/10.1007/978-3-319-57969-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreich ent://SD_ILS/0/SD_ILS:617808 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Lindell, Yehuda. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-57048-8">https://doi.org/10.1007/978-3-319-57048-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:618157 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Takagi, Tsuyoshi. editor.&#160;Peyrin, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70697-9">https://doi.org/10.1007/978-3-319-70697-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611087 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Kotsireas, Ilias S. editor. (orcid)0000-0003-2126-8383&#160;Rump, Siegfried M. editor.&#160;Yap, Chee K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-32859-1">https://doi.org/10.1007/978-3-319-32859-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612103 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374&#160;Winands, Mark H.M. editor.&#160;Edelkamp, Stefan. editor.&#160;Schiffel, Stephan. editor.&#160;Thielscher, Michael. editor. (orcid)0000-0003-0885-2702<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-39402-2">https://doi.org/10.1007/978-3-319-39402-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:611438 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Huang, De-Shuang. editor.&#160;Bevilacqua, Vitoantonio. editor.&#160;Premaratne, Prashan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42291-6">https://doi.org/10.1007/978-3-319-42291-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:612667 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Huang, De-Shuang. editor.&#160;Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42294-7">https://doi.org/10.1007/978-3-319-42294-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Topics in Grammatical Inference ent://SD_ILS/0/SD_ILS:615236 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Heinz, Jeffrey. editor.&#160;Sempere, Jos&eacute; M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-48395-4">https://doi.org/10.1007/978-3-662-48395-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:616144 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Cheon, Jung Hee. editor.&#160;Takagi, Tsuyoshi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-53890-6">https://doi.org/10.1007/978-3-662-53890-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:616165 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Kushilevitz, Eyal. editor.&#160;Malkin, Tal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-49096-9">https://doi.org/10.1007/978-3-662-49096-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:616579 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Gurfinkel, Arie. editor.&#160;Seshia, Sanjit A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology - ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:616810 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Cheon, Jung Hee. editor.&#160;Takagi, Tsuyoshi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-53887-6">https://doi.org/10.1007/978-3-662-53887-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:615927 2026-03-24T16:31:55Z 2026-03-24T16:31:55Z Author&#160;Kushilevitz, Eyal. editor.&#160;Malkin, Tal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-49099-0">https://doi.org/10.1007/978-3-662-49099-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>