Search Results for Information theory. - Narrowed by: Computer science.

Information Theory and Statistical Learning

2026-03-15T12:28:56Z

Author Emmert-Streib, Frank. editor. Dehmer, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-84816-7
Format: Electronic Resources
Availability Online Library~1

Grey Information Theory and Practical Applications

2026-03-15T12:28:56Z

Author Liu, Sifeng. author. Lin, Yi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-342-6
Format: Electronic Resources
Availability Online Library~1

General Theory of Information Transfer and Combinatorics

2026-03-15T12:28:56Z

Author Ahlswede, Rudolf. editor. Bäumer, Lars. editor. Cai, Ning. editor. Aydinian, Harout. editor. Blinovsky, Vladimir. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11889342
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part II

2026-03-15T12:28:56Z

Author Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377 Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34621-8
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part III

2026-03-15T12:28:56Z

Author Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03332-3
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part I

2026-03-15T12:28:56Z

Author Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03326-2
Format: Electronic Resources
Availability Online Library~1

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I

2026-03-15T12:28:56Z

Author Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91473-2
Format: Electronic Resources
Availability Online Library~1

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers

2026-03-15T12:28:56Z

Author Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Moiseev, Alexander. editor. (orcid)0000-0003-2369-452X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97595-5
Format: Electronic Resources
Availability Online Library~1

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II

2026-03-15T12:28:56Z

Author Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91476-3
Format: Electronic Resources
Availability Online Library~1

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

2026-03-15T12:28:56Z

Author Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70700-6
Format: Electronic Resources
Availability Online Library~1

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

2026-03-15T12:28:56Z

Author Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70697-9
Format: Electronic Resources
Availability Online Library~1

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

2026-03-15T12:28:56Z

Author Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70694-8
Format: Electronic Resources
Availability Online Library~1

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

2026-03-15T12:28:56Z

Author Cheon, Jung Hee. editor. Takagi, Tsuyoshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53887-6
Format: Electronic Resources
Availability Online Library~1

Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings

2026-03-15T12:28:56Z

Author Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Gortsev, Alexander. editor. Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Yakupov, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44615-8
Format: Electronic Resources
Availability Online Library~1

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

2026-03-15T12:28:56Z

Author Cheon, Jung Hee. editor. Takagi, Tsuyoshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53890-6
Format: Electronic Resources
Availability Online Library~1

The basics of information security : understanding the fundamentals of InfoSec in theory and practice

2026-03-15T12:28:56Z

Author Andress, Jason, author.
Preferred Shelf Number ONLINE(355770.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128007440
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part I

2026-03-15T12:28:56Z

Author Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45611-8
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II

2026-03-15T12:28:56Z

Author Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45608-8
Format: Electronic Resources
Availability Online Library~1

Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede

2026-03-15T12:28:56Z

Author Aydinian, Harout. editor. Cicalese, Ferdinando. editor. Deppe, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334319.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36899-8
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I

2026-03-15T12:28:56Z

Author Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335157.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42033-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II

2026-03-15T12:28:56Z

Author Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335160.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42045-0
Format: Electronic Resources
Availability Online Library~1

Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings

2026-03-15T12:28:56Z

Author Cavallaro, Lorenzo. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334616.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38530-8
Format: Electronic Resources
Availability Online Library~1

Spatial Information Theory 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings

2026-03-15T12:28:56Z

Author Tenbrink, Thora. editor. Stell, John. editor. Galton, Antony. editor. Wood, Zena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332890.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01790-7
Format: Electronic Resources
Availability Online Library~1

Incomplete Information System and Rough Set Theory Models and Attribute Reductions

2026-03-15T12:28:56Z

Author Yang, Xibei. author. Yang, Jingyu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25935-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings

2026-03-15T12:28:56Z

Author Wang, Xiaoyun. editor. Sako, Kazue. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34961-4
Format: Electronic Resources
Availability Online Library~1

Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings

2026-03-15T12:28:56Z

Author Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29863-9
Format: Electronic Resources
Availability Online Library~1

Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings

2026-03-15T12:28:56Z

Author Askoxylakis, Ioannis. editor. Pöhls, Henrich C. editor. Posegga, Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30955-7
Format: Electronic Resources
Availability Online Library~1

Theory-Guided Modeling and Empiricism in Information Systems Research

2026-03-15T12:28:56Z

Author Heinzl, Armin. editor. Buxmann, Peter. editor. Wendt, Oliver. editor. Weitzel, Tim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7908-2781-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2011 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings

2026-03-15T12:28:56Z

Author Lee, Dong Hoon. editor. Wang, Xiaoyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25385-0
Format: Electronic Resources
Availability Online Library~1

Database Theory and Application, Bio-Science and Bio-Technology International Conferences, DTA and BSBT 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2001 in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings

2026-03-15T12:28:56Z

Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Cuzzocrea, Alfredo. editor. Arslan, Tughrul. editor. Zhang, Yanchun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27157-1
Format: Electronic Resources
Availability Online Library~1

Information Security Theory and Practice. Security and Privacy of Mobile Devices in Wireless Communication 5th IFIP WG 11.2 International Workshop, WISTP 2011, Heraklion, Crete, Greece, June 1-3, 2011. Proceedings

2026-03-15T12:28:56Z

Author Ardagna, Claudio A. editor. Zhou, Jianying. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21040-2
Format: Electronic Resources
Availability Online Library~1

Spatial Information Theory 10th International Conference, COSIT 2011, Belfast, ME, USA, September 12-16, 2011. Proceedings

2026-03-15T12:28:56Z

Author Egenhofer, Max. editor. Giudice, Nicholas. editor. Moratz, Reinhard. editor. Worboys, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23196-4
Format: Electronic Resources
Availability Online Library~1

Advances in Information Retrieval Theory Third International Conference, ICTIR 2011, Bertinoro, Italy, September 12-14, 2011. Proceedings

2026-03-15T12:28:56Z

Author Amati, Giambattista. editor. Crestani, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23318-0
Format: Electronic Resources
Availability Online Library~1

The basics of information security understanding the fundamentals of InfoSec in theory and practice

2026-03-15T12:28:56Z

Author Andress, Jason.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597496537
Format: Electronic Resources
Availability Online Library~1

Linguistic Values Based Intelligent Information Processing: Theory, Methods, and Applications

2026-03-15T12:28:56Z

Author Pei, Zheng. author. Ruan, Da. author. Liu, Jun. author. Xu, Yang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-28-2
Format: Electronic Resources
Availability Online Library~1

Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010. Proceedings

2026-03-15T12:28:56Z

Author Samarati, Pierangela. editor. Tunstall, Michael. editor. Posegga, Joachim. editor. Markantonakis, Konstantinos. editor. Sauveron, Damien. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12368-9
Format: Electronic Resources
Availability Online Library~1

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part I

2026-03-15T12:28:56Z

Author Hüllermeier, Eyke. editor. Kruse, Rudolf. editor. Hoffmann, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14055-6
Format: Electronic Resources
Availability Online Library~1

Design Research in Information Systems Theory and Practice

2026-03-15T12:28:56Z

Author Hevner, Alan. author. Chatterjee, Samir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-5653-8
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2010 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings

2026-03-15T12:28:56Z

Author Abe, Masayuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17373-8
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing. Theory and Algorithms 17th International Conference, ICONIP 2010, Sydney, Australia, November 22-25, 2010, Proceedings, Part I

2026-03-15T12:28:56Z

Author Wong, Kok Wai. editor. Mendis, B. Sumudu U. editor. Bouzerdoum, Abdesselam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17537-4
Format: Electronic Resources
Availability Online Library~1

Database Theory and Application, Bio-Science and Bio-Technology International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings

2026-03-15T12:28:56Z

Author Zhang, Yanchun. editor. Cuzzocrea, Alfredo. editor. Ma, Jianhua. editor. Chung, Kyo-il. editor. Arslan, Tughrul. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17622-7
Format: Electronic Resources
Availability Online Library~1

Spatial Information Theory 9th International Conference, COSIT 2009 Aber Wrac’h, France, September 21-25, 2009 Proceedings

2026-03-15T12:28:56Z

Author Hornsby, Kathleen Stewart. editor. Claramunt, Christophe. editor. Denis, Michel. editor. Ligozat, Gérard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03832-7
Format: Electronic Resources
Availability Online Library~1

Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks Third IFIP WG 11.2 International Workshop, WISTP 2009, Brussels, Belgium, September 1-4, 2009, Proceedings

2026-03-15T12:28:56Z

Author Markowitch, Olivier. editor. Bilas, Angelos. editor. Hoepman, Jaap-Henk. editor. Mitchell, Chris J. editor. Quisquater, Jean-Jacques. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03944-7
Format: Electronic Resources
Availability Online Library~1

Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information

2026-03-15T12:28:56Z

Author Sommaruga, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00659-3
Format: Electronic Resources
Availability Online Library~1

Advances in Information Retrieval Theory Second International Conference on the Theory of Information Retrieval, ICTIR 2009 Cambridge, UK, September 10-12, 2009 Proceedings

2026-03-15T12:28:56Z

Author Azzopardi, Leif. editor. Kazai, Gabriella. editor. Robertson, Stephen. editor. Rüger, Stefan. editor. Shokouhi, Milad. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04417-5
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2009 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings

2026-03-15T12:28:56Z

Author Matsui, Mitsuru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10366-7
Format: Electronic Resources
Availability Online Library~1

Information Theory in Computer Vision and Pattern Recognition

2026-03-15T12:28:56Z

Author Escolano, Francisco. author. Suau, Pablo. author. Bonev, Boyán. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-297-9
Format: Electronic Resources
Availability Online Library~1

Information Systems Development Challenges in Practice, Theory, and Education Volume 1

2026-03-15T12:28:56Z

Author Wojtkowski, Wita. editor. Wojtkowski, Gregory. editor. Lang, Michael. editor. Conboy, Kieran. editor. Barry, Chris. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-68772-8
Format: Electronic Resources
Availability Online Library~1

Information Systems Development Challenges in Practice, Theory, and Education Volume 2

2026-03-15T12:28:56Z

Author Barry, Chris. editor. Lang, Michael. editor. Wojtkowski, Wita. editor. Conboy, Kieran. editor. Wojtkowski, Gregory. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-78578-3
Format: Electronic Resources
Availability Online Library~1

Database Theory and Application International Conference, DTA 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

2026-03-15T12:28:56Z

Author Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Zhang, Yanchun. editor. Ma, Jianhua. editor. Chung, Kyo-il. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10583-8
Format: Electronic Resources
Availability Online Library~1

Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks Second IFIP WG 11.2 International Workshop, WISTP 2008, Seville, Spain, May 13-16, 2008. Proceedings

2026-03-15T12:28:56Z

Author Onieva, Jose A. editor. Sauveron, Damien. editor. Chaumette, Serge. editor. Gollmann, Dieter. editor. Markantonakis, Konstantinos. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79966-5
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2008 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedings

2026-03-15T12:28:56Z

Author Pieprzyk, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89255-7
Format: Electronic Resources
Availability Online Library~1

Spatial Information Theory 8th International Conference, COSIT 2007, Melbourne, Australiia, September 19-23, 2007. Proceedings

2026-03-15T12:28:56Z

Author Winter, Stephan. editor. Duckham, Matt. editor. Kulik, Lars. editor. Kuipers, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74788-8
Format: Electronic Resources
Availability Online Library~1

Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007. Proceedings

2026-03-15T12:28:56Z

Author Sauveron, Damien. editor. Markantonakis, Konstantinos. editor. Bilas, Angelos. editor. Quisquater, Jean-Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72354-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2007 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007. Proceedings

2026-03-15T12:28:56Z

Author Kurosawa, Kaoru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76900-2
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2006 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai, China, December 3-7, 2006. Proceedings

2026-03-15T12:28:56Z

Author Lai, Xuejia. editor. Chen, Kefei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11935230
Format: Electronic Resources
Availability Online Library~1

Information Systems Development Advances in Theory, Practice, and Education

2026-03-15T12:28:56Z

Author Vasilecas, Olegas. editor. Wojtkowski, Wita. editor. Zupančič, Jože. editor. Caplinskas, Albertas. editor. Wojtkowski, W. Gregory. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28809-0
Format: Electronic Resources
Availability Online Library~1

Spatial Information Theory International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005. Proceedings

2026-03-15T12:28:56Z

Author Cohn, Anthony G. editor. Mark, David M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11556114
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2005 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005. Proceedings

2026-03-15T12:28:56Z

Author Roy, Bimal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11593447
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Artificial Intelligence JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2025, Osaka, Japan, May 26-27, 2025, Proceedings

2026-03-15T12:28:56Z

Author Nakano, Yukiko. editor. (orcid)0000-0003-1658-8219 Suzumura, Toyotaro. editor. (orcid)0000-0001-6412-8386 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-7071-0
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I

2026-03-15T12:28:56Z

Author Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. (orcid)0000-0002-7846-0969 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4445-2
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II

2026-03-15T12:28:56Z

Author Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4448-3
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papers

2026-03-15T12:28:56Z

Author Doka, Katerina. editor. Tsiropoulou, Eirini Eleni. editor. (orcid)0000-0003-1322-1876 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94677-6
Format: Electronic Resources
Availability Online Library~1

The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part III

2026-03-15T12:28:56Z

Author Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77847-6
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVII International Workshop, COINE 2024, Auckland, New Zealand, May 7, 2024, Revised Selected Papers

2026-03-15T12:28:56Z

Author Cranefield, Stephen. editor. (orcid)0000-0001-5638-1648 Nardin, Luis Gustavo. editor. (orcid)0000-0002-4506-2745 Lloyd, Nathan. editor. (orcid)0000-0002-7127-2500 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82039-7
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part II

2026-03-15T12:28:56Z

Author Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82021-2
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part I

2026-03-15T12:28:56Z

Author Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81806-6
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part III

2026-03-15T12:28:56Z

Author Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82024-3
Format: Electronic Resources
Availability Online Library~1

A First Introduction to Quantum Computing and Information

2026-03-15T12:28:56Z

Author Zygelman, Bernard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66425-0
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II

2026-03-15T12:28:56Z

Author Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1093-8
Format: Electronic Resources
Availability Online Library~1

Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings

2026-03-15T12:28:56Z

Author He, Zhongjun. editor. Chen, Yidong. editor. (orcid)0000-0002-0243-7228 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-2292-4
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III

2026-03-15T12:28:56Z

Author Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1195-9
Format: Electronic Resources
Availability Online Library~1

Modelling and Mining Networks 20th International Workshop, WAW 2025, Vilnius, Lithuania, June 30 - July 3, 2025, Proceedings

2026-03-15T12:28:56Z

Author Bloznelis, Mindaugas. editor. Drungilas, Paulius. editor. Kamiński, Bogumił. editor. Prałat, Paweł. editor. Šileikis, Matas. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-92898-7
Format: Electronic Resources
Availability Online Library~1

A Concise Introduction to Software Engineering With Open Source and GenAI

2026-03-15T12:28:56Z

Author Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74318-4
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

2026-03-15T12:28:56Z

Author Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90897-2
Format: Electronic Resources
Availability Online Library~1

Principle of Petri Nets

2026-03-15T12:28:56Z

Author Yuan, Chongyi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7336-7
Format: Electronic Resources
Availability Online Library~1

Category Theory Using Haskell An Introduction with Moggi and Yoneda

2026-03-15T12:28:56Z

Author Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68538-5
Format: Electronic Resources
Availability Online Library~1

The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part I

2026-03-15T12:28:56Z

Author Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77844-5
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I

2026-03-15T12:28:56Z

Author Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1090-7
Format: Electronic Resources
Availability Online Library~1

The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part II

2026-03-15T12:28:56Z

Author Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77850-6
Format: Electronic Resources
Availability Online Library~1

PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings

2026-03-15T12:28:56Z

Author Arisaka, Ryuta. editor. (orcid)0000-0003-3203-1517 Sanchez-Anguix, Victor. editor. (orcid)0000-0003-4851-0037 Stein, Sebastian. editor. (orcid)0000-0003-2858-8857 Aydoğan, Reyhan. editor. (orcid)0000-0002-5260-9999 van der Torre, Leon. editor. (orcid)0000-0003-4330-3717
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77367-9
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part I

2026-03-15T12:28:56Z

Author Ghosh, Smita. editor. (orcid)0000-0002-7026-1826 Zhang, Zhao. editor. (orcid)0000-0003-4191-7598 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7798-3
Format: Electronic Resources
Availability Online Library~1

Metaheuristics and Nature Inspired Computing 9th International Conference, META 2023, Marrakech, Morocco, November 1-4, 2023, Revised Selected Papers

2026-03-15T12:28:56Z

Author Dorronsoro, Bernabé. editor. (orcid)0000-0003-0481-790X Ellaia, Rachid. editor. (orcid)0000-0003-0372-1666 Talbi, El-Ghazali. editor. (orcid)0000-0003-4549-1010 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-69257-4
Format: Electronic Resources
Availability Online Library~1

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

2026-03-15T12:28:56Z

Author Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71291-3
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III

2026-03-15T12:28:56Z

Author Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50075-6
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I

2026-03-15T12:28:56Z

Author Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50069-5
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Artificial Intelligence JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2024, Hamamatsu, Japan, May 28-29, 2024, Proceedings

2026-03-15T12:28:56Z

Author Suzumura, Toyotaro. editor. (orcid)0000-0001-6412-8386 Bono, Mayumi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-3076-6
Format: Electronic Resources
Availability Online Library~1

Cellular Automata 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9-11, 2024, Proceedings

2026-03-15T12:28:56Z

Author Bagnoli, Franco. editor. (orcid)0000-0002-6293-0305 Baetens, Jan. editor. (orcid)0000-0003-4084-9992 Bandini, Stefania. editor. (orcid)0000-0002-7056-0543 Matteuzzi, Tommaso. editor. (orcid)0000-0002-1915-9148 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71552-5
Format: Electronic Resources
Availability Online Library~1

A Beginner's Guide to Informatics and Artificial Intelligence A Short Course Towards Practical Problem Solving

2026-03-15T12:28:56Z

Author Weng, Wei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-1477-3
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II

2026-03-15T12:28:56Z

Author Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50072-5
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers

2026-03-15T12:28:56Z

Author Chatzigiannakis, Ioannis. editor. Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49361-4
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

2026-03-15T12:28:56Z

Author Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49190-0
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

2026-03-15T12:28:56Z

Author Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49193-1
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV

2026-03-15T12:28:56Z

Author Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50078-7
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XV

2026-03-15T12:28:56Z

Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8184-7
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XI

2026-03-15T12:28:56Z

Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8145-8
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XIV

2026-03-15T12:28:56Z

Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8181-6
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part VIII

2026-03-15T12:28:56Z

Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8132-8
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part X

2026-03-15T12:28:56Z

Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8141-0
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part IX

2026-03-15T12:28:56Z

Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8138-0
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XIII

2026-03-15T12:28:56Z

Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8178-6
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

2026-03-15T12:28:56Z

Author Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57231-9
Format: Electronic Resources
Availability Online Library~1

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II

2026-03-15T12:28:56Z

Author Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55601-2
Format: Electronic Resources
Availability Online Library~1

Explainable Artificial Intelligence and Process Mining Applications for Healthcare Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings

2026-03-15T12:28:56Z

Author Juarez, Jose M. editor. (orcid)0000-0003-1776-1992 Fernandez-Llatas, Carlos. editor. (orcid)0000-0002-2819-5597 Bielza, Concha. editor. (orcid)0000-0001-7109-2668 Johnson, Owen. editor. (orcid)0000-0003-3998-541X Kocbek, Primoz. editor. (orcid)0000-0002-9064-5085
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54303-6
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II

2026-03-15T12:28:56Z

Author Ghosh, Smita. editor. (orcid)0000-0002-7026-1826 Zhang, Zhao. editor. (orcid)0000-0003-4191-7598 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7801-0
Format: Electronic Resources
Availability Online Library~1

Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part I

2026-03-15T12:28:56Z

Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946 Ludwig, André. editor. (orcid)0000-0002-0358-3470 Núñez, Manuel. editor. (orcid)0000-0001-9808-6401 Treur, Jan. editor. (orcid)0000-0003-2466-9158
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70816-9
Format: Electronic Resources
Availability Online Library~1

Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II

2026-03-15T12:28:56Z

Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946 Ludwig, André. editor. (orcid)0000-0002-0358-3470 Núñez, Manuel. editor. (orcid)0000-0001-9808-6401 Treur, Jan. editor. (orcid)0000-0003-2466-9158
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70819-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency XVII

2026-03-15T12:28:56Z

Author Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-68191-6
Format: Electronic Resources
Availability Online Library~1

Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers

2026-03-15T12:28:56Z

Author Lirkov, Ivan. editor. (orcid)0000-0002-5870-2588 Margenov, Svetozar. editor. (orcid)0000-0001-8858-831X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56208-2
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings

2026-03-15T12:28:56Z

Author Chen, Xujin. editor. (orcid)0000-0001-7844-5411 Li, Bo. editor. (orcid)0000-0001-7500-8355 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2340-9
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

2026-03-15T12:28:56Z

Author Wu, Weili. editor. (orcid)0000-0001-8747-6340 Guo, Jianxiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49614-1
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

2026-03-15T12:28:56Z

Author Wu, Weili. editor. Guo, Jianxiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49611-0
Format: Electronic Resources
Availability Online Library~1

Modelling and Mining Networks 19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings

2026-03-15T12:28:56Z

Author Dewar, Megan. editor. Kamiński, Bogumił. editor. (orcid)0000-0002-0678-282X Kaszyński, Daniel. editor. Kraiński, Łukasz. editor. Prałat, Paweł. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-59205-8
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence 21st International Conference, MDAI 2024, Tokyo, Japan, August 27-31, 2024, Proceedings

2026-03-15T12:28:56Z

Author Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. Kikuchi, Hiroaki. editor. (orcid)0000-0002-0903-8430 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68208-7
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part XII

2026-03-15T12:28:56Z

Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8148-9
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part VII

2026-03-15T12:28:56Z

Author Luo, Biao. editor. Cheng, Long. editor. Wu, Zheng-Guang. editor. Li, Hongyi. editor. Li, Chaojie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8126-7
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

2026-03-15T12:28:56Z

Author Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57228-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part I

2026-03-15T12:28:56Z

Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. (orcid)0000-0001-7305-6492
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-4982-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part II

2026-03-15T12:28:56Z

Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. (orcid)0000-0001-7305-6492
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-4985-0
Format: Electronic Resources
Availability Online Library~1

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I

2026-03-15T12:28:56Z

Author Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55598-5
Format: Electronic Resources
Availability Online Library~1

Informatics and machine learning : from Martingales to metaheuristics

2026-03-15T12:28:56Z

Author Winters-Hilt, Stephen, author.
Preferred Shelf Number Q325.5 .W558 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2026-03-15T12:28:56Z

Author Steffen, Bernhard. author. Rüthing, Oliver. author. Huth, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68397-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

2026-03-15T12:28:56Z

Author Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92970-5
Format: Electronic Resources
Availability Online Library~1

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2026-03-15T12:28:56Z

Author Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01461-2
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2026-03-15T12:28:56Z

Author Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00244-2
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2026-03-15T12:28:56Z

Author Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources
Availability Online Library~1

Handbook of Model Checking

2026-03-15T12:28:56Z

Author Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10575-8
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

2026-03-15T12:28:56Z

Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03427-6
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

2026-03-15T12:28:56Z

Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03424-5
Format: Electronic Resources
Availability Online Library~1

Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

2026-03-15T12:28:56Z

Author Manea, Florin. editor. Miller, Russell G. editor. Nowotka, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94418-0
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2026-03-15T12:28:56Z

Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03421-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2026-03-15T12:28:56Z

Author Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources
Availability Online Library~1

The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Science

2026-03-15T12:28:56Z

Author Ausiello, Giorgio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62680-2
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2026-03-15T12:28:56Z

Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03418-4
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2026-03-15T12:28:56Z

Author Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02768-1
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2026-03-15T12:28:56Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78054-2
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2026-03-15T12:28:56Z

Author Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77935-5
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XXXIII

2026-03-15T12:28:56Z

Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58039-4
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2026-03-15T12:28:56Z

Author Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89363-1
Format: Electronic Resources
Availability Online Library~1

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2026-03-15T12:28:56Z

Author Bauer, Lujo. editor. Küsters, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89722-6
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2026-03-15T12:28:56Z

Author Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89884-1
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

2026-03-15T12:28:56Z

Author Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55911-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part I

2026-03-15T12:28:56Z

Author Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. (orcid)0000-0002-3088-0788 Premaratne, Prashan. editor. Gupta, Phalguni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63309-1
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology - AFRICACRYPT 2017 9th International Conference on Cryptology in Africa, Dakar, Senegal, May 24-26, 2017, Proceedings

2026-03-15T12:28:56Z

Author Joye, Marc. editor. Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57339-7
Format: Electronic Resources
Availability Online Library~1

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

2026-03-15T12:28:56Z

Author Cazenave, Tristan. editor. Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57969-6
Format: Electronic Resources
Availability Online Library~1

Adventures in Computer Science From Classical Bits to Quantum Bits

2026-03-15T12:28:56Z

Author Moret-Bonillo, Vicente. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64807-1
Format: Electronic Resources
Availability Online Library~1

Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreich

2026-03-15T12:28:56Z

Author Lindell, Yehuda. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57048-8
Format: Electronic Resources
Availability Online Library~1

Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

2026-03-15T12:28:56Z

Author Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58741-7
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Economic Theory: Skynet in the Market

2026-03-15T12:28:56Z

Author Marwala, Tshilidzi. author. Hurwitz, Evan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66104-9
Format: Electronic Resources
Availability Online Library~1

Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2026-03-15T12:28:56Z

Author Sukthankar, Gita. editor. Rodriguez-Aguilar, Juan A. editor. (orcid)0000-0002-2940-6886 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71682-4
Format: Electronic Resources
Availability Online Library~1

Principles of Security and Trust 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-03-15T12:28:56Z

Author Maffei, Matteo. editor. Ryan, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54455-6
Format: Electronic Resources
Availability Online Library~1

The Incomputable Journeys Beyond the Turing Barrier

2026-03-15T12:28:56Z

Author Cooper, S. Barry. editor. Soskova, Mariya I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43669-2
Format: Electronic Resources
Availability Online Library~1

Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

2026-03-15T12:28:56Z

Author Tryfonas, Theo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58460-7
Format: Electronic Resources
Availability Online Library~1

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2026-03-15T12:28:56Z

Author Skrzypczak, Michał. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-52947-8
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

2026-03-15T12:28:56Z

Author Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-52921-8
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology - AFRICACRYPT 2016 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedings

2026-03-15T12:28:56Z

Author Pointcheval, David. editor. Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Rachidi, Tajjeeddine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31517-1
Format: Electronic Resources
Availability Online Library~1

Turing Computability Theory and Applications

2026-03-15T12:28:56Z

Author Soare, Robert I. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-31933-4
Format: Electronic Resources
Availability Online Library~1

An Introduction to Transfer Entropy Information Flow in Complex Systems

2026-03-15T12:28:56Z

Author Bossomaier, Terry. author. Barnett, Lionel. author. Harré, Michael. author. Lizier, Joseph T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43222-9
Format: Electronic Resources
Availability Online Library~1

Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers

2026-03-15T12:28:56Z

Author Kotsireas, Ilias S. editor. (orcid)0000-0003-2126-8383 Rump, Siegfried M. editor. Yap, Chee K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32859-1
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IV

2026-03-15T12:28:56Z

Author Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46681-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I

2026-03-15T12:28:56Z

Author Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42291-6
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part III

2026-03-15T12:28:56Z

Author Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46675-0
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part I

2026-03-15T12:28:56Z

Author Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46687-3
Format: Electronic Resources
Availability Online Library~1

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

2026-03-15T12:28:56Z

Author Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40189-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II

2026-03-15T12:28:56Z

Author Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42294-7
Format: Electronic Resources
Availability Online Library~1

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

2026-03-15T12:28:56Z

Author Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39402-2
Format: Electronic Resources
Availability Online Library~1

LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings

2026-03-15T12:28:56Z

Author Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49529-2
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part II

2026-03-15T12:28:56Z

Author Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46672-9
Format: Electronic Resources
Availability Online Library~1

Encyclopedia of Computational Neuroscience

2026-03-15T12:28:56Z

Author Jaeger, Dieter. editor. Jung, Ranu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-6675-8
Format: Electronic Resources
Availability Online Library~1

Computing handbook

2026-03-15T12:28:56Z

Author Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Topi, Heikki, editor. Diaz-Herrera, Jorge L., 1950- editor.
Preferred Shelf Number QA76 .C5732 2014 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429171529 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Cryptology and Network Security 13th International Conference, CANS 2014, Heraklion, Crete, Greece, October 22-24, 2014. Proceedings

2026-03-15T12:28:56Z

Author Gritzalis, Dimitris. editor. Kiayias, Aggelos. editor. Askoxylakis, Ioannis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12280-9
Format: Electronic Resources
Availability Online Library~1

Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings

2026-03-15T12:28:56Z

Author Schmidt, Kai-Uwe. editor. Winterhof, Arne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12325-7
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice X

2026-03-15T12:28:56Z

Author Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332135.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6846-2
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

2026-03-15T12:28:56Z

Author Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334564.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38236-9
Format: Electronic Resources
Availability Online Library~1

Optical Supercomputing 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers

2026-03-15T12:28:56Z

Author Dolev, Shlomi. editor. Oltean, Mihai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334567.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38250-5
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings

2026-03-15T12:28:56Z

Author Jacobson, Michael. editor. Locasto, Michael. editor. Mohassel, Payman. editor. Safavi-Naini, Reihaneh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334707.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38980-1
Format: Electronic Resources
Availability Online Library~1

Information Security and Privacy 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013. Proceedings

2026-03-15T12:28:56Z

Author Boyd, Colin. editor. Simpson, Leonie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334720.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39059-3
Format: Electronic Resources
Availability Online Library~1

The Economics of Information Security and Privacy

2026-03-15T12:28:56Z

Author Böhme, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334810.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39498-0
Format: Electronic Resources
Availability Online Library~1

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

2026-03-15T12:28:56Z

Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334837.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39698-4
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

2026-03-15T12:28:56Z

Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334841.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39721-9
Format: Electronic Resources
Availability Online Library~1

Digital Forensics and Watermaking 11th International Workshop, IWDW 2012, Shanghai, China, October 31 – November 3, 2012, Revised Selected Papers

2026-03-15T12:28:56Z

Author Shi, Yun Q. editor. Kim, Hyoung-Joong. editor. Pérez-González, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334892.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40099-5
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings

2026-03-15T12:28:56Z

Author Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334901.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40164-0
Format: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

2026-03-15T12:28:56Z

Author Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335022.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40867-0
Format: Electronic Resources
Availability Online Library~1

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

2026-03-15T12:28:56Z

Author Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335032.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40948-6
Format: Electronic Resources
Availability Online Library~1

Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

2026-03-15T12:28:56Z

Author Palamidessi, Catuscia. editor. Ryan, Mark D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335066.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41157-1
Format: Electronic Resources
Availability Online Library~1

Modern Cryptography Primer Theoretical Foundations and Practical Applications

2026-03-15T12:28:56Z

Author Kościelny, Czesław. author. Kurkowski, Mirosław. author. Srebrny, Marian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335099.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41386-5
Format: Electronic Resources
Availability Online Library~1

Combinatorial Search: From Algorithms to Systems

2026-03-15T12:28:56Z

Author Hamadi, Youssef. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335109.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41482-4
Format: Electronic Resources
Availability Online Library~1

Distributed Computing 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings

2026-03-15T12:28:56Z

Author Afek, Yehuda. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335119.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41527-2
Format: Electronic Resources
Availability Online Library~1

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

2026-03-15T12:28:56Z

Author Reisig, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333688.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33278-4
Format: Electronic Resources
Availability Online Library~1

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts

2026-03-15T12:28:56Z

Author O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331002.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4534-9
Format: Electronic Resources
Availability Online Library~1

Economics of Information Security and Privacy III

2026-03-15T12:28:56Z

Author Schneier, Bruce. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331294.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1981-5
Format: Electronic Resources
Availability Online Library~1

Mobile Authentication Problems and Solutions

2026-03-15T12:28:56Z

Author Jakobsson, Markus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331610.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4878-5
Format: Electronic Resources
Availability Online Library~1

Android Malware

2026-03-15T12:28:56Z

Author Jiang, Xuxian. author. Zhou, Yajin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332276.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7394-7
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Science, Engineering and Information Technology Proceedings of the Third International Conference on Computational Science, Engineering and Information Technology (CCSEIT-2013), KTO Karatay University, June 7-9, 2013, Konya,Turkey - Volume 1

2026-03-15T12:28:56Z

Author Nagamalai, Dhinaharan. editor. Kumar, Ashok. editor. Annamalai, Annamalai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332821.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00951-3
Format: Electronic Resources
Availability Online Library~1

Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Information

2026-03-15T12:28:56Z

Author Cicalese, Ferdinando. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333074.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-17327-1
Format: Electronic Resources
Availability Online Library~1

Analyzing Evolutionary Algorithms The Computer Science Perspective

2026-03-15T12:28:56Z

Author Jansen, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333075.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-17339-4
Format: Electronic Resources
Availability Online Library~1

Evolution of Semantic Systems

2026-03-15T12:28:56Z

Author Küppers, Bernd-Olaf. editor. Hahn, Udo. editor. Artmann, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333917.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34997-3
Format: Electronic Resources
Availability Online Library~1

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

2026-03-15T12:28:56Z

Author Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334022.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35656-8
Format: Electronic Resources
Availability Online Library~1

Business Process Management Workshops BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers

2026-03-15T12:28:56Z

Author Rosa, Marcello. editor. Soffer, Pnina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334166.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36285-9
Format: Electronic Resources
Availability Online Library~1

Pairing-Based Cryptography – Pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers

2026-03-15T12:28:56Z

Author Abdalla, Michel. editor. Lange, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334179.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36334-4
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography – PKC 2013 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26 – March 1, 2013. Proceedings

2026-03-15T12:28:56Z

Author Kurosawa, Kaoru. editor. Hanaoka, Goichiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334184.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36362-7
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

2026-03-15T12:28:56Z

Author Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334465.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37635-1
Format: Electronic Resources
Availability Online Library~1

Massively Parallel Evolutionary Computation on GPGPUs

2026-03-15T12:28:56Z

Author Tsutsui, Shigeyoshi. editor. Collet, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334507.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37959-8
Format: Electronic Resources
Availability Online Library~1

Distributed Algorithms for Message-Passing Systems

2026-03-15T12:28:56Z

Author Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334542.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38123-2
Format: Electronic Resources
Availability Online Library~1

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

2026-03-15T12:28:56Z

Author Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334910.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40206-7
Format: Electronic Resources
Availability Online Library~1

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

2026-03-15T12:28:56Z

Author Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334973.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40579-2
Format: Electronic Resources
Availability Online Library~1

Bluetooth Security Attacks Comparative Analysis, Attacks, and Countermeasures

2026-03-15T12:28:56Z

Author Haataja, Keijo. author. Hyppönen, Konstantin. author. Pasanen, Sanna. author. Toivanen, Pekka. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334982.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40646-1
Format: Electronic Resources
Availability Online Library~1

Introduction to Public Key Infrastructures

2026-03-15T12:28:56Z

Author Buchmann, Johannes A. author. Karatsiolis, Evangelos. author. Wiesmaier, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334984.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40657-7
Format: Electronic Resources
Availability Online Library~1

Physically Unclonable Functions Constructions, Properties and Applications

2026-03-15T12:28:56Z

Author Maes, Roel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335102.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41395-7
Format: Electronic Resources
Availability Online Library~1

People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010

2026-03-15T12:28:56Z

Author Lipton, Richard J. author. Regan, Kenneth W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335104.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41422-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications

2026-03-15T12:28:56Z

Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Abraham, Ajith. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335208.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45318-2
Format: Electronic Resources
Availability Online Library~1

Teoria degli Automi Finiti

2026-03-15T12:28:56Z

Author Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335644.1)
Electronic Access http://dx.doi.org/10.1007/978-88-470-5474-5
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Databases A Practical Introduction

2026-03-15T12:28:56Z

Author Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331224.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5601-7
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

2026-03-15T12:28:56Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334038.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35722-0
Format: Electronic Resources
Availability Online Library~1

Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings

2026-03-15T12:28:56Z

Author Dawson, Ed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334122.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36095-4
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

2026-03-15T12:28:56Z

Author Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334236.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36563-8
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology 8th International Conference, Inscrypt 2012, Beijing, China, November 28-30, 2012, Revised Selected Papers

2026-03-15T12:28:56Z

Author Kutyłowski, Mirosław. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334613.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38519-3
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology – AFRICACRYPT 2013 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings

2026-03-15T12:28:56Z

Author Youssef, Amr. editor. Nitaj, Abderrahmane. editor. Hassanien, Aboul Ella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334620.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38553-7
Format: Electronic Resources
Availability Online Library~1

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings

2026-03-15T12:28:56Z

Author Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334663.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38756-2
Format: Electronic Resources
Availability Online Library~1

Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings

2026-03-15T12:28:56Z

Author Stam, Martijn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335197.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45239-0
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings

2026-03-15T12:28:56Z

Author Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335433.1)
Electronic Access http://dx.doi.org/10.1007/978-4-431-54436-4
Format: Electronic Resources
Availability Online Library~1

Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?

2026-03-15T12:28:56Z

Author Schenke, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(338349.1)
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2295-6
Format: Electronic Resources
Availability Online Library~1

Quantum Attacks on Public-Key Cryptosystems

2026-03-15T12:28:56Z

Author Yan, Song Y. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330828.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7722-9
Format: Electronic Resources
Availability Online Library~1

Advances in Applied Self-Organizing Systems

2026-03-15T12:28:56Z

Author Prokopenko, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331148.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5113-5
Format: Electronic Resources
Availability Online Library~1

Moving Target Defense II Application of Game Theory and Adversarial Modeling

2026-03-15T12:28:56Z

Author Jajodia, Sushil. editor. Ghosh, Anup K. editor. Subrahmanian, V.S. editor. Swarup, Vipin. editor. Wang, Cliff. editor.
Preferred Shelf Number ONLINE(331766.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5416-8
Format: Electronic Resources
Availability Online Library~1

Automatic Malware Analysis An Emulator Based Approach

2026-03-15T12:28:56Z

Author Yin, Heng. author. Song, Dawn. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331796.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5523-3
Format: Electronic Resources
Availability Online Library~1

Security for Wireless Implantable Medical Devices

2026-03-15T12:28:56Z

Author Hei, Xiali. author. Du, Xiaojiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332220.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7153-0
Format: Electronic Resources
Availability Online Library~1

Location Privacy Protection in Mobile Networks

2026-03-15T12:28:56Z

Author Liu, Xinxin. author. Li, Xiaolin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332468.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9074-6
Format: Electronic Resources
Availability Online Library~1

A Brief History of Cryptology and Cryptographic Algorithms

2026-03-15T12:28:56Z

Author Dooley, John F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332881.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01628-3
Format: Electronic Resources
Availability Online Library~1

Cyber Security Deterrence and IT Protection for Critical Infrastructures

2026-03-15T12:28:56Z

Author Martellini, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332909.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02279-6
Format: Electronic Resources
Availability Online Library~1

Cryptology and Network Security 12th International Conference, CANS 2013, Paraty, Brazil, November 20-22. 2013. Proceedings

2026-03-15T12:28:56Z

Author Abdalla, Michel. editor. Nita-Rotaru, Cristina. editor. Dahab, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332957.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02937-5
Format: Electronic Resources
Availability Online Library~1

Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers

2026-03-15T12:28:56Z

Author Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332975.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03473-7
Format: Electronic Resources
Availability Online Library~1

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations

2026-03-15T12:28:56Z

Author Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333514.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32027-9
Format: Electronic Resources
Availability Online Library~1

Introduction to Cryptography with Maple

2026-03-15T12:28:56Z

Author Gómez Pardo, José Luis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333533.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32166-5
Format: Electronic Resources
Availability Online Library~1

Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers

2026-03-15T12:28:56Z

Author Marx, Dániel. editor. Rossmanith, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28050-4
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

2026-03-15T12:28:56Z

Author Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28412-0
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings

2026-03-15T12:28:56Z

Author Roychoudhury, Abhik. editor. D’Souza, Meenakshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32943-2
Format: Electronic Resources
Availability Online Library~1

The Complexity of Valued Constraint Satisfaction Problems

2026-03-15T12:28:56Z

Author Živný, Stanislav. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33974-5
Format: Electronic Resources
Availability Online Library~1

Search Computing Broadening Web Search

2026-03-15T12:28:56Z

Author Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34213-4
Format: Electronic Resources
Availability Online Library~1

Emerging Research in Artificial Intelligence and Computational Intelligence International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings

2026-03-15T12:28:56Z

Author Lei, Jingsheng. editor. Wang, Fu Lee. editor. Deng, Hepu. editor. Miao, Duoqian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34240-0
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Intelligent Systems 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings

2026-03-15T12:28:56Z

Author Li, Zhenhua. editor. Li, Xiang. editor. Liu, Yong. editor. Cai, Zhihua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34289-9
Format: Electronic Resources
Availability Online Library~1

Algorithmen und Datenstrukturen

2026-03-15T12:28:56Z

Author Ottmann, Thomas. author. Widmayer, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8274-2804-2
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings

2026-03-15T12:28:56Z

Author Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-4-431-54106-6
Format: Electronic Resources
Availability Online Library~1

Modeling Time in Computing

2026-03-15T12:28:56Z

Author Furia, Carlo A. author. Mandrioli, Dino. author. Morzenti, Angelo. author. Rossi, Matteo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32332-4
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings

2026-03-15T12:28:56Z

Author Baeten, Jos C. M. editor. Ball, Tom. editor. Boer, Frank S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33475-7
Format: Electronic Resources
Availability Online Library~1

Quantum Interaction 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers

2026-03-15T12:28:56Z

Author Busemeyer, Jerome R. editor. Dubois, François. editor. Lambert-Mogiliansky, Ariane. editor. Melucci, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35659-9
Format: Electronic Resources
Availability Online Library~1

Ordnungen, Verbände und Relationen mit Anwendungen

2026-03-15T12:28:56Z

Author Berghammer, Rudolf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-658-00619-8
Format: Electronic Resources
Availability Online Library~1

Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers

2026-03-15T12:28:56Z

Author Dinneen, Michael J. editor. Khoussainov, Bakhadyr. editor. Nies, André. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27654-5
Format: Electronic Resources
Availability Online Library~1

Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers

2026-03-15T12:28:56Z

Author Adam, Gheorghe. editor. Buša, Ján. editor. Hnatič, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28212-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency V

2026-03-15T12:28:56Z

Author Jensen, Kurt. editor. Donatelli, Susanna. editor. Kleijn, Jetty. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29072-5
Format: Electronic Resources
Availability Online Library~1

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings

2026-03-15T12:28:56Z

Author Snoeyink, Jack. editor. Lu, Pinyan. editor. Su, Kaile. editor. Wang, Lusheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29700-7
Format: Electronic Resources
Availability Online Library~1

Mathematics of Discrete Structures for Computer Science

2026-03-15T12:28:56Z

Author Pace, Gordon J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29840-0
Format: Electronic Resources
Availability Online Library~1

Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday

2026-03-15T12:28:56Z

Author Bordihn, Henning. editor. Kutrib, Martin. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31644-9
Format: Electronic Resources
Availability Online Library~1

Boolean Function Complexity Advances and Frontiers

2026-03-15T12:28:56Z

Author Jukna, Stasys. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24508-4
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings

2026-03-15T12:28:56Z

Author Agrawal, Manindra. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29952-0
Format: Electronic Resources
Availability Online Library~1

Computational Complexity Theory, Techniques, and Applications

2026-03-15T12:28:56Z

Author Meyers, Robert A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1800-9
Format: Electronic Resources
Availability Online Library~1

Handbook of Natural Computing

2026-03-15T12:28:56Z

Author Rozenberg, Grzegorz. editor. Bäck, Thomas. editor. Kok, Joost N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92910-9
Format: Electronic Resources
Availability Online Library~1

Autonomous Search

2026-03-15T12:28:56Z

Author Hamadi, Youssef. editor. Monfroy, Eric. editor. Saubion, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21434-9
Format: Electronic Resources
Availability Online Library~1

High Performance Computing for Computational Science – VECPAR 2010 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers

2026-03-15T12:28:56Z

Author Palma, José M. Laginha M. editor. Daydé, Michel. editor. Marques, Osni. editor. Lopes, João Correia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19328-6
Format: Electronic Resources
Availability Online Library~1

Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday

2026-03-15T12:28:56Z

Author Calude, Cristian S. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19391-0
Format: Electronic Resources
Availability Online Library~1

Theory of Quantum Computation, Communication, and Cryptography 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers

2026-03-15T12:28:56Z

Author Dam, Wim. editor. Kendon, Vivien M. editor. Severini, Simone. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18073-6
Format: Electronic Resources
Availability Online Library~1

Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers

2026-03-15T12:28:56Z

Author Impagliazzo, John. editor. Proydakov, Eduard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22816-2
Format: Electronic Resources
Availability Online Library~1

Universal Semantic Communication

2026-03-15T12:28:56Z

Author Juba, Brendan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23297-8
Format: Electronic Resources
Availability Online Library~1

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

2026-03-15T12:28:56Z

Author Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23211-4
Format: Electronic Resources
Availability Online Library~1

Applied Informatics and Communication International Conference, ICAIC 2011,Xi’an, China, August 20-21, 2011, Proceedings, Part I

2026-03-15T12:28:56Z

Author Zeng, Dehuai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23214-5
Format: Electronic Resources
Availability Online Library~1

Applied Informatics and Communication International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part II

2026-03-15T12:28:56Z

Author Zeng, Dehuai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23220-6
Format: Electronic Resources
Availability Online Library~1

Applied Informatics and Communication International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part IV

2026-03-15T12:28:56Z

Author Zhang, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23226-8
Format: Electronic Resources
Availability Online Library~1

Applied Informatics and Communication International Conference, ICAIC 2011, Xi’ian, China, August 20-21, 2011. Proceedings, Part III

2026-03-15T12:28:56Z

Author Zhang, Jianwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23235-0
Format: Electronic Resources
Availability Online Library~1

Mobility in Process Calculi and Natural Computing

2026-03-15T12:28:56Z

Author Aman, Bogdan. author. Ciobanu, Gabriel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24867-2
Format: Electronic Resources
Availability Online Library~1

Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part II

2026-03-15T12:28:56Z

Author Liu, Chunfeng. editor. Chang, Jincai. editor. Yang, Aimin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27452-7
Format: Electronic Resources
Availability Online Library~1

Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part I

2026-03-15T12:28:56Z

Author Liu, Chunfeng. editor. Chang, Jincai. editor. Yang, Aimin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27503-6
Format: Electronic Resources
Availability Online Library~1

Computer Science The Hardware, Software and Heart of It

2026-03-15T12:28:56Z

Author Blum, Edward K. editor. Aho, Alfred V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1168-0
Format: Electronic Resources
Availability Online Library~1

Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I

2026-03-15T12:28:56Z

Author Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16336-4
Format: Electronic Resources
Availability Online Library~1

Applied Informatics and Communication International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part V

2026-03-15T12:28:56Z

Author Zhang, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23223-7
Format: Electronic Resources
Availability Online Library~1

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

2026-03-15T12:28:56Z

Author Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24130-7
Format: Electronic Resources
Availability Online Library~1

Theoretische Informatik Formale Sprachen, Berechenbarkeit, Komplexitätstheorie,Algorithmik, Kommunikation und Kryptographie

2026-03-15T12:28:56Z

Author Hromkovič, Juraj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9853-1
Format: Electronic Resources
Availability Online Library~1

Introduction to the Theory of Programming Languages

2026-03-15T12:28:56Z

Author Dowek, Gilles. author. Lévy, Jean-Jacques. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-076-2
Format: Electronic Resources
Availability Online Library~1

Proofs and Algorithms An Introduction to Logic and Computability

2026-03-15T12:28:56Z

Author Dowek, Gilles. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-121-9
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Computation Theory

2026-03-15T12:28:56Z

Author Maruoka, Akira. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-535-4
Format: Electronic Resources
Availability Online Library~1

Computability and Complexity Theory

2026-03-15T12:28:56Z

Author Homer, Steven. author. Selman, Alan L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-0682-2
Format: Electronic Resources
Availability Online Library~1

Geospatial Abduction Principles and Practice

2026-03-15T12:28:56Z

Author Shakarian, Paulo. author. Subrahmanian, V. S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1794-1
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Distributed Computing in Sensor Networks

2026-03-15T12:28:56Z

Author Nikoletseas, Sotiris. editor. Rolim, José D.P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14849-1
Format: Electronic Resources
Availability Online Library~1

Deterministic Extraction from Weak Random Sources

2026-03-15T12:28:56Z

Author Gabizon, Ariel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14903-0
Format: Electronic Resources
Availability Online Library~1

Cartesian Genetic Programming

2026-03-15T12:28:56Z

Author Miller, Julian F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17310-3
Format: Electronic Resources
Availability Online Library~1

Patterns in Permutations and Words

2026-03-15T12:28:56Z

Author Kitaev, Sergey. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17333-2
Format: Electronic Resources
Availability Online Library~1

Extremal Combinatorics With Applications in Computer Science

2026-03-15T12:28:56Z

Author Jukna, Stasys. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17364-6
Format: Electronic Resources
Availability Online Library~1

Search Computing Trends and Developments

2026-03-15T12:28:56Z

Author Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19668-3
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings

2026-03-15T12:28:56Z

Author Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20877-5
Format: Electronic Resources
Availability Online Library~1

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011. Proceedings

2026-03-15T12:28:56Z

Author Atallah, Mikhail. editor. Li, Xiang-Yang. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21204-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Rough Sets XIV

2026-03-15T12:28:56Z

Author Peters, James F. editor. Skowron, Andrzej. editor. Sakai, Hiroshi. editor. Chakraborty, Mihir Kumar. editor. Slezak, Dominik. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21563-6
Format: Electronic Resources
Availability Online Library~1

Apartness and Uniformity A Constructive Development

2026-03-15T12:28:56Z

Author Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22415-7
Format: Electronic Resources
Availability Online Library~1

Optical Supercomputing Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers

2026-03-15T12:28:56Z

Author Dolev, Shlomi. editor. Oltean, Mihai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22494-2
Format: Electronic Resources
Availability Online Library~1

Quantum Interaction 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers

2026-03-15T12:28:56Z

Author Song, Dawei. editor. Melucci, Massimo. editor. Frommholz, Ingo. editor. Zhang, Peng. editor. Wang, Lei. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24971-6
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice VIII

2026-03-15T12:28:56Z

Author Riolo, Rick. editor. McConaghy, Trent. editor. Vladislavleva, Ekaterina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7747-2
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice IX

2026-03-15T12:28:56Z

Author Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Moore, Jason H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1770-5
Format: Electronic Resources
Availability Online Library~1

Natural Computing 4th International Workshop on Natural Computing Himeji, Japan, September 2009 Proceedings

2026-03-15T12:28:56Z

Author Peper, F. editor. Umeo, H. editor. Matsui, N. editor. Isokawa, T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-4-431-53868-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Rough Sets XI

2026-03-15T12:28:56Z

Author Peters, James F. editor. Skowron, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11479-3
Format: Electronic Resources
Availability Online Library~1

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings

2026-03-15T12:28:56Z

Author Wu, Yanwen. editor. Luo, Qi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11618-6
Format: Electronic Resources
Availability Online Library~1

Search Computing Challenges and Directions

2026-03-15T12:28:56Z

Author Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12310-8
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings

2026-03-15T12:28:56Z

Author Kratochvíl, Jan. editor. Li, Angsheng. editor. Fiala, Jiří. editor. Kolman, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13562-0
Format: Electronic Resources
Availability Online Library~1