Limit Search Results
Author
SpringerLink (Online service)
(2257)
Kim, Tai-hoon. editor.
(35)
Gervasi, Osvaldo. editor.
(27)
Apduhan, Bernady O. editor.
(25)
Yung, Moti. editor.
(25)
Language
Publication Date
-
Subject
Computer software.
(2174)
Computer science.
(2035)
Computer Communication Networks.
(881)
Artificial intelligence.
(878)
Software engineering.
(597)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2789 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
13. 
Cover image for Testing computer software
Testing computer software
Author 
Kaner, Cem. Falk, Jack L., ort. yaz. Nguyen, Hung Quoc, ort. yaz.
Preferred Shelf Number 
QA 76.76.T48 K36 1999
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
14. 
Cover image for Software engineering and computer games
Software engineering and computer games
Author 
Rucker, Rudy v. B. (Rudy von Bitter), 1946-
Preferred Shelf Number 
QA76.758 R83 2003
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
15. 
Cover image for Software Engineering Perspectives in Computer Game Development.
Software Engineering Perspectives in Computer Game Development.
Author 
Cooper, Kendra M. L., editor.
Preferred Shelf Number 
QA76.76 .C672
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781315145549
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Computing handbook : computer science and software engineering
Computing handbook : computer science and software engineering
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: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Hardware and computer organization the software perspective
Hardware and computer organization the software perspective
Author 
Berger, Arnold S.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750678865
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Computer architecture : software aspects, coding, and hardware
Computer architecture : software aspects, coding, and hardware
Author 
Hsu, John Y., author.
Preferred Shelf Number 
QA76.9 .A73 H758 2001
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Proeceedings of the symposium on computer software engineering. New York, N. Y. April 20-22, 1976
Proeceedings of the symposium on computer software engineering. New York, N. Y. April 20-22, 1976
Author 
Symposium on Computer software Engineering, New York, 1976.
Preferred Shelf Number 
QA 76.6 S919 1976
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
20. 
Cover image for EVENT-DATABASE ARCHITECTURE FOR COMPUTER GAMES. Volume 1, Software architecture and the... software production process.
EVENT-DATABASE ARCHITECTURE FOR COMPUTER GAMES. Volume 1, Software architecture and the... software production process.
Author 
QUAYE, RODNEY.
Preferred Shelf Number 
QA76.76 .V54
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003502784
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1
Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1
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: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Real-world software projects for computer science and engineering students
Real-world software projects for computer science and engineering students
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: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems
Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems
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: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Author 
Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18941-3
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Author 
Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07317-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Computer organization and design : the hardware/software interface.
Computer organization and design : the hardware/software interface.
Author 
Patterson, David A., author. Hennessy, John L., author.
Preferred Shelf Number 
QA76.9.C643 P37 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
28. 
Cover image for Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Author 
Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38874-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Computer, network, software, and hardware engineering with applications
Computer, network, software, and hardware engineering with applications
Author 
Schneidewind, Norman.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEEXplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Computer, network, software, and hardware engineering with applications
Computer, network, software, and hardware engineering with applications
Author 
Shneidewind, Norman.
Preferred Shelf Number 
TK7885 S2564 2012
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
31. 
Cover image for Computer- Aided Design in Power Engineering Application of Software Tools
Computer- Aided Design in Power Engineering Application of Software Tools
Author 
Stojkovic, Zlatan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30206-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Author 
Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30982-3
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Ramos, Carlos. editor. Kim, Haeng-kon. editor. Kiumi, Akingbehin. editor. Mohammed, Sabah. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35267-6
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Computer Science The Hardware, Software and Heart of It
Computer Science The Hardware, Software and Heart of It
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: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning
Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning
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: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
Author 
Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21455-4
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I
Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I
Author 
Mohamad Zain, Jasni. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22170-5
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II
Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II
Author 
Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22191-0
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III
Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III
Author 
Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22203-0
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
Author 
Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21292-5
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Effizient im Studium Das Potenzial von Computer und Software richtig nutzen
Effizient im Studium Das Potenzial von Computer und Software richtig nutzen
Author 
Matthäus, Wolf-Gert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-8108-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for The architecture of computer hardware, systems software, and networking : an information technology approach
The architecture of computer hardware, systems software, and networking : an information technology approach
Author 
Englander, Irv.
Preferred Shelf Number 
QA76.5 E54 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
43. 
Cover image for Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Author 
Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13678-8
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for A Practical Guide to Brain–Computer Interfacing with BCI2000 General-Purpose Software for Brain–Computer Interface Research, Data Acquisition, Stimulus Presentation, and Brain Monitoring
A Practical Guide to Brain–Computer Interfacing with BCI2000 General-Purpose Software for Brain–Computer Interface Research, Data Acquisition, Stimulus Presentation, and Brain Monitoring
Author 
Schalk, Gerwin. author. Mellinger, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-092-2
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
Author 
Choppy, Christine. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12566-9
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Üç boyutlu bilgisayar grafiklerinde yazılım tasarım örüntüleri ve uygulamaları = Applying software design patterns in 3D computer graphics
Üç boyutlu bilgisayar grafiklerinde yazılım tasarım örüntüleri ve uygulamaları = Applying software design patterns in 3D computer graphics
Author 
Selem, Atilla.
Preferred Shelf Number 
TEZ 9338 .S45 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
47. 
Cover image for Computer organization and design : the hardware/software interface
Computer organization and design : the hardware/software interface
Author 
Hennessy, John L. Patterson, David A., ort. yaz.
Preferred Shelf Number 
QA76.9.C643 H46 2009
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
48. 
Cover image for Expressive processing digital fictions, computer games, and software studies
Expressive processing digital fictions, computer games, and software studies
Author 
Wardrip-Fruin, Noah.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267550
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Author 
Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01918-0
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Computer modeling in bioengineering theoretical background, examples and software
Computer modeling in bioengineering theoretical background, examples and software
Author 
Kojic, Milos, 1941- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=366796
John Wiley http://dx.doi.org/10.1002/9780470751763
MyiLibrary, Table of contents http://www.myilibrary.com?id=184085&ref=toc
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Open Source Development, Communities and Quality IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy
Open Source Development, Communities and Quality IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy
Author 
Russo, Barbara. editor. Damiani, Ernesto. editor. Hissam, Scott. editor. Lundell, Björn. editor. Succi, Giancarlo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09684-1
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Author 
Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68894-5
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Designing with blends conceptual foundations of human-computer interaction and software engineering
Designing with blends conceptual foundations of human-computer interaction and software engineering
Author 
Imaz, Manuel. Benyon, David.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267285
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
Author 
Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72522-0
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for The cognitive dynamics of computer science cost-effective large scale software development
The cognitive dynamics of computer science cost-effective large scale software development
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: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for IEEE Computer Society real-world software engineering problems a self-study guide for today's software professional
IEEE Computer Society real-world software engineering problems a self-study guide for today's software professional
Author 
Naveda, J. Fernando. Seidman, Stephen B.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989366
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989366
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
Author 
Ochoa, Sergio F. editor. Roman, Gruia-Catalin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-34831-5
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Author 
Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11757283
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Author 
Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135888
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
Author 
Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104325
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
Author 
Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11590156
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Jeovar 3 : Jeoistatiksel variogram analizleri ve kriging teknikleri bilgisayar yazılımı = Geovar 3 : Computer software of geostatistical variogram analyses and kriging techniques
Jeovar 3 : Jeoistatiksel variogram analizleri ve kriging teknikleri bilgisayar yazılımı = Geovar 3 : Computer software of geostatistical variogram analyses and kriging techniques
Author 
Uyar, Hakan.
Preferred Shelf Number 
TEZ/7118 U97 2005
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
66. 
Cover image for Analyzing the language of software sections in Turkish computer magazines
Analyzing the language of software sections in Turkish computer magazines
Author 
Vanlı, Sanem.
Preferred Shelf Number 
TEZ/5821 V326 2003
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
67. 
Cover image for Software architectures and tools for computer aided process engineering
Software architectures and tools for computer aided process engineering
Author 
Braunschweig, Bertrand. Gani, R. (Rafiqul)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444508270
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for The personal computer from the inside out : the programmer's guide to low-level PC hardware and software
The personal computer from the inside out : the programmer's guide to low-level PC hardware and software
Author 
Sargent, Murray. Shoemaker, Richard L., ort. yaz.
Preferred Shelf Number 
QA 76.5 S2177 1995
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
69. 
Cover image for Computer organization and design : the hardware/software interface
Computer organization and design : the hardware/software interface
Author 
Hennessy, John L. Patterson, David A., ort. yaz.
Preferred Shelf Number 
QA76.9.C643 H46 1994
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
70. 
Cover image for Matchnet (computer file) : Microwave matching network synthesis software and user's manual : automated synthesis of low-pass, high-pass, and bandpass lumped and distributed matching networks
Matchnet (computer file) : Microwave matching network synthesis software and user's manual : automated synthesis of low-pass, high-pass, and bandpass lumped and distributed matching networks
Author 
Sussman-Fort, Stephen E.
Preferred Shelf Number 
TK 7871.58.B74 S82 1991
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
71. 
Cover image for Foundations of software technology and theoretical computer science : 9th conference, Bangalore, India, December 19-21, 1989: proceedings
Foundations of software technology and theoretical computer science : 9th conference, Bangalore, India, December 19-21, 1989: proceedings
Author 
Madhavan, C. E. Veni, ed. by.
Preferred Shelf Number 
QA 76.751 F68 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
72. 
Cover image for The computer comes of age the people, the hardware, and the software
The computer comes of age the people, the hardware, and the software
Author 
Moreau, René.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267309
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Computer networks and distributed processing : software, techniques and architecture
Computer networks and distributed processing : software, techniques and architecture
Author 
Martin, James.
Preferred Shelf Number 
QA 76.9.D5 M37 1981
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
74. 
Cover image for Software psychology : human factors in computer and information systems
Software psychology : human factors in computer and information systems
Author 
Shneiderman, Ben.
Preferred Shelf Number 
QA 76.6 S543 1980
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
75. 
Cover image for Software engineering COINS III: proceedings of the Third Symposium on Computer and Information Sciences held in Miami Beach, Florida, December, 1969
Software engineering COINS III: proceedings of the Third Symposium on Computer and Information Sciences held in Miami Beach, Florida, December, 1969
Author 
Computer and Information Sciences Symposium (3rd : 1969 : Miami Beach) Tou, Julius T., 1926-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123954954
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for How to cheat in Adobe Flash CS3 the art of design and animation
How to cheat in Adobe Flash CS3 the art of design and animation
Author 
Georgenes, Chris.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240520582
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Raspberry Pi OS system administration with systemd and Python : a practical approach
Raspberry Pi OS system administration with systemd and Python : a practical approach
Author 
Koretsky, Robert, author.
Preferred Shelf Number 
QA76.8 .R15
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003455806
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for The book of Audacity record, edit, mix, and master with the free audio editor
The book of Audacity record, edit, mix, and master with the free audio editor
Author 
Schroder, Carla.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440019
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Tradigital blender a CG animator's guide to applying the classic principles of animation
Tradigital blender a CG animator's guide to applying the classic principles of animation
Author 
Hess, Roland, 1970-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240817576
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for An essential introduction to Maya character rigging with DVD
An essential introduction to Maya character rigging with DVD
Author 
Cabrera, Cheryl.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240520827
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Focus on Apple Aperture
Focus on Apple Aperture
Author 
Hilz, Corey.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240815138
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Plug-in to After Effects third party plug-in mastery
Plug-in to After Effects third party plug-in mastery
Author 
Yamazaki, Michele, 1973-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240815657
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Mastering Microsoft Windows Small business server 2008
Mastering Microsoft Windows Small business server 2008
Author 
Johnson, Steve, 1961-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
Image http://images.contentreserve.com/ImageType-100/0128-1/{601B0EE1-FEEF-4600-8F33-056DC42F14F2}Img100.jpg
Books24x7 http://www.books24x7.com/marc.asp?bookid=41088
Safari Books Online http://proquest.safaribooksonline.com/9780470503720
Wiley InterScience http://dx.doi.org/10.1002/9781118255865
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Excel 2010 power programming with VBA
Excel 2010 power programming with VBA
Author 
Walkenbach, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
Books24x7 http://www.books24x7.com/marc.asp?bookid=34798
John Wiley http://dx.doi.org/10.1002/9781118257616
http://proquest.safaribooksonline.com/?fpi=9780470475355
Knovel http://app.knovel.com/web/toc.v/cid:kpEPPVBA01
http://proquest.safaribooksonline.com/9780470475355
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Excel 2010 for dummies quick reference
Excel 2010 for dummies quick reference
Author 
Banfield, Colin. Walkenbach, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://site.ebrary.com/lib/alltitles/Doc?id=10381086
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for John Walkenbach's favorite Excel 2010 tips & tricks
John Walkenbach's favorite Excel 2010 tips & tricks
Author 
Walkenbach, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
Image http://images.contentreserve.com/ImageType-100/0128-1/{2CF5F854-F956-44AE-A235-2522CBEBCF0B}Img100.jpg
John Wiley http://dx.doi.org/10.1002/9781118257647
OverDrive (PDF) http://www.contentreserve.com/TitleInfo.asp?ID={2CF5F854-F956-44AE-A235-2522CBEBCF0B}&Format=50
Safari Books Online http://proquest.safaribooksonline.com/640 http://proquest.safaribooksonline.com/?fpi=9780470475379
Safari Books Online http://proquest.safaribooksonline.com/9780470475379
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Java and Mac OS X
Java and Mac OS X
Author 
Davis, Gene.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Safari Books Online http://proquest.safaribooksonline.com/?fpi=9780470525111
http://site.ebrary.com/lib/alltitles/Doc?id=10377822
Volltext http://proquest.safaribooksonline.com/9780470525111
Volltext http://proquest.tech.safaribooksonline.de/9780470525111
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for 100% Photoshop creating stunning illustrations without using any photographs
100% Photoshop creating stunning illustrations without using any photographs
Author 
Caplin, Steve.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240814254
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Windows 7 just the steps for dummies
Windows 7 just the steps for dummies
Author 
Muir, Nancy, 1954-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information on Adobe Digital Editions version
Click for information on Adobe Digital Editions version
Click for information on Mobipocket Reader version
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Image http://images.contentreserve.com/ImageType-100/0128-1/{1865C98C-939A-45E6-AC30-F500574831A6}Img100.jpg
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Proceedings of the 23rd International Conference on Software Engineering : ICSE 2001 : 12-19, May 2001, Toronto, Ontario, Canada
Proceedings of the 23rd International Conference on Software Engineering : ICSE 2001 : 12-19, May 2001, Toronto, Ontario, Canada
Author 
International Conference on Software Engineering (23rd : 2001 : Toronto, Ont.) ACM Sigsoft. IEEE Computer Society. Technical Council on Software Engineering.
Preferred Shelf Number 
QA 76.6 P941 2001
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
91. 
Cover image for Securing the digital realm : advances in hardware and software security, communication, and forensics
Securing the digital realm : advances in hardware and software security, communication, and forensics
Author 
Arif, Muhammad (Computer scientist), editor. Jaffar, M. Arfan, editor. Geman, Oana, editor. Abbasi, Waseem, editor.
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003497851
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Computational intelligence applications for software engineering problems
Computational intelligence applications for software engineering problems
Author 
Nand, Parma (Computer scientist), editor. Nitin, Rakesh, editor. Agrawal, Arun Prakash, editor. Jain, Vishal, 1983- editor.
Preferred Shelf Number 
QA76.758
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003283195
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Unleashing User Innovation Multidisciplinary Perspectives on End-User Development and Generative AI.
Unleashing User Innovation Multidisciplinary Perspectives on End-User Development and Generative AI.
Author 
Kuhail, Mohammad Amin, 1982- Mohamad, Mostafa. Hammad, Rawad, 1981- Bahja, Mohammed.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003485698
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for EMBEDDED SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMS
EMBEDDED SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMS
Author 
Hobbs, Chris (Christopher W.)
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003598145
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for BEYOND CODE redefining programming education beyond stem.
BEYOND CODE redefining programming education beyond stem.
Author 
Plate, Daniel.
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003637738
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Strategic software quality management : how to incorporate sustainable continuous improvement practices
Strategic software quality management : how to incorporate sustainable continuous improvement practices
Author 
Fidanboy, Mahsa, author. Fidanboy, Cemalettin Öcal, author.
Preferred Shelf Number 
QA76.76 .Q35
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003491606
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for DIGITAL PERSONALITY : a man forever. Volume 3, Ontologies to dialogue generation
DIGITAL PERSONALITY : a man forever. Volume 3, Ontologies to dialogue generation
Author 
Kaswan, Kuldeep Singh, author. Dhatterwal, Jagjit Singh, author. Nayyar, Anand, author.
Preferred Shelf Number 
QA76.9 .H85
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003530701
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Dynamics in Chinese digital commons : law, technology, and governance
Dynamics in Chinese digital commons : law, technology, and governance
Author 
Hu, Ling, (Law teacher), author.
Preferred Shelf Number 
KNQ1183
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003566243
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems
Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems
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: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Digital product management : strategic planning and market opportunity
Digital product management : strategic planning and market opportunity
Author 
Kee, Lee Boon, author.
Preferred Shelf Number 
HF5415.15 .K44 2025
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003484295
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Sustainable dual-track development : the future of software engineering for co-located, remote, and hybrid teams
Sustainable dual-track development : the future of software engineering for co-located, remote, and hybrid teams
Author 
Sedano, Todd, author. Ralph, Paul, author
Preferred Shelf Number 
QA76.76 .D47 S425 2025 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003598039
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for POWERFUL, PROFITABLE SOFTWARE PRODUCTS the executive guidebook.
POWERFUL, PROFITABLE SOFTWARE PRODUCTS the executive guidebook.
Author 
Rowland, Kyle.
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003382751
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Software Project Management Methods and Techniques.
Software Project Management Methods and Techniques.
Author 
Peters, Lawrence J.
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003484288
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Little hackers
Little hackers
Author 
Darling, Julie, author. Cools, Darren, illustrator.
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003501527
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for MODEL-DRIVEN SOFTWARE SYSTEMS DEVELOPMENT USING THE META-ARTIFACT PROCESS
MODEL-DRIVEN SOFTWARE SYSTEMS DEVELOPMENT USING THE META-ARTIFACT PROCESS
Author 
O'Brien, Wayne.
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003448891
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Methodology to improve control plane security in SDN environments
Methodology to improve control plane security in SDN environments
Author 
Desalegn, Wendwossen, author. Shaikh, Javed, author. Taye, Bayisa, author.
Preferred Shelf Number 
TK5105.5833
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9788770042123
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for DevOps for data science
DevOps for data science
Author 
Gold, Alex K., author.
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003213345
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Embedded software system testing : automatic testing solution based on formal method
Embedded software system testing : automatic testing solution based on formal method
Author 
Yin, Yongfeng, 1978- author. Jiang, Bo, 1981- author. Su, Qingran, translator. Qiu, Ruinan, translator. Guo, Yang (Translator), translator.
Preferred Shelf Number 
TK7895 .E42
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003390923
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for WRITING IN-HOUSE MEDICAL DEVICE SOFTWARE IN COMPLIANCE WITH EU, UK, AND US REGULATIONS
WRITING IN-HOUSE MEDICAL DEVICE SOFTWARE IN COMPLIANCE WITH EU, UK, AND US REGULATIONS
Author 
Cosgriff, Philip. Memmott, Matthew.
Preferred Shelf Number 
R858
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003301202
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Ransomware : penetration testing and contingency planning
Ransomware : penetration testing and contingency planning
Author 
Das, Ravindra, author.
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003431633
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for RESEARCH SOFTWARE ENGINEERING a guide to the open source ecosystem.
RESEARCH SOFTWARE ENGINEERING a guide to the open source ecosystem.
Author 
Bannert, Mattias.
Preferred Shelf Number 
Q180.55 .E4
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003286899
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Modern Artificial Intelligence and Data Science Tools, Techniques and Systems
Modern Artificial Intelligence and Data Science Tools, Techniques and Systems
Author 
Idrissi, Abdellah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33309-5
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Education, Research and Business Technologies Proceedings of 21st International Conference on Informatics in Economy (IE 2022)
Education, Research and Business Technologies Proceedings of 21st International Conference on Informatics in Economy (IE 2022)
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: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Intelligent Sustainable Systems Proceedings of ICISS 2023
Intelligent Sustainable Systems Proceedings of ICISS 2023
Author 
Raj, Jennifer S. editor. Perikos, Isidoros. editor. Balas, Valentina Emilia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-1726-6
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Advances and Applications of Artificial Intelligence & Machine Learning Proceedings of ICAAAIML 2022
Advances and Applications of Artificial Intelligence & Machine Learning Proceedings of ICAAAIML 2022
Author 
Unhelkar, Bhuvan. editor. Pandey, Hari Mohan. editor. Agrawal, Arun Prakash. editor. Choudhary, Ankur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5974-7
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Explainable AI for Cybersecurity
Explainable AI for Cybersecurity
Author 
Pan, Zhixin. author. Mishra, Prabhat. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46479-9
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Cyber Security Intelligence and Analytics The 5th International Conference on Cyber Security Intelligence and Analytics (CSIA 2023), Volume 2
Cyber Security Intelligence and Analytics The 5th International Conference on Cyber Security Intelligence and Analytics (CSIA 2023), Volume 2
Author 
Xu, Zheng. editor. Alrabaee, Saed. editor. Loyola-González, Octavio. editor. Cahyani, Niken Dwi Wahyu. editor. Ab Rahman, Nurul Hidayah. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31775-0
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for The 2021 International Conference on Smart Technologies and Systems for Internet of Things STSIoT2021
The 2021 International Conference on Smart Technologies and Systems for Internet of Things STSIoT2021
Author 
Ahmad, Ishfaq. editor. Ye, Jun. editor. Liu, Weidong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-3632-6
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Handbook of Neuroengineering
Handbook of Neuroengineering
Author 
Thakor, Nitish V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-16-5540-1
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Proceedings of Eighth International Congress on Information and Communication Technology ICICT 2023, London, Volume 2
Proceedings of Eighth International Congress on Information and Communication Technology ICICT 2023, London, Volume 2
Author 
Yang, Xin-She. editor. Sherratt, R. Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3091-3
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Knowledge Management in Organisations 17th International Conference, KMO 2023, Bangkok, Thailand, July 24-27, 2023, Proceedings
Knowledge Management in Organisations 17th International Conference, KMO 2023, Bangkok, Thailand, July 24-27, 2023, Proceedings
Author 
Uden, Lorna. editor. Ting, I-Hsien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34045-1
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Ethical and Social Issues in the Information Age
Ethical and Social Issues in the Information Age
Author 
Kizza, Joseph Migga. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24863-4
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
Author 
Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42622-3
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Innovations in Applied Informatics and Media Engineering
Innovations in Applied Informatics and Media Engineering
Author 
Matsuo, Tokuro. editor. Fujimoto, Takayuki. editor. Lumban Gaol, Ford. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30769-0
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science
International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science
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: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I
Author 
Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23950-2
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Computer Vision, Imaging and Computer Graphics Theory and Applications 16th International Joint Conference, VISIGRAPP 2021, Virtual Event, February 8-10, 2021, Revised Selected Papers
Computer Vision, Imaging and Computer Graphics Theory and Applications 16th International Joint Conference, VISIGRAPP 2021, Virtual Event, February 8-10, 2021, Revised Selected Papers
Author 
de Sousa, A. Augusto. editor. Havran, Vlastimil. editor. Paljic, Alexis. editor. Peck, Tabitha. editor. Hurter, Christophe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-25477-2
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III
Author 
Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-2449-3
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II
Author 
Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23947-2
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for ArtsIT, Interactivity and Game Creation 11th EAI International Conference, ArtsIT 2022, Faro, Portugal, November 21-22, 2022, Proceedings
ArtsIT, Interactivity and Game Creation 11th EAI International Conference, ArtsIT 2022, Faro, Portugal, November 21-22, 2022, Proceedings
Author 
Brooks, Anthony L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28993-4
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part I
Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part I
Author 
Sun, Yuqing. editor. Lu, Tun. editor. Guo, Yinzhang. editor. Song, Xiaoxia. editor. Fan, Hongfei. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-2356-4
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II
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: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Grand Research Challenges in Games and Entertainment Computing in Brazil - GranDGamesBR 2020-2030 First Forum, GranDGamesBR 2020, Recife, Brazil, November 7-10, 2020, and Second Forum, GranDGamesBR 2021, Gramado, Brazil, October 18-21, 2021, Revised Selected Papers
Grand Research Challenges in Games and Entertainment Computing in Brazil - GranDGamesBR 2020-2030 First Forum, GranDGamesBR 2020, Recife, Brazil, November 7-10, 2020, and Second Forum, GranDGamesBR 2021, Gramado, Brazil, October 18-21, 2021, Revised Selected Papers
Author 
Santos, Rodrigo Pereira dos. editor. Hounsell, Marcelo da Silva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27639-2
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Computer Aided Engineering of Batteries
Computer Aided Engineering of Batteries
Author 
Santhanagopalan, Shriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-17607-4
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers
Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers
Author 
Pesado, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34147-2
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Ethical and Secure Computing A Concise Module
Ethical and Secure Computing A Concise Module
Author 
Kizza, Joseph Migga. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31906-8
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers
Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers
Author 
Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39386-0
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Computer Assisted Music and Dramatics Possibilities and Challenges
Computer Assisted Music and Dramatics Possibilities and Challenges
Author 
Salgaonkar, Ambuja. editor. Velankar, Makarand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0887-5
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Author 
Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7584-6
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Advances in Neural Computation, Machine Learning, and Cognitive Research VI Selected Papers from the XXIV International Conference on Neuroinformatics, October 17-21, 2022, Moscow, Russia
Advances in Neural Computation, Machine Learning, and Cognitive Research VI Selected Papers from the XXIV International Conference on Neuroinformatics, October 17-21, 2022, Moscow, Russia
Author 
Kryzhanovsky, Boris. editor. (orcid)0000-0002-0901-6370 Dunin-Barkowski, Witali. editor. (orcid)0000-0003-2716-7786 Redko, Vladimir. editor. (orcid)0000-0002-3748-2379 Tiumentsev, Yury. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-19032-2
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022
Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022
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: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
Author 
Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30258-9
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV
Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV
Author 
Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42293-5
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
Author 
Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36402-0
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Learning Technologies and Systems 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers
Learning Technologies and Systems 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers
Author 
González-González, Carina S. editor. Fernández-Manjón, Baltasar. editor. Li, Frederick. editor. García-Peñalvo, Francisco José. editor. Sciarrone, Filippo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33023-0
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Projeler ile C# 11 Ef Core 7.0
Projeler ile C# 11 Ef Core 7.0
Author 
Uzunköprü, Süleyman, 1976- Yurtay, Yüksel.
Preferred Shelf Number 
QA76.73.C154 U98 2023
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
149. 
Cover image for Augmentation technologies and artificial intelligence in technical communication : designing ethical futures
Augmentation technologies and artificial intelligence in technical communication : designing ethical futures
Author 
Duin, Ann Hill, author. Pedersen, Isabel, author.
Preferred Shelf Number 
T10.5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003288008
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for HUMAN-CENTERED AGILE : a unified approach for better outcomes.
HUMAN-CENTERED AGILE : a unified approach for better outcomes.
Author 
MONTALBANO, JOE.
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003188520
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for A Software Development Approach for Driving Competitiveness in Small Firms
A Software Development Approach for Driving Competitiveness in Small Firms
Author 
Chevers, Delroy A., author.
Preferred Shelf Number 
HD2341
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003388944
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for INTELLIGENT MOBILE MALWARE DETECTION
INTELLIGENT MOBILE MALWARE DETECTION
Author 
Thomas, Tony, author. John, Teenu, author. Alazab, Mamoun, 1980- author. Surendran, Roopak, author.
Preferred Shelf Number 
TK5105.59
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003121510
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Software durability concepts and practices
Software durability concepts and practices
Author 
Kumar, Rajeev, 1991- author. Khan, Suhel Ahmad, author. Khan, R. A. (Raees Ahmad), author.
Preferred Shelf Number 
QA76.76 .Q35
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003322351
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for DevOps : a journey from microservice to cloud based containerization
DevOps : a journey from microservice to cloud based containerization
Author 
Sharma, Hitesh Kumar, author. Kumar, Anuj (Senior associate professor of mathematics), author. Pant, Sangeeta, author. Ram, Mangey, author.
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781032624310
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for SDN-supported edge-cloud interplay for next generation internet of things
SDN-supported edge-cloud interplay for next generation internet of things
Author 
Sahoo, Kshira Sagar, editor. Solanki, Arun, 1985- editor. Mishra, Sambit Kumar, editor. Sahoo, Bibhudatta, 1967- editor. Nayyar, Anand, editor.
Preferred Shelf Number 
TK5105.8857
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003213871
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Multi-criteria decision models in software reliability : methods and applications
Multi-criteria decision models in software reliability : methods and applications
Author 
Mishra, Ashish (Ashish Kumar), editor. Dieu Linh, Nguyen Thi, editor. Bhardwaj, Manish (Professor of computer science and engineering), editor. Pinto, Carla M. A. (Computer scientist), editor.
Preferred Shelf Number 
QA76.76 .R44 M85 2023
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780367816414
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Software security : concepts & practices
Software security : concepts & practices
Author 
Khan, Suhel Ahmad, author. Kumar, Rajeev, author. Khan, R. A. (Raees Ahmad), author.
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003330516
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Yazılım test rehberi
Yazılım test rehberi
Author 
Bozkurt, Asiye Çüçen, Adem, author Adıgüzel, Ahmet, author
Preferred Shelf Number 
QA76.76.T48 B69 2022
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
159. 
Cover image for Software-defined networking for future internet technology : concepts and applications
Software-defined networking for future internet technology : concepts and applications
Author 
Sahoo, Kshira Sagar, editor. Sahoo, Bibhudatta, 1967- editor. Mishra, Brojo Kishore, 1979- editor.
Preferred Shelf Number 
TK5105.5833 .S64 2022
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003145721
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for IT Project Health Checks Driving Successful Implementation and Multiples of Business Value.
IT Project Health Checks Driving Successful Implementation and Multiples of Business Value.
Author 
Purba, Sanjiv.
Preferred Shelf Number 
HF5548.2
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003269786
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Continuous delivery 2.0 : business-leading DevOps essentials
Continuous delivery 2.0 : business-leading DevOps essentials
Author 
Liang, Qiao, 1983- author.
Preferred Shelf Number 
HD58.8
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003221579
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Working with the Web Audio API
Working with the Web Audio API
Author 
Reiss, Joshua D., author.
Preferred Shelf Number 
TK7881.4
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003221937
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Network sistemleri : sistem yöneticisinin el kitabı
Network sistemleri : sistem yöneticisinin el kitabı
Author 
Tutkun, Hakan Koray
Preferred Shelf Number 
TK5105.7 T89 2021
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
164. 
Cover image for NANOELECTRONIC DEVICES FOR HARDWARE AND SOFTWARE SECURITY
NANOELECTRONIC DEVICES FOR HARDWARE AND SOFTWARE SECURITY
Author 
Raj, Balwinder. Singh, Arun Kumar.
Preferred Shelf Number 
TK7874.84
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003126645
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Automated data analysis using Excel
Automated data analysis using Excel
Author 
Bissett, Brian, author.
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003051886
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Automated Software Testing with Cypress
Automated Software Testing with Cypress
Author 
Palani, Narayanan.
Preferred Shelf Number 
QA76.76 .T48
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003145110
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Object-oriented design choices
Object-oriented design choices
Author 
Dingle, Adair, author.
Preferred Shelf Number 
QA76.64
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003013488
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Research Software Engineering with Python : Building software that makes research possible.
Research Software Engineering with Python : Building software that makes research possible.
Author 
Irving, Damien. Hertweck, Kate Johnston, Luke Ostblom, Joel Wickham, Charlotte
Preferred Shelf Number 
Q180.55 .E4
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003143482
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Software-defined wide area network architectures and technologies
Software-defined wide area network architectures and technologies
Author 
Sheng, Cheng, author.
Preferred Shelf Number 
TK5105.5833
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003144038
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Digital transformation in accounting
Digital transformation in accounting
Author 
Busulwa, Richard, 1980- author. Evans, Nina, author.
Preferred Shelf Number 
HF5679 .B838 2021
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429344589
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for SOFTWARE DEVELOPMENT PATTERNS AND ANTIPATTERNS.
SOFTWARE DEVELOPMENT PATTERNS AND ANTIPATTERNS.
Author 
Jones, Capers.
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003193128
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Knowledge Management in the Development of Data-Intensive Systems
Knowledge Management in the Development of Data-Intensive Systems
Author 
Mistrík, Ivan. Galster, Matthias. Maxim, Bruce R. Tekinerdogan, Bedir, 1970-
Preferred Shelf Number 
QA76.9 .B45
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003001188
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Scrum : bir dönüşüm hikayesi : Agile proje yönetimi
Scrum : bir dönüşüm hikayesi : Agile proje yönetimi
Author 
Yitmen, Mehmet.
Preferred Shelf Number 
QA76.76 Y58 2020
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
174. 
Cover image for Virtual environments and advanced interface design
Virtual environments and advanced interface design
Author 
Barfield, Woodrow, editor. Furness, Thomas A., editor.
Preferred Shelf Number 
QA76.9 .H85 V54 2020
Electronic Access 
Oxford scholarship online https://dx.doi.org/10.1093/oso/9780195075557.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Change request impacts in software maintenance
Change request impacts in software maintenance
Author 
Kumar, Madapuri Rudra, author. Prasad, Kalli Srinivasa Nageswara, author. Rao, Annaluri Sreenivasa, author. Gunjan, Vinit Kumar, author.
Preferred Shelf Number 
QA76.76 .S64
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003032564
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for REUSE IN INTELLIGENT SYSTEMS
REUSE IN INTELLIGENT SYSTEMS
Author 
Rubin, S. (Stuart)
Preferred Shelf Number 
QA76.76 .R47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003034971
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for RESOURCE PROPORTIONAL SOFTWARE DESIGN FOR EMERGING SYSTEMS
RESOURCE PROPORTIONAL SOFTWARE DESIGN FOR EMERGING SYSTEMS
Author 
Bhattacharya, Suparna. Gopinath, Kanchi. Voigt, Doug.
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781315167220
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Artificial intelligence and security challenges in emerging networks
Artificial intelligence and security challenges in emerging networks
Author 
Abassi, Ryma, 1980- editor. IGI Global, publisher.
Preferred Shelf Number 
ONLINE
Electronic Access 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7353-1
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Code generation, analysis tools, and testing for quality
Code generation, analysis tools, and testing for quality
Author 
Queiros, Ricardo Alexandre Peixoto de, 1975- editor. Simoes, Alberto, 1978- editor. Pinto, Mario Teixeira, 1967- editor. IGI Global, publisher.
Preferred Shelf Number 
ONLINE
Electronic Access 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7455-2
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for The Electrical Engineering Handbook - Six Volume Set
The Electrical Engineering Handbook - Six Volume Set
Author 
Dorf, Richard C., editor. Taylor and Francis.
Preferred Shelf Number 
R857 .B54
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Her yönüyle Go programlamaya giriş
Her yönüyle Go programlamaya giriş
Author 
Küçüksille, Ecir Uğur. Kemaloğlu, Nazan.
Preferred Shelf Number 
QA76.73 K57 2019
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
182. 
Cover image for Test Generation of Crosstalk Delay Faults in VLSI Circuits
Test Generation of Crosstalk Delay Faults in VLSI Circuits
Author 
Jayanthy, S. author. Bhuvaneswari, M.C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2493-2
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for From Extractive to Abstractive Summarization: A Journey
From Extractive to Abstractive Summarization: A Journey
Author 
Mehta, Parth. author. (orcid)0000-0002-4509-1298 Majumder, Prasenjit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-8934-4
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Algoritma tasarlama ve C ile temel bilgisayar programlama
Algoritma tasarlama ve C ile temel bilgisayar programlama
Author 
Abuşoğlu, Atakan.
Preferred Shelf Number 
QA76.75 A28 2019
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
185. 
Cover image for Quantum Computing: An Applied Approach
Quantum Computing: An Applied Approach
Author 
Hidary, Jack D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23922-0
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Next Generation and Advanced Network Reliability Analysis Using Markov Models and Software Reliability Engineering
Next Generation and Advanced Network Reliability Analysis Using Markov Models and Software Reliability Engineering
Author 
Ali, Syed Riffat. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01647-0
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Single-DC-Source Multilevel Inverters
Single-DC-Source Multilevel Inverters
Author 
Vahedi, Hani. author. Trabelsi, Mohamed. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15253-6
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Aviation System Risks and Safety
Aviation System Risks and Safety
Author 
Kuklev E.A. author. Shapkin V.S. author. Filippov V.L. author. Shatrakov Y.G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-8122-5
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Identifying Patterns in Financial Markets New Approach Combining Rules Between PIPs and SAX
Identifying Patterns in Financial Markets New Approach Combining Rules Between PIPs and SAX
Author 
Leitão, João. author. Neves, Rui Ferreira. author. Horta, Nuno C.G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70160-8
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers
Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers
Author 
Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713 Ma, Kwan-Liu. editor. (orcid)0000-0001-8086-0366 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73915-1
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings
KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings
Author 
Trollmann, Frank. editor. Turhan, Anni-Yasmin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00111-7
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Computational Intelligence and Intelligent Systems 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part II
Computational Intelligence and Intelligent Systems 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part II
Author 
Li, Kangshun. editor. Li, Wei. editor. Chen, Zhangxing. editor. Liu, Yong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1651-7
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings
Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings
Author 
Panda, B.S. editor. Goswami, Partha P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74180-2
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Proceedings of the 2nd Workshop on Communication Security Cryptography and Physical Layer Security
Proceedings of the 2nd Workshop on Communication Security Cryptography and Physical Layer Security
Author 
Baldi, Marco. editor. (orcid)0000-0002-8754-5526 Quaglia, Elizabeth A. editor. Tomasin, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59265-7
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II
Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II
Author 
Nguyen, Ngoc Thanh. editor. Pimenidis, Elias. editor. Khan, Zaheer. editor. Trawiński, Bogdan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98446-9
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Recent Trends and Future Technology in Applied Intelligence 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings
Recent Trends and Future Technology in Applied Intelligence 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings
Author 
Mouhoub, Malek. editor. Sadaoui, Samira. editor. Ait Mohamed, Otmane. editor. Ali, Moonis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92058-0
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I
Author 
Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91473-2
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for The Discrete Math Workbook A Companion Manual for Practical Study
The Discrete Math Workbook A Companion Manual for Practical Study
Author 
Kurgalin, Sergei. author. Borzunov, Sergei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92645-2
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings
Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings
Author 
Brandstädt, Andreas. editor. Köhler, Ekkehard. editor. Meer, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00256-5
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I
Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I
Author 
Wang, Shilong. editor. Price, Mark. editor. Lim, Ming K. editor. Jin, Yan. editor. Luo, Yuanxin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2396-6
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings
Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings
Author 
Tang, Shaojie. editor. Du, Ding-Zhu. editor. Woodruff, David. editor. Butenko, Sergiy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04618-7
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Intelligent Computing Methodologies 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part III
Intelligent Computing Methodologies 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part III
Author 
Huang, De-Shuang. editor. Gromiha, M. Michael. editor. Han, Kyungsook. editor. Hussain, Abir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95957-3
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Theory and Practice of Natural Computing 7th International Conference, TPNC 2018, Dublin, Ireland, December 12–14, 2018, Proceedings
Theory and Practice of Natural Computing 7th International Conference, TPNC 2018, Dublin, Ireland, December 12–14, 2018, Proceedings
Author 
Fagan, David. editor. (orcid)0000-0002-5982-8983 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 O'Neill, Michael. editor. (orcid)0000-0001-8734-417X Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04070-3
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings
Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings
Author 
Kim, Donghyun. editor. Uma, R. N. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04651-4
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Author 
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04771-9
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings
Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings
Author 
Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2712-4
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Bio-inspired Computing: Theories and Applications 13th International Conference, BIC-TA 2018, Beijing, China, November 2–4, 2018, Proceedings, Part II
Bio-inspired Computing: Theories and Applications 13th International Conference, BIC-TA 2018, Beijing, China, November 2–4, 2018, Proceedings, Part II
Author 
Qiao, Jianyong. editor. Zhao, Xinchao. editor. (orcid)0000-0001-9376-7646 Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Zuo, Xingquan. editor. (orcid)0000-0001-9580-1182 Zhang, Xingyi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2829-9
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings
Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings
Author 
Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234 Stefanuk, Vadim L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00617-4
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Artificial Neural Networks and Machine Learning – ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I
Artificial Neural Networks and Machine Learning – ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I
Author 
Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Hammer, Barbara. editor. Iliadis, Lazaros. editor. Maglogiannis, Ilias. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01418-6
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Computational Thinking First Algorithms, Then Code
Computational Thinking First Algorithms, Then Code
Author 
Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97940-3
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Advances in Neural Networks – ISNN 2018 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25–28, 2018, Proceedings
Advances in Neural Networks – ISNN 2018 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25–28, 2018, Proceedings
Author 
Huang, Tingwen. editor. (orcid)0000-0001-9610-846X Lv, Jiancheng. editor. Sun, Changyin. editor. Tuzikov, Alexander V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92537-0
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III
Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III
Author 
Li, Kang. editor. Zhang, Jianhua. editor. Chen, Minyou. editor. Yang, Zhile. editor. Niu, Qun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2381-2
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Advances in Artificial Intelligence - IBERAMIA 2018 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings
Advances in Artificial Intelligence - IBERAMIA 2018 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings
Author 
Simari, Guillermo R. editor. (orcid)0000-0001-6247-0428 Fermé, Eduardo. editor. (orcid)0000-0002-9618-2421 Gutiérrez Segura, Flabio. editor. Rodríguez Melquiades, José Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03928-8
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Artificial Intelligence XXXV 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11–13, 2018, Proceedings
Artificial Intelligence XXXV 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11–13, 2018, Proceedings
Author 
Bramer, Max. editor. Petridis, Miltos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04191-5
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Computational Logistics 9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1–3, 2018, Proceedings
Computational Logistics 9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1–3, 2018, Proceedings
Author 
Cerulli, Raffaele. editor. (orcid)0000-0002-3277-6802 Raiconi, Andrea. editor. (orcid)0000-0002-7188-8794 Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00898-7
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers
Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers
Author 
Lewis, Peter R. editor. Headleand, Christopher J. editor. Battle, Steve. editor. Ritsos, Panagiotis D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90418-4
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Author 
Bakhshi, Rena. editor. Ballarini, Paolo. editor. Barbot, Benoît. editor. Castel-Taleb, Hind. editor. Remke, Anne. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02227-3
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Author 
Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91271-4
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05063-4
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III
Author 
Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Perfilieva, Irina. editor. Bouchon-Meunier, Bernadette. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91479-4
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II
Author 
Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91476-3
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Artificial Neural Networks and Machine Learning – ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II
Artificial Neural Networks and Machine Learning – ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II
Author 
Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Hammer, Barbara. editor. Iliadis, Lazaros. editor. Maglogiannis, Ilias. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01421-6
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Author 
Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91268-4
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Algorithms and Models for the Web Graph 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings
Algorithms and Models for the Web Graph 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings
Author 
Bonato, Anthony. editor. Prałat, Paweł. editor. Raigorodskii, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92871-5
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Hybrid Artificial Intelligent Systems 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings
Hybrid Artificial Intelligent Systems 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings
Author 
de Cos Juez, Francisco Javier. editor. Villar, José Ramón. editor. de la Cal, Enrique A. editor. Herrero, Álvaro. editor. Quintián, Héctor. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92639-1
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
Author 
Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77313-1
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings
Author 
van Hoeve, Willem-Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93031-2
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Wireless Algorithms, Systems, and Applications 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings
Wireless Algorithms, Systems, and Applications 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings
Author 
Chellappan, Sriram. editor. Cheng, Wei. editor. Li, Wei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94268-1
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I
Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Tang, Qirong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93815-8
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Computational Intelligence and Its Applications 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings
Computational Intelligence and Its Applications 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings
Author 
Amine, Abdelmalek. editor. Mouhoub, Malek. editor. (orcid)0000-0001-7381-1064 Ait Mohamed, Otmane. editor. Djebbar, Bachir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89743-1
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Advances in Artificial Intelligence 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings
Advances in Artificial Intelligence 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings
Author 
Herrera, Francisco. editor. (orcid)0000-0002-7283-312X Damas, Sergio. editor. (orcid)0000-0002-8377-8349 Montes, Rosana. editor. (orcid)0000-0002-0183-044X Alonso, Sergio. editor. (orcid)0000-0001-6620-328X Cordón, Óscar. editor. (orcid)0000-0001-5112-5629
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00374-6
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II
Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II
Author 
Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99259-4
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I
Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I
Author 
Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99253-2
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Models of Computation for Big Data
Models of Computation for Big Data
Author 
Akerkar, Rajendra. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91851-8
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Graph Drawing and Network Visualization 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings
Graph Drawing and Network Visualization 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings
Author 
Biedl, Therese. editor. (orcid)0000-0002-9003-3783 Kerren, Andreas. editor. (orcid)0000-0002-0519-2537 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04414-5
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96145-3
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Artificial Intelligence and Evolutionary Computations in Engineering Systems Proceedings of ICAIECES 2017
Artificial Intelligence and Evolutionary Computations in Engineering Systems Proceedings of ICAIECES 2017
Author 
Dash, Subhransu Sekhar. editor. Naidu, Paruchuri Chandra Babu. editor. Bayindir, Ramazan. editor. Das, Swagatam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7868-2
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II
Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II
Author 
Li, Kang. editor. Fei, Minrui. editor. Du, Dajun. editor. Yang, Zhile. editor. Yang, Dongsheng. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2384-3
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Author 
Demazeau, Yves. editor. An, Bo. editor. (orcid)0000-0002-7064-7438 Bajo, Javier. editor. Fernández-Caballero, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94580-4
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Approximation and Online Algorithms 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers
Approximation and Online Algorithms 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers
Author 
Epstein, Leah. editor. Erlebach, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04693-4
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Web and Internet Economics 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings
Web and Internet Economics 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings
Author 
Christodoulou, George. editor. Harks, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04612-5
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Author 
Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92402-1
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Mining Over Air: Wireless Communication Networks Analytics
Mining Over Air: Wireless Communication Networks Analytics
Author 
Ouyang, Ye. author. Hu, Mantian. author. Huet, Alexis. author. Li, Zhongyuan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92312-3
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Combinatorial Algorithms 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers
Combinatorial Algorithms 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers
Author 
Brankovic, Ljiljana. editor. (orcid)0000-0002-5056-4627 Ryan, Joe. editor. (orcid)0000-0002-7781-0306 Smyth, William F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78825-8
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Approximation and Online Algorithms 15th International Workshop, WAOA 2017, Vienna, Austria, September 7–8, 2017, Revised Selected Papers
Approximation and Online Algorithms 15th International Workshop, WAOA 2017, Vienna, Austria, September 7–8, 2017, Revised Selected Papers
Author 
Solis-Oba, Roberto. editor. (orcid)0000-0002-7518-4161 Fleischer, Rudolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89441-6
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
Author 
Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73117-9
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Author 
Tian, Cong. editor. Nagoya, Fumiko. editor. Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90104-6
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Reconfigurable Cryptographic Processor
Reconfigurable Cryptographic Processor
Author 
Liu, Leibo. author. Wang, Bo. author. Wei, Shaojun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8899-5
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Algorithmic Aspects of Cloud Computing Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers
Algorithmic Aspects of Cloud Computing Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers
Author 
Alistarh, Dan. editor. Delis, Alex. editor. Pallis, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74875-7
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers
Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers
Author 
Lutton, Evelyne. editor. Legrand, Pierrick. editor. Parrend, Pierre. editor. Monmarché, Nicolas. editor. Schoenauer, Marc. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78133-4
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Computational Intelligence in Music, Sound, Art and Design 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings
Computational Intelligence in Music, Sound, Art and Design 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings
Author 
Liapis, Antonios. editor. Romero Cardalda, Juan Jesús. editor. Ekárt, Anikó. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77583-8
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Applications of Evolutionary Computation 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings
Applications of Evolutionary Computation 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings
Author 
Sim, Kevin. editor. (orcid)0000-0001-6555-7721 Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77538-8
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74718-7
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Intelligent Information and Database Systems 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part II
Intelligent Information and Database Systems 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part II
Author 
Nguyen, Ngoc Thanh. editor. Hoang, Duong Hung. editor. Hong, Tzung-Pei. editor. Pham, Hoang. editor. Trawiński, Bogdan. editor. (orcid)0000-0002-2956-6388
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75420-8
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig
Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig
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: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Machine Learning, Optimization, and Big Data Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers
Machine Learning, Optimization, and Big Data Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers
Author 
Nicosia, Giuseppe. editor. Pardalos, Panos. editor. Giuffrida, Giovanni. editor. Umeton, Renato. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72926-8
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Concurrency Control in Distributed System Using Mutual Exclusion
Concurrency Control in Distributed System Using Mutual Exclusion
Author 
Kanrar, Sukhendu. author. Chaki, Nabendu. author. Chattopadhyay, Samiran. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-5559-1
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Applications of Big Data Analytics Trends, Issues, and Challenges
Applications of Big Data Analytics Trends, Issues, and Challenges
Author 
Alani, Mohammed M. editor. Tawfik, Hissam. editor. Saeed, Mohammed. editor. Anya, Obinna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76472-6
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Self-Regulation in Activity Theory : Applied Work Design for Human-Computer and Human-Machine Systems
Self-Regulation in Activity Theory : Applied Work Design for Human-Computer and Human-Machine Systems
Author 
Bedny, Gregory Z., author. Karwowski, Waldemar, author. Bedny, Inna, author.
Preferred Shelf Number 
TA166 .B436 2018
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/e/9781466569355
Taylor & Francis https://www.taylorfrancis.com/books/9780429188145
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
Author 
Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99241-9
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part II
Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part II
Author 
Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Zhang, Xiao-Long. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95933-7
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Combinatorial Optimization 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers
Combinatorial Optimization 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers
Author 
Lee, Jon. editor. Rinaldi, Giovanni. editor. Mahjoub, A. Ridha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96151-4
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Intelligent Information and Database Systems 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part I
Intelligent Information and Database Systems 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part I
Author 
Nguyen, Ngoc Thanh. editor. Hoang, Duong Hung. editor. Hong, Tzung-Pei. editor. Pham, Hoang. editor. Trawiński, Bogdan. editor. (orcid)0000-0002-2956-6388
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75417-8
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Towards Autonomous Robotic Systems 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings
Towards Autonomous Robotic Systems 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings
Author 
Giuliani, Manuel. editor. (orcid)0000-0003-3781-7623 Assaf, Tareq. editor. Giannaccini, Maria Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96728-8
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings
Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings
Author 
Stoyanov, Danail. editor. Taylor, Zeike. editor. Ferrante, Enzo. editor. (orcid)0000-0002-8500-788X Dalca, Adrian V. editor. (orcid)0000-0002-8422-0136 Martel, Anne. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00689-1
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Advances in Brain Inspired Cognitive Systems 9th International Conference, BICS 2018, Xi'an, China, July 7-8, 2018, Proceedings
Advances in Brain Inspired Cognitive Systems 9th International Conference, BICS 2018, Xi'an, China, July 7-8, 2018, Proceedings
Author 
Ren, Jinchang. editor. Hussain, Amir. editor. Zheng, Jiangbin. editor. Liu, Cheng-Lin. editor. Luo, Bin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00563-4
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings
Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings
Author 
Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. (orcid)0000-0003-3309-2194 Blum, Christian. editor. (orcid)0000-0002-1736-3559 Christensen, Anders L. editor. (orcid)0000-0002-9994-2908 Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00533-7
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Genetic Programming Theory and Practice XV
Genetic Programming Theory and Practice XV
Author 
Banzhaf, Wolfgang. editor. Olson, Randal S. editor. Tozier, William. editor. Riolo, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90512-9
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Computational Intelligence and Intelligent Systems 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part I
Computational Intelligence and Intelligent Systems 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part I
Author 
Li, Kangshun. editor. Li, Wei. editor. Chen, Zhangxing. editor. Liu, Yong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1648-7
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17–19, 2018, Proceedings
Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17–19, 2018, Proceedings
Author 
Bai, Xiao. editor. Hancock, Edwin R. editor. Ho, Tin Kam. editor. Wilson, Richard C. editor. Biggio, Battista. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97785-0
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings
LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings
Author 
Bender, Michael A. editor. Farach-Colton, Martín. editor. (orcid)0000-0003-3616-7788 Mosteiro, Miguel A. editor. (orcid)0000-0001-5842-6256 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77404-6
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Artificial Intelligence First CCF International Conference, ICAI 2018, Jinan, China, August 9-10, 2018, Proceedings
Artificial Intelligence First CCF International Conference, ICAI 2018, Jinan, China, August 9-10, 2018, Proceedings
Author 
Zhou, Zhi-Hua. editor. Yang, Qiang. editor. Gao, Yang. editor. Zheng, Yu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2122-1
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers
Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers
Author 
Lotker, Zvi. editor. Patt-Shamir, Boaz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01325-7
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I
Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I
Author 
Hacid, Hakim. editor. (orcid)0000-0003-2265-9343 Cellary, Wojciech. editor. (orcid)0000-0001-8578-4307 Wang, Hua. editor. (orcid)0000-0002-8465-0996 Paik, Hye-Young. editor. (orcid)0000-0003-4425-7388 Zhou, Rui. editor. (orcid)0000-0001-6807-4362
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02922-7
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for PRIMA 2018: Principles and Practice of Multi-Agent Systems 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings
PRIMA 2018: Principles and Practice of Multi-Agent Systems 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings
Author 
Miller, Tim. editor. (orcid)0000-0003-4908-6063 Oren, Nir. editor. (orcid)0000-0002-4854-9014 Sakurai, Yuko. editor. (orcid)0000-0002-0642-3878 Noda, Itsuki. editor. (orcid)0000-0003-1987-5336 Savarimuthu, Bastin Tony Roy. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03098-8
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Multi-disciplinary Trends in Artificial Intelligence 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedings
Multi-disciplinary Trends in Artificial Intelligence 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedings
Author 
Kaenampornpan, Manasawee. editor. Malaka, Rainer. editor. Nguyen, Duc Dung. editor. Schwind, Nicolas. editor. (orcid)0000-0001-7972-5984 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03014-8
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Author 
Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03044-5
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Author 
Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99933-3
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
Author 
Hoshi, Mizuho. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98654-8
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for A Study Guide to the ISTQB® Foundation Level 2018 Syllabus Test Techniques and Sample Mock Exams
A Study Guide to the ISTQB® Foundation Level 2018 Syllabus Test Techniques and Sample Mock Exams
Author 
Roman, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98740-8
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Algorithms and Applications ALAP 2018
Algorithms and Applications ALAP 2018
Author 
Das, Sajal K. editor. Chaki, Nabendu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8102-6
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Genetic Programming Theory and Practice XIV
Genetic Programming Theory and Practice XIV
Author 
Riolo, Rick. editor. Worzel, Bill. editor. Goldman, Brian. editor. Tozier, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97088-2
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings
AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings
Author 
Mitrovic, Tanja. editor. Xue, Bing. editor. (orcid)0000-0002-4865-8026 Li, Xiaodong. editor. (orcid)0000-0003-0346-1526 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03991-2
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05057-3
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II
Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II
Author 
Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249 Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765 Yan, Yamin. editor. (orcid)0000-0001-5838-2652 Chen, Shifeng. editor. (orcid)0000-0003-0677-7358 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97589-4
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Database and Expert Systems Applications 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part I
Database and Expert Systems Applications 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part I
Author 
Hartmann, Sven. editor. Ma, Hui. editor. Hameurlain, Abdelkader. editor. Pernul, Günther. editor. Wagner, Roland R. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98809-2
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73441-5
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Braverman Readings in Machine Learning. Key Ideas from Inception to Current State International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks
Braverman Readings in Machine Learning. Key Ideas from Inception to Current State International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks
Author 
Rozonoer, Lev. editor. Mirkin, Boris. editor. (orcid)0000-0001-5470-8635 Muchnik, Ilya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99492-5
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Author 
Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94779-2
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Algorithms for Functional Programming
Algorithms for Functional Programming
Author 
Stone, John David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-57970-1
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Advances in Computational Intelligence 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II
Advances in Computational Intelligence 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II
Author 
Castro, Félix. editor. Miranda-Jiménez, Sabino. editor. González-Mendoza, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02840-4
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Advances in Soft Computing 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I
Advances in Soft Computing 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I
Author 
Castro, Félix. editor. Miranda-Jiménez, Sabino. editor. González-Mendoza, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02837-4
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05051-1
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05054-2
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Bio-inspired Computing: Theories and Applications 13th International Conference, BIC-TA 2018, Beijing, China, November 2–4, 2018, Proceedings, Part I
Bio-inspired Computing: Theories and Applications 13th International Conference, BIC-TA 2018, Beijing, China, November 2–4, 2018, Proceedings, Part I
Author 
Qiao, Jianyong. editor. Zhao, Xinchao. editor. (orcid)0000-0001-9376-7646 Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Zuo, Xingquan. editor. (orcid)0000-0001-9580-1182 Zhang, Xingyi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2826-8
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Auction Based Resource Provisioning in Cloud Computing
Auction Based Resource Provisioning in Cloud Computing
Author 
Baranwal, Gaurav. author. Kumar, Dinesh. author. Raza, Zahid. author. Vidyarthi, Deo Prakash. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8737-0
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part I
Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part I
Author 
Nguyen, Ngoc Thanh. editor. Pimenidis, Elias. editor. Khan, Zaheer. editor. Trawiński, Bogdan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98443-8
Format: 
Availability 
Online Library~1
Available:
Copies:
301. 
Cover image for Random Numbers and Computers
Random Numbers and Computers
Author 
Kneusel, Ronald T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77697-2
Format: 
Availability 
Online Library~1
Available:
Copies:
302. 
Cover image for Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I
Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I
Author 
Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. Gupta, Phalguni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95930-6
Format: 
Availability 
Online Library~1
Available:
Copies:
303. 
Cover image for Artificial Neural Networks and Machine Learning – ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III
Artificial Neural Networks and Machine Learning – ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III
Author 
Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Hammer, Barbara. editor. Iliadis, Lazaros. editor. Maglogiannis, Ilias. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01424-7
Format: 
Availability 
Online Library~1
Available:
Copies:
304. 
Cover image for Guide to Graph Algorithms Sequential, Parallel and Distributed
Guide to Graph Algorithms Sequential, Parallel and Distributed
Author 
Erciyes, K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73235-0
Format: 
Availability 
Online Library~1
Available:
Copies:
305. 
Cover image for Algorithms and Architectures for Parallel Processing ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings
Algorithms and Architectures for Parallel Processing ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings
Author 
Hu, Ting. editor. Wang, Feng. editor. Li, Hongwei. editor. Wang, Qian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05234-8
Format: 
Availability 
Online Library~1
Available:
Copies:
306. 
Cover image for Human Centered Computing Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers
Human Centered Computing Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers
Author 
Zu, Qiaohong. editor. Hu, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74521-3
Format: 
Availability 
Online Library~1
Available:
Copies:
307. 
Cover image for Wireless Personal Communications Simulation and Complexity
Wireless Personal Communications Simulation and Complexity
Author 
A. M. El-Bendary, Mohsen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7131-7
Format: 
Availability 
Online Library~1
Available:
Copies:
308. 
Cover image for Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers
Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers
Author 
Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243 Poli, Irene. editor. (orcid)0000-0001-7828-2480 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Serra, Roberto. editor. (orcid)0000-0002-1417-5106 Slanzi, Debora. editor. (orcid)0000-0002-4204-1009
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78658-2
Format: 
Availability 
Online Library~1
Available:
Copies:
309. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96142-2
Format: 
Availability 
Online Library~1
Available:
Copies:
310. 
Cover image for Foundations of Trusted Autonomy
Foundations of Trusted Autonomy
Author 
Abbass, Hussein A. editor. Scholz, Jason. editor. Reid, Darryn J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64816-3
Format: 
Availability 
Online Library~1
Available:
Copies:
311. 
Cover image for Advances in Artificial Intelligence 31st Canadian Conference on Artificial Intelligence, Canadian AI 2018, Toronto, ON, Canada, May 8–11, 2018, Proceedings
Advances in Artificial Intelligence 31st Canadian Conference on Artificial Intelligence, Canadian AI 2018, Toronto, ON, Canada, May 8–11, 2018, Proceedings
Author 
Bagheri, Ebrahim. editor. Cheung, Jackie C.K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89656-4
Format: 
Availability 
Online Library~1
Available:
Copies:
312. 
Cover image for Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Author 
Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70151-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action