Search Results for Science -- Software.

Elements of software science

2026-02-12T04:44:11Z

Author Halstead, Maurice Howard, 1918-
Preferred Shelf Number QA 76.6 H3 1977
Format: Books
Availability Beytepe Library~2

Perspectives on data science for software engineering

2026-02-12T04:44:11Z

Author Menzies, Tim, editor. Williams, Laurie, 1962- editor. Zimmermann, Thomas, editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128042069
Format: Electronic Resources
Availability Online Library~1

Computing handbook : computer science and software engineering

2026-02-12T04:44:11Z

Author Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Diaz-Herrera, Jorge L., 1950- editor.
Preferred Shelf Number QA76 .C57315 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software engineering foundations : a software science perspective

2026-02-12T04:44:11Z

Author Wang, Yingxu., author.
Preferred Shelf Number QA76.758 .W375 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

2026-02-12T04:44:11Z

Author Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30829-1
Format: Electronic Resources
Availability Online Library~1

A Review on Recent Echocardiographic Software Advancing the Field through the Emerging Science

2026-02-12T04:44:11Z

Author Karvandi, Mersedeh. author. Ranjbar, Saeed. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29046-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1

2026-02-12T04:44:11Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35311-6
Format: Electronic Resources
Availability Online Library~1

Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2

2026-02-12T04:44:11Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-21438-7
Format: Electronic Resources
Availability Online Library~1

International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science

2026-02-12T04:44:11Z

Author Kacprzyk, Janusz. editor. Ezziyyani, Mostafa. editor. Balas, Valentina Emilia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26384-2
Format: Electronic Resources
Availability Online Library~1

Real-world software projects for computer science and engineering students

2026-02-12T04:44:11Z

Author Gupta, Varun, 1987- author. Nguyen-Duc, Anh (Software engineer), author.
Preferred Shelf Number QA76.6 .G86 2021
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003119883 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computing and Software Science State of the Art and Perspectives

2026-02-12T04:44:11Z

Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91908-9
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2026-02-12T04:44:11Z

Author Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17127-8
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 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-02-12T04:44:11Z

Author Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89366-2
Format: Electronic Resources
Availability Online Library~1

Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings

2026-02-12T04:44:11Z

Author Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145 Dagienė, Valentina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02750-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems

2026-02-12T04:44:11Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18473-9
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2026-02-12T04:44:11Z

Author Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-46678-0
Format: Electronic Resources
Availability Online Library~1

Design Science Methodology for Information Systems and Software Engineering

2026-02-12T04:44:11Z

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

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2026-02-12T04:44:11Z

Author Muscholl, Anca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54830-7
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-02-12T04:44:11Z

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

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

2026-02-12T04:44:11Z

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

A Short Course in Computational Science and Engineering C++, Java and Octave Numerical Programming with Free Software Tools

2026-02-12T04:44:11Z

Author Yevick, David.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning

2026-02-12T04:44:11Z

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

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2026-02-12T04:44:11Z

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

New Software Engineering Paradigm Based on Complexity Science An Introduction to NSE

2026-02-12T04:44:11Z

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

Computer Science The Hardware, Software and Heart of It

2026-02-12T04:44:11Z

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

Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers

2026-02-12T04:44:11Z

Author Sicilia, Miguel-Angel. editor. Kop, Christian. editor. Sartori, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16496-5
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2026-02-12T04:44:11Z

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

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2026-02-12T04:44:11Z

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

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

2026-02-12T04:44:11Z

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

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

2026-02-12T04:44:11Z

Author Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77050-3
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

2026-02-12T04:44:11Z

Author Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77505-8
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

2026-02-12T04:44:11Z

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

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

2026-02-12T04:44:11Z

Author Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11690634
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

2026-02-12T04:44:11Z

Author Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11944836
Format: Electronic Resources
Availability Online Library~1

The cognitive dynamics of computer science cost-effective large scale software development

2026-02-12T04:44:11Z

Author De Gyurky, Szabolcs Michael. Tarbell, Mark A. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

2026-02-12T04:44:11Z

Author Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104325
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2026-02-12T04:44:11Z

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

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

2026-02-12T04:44:11Z

Author Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11590156
Format: Electronic Resources
Availability Online Library~1

Foundations of software technology and theoretical computer science : 9th conference, Bangalore, India, December 19-21, 1989: proceedings

2026-02-12T04:44:11Z

Author Madhavan, C. E. Veni, ed. by.
Preferred Shelf Number QA 76.751 F68 1989
Format: Books
Availability Beytepe Library~1

Evolutionary large-scale multi-objective optimization and applications : integrating evolutionary computation, machine learning, and data science

2026-02-12T04:44:11Z

Author Zhang, Xingyi (Software engineer), author. Cheng, Ran (Computer scientist), author. Tian, Ye (Associate professor), author. Jin, Yaochu, 1966- author.
Preferred Shelf Number QA402.5 .Z4193 2024 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394178445
Format: Electronic Resources
Availability Online Library~1

Data science with semantic technologies. New trends and future developments

2026-02-12T04:44:11Z

Author Patel, Archana (Lecturer in software engineering), editor. Debnath, N. C. (Narayan C.), editor.
Preferred Shelf Number QA76.9 .B45
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003310785 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Data science with semantic technologies. Deployment and exploration

2026-02-12T04:44:11Z

Author Patel, Archana (Lecturer in software engineering), editor. Debnath, N. C. (Narayan C.), editor.
Preferred Shelf Number QA76.9 .B45
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003310792 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Basic statistics for life scientists : a concise handbook of essential techniques

2026-02-12T04:44:11Z

Author Tomek, Jakub, author. Eisner, David, 1955- author.
Preferred Shelf Number QH323.5 .T66 2026
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394284993
Format: Electronic Resources
Availability Online Library~1

Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems

2026-02-12T04:44:11Z

Author Hasuo, Ichiro editor Ishikawa, Fuyuki editor
Preferred Shelf Number QA76.9 .A25
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003093350 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

AI-based advanced optimization techniques for edge computing

2026-02-12T04:44:11Z

Author Mohit, Kumar, editor.
Preferred Shelf Number QA76.583 .A33 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394287062
Format: Electronic Resources
Availability Online Library~1

The data science handbook

2026-02-12T04:44:11Z

Author Cady, Field, 1984- author.
Preferred Shelf Number QA76.9 .D32 C33 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394234523
Format: Electronic Resources
Availability Online Library~1

Green computational intelligence : sustainable strategies and emerging technologies

2026-02-12T04:44:11Z

Author Pathak, Nitish, editor.
Preferred Shelf Number QA76.9 .E58 G74 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394383658
Format: Electronic Resources
Availability Online Library~1

Next-generation systems and secure computing

2026-02-12T04:44:11Z

Author Barman, Subhabrata, editor. Koley, Santanu, editor. Joardar, Subhankar, editor.
Preferred Shelf Number QA76.9 .A25 N49 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394228522
Format: Electronic Resources
Availability Online Library~1

Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi

2026-02-12T04:44:11Z

Author Arif, Tariq M., author. John Wiley & Sons, publisher.
Preferred Shelf Number Q325.73 .A75 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297
Format: Electronic Resources
Availability Online Library~1

Psychometrics, Test Theory, and the Latent Factors Model.

2026-02-12T04:44:11Z

Author Blahus, Pet. Blahus, Petr/Brown, Bruce L. Bunderson, C. Victor.
Preferred Shelf Number XX(600387.1)
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119312246
Format: Electronic Resources
Availability Online Library~1

Smart edge computing : an operation research perspective

2026-02-12T04:44:11Z

Author Chakraborty, Rajdeep, editor. Ghosh, Anupam, editor. Mandal, Jyotsna Kumar, editor. Choudhury, Tanupriya, editor. Chatterjee, Prasenjit, editor.
Preferred Shelf Number QA76.583
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277599
Format: Electronic Resources
Availability Online Library~1

Light sheet fluorescence microscopy

2026-02-12T04:44:11Z

Author Reynaud, Emmanuel G. editor. Tomancak, Pavel, editor.
Preferred Shelf Number QH212 .F55
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527803910
Format: Electronic Resources
Availability Online Library~1

Spatial computing : an AI-driven business revolution

2026-02-12T04:44:11Z

Author Hackl, Cathy, author. Cronin, Irena, author.
Preferred Shelf Number HD45 .H226 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394308538
Format: Electronic Resources
Availability Online Library~1

R-ticulate : a beginner's guide to data analysis for natural scientists

2026-02-12T04:44:11Z

Author Bader, Martin (Professor), author. Leuzinger, Sebastian, author.
Preferred Shelf Number Q183.9 .B33 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119717980
Format: Electronic Resources
Availability Online Library~1

Electromagnetic wave absorbing materials : fundamentals and applications

2026-02-12T04:44:11Z

Author Wu, Hongjing (Professor), editor. Luo, Jun (Professor of microelectronics), editor. Yang, Meiyin, editor.
Preferred Shelf Number QC182 .W8 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119699316
Format: Electronic Resources
Availability Online Library~1

Simulation techniques of digital twin in real-time applications : design modeling and implementation

2026-02-12T04:44:11Z

Author Anand, Abhineet, editor.
Preferred Shelf Number QA76.9 .C65 S56 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394257003
Format: Electronic Resources
Availability Online Library~1

Optimized computational intelligence driven decision-making : theory, application and challenges

2026-02-12T04:44:11Z

Preferred Shelf Number Q342 .O68 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242566
Format: Electronic Resources
Availability Online Library~1

Inventory of biodiversity today : new methods and discoveries

2026-02-12T04:44:11Z

Author Nicolas, Violaine, editor.
Preferred Shelf Number QH541.15 .B56 I58 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394316946
Format: Electronic Resources
Availability Online Library~1

Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?

2026-02-12T04:44:11Z

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

High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings

2026-02-12T04:44:11Z

Author Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32041-5
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII

2026-02-12T04:44:11Z

Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37126-4
Format: Electronic Resources
Availability Online Library~1

Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part II

2026-02-12T04:44:11Z

Author Goh, Dion H. editor. Chen, Shu-Jiun. editor. Tuarob, Suppawong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8088-8
Format: Electronic Resources
Availability Online Library~1

Data conscience : algorithmic siege on our humanity

2026-02-12T04:44:11Z

Author Marshall, Brandeis (Brandeis Hill), author. Gebru, Timnit, 1982 or 1983- writer of preface.
Preferred Shelf Number HM851 .M37263 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320721
Format: Electronic Resources
Availability Online Library~1

Robotic process automation

2026-02-12T04:44:11Z

Author Rawat, Romil, editor. Chakrawarti, Rajesh Kumar. Sarangi, Sanjaya Kumar. Choudhary, Rahul. Gadwal, Anand Singh.
Preferred Shelf Number T59.5 .R63 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394166954
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II

2026-02-12T04:44:11Z

Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-2446-2
Format: Electronic Resources
Availability Online Library~1

Linking Theory and Practice of Digital Libraries 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings

2026-02-12T04:44:11Z

Author Alonso, Omar. editor. Cousijn, Helena. editor. Silvello, Gianmaria. editor. Marrero, Mónica. editor. Teixeira Lopes, Carla. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43849-3
Format: Electronic Resources
Availability Online Library~1

Teaching Biostatistics in Medicine and Allied Health Sciences

2026-02-12T04:44:11Z

Author Farnell, Damian J. J. editor. Medeiros Mirra, Renata. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26010-0
Format: Electronic Resources
Availability Online Library~1

Education, Research and Business Technologies Proceedings of 21st International Conference on Informatics in Economy (IE 2022)

2026-02-12T04:44:11Z

Author Ciurea, Cristian. editor. Pocatilu, Paul. editor. Filip, Florin Gheorghe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-6755-9
Format: Electronic Resources
Availability Online Library~1

Sustainable Design and Manufacturing Proceedings of the 9th International Conference on Sustainable Design and Manufacturing (SDM 2022)

2026-02-12T04:44:11Z

Author Scholz, Steffen G. editor. Howlett, Robert J. editor. Setchi, Rossi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9205-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022

2026-02-12T04:44:11Z

Author Shakya, Subarna. editor. Balas, Valentina Emilia. editor. Haoxiang, Wang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-7874-6
Format: Electronic Resources
Availability Online Library~1

Springer Handbook of Augmented Reality

2026-02-12T04:44:11Z

Author Nee, Andrew Yeh Ching. editor. Ong, Soh Khim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-67822-7
Format: Electronic Resources
Availability Online Library~1

Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers

2026-02-12T04:44:11Z

Author Pesado, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34147-2
Format: Electronic Resources
Availability Online Library~1

Emerging Trends in Cybersecurity Applications

2026-02-12T04:44:11Z

Author Daimi, Kevin. editor. Alsadoon, Abeer. editor. Peoples, Cathryn. editor. El Madhoun, Nour. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-09640-2
Format: Electronic Resources
Availability Online Library~1

Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedings

2026-02-12T04:44:11Z

Author Nurcan, Selmin. editor. Opdahl, Andreas L. editor. Mouratidis, Haralambos. editor. Tsohou, Aggeliki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33080-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings

2026-02-12T04:44:11Z

Author Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36336-8
Format: Electronic Resources
Availability Online Library~1

Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I

2026-02-12T04:44:11Z

Author Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5968-6
Format: Electronic Resources
Availability Online Library~1

Technologies and Innovation 9th International Conference, CITI 2023, Guayaquil, Ecuador, November 13-16, 2023, Proceedings

2026-02-12T04:44:11Z

Author Valencia-García, Rafael. editor. Bucaram-Leverone, Martha. editor. Del Cioppo-Morstadt, Javier. editor. Vera-Lucio, Néstor. editor. Centanaro-Quiroz, Pablo Humberto. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45682-4
Format: Electronic Resources
Availability Online Library~1

Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers

2026-02-12T04:44:11Z

Author Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36889-9
Format: Electronic Resources
Availability Online Library~1

IoT product design and development : best practices for industrial, consumer, and business applications

2026-02-12T04:44:11Z

Author Fattahi, Ahmad, author.
Preferred Shelf Number TK5105.8857 .F384 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119787686
Format: Electronic Resources
Availability Online Library~1

Clinical applications of digital dental technology

2026-02-12T04:44:11Z

Author Masri, Radi, 1975- editor. Driscoll, Carl F., editor.
Preferred Shelf Number RK309 .C55 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119800613
Format: Electronic Resources
Availability Online Library~1

Advances in data science and analytics : concepts and paradigms

2026-02-12T04:44:11Z

Author Niranjanamurthy, M., editor. Gianey, Hemant Kumar, editor. Gandomi, Amir H., editor.
Preferred Shelf Number QA76.9 .D343 A38 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119792826
Format: Electronic Resources
Availability Online Library~1

Deep learning : from big data to artificial intelligence with R

2026-02-12T04:44:11Z

Author Tuffery, Stéphane, author.
Preferred Shelf Number Q325.73 .T84 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119845041
Format: Electronic Resources
Availability Online Library~1

Gamification for resilience : resilient informed decision-making

2026-02-12T04:44:11Z

Author Gheorghe, Adrian V., author. Katina, Polinpapilinho F., author.
Preferred Shelf Number HT166 .G487 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394157778
Format: Electronic Resources
Availability Online Library~1

Handbook of computational sciences : a multi and interdisciplinary approach

2026-02-12T04:44:11Z

Author Elngar, Ahmed A., editor.
Preferred Shelf Number QA76 .H36 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119763468
Format: Electronic Resources
Availability Online Library~1

Handbook of software fault localization : foundations and advances

2026-02-12T04:44:11Z

Author Wong, W. Eric, editor. Tse, T. H., editor. John Wiley & Sons, publisher.
Preferred Shelf Number QA76.76 .F34 H36 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119880929
Format: Electronic Resources
Availability Online Library~1

The absence of soulware in higher education.

2026-02-12T04:44:11Z

Author Kuo, Way, 1951- author.
Preferred Shelf Number LA1133 .K86 2023 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175666
Format: Electronic Resources
Availability Online Library~1

UML DIAGRAMMING a catalog of cases.

2026-02-12T04:44:11Z

Author Sundaramoorthy, Suriya, author.
Preferred Shelf Number QA76.6
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003287124 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Semantic web for effective healthcare systems

2026-02-12T04:44:11Z

Author Jain, Vishal, editor.
Preferred Shelf Number TK5105.88815
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119764175
Format: Electronic Resources
Availability Online Library~1

Fundamentals and methods of machine and deep learning : algorithms, tools and applications

2026-02-12T04:44:11Z

Author Singh, Pradeep, editor.
Preferred Shelf Number Q325.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821908
Format: Electronic Resources
Availability Online Library~1

Multiscale modelling and optimization of materials and structures

2026-02-12T04:44:11Z

Author Burczyński, Tadeusz, author.
Preferred Shelf Number QA76.9 .C65 B86 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781118536445
Format: Electronic Resources
Availability Online Library~1

Digital dentistry : a step-by-step guide and case atlas

2026-02-12T04:44:11Z

Author Cortes, Arthur R. G. (Rodriguez Gonzalez), 1983- editor.
Preferred Shelf Number RK240 .D54 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119852025
Format: Electronic Resources
Availability Online Library~1

Advanced analytics and deep learning models

2026-02-12T04:44:11Z

Author Mire, Archana, editor. Malik, Shaveta, editor. Tyagi, Amit Kumar, editor.
Preferred Shelf Number Q325.73 .A38 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119792437
Format: Electronic Resources
Availability Online Library~1

Social network analysis : theory and applications

2026-02-12T04:44:11Z

Author Galety, Mohammad Gouse, editor.
Preferred Shelf Number HM742 .S63 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119836759
Format: Electronic Resources
Availability Online Library~1

Computer science security : concepts and tools

2026-02-12T04:44:11Z

Author Zaidoun, Ameur Salem, author.
Preferred Shelf Number QA76.9 .A25 Z35 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163847
Format: Electronic Resources
Availability Online Library~1

Earth observation using Python : a practical programming guide

2026-02-12T04:44:11Z

Author Esmaili, Rebekah Bradley, author.
Preferred Shelf Number QE48.8 .E85 2021
Electronic Access https://agupubs.onlinelibrary.wiley.com/doi/book/10.1002/9781119606925
Format: Electronic Resources
Availability Online Library~1

Designing big data platforms : how to use, deploy, and maintain big data systems

2026-02-12T04:44:11Z

Author Aytas, Yusuf.
Preferred Shelf Number QA76.9 .B45
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119690962
Format: Electronic Resources
Availability Online Library~1

Planning and executing credible experiments : a guidebook for engineering, science, industrial processes, agriculture, and business

2026-02-12T04:44:11Z

Author Moffat, R. J., author. Henk, Roy W., author.
Preferred Shelf Number QA279 .M64 2020 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119532828
Format: Electronic Resources
Availability Online Library~1

C++ template metaprogramming in practice a deep learning framework

2026-02-12T04:44:11Z

Author Wei, Li.
Preferred Shelf Number QA76.73 .C153
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003102311 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Machine learning for iOS developers

2026-02-12T04:44:11Z

Author Mishra, Abhishek, author.
Preferred Shelf Number Q325.5 .M57 2020
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119602927
Format: Electronic Resources
Availability Online Library~1

TORUS 1 -- toward an open resource using services : cloud computing for environmental data

2026-02-12T04:44:11Z

Author Laffly, Dominique.
Preferred Shelf Number QA76.585
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119720492
Format: Electronic Resources
Availability Online Library~1

TORUS 3 -- Toward an open resource using services : cloud computing for environmental data

2026-02-12T04:44:11Z

Author Laffly, Dominique.
Preferred Shelf Number QA76.585
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119720522
Format: Electronic Resources
Availability Online Library~1

TORUS 2 -- toward an open resource using services : cloud computing for environmental data

2026-02-12T04:44:11Z

Author Laffly, Dominique.
Preferred Shelf Number QA76.585
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119720553
Format: Electronic Resources
Availability Online Library~1

Technology in forensic science : sampling, analysis, data and regulations

2026-02-12T04:44:11Z

Author Rawtani, Deepak. Hussain, Chaudhery Mustansar.
Preferred Shelf Number HV8073
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527827688
Format: Electronic Resources
Availability Online Library~1

Applied numerical methods using MATLAB®

2026-02-12T04:44:11Z

Author Yang, Wŏn-yŏng, 1953- author. Cao, Wenwu, author. Kim, Jaekwon, 1972- author. Park, Kyung W., 1976- author. Park, Ho Hyun, 1964- author.
Preferred Shelf Number QA297 .Y36 2020
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119626879
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I

2026-02-12T04:44:11Z

Author Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26948-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III

2026-02-12T04:44:11Z

Author Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26954-8
Format: Electronic Resources
Availability Online Library~1

Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings

2026-02-12T04:44:11Z

Author Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750 Suoranta, Mari. editor. (orcid)0000-0002-3849-4902 Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Tyrväinen, Pasi. editor. (orcid)0000-0001-7716-3244 Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33742-1
Format: Electronic Resources
Availability Online Library~1

Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings

2026-02-12T04:44:11Z

Author Bordeleau, Francis. editor. Sillitti, Alberto. editor. Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20883-7
Format: Electronic Resources
Availability Online Library~1

Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajji

2026-02-12T04:44:11Z

Author Carlet, Claude. editor. Guilley, Sylvain. editor. (orcid)0000-0002-5044-3534 Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Souidi, El Mamoun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16458-4
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers

2026-02-12T04:44:11Z

Author Goldberg, Ian. editor. Moore, Tyler. editor. (orcid)0000-0002-8771-8191 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32101-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II

2026-02-12T04:44:11Z

Author Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26951-7
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings

2026-02-12T04:44:11Z

Author Catania, Barbara. editor. (orcid)0000-0002-6443-169X Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Nawrocki, Jerzy. editor. Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-10801-4
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III

2026-02-12T04:44:11Z

Author Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17659-4
Format: Electronic Resources
Availability Online Library~1

Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papers

2026-02-12T04:44:11Z

Author Mirto, Ignazio Mauro. editor. Monteleone, Mario. editor. Silberztein, Max. editor. (orcid)0000-0003-0930-6463 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-10868-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part II

2026-02-12T04:44:11Z

Author Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17656-3
Format: Electronic Resources
Availability Online Library~1

Cryptology and Network Security 18th International Conference, CANS 2019, Fuzhou, China, October 25–27, 2019, Proceedings

2026-02-12T04:44:11Z

Author Mu, Yi. editor. (orcid)0000-0002-1637-845X Deng, Robert H. editor. (orcid)0000-0003-3491-8146 Huang, Xinyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31578-8
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

2026-02-12T04:44:11Z

Author Lange, Tanja. editor. Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25283-0
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

2026-02-12T04:44:11Z

Author Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28005-5
Format: Electronic Resources
Availability Online Library~1

Design technology of synthetic aperture radar

2026-02-12T04:44:11Z

Author Lu, Jiaguo, 1964- author.
Preferred Shelf Number TK6592 .S95 L83 2019
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119564621
Format: Electronic Resources
Availability Online Library~1

Materials Informatics : Methods, Tools, and Applications

2026-02-12T04:44:11Z

Author Isayev, Olexandr. Tropsha, Alex. Curtarolo, S. (Stefano)
Preferred Shelf Number QD905.2
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527802265
Format: Electronic Resources
Availability Online Library~1

Panel data econometrics with R

2026-02-12T04:44:11Z

Author Croissant, Yves, 1969- author. Millo, Giovanni, 1970- author.
Preferred Shelf Number HB139
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119504641
Format: Electronic Resources
Availability Online Library~1

Biomolecular simulations in structure-based drug discovery

2026-02-12T04:44:11Z

Author Gervasio, Francesco L., editor. Spiwok, Vojtech, editor.
Preferred Shelf Number RM301.3 .G45
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527806836
Format: Electronic Resources
Availability Online Library~1

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

2026-02-12T04:44:11Z

Author Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7844-6
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2026-02-12T04:44:11Z

Author Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888 Antunes, Luis. editor. (orcid)0000-0002-8237-6524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91587-6
Format: Electronic Resources
Availability Online Library~1

Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers

2026-02-12T04:44:11Z

Author Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Spagnolli, Anna. editor. Blankertz, Benjamin. editor. Gamberini, Luciano. editor. Jacucci, Giulio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91593-7
Format: Electronic Resources
Availability Online Library~1

Web Engineering 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings

2026-02-12T04:44:11Z

Author Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Klamma, Ralf. editor. (orcid)0000-0002-2296-3401 Hernández, Juan. editor. (orcid)0000-0002-6343-7395 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91662-0
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part I

2026-02-12T04:44:11Z

Author Abdalla, Michel. editor. (orcid)0000-0002-2447-4329 Dahab, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76578-5
Format: Electronic Resources
Availability Online Library~1

Smart Objects and Technologies for Social Good Third International Conference, GOODTECHS 2017, Pisa, Italy, November 29-30, 2017, Proceedings

2026-02-12T04:44:11Z

Author Guidi, Barbara. editor. Ricci, Laura. editor. Calafate, Carlos. editor. Gaggi, Ombretta. editor. Marquez-Barja, Johann. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76111-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Mobile Services – AIMS 2018 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

2026-02-12T04:44:11Z

Author Aiello, Marco. editor. Yang, Yujiu. editor. Zou, Yuexian. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94361-9
Format: Electronic Resources
Availability Online Library~1

Emerging Technologies for Developing Countries First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings

2026-02-12T04:44:11Z

Author Belqasmi, Fatna. editor. Harroud, Hamid. editor. Agueh, Max. editor. Dssouli, Rachida. editor. Kamoun, Faouzi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67837-5
Format: Electronic Resources
Availability Online Library~1

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig

2026-02-12T04:44:11Z

Author Heckel, Reiko. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75396-6
Format: Electronic Resources
Availability Online Library~1

Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings

2026-02-12T04:44:11Z

Author Mokhtari, Mounir. editor. Abdulrazak, Bessam. editor. Aloulou, Hamdi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94523-1
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability: Designing Interactions 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-02-12T04:44:11Z

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

Design, User Experience, and Usability: Theory and Practice 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2026-02-12T04:44:11Z

Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91797-9
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

2026-02-12T04:44:11Z

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

Fog Computing Concepts, Frameworks and Technologies

2026-02-12T04:44:11Z

Author Mahmood, Zaigham. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94890-4
Format: Electronic Resources
Availability Online Library~1

Security in Computer and Information Sciences First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers

2026-02-12T04:44:11Z

Author Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201 Campegiani, Paolo. editor. Czachórski, Tadeusz. editor. Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Komnios, Ioannis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95189-8
Format: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

2026-02-12T04:44:11Z

Author Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01081-2
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings

2026-02-12T04:44:11Z

Author Iklé, Matthew. editor. Franz, Arthur. editor. Rzepka, Rafal. editor. Goertzel, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97676-1
Format: Electronic Resources
Availability Online Library~1

Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings

2026-02-12T04:44:11Z

Author de Supinski, Bronis R. editor. Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310 Martorell, Xavier. editor. Mateo Bellido, Sergi. editor. Labarta, Jesus. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98521-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 III

2026-02-12T04:44:11Z

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

Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings

2026-02-12T04:44:11Z

Author Lange, Tanja. editor. Steinwandt, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-79063-3
Format: Electronic Resources
Availability Online Library~1

Security and Cryptography for Networks 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings

2026-02-12T04:44:11Z

Author Catalano, Dario. editor. De Prisco, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98113-0
Format: Electronic Resources
Availability Online Library~1

Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II

2026-02-12T04:44:11Z

Author Miesenberger, Klaus. editor. Kouroupetroglou, Georgios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94274-2
Format: Electronic Resources
Availability Online Library~1

Programming with Actors State-of-the-Art and Research Perspectives

2026-02-12T04:44:11Z

Author Ricci, Alessandro. editor. Haller, Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00302-9
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III

2026-02-12T04:44:11Z

Author Shacham, Hovav. editor. Boldyreva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96878-0
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

2026-02-12T04:44:11Z

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

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

2026-02-12T04:44:11Z

Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99639-4
Format: Electronic Resources
Availability Online Library~1

Collaborative Networks of Cognitive Systems 19th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2018, Cardiff, UK, September 17-19, 2018, Proceedings

2026-02-12T04:44:11Z

Author Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000 Rezgui, Yacine. editor. (orcid)0000-0002-5711-8400 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99127-6
Format: Electronic Resources
Availability Online Library~1

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2026-02-12T04:44:11Z

Author Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00359-3
Format: Electronic Resources
Availability Online Library~1

Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings

2026-02-12T04:44:11Z

Author Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 Cobb, Sue. editor. (orcid)0000-0002-4600-6235 Interrante, Victoria. editor. (orcid)0000-0002-3313-6663 kato, Hirokazu. editor. Stricker, Didier. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01790-3
Format: Electronic Resources
Availability Online Library~1

Handbook of Dynamic Data Driven Applications Systems

2026-02-12T04:44:11Z

Author Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95504-9
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies for Ageing Well and e-Health Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers

2026-02-12T04:44:11Z

Author Röcker, Carsten. editor. O’Donoghue, John. editor. Ziefle, Martina. editor. Maciaszek, Leszek. editor. Molloy, William. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93644-4
Format: Electronic Resources
Availability Online Library~1

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

2026-02-12T04:44:11Z

Author Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76953-0
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part I

2026-02-12T04:44:11Z

Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78381-9
Format: Electronic Resources
Availability Online Library~1

Mobile Networks and Management 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedings

2026-02-12T04:44:11Z

Author Hu, Jiankun. editor. Khalil, Ibrahim. editor. Tari, Zahir. editor. Wen, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90775-8
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part II

2026-02-12T04:44:11Z

Author Abdalla, Michel. editor. (orcid)0000-0002-2447-4329 Dahab, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76581-5
Format: Electronic Resources
Availability Online Library~1

Computer Security ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers

2026-02-12T04:44:11Z

Author Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lambrinoudakis, Costas. editor. Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72817-9
Format: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

2026-02-12T04:44:11Z

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

Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

2026-02-12T04:44:11Z

Author Liu, Peng. editor. Mauw, Sjouke. editor. Stolen, Ketil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74860-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 II

2026-02-12T04:44:11Z

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-03329-3
Format: Electronic Resources
Availability Online Library~1

Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings

2026-02-12T04:44:11Z

Author Baek, Joonsang. editor. Susilo, Willy. editor. Kim, Jongkil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01446-9
Format: Electronic Resources
Availability Online Library~1

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2026-02-12T04:44:11Z

Author Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2423-9
Format: Electronic Resources
Availability Online Library~1

Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings

2026-02-12T04:44:11Z

Author Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99972-2
Format: Electronic Resources
Availability Online Library~1

Web and Big Data APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 23–25, 2018, Revised Selected Papers

2026-02-12T04:44:11Z

Author U, Leong Hou. editor. Xie, Haoran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01298-4
Format: Electronic Resources
Availability Online Library~1

Cryptology and Network Security 16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papers

2026-02-12T04:44:11Z

Author Capkun, Srdjan. editor. Chow, Sherman S. M. editor. (orcid)0000-0001-7306-453X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02641-7
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2026-02-12T04:44:11Z

Author Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00151-3
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-02-12T04:44:11Z

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

Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings

2026-02-12T04:44:11Z

Author Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00560-3
Format: Electronic Resources
Availability Online Library~1

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

2026-02-12T04:44:11Z

Author Rusu, Vlad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99840-4
Format: Electronic Resources
Availability Online Library~1

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

2026-02-12T04:44:11Z

Author Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00801-7
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-02-12T04:44:11Z

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

Cryptology and Network Security 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedings

2026-02-12T04:44:11Z

Author Camenisch, Jan. editor. (orcid)0000-0001-6654-9459 Papadimitratos, Panos. editor. (orcid)0000-0002-3267-5374 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00434-7
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

2026-02-12T04:44:11Z

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

Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

2026-02-12T04:44:11Z

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

Persuasive Technology 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018, Proceedings

2026-02-12T04:44:11Z

Author Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Karapanos, Evangelos. editor. (orcid)0000-0001-5910-4996 Morita, Plinio P. editor. (orcid)0000-0001-9515-6478 Burns, Catherine M. editor. (orcid)0000-0002-6182-958X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78978-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II

2026-02-12T04:44:11Z

Author Shacham, Hovav. editor. Boldyreva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96881-0
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-02-12T04:44:11Z

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

Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers

2026-02-12T04:44:11Z

Author Medina, Manel. editor. Mitrakas, Andreas. editor. Rannenberg, Kai. editor. Schweighofer, Erich. editor. Tsouroulas, Nikolaos. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02547-2
Format: Electronic Resources
Availability Online Library~1

Introduction to Programming with Fortran

2026-02-12T04:44:11Z

Author Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75502-1
Format: Electronic Resources
Availability Online Library~1

Web Content Credibility

2026-02-12T04:44:11Z

Author Wierzbicki, Adam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77794-8
Format: Electronic Resources
Availability Online Library~1

Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2026-02-12T04:44:11Z

Author Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92141-9
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part I

2026-02-12T04:44:11Z

Author Shacham, Hovav. editor. Boldyreva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96884-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III

2026-02-12T04:44:11Z

Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78372-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part II

2026-02-12T04:44:11Z

Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78375-8
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2026-02-12T04:44:11Z

Author Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89719-6
Format: Electronic Resources
Availability Online Library~1

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

2026-02-12T04:44:11Z

Author Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91397-1
Format: Electronic Resources
Availability Online Library~1

Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-02-12T04:44:11Z

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

Implementing Reproducible Research

2026-02-12T04:44:11Z

Author Stodden, Victoria , editor. Leisch, Friedrich, editor. Peng, Roger D., editor. Taylor and Francis.
Preferred Shelf Number Q180.55 .S7
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Emergent behavior in complex systems engineering : a modeling and simulation approach

2026-02-12T04:44:11Z

Author Mittal, Saurabh, editor. Diallo, Saikou Y., editor. Tolk, Andreas, editor.
Preferred Shelf Number TA168 .E53 2018
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119378952
Format: Electronic Resources
Availability Online Library~1

Understanding color management

2026-02-12T04:44:11Z

Author Sharma, Abhay, author.
Preferred Shelf Number TA1637
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119223702
Format: Electronic Resources
Availability Online Library~1

The scaled boundary finite element method : introduction to theory and implementation

2026-02-12T04:44:11Z

Author Song, Chongmin, author.
Preferred Shelf Number QC20.7 .F56
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119388487
Format: Electronic Resources
Availability Online Library~1

Social engineering : the science of human hacking

2026-02-12T04:44:11Z

Author Hadnagy, Christopher, author.
Preferred Shelf Number HM668 .H33 2018
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119433729
Format: Electronic Resources
Availability Online Library~1

Solving partial differential equation applications with PDE2D

2026-02-12T04:44:11Z

Author Sewell, Granville, author.
Preferred Shelf Number QA377 .S4643 2018
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119507918
Format: Electronic Resources
Availability Online Library~1

Quantifying uncertainty in subsurface systems

2026-02-12T04:44:11Z

Author Scheidt, Celine, author. Li, Lewis, author. Caers, Jef, author.
Preferred Shelf Number QE33.2 .S82 S34 2018 EB
Electronic Access https://agupubs.onlinelibrary.wiley.com/doi/book/10.1002/9781119325888
Format: Electronic Resources
Availability Online Library~1

The data science handbook

2026-02-12T04:44:11Z

Author Cady, Field, 1984- author.
Preferred Shelf Number QA76.9 .D32
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119092919
Format: Electronic Resources
Availability Online Library~1

Theory and applications of image registration

2026-02-12T04:44:11Z

Author Goshtasby, Ardeshir, author.
Preferred Shelf Number TA1632
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119171744
Format: Electronic Resources
Availability Online Library~1

The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics

2026-02-12T04:44:11Z

Author Tolk, Andreas, editor. Ören, Tuncer I., editor.
Preferred Shelf Number QA10.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091
Format: Electronic Resources
Availability Online Library~1

Dictionary of Computer Science, Engineering and Technology

2026-02-12T04:44:11Z

Author Laplante, Philip A., editor., author.
Preferred Shelf Number QA76.15 L375 2017
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Big data and differential privacy : analysis strategies for railway track engineering

2026-02-12T04:44:11Z

Author Attoh-Okine, Nii O., author.
Preferred Shelf Number TF241 .A88 2017
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119229070
Format: Electronic Resources
Availability Online Library~1

Real-time embedded systems

2026-02-12T04:44:11Z

Author Wang, Jiacun, 1963- author.
Preferred Shelf Number TK7895 .E42
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712
Format: Electronic Resources
Availability Online Library~1

Technicity vs scientificity

2026-02-12T04:44:11Z

Author Anichini, Giulia, author. Carraro, Flavia, author. Geslin, Philippe, author. Guille-Escuret, G. (Georges), author.
Preferred Shelf Number Q175
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119406242
Format: Electronic Resources
Availability Online Library~1

Applied univariate, bivariate, and multivariate statistics

2026-02-12T04:44:11Z

Author Denis, Daniel J., 1974-
Preferred Shelf Number QA279
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119583004
Format: Electronic Resources
Availability Online Library~1

The Impact of Pen and Touch Technology on Education

2026-02-12T04:44:11Z

Author Hammond, Tracy. editor. Valentine, Stephanie. editor. Adler, Aaron. editor. Payton, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15594-4
Format: Electronic Resources
Availability Online Library~1

Creativity in Intelligent Technologies and Data Science First Conference, CIT&DS 2015, Volgograd, Russia, September 15-17, 2015. Proceedings

2026-02-12T04:44:11Z

Author Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Shabalina, Olga. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23766-4
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings

2026-02-12T04:44:11Z

Author Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-46078-8
Format: Electronic Resources
Availability Online Library~1

Handbook of Unmanned Aerial Vehicles

2026-02-12T04:44:11Z

Author Valavanis, Kimon P. editor. Vachtsevanos, George J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-90-481-9707-1
Format: Electronic Resources
Availability Online Library~1

Progress in Systems Engineering Proceedings of the Twenty-Third International Conference on Systems Engineering

2026-02-12T04:44:11Z

Author Selvaraj, Henry. editor. Zydek, Dawid. editor. Chmaj, Grzegorz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08422-0
Format: Electronic Resources
Availability Online Library~1

Handbook on Data Centers

2026-02-12T04:44:11Z

Author Khan, Samee U. editor. Zomaya, Albert Y. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-2092-1
Format: Electronic Resources
Availability Online Library~1

Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings

2026-02-12T04:44:11Z

Author Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19237-6
Format: Electronic Resources
Availability Online Library~1

Computer Analysis of Images and Patterns 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II

2026-02-12T04:44:11Z

Author Azzopardi, George. editor. Petkov, Nicolai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23117-4
Format: Electronic Resources
Availability Online Library~1

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

2026-02-12T04:44:11Z

Author Elleithy, Khaled. editor. Sobh, Tarek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06764-3
Format: Electronic Resources
Availability Online Library~1

Practical cryptography : algorithms and implementations using C++

2026-02-12T04:44:11Z

Author Azad, Saiful, editor. Pathan, Al-Sakib Khan, editor.
Preferred Shelf Number QA76.9 .A25 P725 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Ad-hoc, Mobile, and Wireless Networks 13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 Proceedings

2026-02-12T04:44:11Z

Author Guo, Song. editor. Mauri, Jaime Lloret. editor. Manzoni, Pietro. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07425-2
Format: Electronic Resources
Availability Online Library~1

The Cambridge handbook of the learning sciences

2026-02-12T04:44:11Z

Author Sawyer, R. Keith (Robert Keith), editor.
Preferred Shelf Number LB1060 .C35 2014
Electronic Access https://doi.org/10.1017/CBO9781139519526
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedings

2026-02-12T04:44:11Z

Author Barafort, Béatrix. editor. O'Connor, Rory V. editor. Poth, Alexander. editor. (orcid)0000-0002-2868-5633 Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43896-1
Format: Electronic Resources
Availability Online Library~1

Multiple Access Communications 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014, Proceedings

2026-02-12T04:44:11Z

Author Jonsson, Magnus. editor. Vinel, Alexey. editor. Bellalta, Boris. editor. Belyaev, Evgeny. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10262-7
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings

2026-02-12T04:44:11Z

Author Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04897-0
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement and Capability Determination 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014. Proceedings

2026-02-12T04:44:11Z

Author Mitasiunas, Antanas. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13036-1
Format: Electronic Resources
Availability Online Library~1

Bayesian networks for probabilistic inference and decision analysis in forensic science

2026-02-12T04:44:11Z

Author Taroni, Franco, author. Biedermann, Alex, author. Bozza, Silvia, author. Garbolino, Paolo, 1955- author. Aitken, C. G. G., author.
Preferred Shelf Number ONLINE(342015.1)
Electronic Access Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/9781118914762 Wiley Online Library http://onlinelibrary.wiley.com/book/10.1002/9781118914762 Volltext http://proquest.tech.safaribooksonline.de/9781118914748
Format: Electronic Resources
Availability Online Library~1

Novel techniques in sensory characterization and consumer profiling

2026-02-12T04:44:11Z

Author Varela Tomasco, Paula, editor. Ares, Gaston, editor.
Preferred Shelf Number TX546 .N69 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Technologies for smart sensors and sensor fusion

2026-02-12T04:44:11Z

Author Yallup, Kevin, editor. Iniewski, Krzysztof, editor.
Preferred Shelf Number TK7872 .D48 T43 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

An architectural approach to level design

2026-02-12T04:44:11Z

Author Totten, Christopher W., author.
Preferred Shelf Number QA76.76 .C672 T679 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Computational Mathematics in Engineering and Applied Science : ODEs, DAEs, and PDEs

2026-02-12T04:44:11Z

Author Schiesser, W.E., author.
Preferred Shelf Number TA347 .D45 S354 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Ontology-Driven Software Development

2026-02-12T04:44:11Z

Author Pan, Jeff Z. editor. Staab, Steffen. editor. Aßmann, Uwe. editor. Ebert, Jürgen. editor. Zhao, Yuting. editor.
Preferred Shelf Number ONLINE(333408.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-31226-7
Format: Electronic Resources
Availability Online Library~1

Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development

2026-02-12T04:44:11Z

Author Trendowicz, Adam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333358.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-30764-5
Format: Electronic Resources
Availability Online Library~1

Introduction to Cryptography with Maple

2026-02-12T04:44:11Z

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

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

2026-02-12T04:44:11Z

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

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology & Computing Intelligence

2026-02-12T04:44:11Z

Author Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333859.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34522-7
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology

2026-02-12T04:44:11Z

Author Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333860.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34528-9
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Software Engineering & Digital Media Technology

2026-02-12T04:44:11Z

Author Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333861.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34531-9
Format: Electronic Resources
Availability Online Library~1

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

2026-02-12T04:44:11Z

Author Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334014.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35632-2
Format: Electronic Resources
Availability Online Library~1

Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

2026-02-12T04:44:11Z

Author Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334033.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35702-2
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

2026-02-12T04:44:11Z

Author Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334034.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35705-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2026-02-12T04:44:11Z

Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334055.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

2026-02-12T04:44:11Z

Author Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Preferred Shelf Number ONLINE(334064.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35843-2
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

2026-02-12T04:44:11Z

Author Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334069.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35861-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

2026-02-12T04:44:11Z

Author Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334077.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35887-6
Format: Electronic Resources
Availability Online Library~1

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

2026-02-12T04:44:11Z

Author Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334096.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35992-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures

2026-02-12T04:44:11Z

Author Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334109.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36054-1
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2026-02-12T04:44:11Z

Author Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334120.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Electronic Resources
Availability Online Library~1

Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach

2026-02-12T04:44:11Z

Author Jörges, Sven. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334129.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36127-2
Format: Electronic Resources
Availability Online Library~1

Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

2026-02-12T04:44:11Z

Author Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334142.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36177-7
Format: Electronic Resources
Availability Online Library~1

Systems and Software Variability Management Concepts, Tools and Experiences

2026-02-12T04:44:11Z

Author Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334240.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36583-6
Format: Electronic Resources
Availability Online Library~1

Web Information Systems and Technologies 8th International Conference, WEBIST 2012, Porto, Portugal, April 18-21, 2012, Revised Selected Papers

2026-02-12T04:44:11Z

Author Cordeiro, José. editor. Krempels, Karl-Heinz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334245.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36608-6
Format: Electronic Resources
Availability Online Library~1

Domain Engineering Product Lines, Languages, and Conceptual Models

2026-02-12T04:44:11Z

Author Reinhartz-Berger, Iris. editor. Sturm, Arnon. editor. Clark, Tony. editor. Cohen, Sholom. editor. Bettin, Jorn. editor.
Preferred Shelf Number ONLINE(334257.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36654-3
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-02-12T04:44:11Z

Author Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334278.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36742-7
Format: Electronic Resources
Availability Online Library~1

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

2026-02-12T04:44:11Z

Author Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.
Preferred Shelf Number ONLINE(334280.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36751-9
Format: Electronic Resources
Availability Online Library~1

S-BPM ONE - Running Processes 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedings

2026-02-12T04:44:11Z

Author Fischer, Herbert. editor. Schneeberger, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334281.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36754-0
Format: Electronic Resources
Availability Online Library~1

TV-Anytime Paving the Way for Personalized TV

2026-02-12T04:44:11Z

Author Gil Solla, Alberto. author. Sotelo Bovino, Rafael G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334285.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36766-3
Format: Electronic Resources
Availability Online Library~1

Seminal Contributions to Information Systems Engineering 25 Years of CAiSE

2026-02-12T04:44:11Z

Author Bubenko, Janis. editor. Krogstie, John. editor. Pastor, Oscar. editor. Pernici, Barbara. editor. Rolland, Colette. editor.
Preferred Shelf Number ONLINE(334324.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36926-1
Format: Electronic Resources
Availability Online Library~1

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

2026-02-12T04:44:11Z

Author Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334327.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36946-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development X

2026-02-12T04:44:11Z

Author Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334333.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36964-3
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-02-12T04:44:11Z

Author Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334348.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37036-6
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-02-12T04:44:11Z

Author Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334353.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37051-9
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-02-12T04:44:11Z

Author Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334354.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37057-1
Format: Electronic Resources
Availability Online Library~1

Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers

2026-02-12T04:44:11Z

Author Garcia-Alfaro, Joaquin. editor. Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. Miri, Ali. editor. Tawbi, Nadia. editor.
Preferred Shelf Number ONLINE(334365.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37119-6
Format: Electronic Resources
Availability Online Library~1

Policies and Research in Identity Management Third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013. Proceedings

2026-02-12T04:44:11Z

Author Fischer-Hübner, Simone. editor. Leeuw, Elisabeth. editor. Mitchell, Chris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334399.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37282-7
Format: Electronic Resources
Availability Online Library~1

Perspectives on the Future of Software Engineering Essays in Honor of Dieter Rombach

2026-02-12T04:44:11Z

Author Münch, Jürgen. editor. Schmid, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334419.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37395-4
Format: Electronic Resources
Availability Online Library~1

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers

2026-02-12T04:44:11Z

Author Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334425.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37419-7
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings

2026-02-12T04:44:11Z

Author Doerr, Joerg. editor. Opdahl, Andreas L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334426.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37422-7
Format: Electronic Resources
Availability Online Library~1

Feature-Oriented Software Product Lines Concepts and Implementation

2026-02-12T04:44:11Z

Author Apel, Sven. author. Batory, Don. author. Kästner, Christian. author. Saake, Gunter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334447.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37521-7
Format: Electronic Resources
Availability Online Library~1

Enterprise Architecture Patterns Practical Solutions for Recurring IT-Architecture Problems

2026-02-12T04:44:11Z

Author Perroud, Thierry. author. Inversini, Reto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334453.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37561-3
Format: Electronic Resources
Availability Online Library~1

Web Dynpro ABAP for Practitioners

2026-02-12T04:44:11Z

Author Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334566.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38247-5
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings

2026-02-12T04:44:11Z

Author Baumeister, Hubert. editor. Weber, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334579.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38314-4
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

2026-02-12T04:44:11Z

Author Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334580.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38317-5
Format: Electronic Resources
Availability Online Library~1

Information Systems: Methods, Models, and Applications 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers

2026-02-12T04:44:11Z

Author Mayr, Heinrich C. editor. Kop, Christian. editor. Liddle, Stephen. editor. Ginige, Athula. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334589.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38370-0
Format: Electronic Resources
Availability Online Library~1

Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2026-02-12T04:44:11Z

Author Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334494.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37890-4
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement and Capability Determination 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings

2026-02-12T04:44:11Z

Author Woronowicz, Tanja. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334677.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38833-0
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

2026-02-12T04:44:11Z

Author Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334743.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39176-7
Format: Electronic Resources
Availability Online Library~1

Web Engineering 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings

2026-02-12T04:44:11Z

Author Daniel, Florian. editor. Dolog, Peter. editor. Li, Qing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334750.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39200-9
Format: Electronic Resources
Availability Online Library~1

Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings

2026-02-12T04:44:11Z

Author Neto, Pedro. editor. Moreira, António Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334756.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39223-8
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings

2026-02-12T04:44:11Z

Author Heidrich, Jens. editor. Oivo, Markku. editor. Jedlitschka, Andreas. editor. Baldassarre, Maria Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334768.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39259-7
Format: Electronic Resources
Availability Online Library~1

Software Business. From Physical Products to Software Services and Solutions 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings

2026-02-12T04:44:11Z

Author Herzwurm, Georg. editor. Margaria, Tiziana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334783.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39336-5
Format: Electronic Resources
Availability Online Library~1

CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

2026-02-12T04:44:11Z

Author D’Argenio, Pedro R. editor. Melgratti, Hernán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334905.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40184-8
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-02-12T04:44:11Z

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

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

2026-02-12T04:44:11Z

Author Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334911.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40213-5
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

2026-02-12T04:44:11Z

Author Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334913.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40229-6
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

2026-02-12T04:44:11Z

Author Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335003.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40787-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II

2026-02-12T04:44:11Z

Author Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335018.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40849-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I

2026-02-12T04:44:11Z

Author Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335019.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40852-6
Format: Electronic Resources
Availability Online Library~1

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

2026-02-12T04:44:11Z

Author Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335023.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40885-4
Format: Electronic Resources
Availability Online Library~1

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings

2026-02-12T04:44:11Z

Author Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335028.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40922-6
Format: Electronic Resources
Availability Online Library~1

Advances in Global Sourcing. Models, Governance, and Relationships 7th Global Sourcing Workshop 2013, Val d’Isère, France, March 11-14, 2013, Revised Selected Papers

2026-02-12T04:44:11Z

Author Oshri, Ilan. editor. Kotlarsky, Julia. editor. Willcocks, Leslie P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335033.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40951-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

2026-02-12T04:44:11Z

Author Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335040.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41010-9
Format: Electronic Resources
Availability Online Library~1

Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings

2026-02-12T04:44:11Z

Author Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335043.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41019-2
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems: OTM 2013 Conferences Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings

2026-02-12T04:44:11Z

Author Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Eder, Johann. editor. Bellahsene, Zohra. editor.
Preferred Shelf Number ONLINE(335044.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41030-7
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

2026-02-12T04:44:11Z

Author Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335046.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41036-9
Format: Electronic Resources
Availability Online Library~1

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings

2026-02-12T04:44:11Z

Author Botía, Juan A. editor. Álvarez-García, Juan Antonio. editor. Fujinami, Kaori. editor. Barsocchi, Paolo. editor. Riedel, Till. editor.
Preferred Shelf Number ONLINE(335047.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41043-7
Format: Electronic Resources
Availability Online Library~1

Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings

2026-02-12T04:44:11Z

Author Accorsi, Rafael. editor. Ranise, Silvio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335057.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41098-7
Format: Electronic Resources
Availability Online Library~1

Time and Petri Nets

2026-02-12T04:44:11Z

Author Popova-Zeugmann, Louchka. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335059.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41115-1
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part II

2026-02-12T04:44:11Z

Author Lin, Xuemin. editor. Manolopoulos, Yannis. editor. Srivastava, Divesh. editor. Huang, Guangyan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335065.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41154-0
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I

2026-02-12T04:44:11Z

Author Lin, Xuemin. editor. Manolopoulos, Yannis. editor. Srivastava, Divesh. editor. Huang, Guangyan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335078.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41230-1
Format: Electronic Resources
Availability Online Library~1

From Sounds to Music and Emotions 9th International Symposium, CMMR 2012, London, UK, June 19-22, 2012, Revised Selected Papers

2026-02-12T04:44:11Z

Author Aramaki, Mitsuko. editor. Barthet, Mathieu. editor. Kronland-Martinet, Richard. editor. Ystad, Sølvi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335080.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41248-6
Format: Electronic Resources
Availability Online Library~1

Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings

2026-02-12T04:44:11Z

Author Cuzzocrea, Alfredo. editor. Maabout, Sofian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335097.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41366-7
Format: Electronic Resources
Availability Online Library~1

Product Lifecycle Management for Society 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings

2026-02-12T04:44:11Z

Author Bernard, Alain. editor. Rivest, Louis. editor. Dutta, Debasish. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335114.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41501-2
Format: Electronic Resources
Availability Online Library~1

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

2026-02-12T04:44:11Z

Author Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335125.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41578-4
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

2026-02-12T04:44:11Z

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

Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers

2026-02-12T04:44:11Z

Author Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335227.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-54092-9
Format: Electronic Resources
Availability Online Library~1

Mobile Payment

2026-02-12T04:44:11Z

Author Lerner, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335291.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-03251-7
Format: Electronic Resources
Availability Online Library~1