Limit Search Results
Author
SpringerLink (Online service)
(56)
Cheng, Xinzhou. editor.
(3)
Koretsky, Robert, author.
(3)
Lam, Artde Donald Kin-Tak, editor.
(3)
Ling, Zhilei. editor.
(3)
Language
English
(345)
Publication Date
-
Subject
COMPUTERS / Computer Science
(236)
COMPUTERS / Computer Graphics / Game Programming & Design
(53)
COMPUTERS -- Computer Science.
(42)
COMPUTERS / General
(41)
COMPUTERS -- Computer Literacy.
(40)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
347 Results Found Subscribe to search results
00000000000000000000000000000000000000000000000DEFAULT
Print
301. 
Cover image for Self-healing control technology for distribution networks
Self-healing control technology for distribution networks
Author 
Gu, Xinxin, 1952- author. Jiang, Ning, 1965- author.
Preferred Shelf Number 
TK5103.2
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119109341
Format: 
Availability 
Online Library~1
Available:
Copies:
302. 
Cover image for Wireless sensor systems for extreme environments : space, underwater, underground and industrial
Wireless sensor systems for extreme environments : space, underwater, underground and industrial
Author 
Rashvand, Habib F., editor. Abedi, Ali, editor.
Preferred Shelf Number 
TK7872 .D48
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119126492
Format: 
Availability 
Online Library~1
Available:
Copies:
303. 
Cover image for Fog for 5G and IoT
Fog for 5G and IoT
Author 
Chiang, Mung, editor. Balasubramanian, Bharath, editor. Bonomi, Flavio, editor.
Preferred Shelf Number 
QA76.9 .D5 F636 2017 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119187202
Format: 
Availability 
Online Library~1
Available:
Copies:
304. 
Cover image for From prognostics and health systems management to predictive maintenance 2 : knowledge, traceability and decision
From prognostics and health systems management to predictive maintenance 2 : knowledge, traceability and decision
Author 
Chebel-Morello, Brigitte, author. Nicod, Jean-Marc, author. Varnier, Christophe, author.
Preferred Shelf Number 
TK5105.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119436805
Format: 
Availability 
Online Library~1
Available:
Copies:
305. 
Cover image for Internet of things : evolutions and innovations
Internet of things : evolutions and innovations
Author 
Bouhaï, Nasreddine, editor. Saleh, Imad, 1960- editor.
Preferred Shelf Number 
TK5105.8857
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119427391
Format: 
Availability 
Online Library~1
Available:
Copies:
306. 
Cover image for Content delivery networks : fundamentals, design, and evolution
Content delivery networks : fundamentals, design, and evolution
Author 
Robinson, Dom, author.
Preferred Shelf Number 
TK5105.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119249924
Format: 
Availability 
Online Library~1
Available:
Copies:
307. 
Cover image for Dictionary of Computer Science, Engineering and Technology
Dictionary of Computer Science, Engineering and Technology
Author 
Laplante, Philip A., editor., author.
Preferred Shelf Number 
QA76.15 L375 2017
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
308. 
Cover image for Pattern Classification of Medical Images: Computer Aided Diagnosis
Pattern Classification of Medical Images: Computer Aided Diagnosis
Author 
Yin, Xiao-Xia. author. Hadjiloucas, Sillas. author. Zhang, Yanchun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57027-3
Format: 
Availability 
Online Library~1
Available:
Copies:
309. 
Cover image for Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Author 
D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68167-2
Format: 
Availability 
Online Library~1
Available:
Copies:
310. 
Cover image for Tomorrow's Learning: Involving Everyone. Learning with and about Technologies and Computing 11th IFIP TC 3 World Conference on Computers in Education, WCCE 2017, Dublin, Ireland, July 3-6, 2017, Revised Selected Papers
Tomorrow's Learning: Involving Everyone. Learning with and about Technologies and Computing 11th IFIP TC 3 World Conference on Computers in Education, WCCE 2017, Dublin, Ireland, July 3-6, 2017, Revised Selected Papers
Author 
Tatnall, Arthur. editor. (orcid)0000-0003-4317-971X Webb, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74310-3
Format: 
Availability 
Online Library~1
Available:
Copies:
311. 
Cover image for Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Availability 
Online Library~1
Available:
Copies:
312. 
Cover image for Anthropology-Based Computing Putting the Human in Human-Computer Interaction
Anthropology-Based Computing Putting the Human in Human-Computer Interaction
Author 
Brown, John N.A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24421-1
Format: 
Availability 
Online Library~1
Available:
Copies:
313. 
Cover image for Introduction to the History of Computing A Computing History Primer
Introduction to the History of Computing A Computing History Primer
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33138-6
Format: 
Availability 
Online Library~1
Available:
Copies:
314. 
Cover image for NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Author 
Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40648-0
Format: 
Availability 
Online Library~1
Available:
Copies:
315. 
Cover image for Man-Machine-Environment System Engineering Proceedings of the 16th International Conference on MMESE
Man-Machine-Environment System Engineering Proceedings of the 16th International Conference on MMESE
Author 
Long, Shengzhao. editor. Dhillon, Balbir S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2323-1
Format: 
Availability 
Online Library~1
Available:
Copies:
316. 
Cover image for Linear circuit theory : matrices in computer applications
Linear circuit theory : matrices in computer applications
Author 
Vlach, Jiri, 1922- author.
Preferred Shelf Number 
TK454
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429173660
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
317. 
Cover image for Understanding Control Flow Concurrent Programming Using μC++
Understanding Control Flow Concurrent Programming Using μC++
Author 
Buhr, Peter A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
318. 
Cover image for Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation
Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation
Author 
Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
319. 
Cover image for Human Interface and the Management of Information: Applications and Services 18th International Conference, HCI International 2016 Toronto, Canada, July 17-22, 2016. Proceedings, Part II
Human Interface and the Management of Information: Applications and Services 18th International Conference, HCI International 2016 Toronto, Canada, July 17-22, 2016. Proceedings, Part II
Author 
Yamamoto, Sakae. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40397-7
Format: 
Availability 
Online Library~1
Available:
Copies:
320. 
Cover image for Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings
Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings
Author 
Wittevrongel, Sabine. editor. Phung-Duc, Tuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43904-4
Format: 
Availability 
Online Library~1
Available:
Copies:
321. 
Cover image for Clinical Decision Support Systems Theory and Practice
Clinical Decision Support Systems Theory and Practice
Author 
Berner, Eta S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31913-1
Format: 
Availability 
Online Library~1
Available:
Copies:
322. 
Cover image for Foundations of crystallography with computer applications
Foundations of crystallography with computer applications
Author 
Julian, Maureen M., author. Taylor and Francis.
Preferred Shelf Number 
QD906.7 .E4
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
323. 
Cover image for System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
Author 
Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11743-0
Format: 
Availability 
Online Library~1
Available:
Copies:
324. 
Cover image for Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings
Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings
Author 
Kravets, Alla. editor. (orcid)0000-0003-1675-8652 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X Iijima, Tadashi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11854-3
Format: 
Availability 
Online Library~1
Available:
Copies:
325. 
Cover image for Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Author 
Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10882-7
Format: 
Availability 
Online Library~1
Available:
Copies:
326. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI Selected Papers from ACOMP 2013
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI Selected Papers from ACOMP 2013
Author 
Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589 Thoai, Nam. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45947-8
Format: 
Availability 
Online Library~1
Available:
Copies:
327. 
Cover image for Open Problems in Mathematics and Computational Science
Open Problems in Mathematics and Computational Science
Author 
Koç, Çetin Kaya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10683-0
Format: 
Availability 
Online Library~1
Available:
Copies:
328. 
Cover image for Post-Quantum Cryptography 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings
Post-Quantum Cryptography 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings
Author 
Mosca, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11659-4
Format: 
Availability 
Online Library~1
Available:
Copies:
329. 
Cover image for Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II
Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II
Author 
Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45608-8
Format: 
Availability 
Online Library~1
Available:
Copies:
330. 
Cover image for Theory of Cryptography 11th International Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014, Proceedings
Theory of Cryptography 11th International Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014, Proceedings
Author 
Lindell, Yehuda. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54242-8
Format: 
Availability 
Online Library~1
Available:
Copies:
331. 
Cover image for Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part I
Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part I
Author 
Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45611-8
Format: 
Availability 
Online Library~1
Available:
Copies:
332. 
Cover image for Reflections on the History of Computers in Education Early Use of Computers and Teaching about Computing in Schools
Reflections on the History of Computers in Education Early Use of Computers and Teaching about Computing in Schools
Author 
Tatnall, Arthur. editor. Davey, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55119-2
Format: 
Availability 
Online Library~1
Available:
Copies:
333. 
Cover image for Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04921-2
Format: 
Availability 
Online Library~1
Available:
Copies:
334. 
Cover image for Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
Author 
Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06089-7
Format: 
Availability 
Online Library~1
Available:
Copies:
335. 
Cover image for Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Author 
Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08789-4
Format: 
Availability 
Online Library~1
Available:
Copies:
336. 
Cover image for Essential algorithms : a practical approach to computer algorithms
Essential algorithms : a practical approach to computer algorithms
Author 
Stephens, Rod, 1961- author.
Preferred Shelf Number 
QA76.9 .S74 2013
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119575955
Format: 
Availability 
Online Library~1
Available:
Copies:
337. 
Cover image for Discrete dynamical systems and chaotic machines : theory and applications
Discrete dynamical systems and chaotic machines : theory and applications
Author 
Bahi, Jacques Mohcine., author. Guyeux, Christophe.
Preferred Shelf Number 
QA76.9 .A25 B344 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
338. 
Cover image for Invisible in the storm : the role of mathematics in understanding weather
Invisible in the storm : the role of mathematics in understanding weather
Author 
Roulstone, Ian. Norbury, John, 1945-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt1r2dvw
Format: 
Availability 
Online Library~1
Available:
Copies:
339. 
Cover image for The golden ticket : P, NP, and the search for the impossible
The golden ticket : P, NP, and the search for the impossible
Author 
Fortnow, Lance, 1963-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt24hpm0
Format: 
Availability 
Online Library~1
Available:
Copies:
340. 
Cover image for Tools for High Performance Computing 2012
Tools for High Performance Computing 2012
Author 
Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.
Preferred Shelf Number 
ONLINE(334411.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37349-7
Format: 
Availability 
Online Library~1
Available:
Copies:
341. 
Cover image for Formal methods for industrial critical systems a survey of applications
Formal methods for industrial critical systems a survey of applications
Author 
Gnesi, Stefania, 1954- Margaria-Steffen, Tiziana, 1964-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798
Format: 
Availability 
Online Library~1
Available:
Copies:
342. 
Cover image for The interface : IBM and the transformation of corporate design, 1945/1976
The interface : IBM and the transformation of corporate design, 1945/1976
Author 
Harwood, John, 1977-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.5749/j.cttttmjx
Format: 
Availability 
Online Library~1
Available:
Copies:
343. 
Cover image for Connections patterns of discovery
Connections patterns of discovery
Author 
Alesso, H. P. Smith, C. F. (Craig Forsythe), 1950-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5361009
Format: 
Availability 
Online Library~1
Available:
Copies:
344. 
Cover image for Extreme Man-Made and Natural Hazards in Dynamics of Structures
Extreme Man-Made and Natural Hazards in Dynamics of Structures
Author 
Ibrahimbegovic, Adnan. editor. Kozar, Ivica. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5656-7
Format: 
Availability 
Online Library~1
Available:
Copies:
345. 
Cover image for Quantum computation and quantum information
Quantum computation and quantum information
Author 
Nielsen, Michael A. 1974- Chuang, Isaac L., 1968-
Preferred Shelf Number 
QA76.889 N54 2005
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
346. 
Cover image for Developing performance support for computer systems : a strategy for maximizing usability and learnability
Developing performance support for computer systems : a strategy for maximizing usability and learnability
Author 
Williams, James R. (James Richard), 1932-
Preferred Shelf Number 
QA76 .W5185 2004
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781136864964
Taylor & Francis https://www.taylorfrancis.com/books/9780203228531
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
347. 
Cover image for A Numerical library in C for scientists and engineers
A Numerical library in C for scientists and engineers
Author 
Lau, H. T. (Hang Tong), 1952-
Preferred Shelf Number 
QA76.73 .C15 L38 1995 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781420050103
Taylor & Francis https://www.taylorfrancis.com/books/9780367802387
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies: