Limit Search Results
Author
SpringerLink (Online service)
(659)
Gavrilova, Marina L. editor.
(18)
Albada, Geert Dick. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Sloot, Peter M. A. editor.
(16)
Publication Date
-
Subject
Information theory.
(473)
Computer science.
(417)
Software engineering.
(163)
Artificial intelligence.
(144)
Computer software.
(125)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
851 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
301. 
Cover image for Knowledge Engineering and Knowledge Management 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedings
Knowledge Engineering and Knowledge Management 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedings
Author 
Faron Zucker, Catherine. editor. (orcid)0000-0001-5959-5561 Ghidini, Chiara. editor. (orcid)0000-0003-1563-4965 Napoli, Amedeo. editor. Toussaint, Yannick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03667-6
Format: 
Availability 
Online Library~1
Available:
Copies:
302. 
Cover image for Intelligent Data Engineering and Automated Learning – IDEAL 2018 19th International Conference, Madrid, Spain, November 21–23, 2018, Proceedings, Part I
Intelligent Data Engineering and Automated Learning – IDEAL 2018 19th International Conference, Madrid, Spain, November 21–23, 2018, Proceedings, Part I
Author 
Yin, Hujun. editor. (orcid)0000-0002-9198-5401 Camacho, David. editor. (orcid)0000-0002-0535-7450 Novais, Paulo. editor. (orcid)0000-0002-3549-0754 Tallón-Ballesteros, Antonio J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03493-1
Format: 
Availability 
Online Library~1
Available:
Copies:
303. 
Cover image for Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Author 
Bauer, Lujo. editor. Küsters, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89722-6
Format: 
Availability 
Online Library~1
Available:
Copies:
304. 
Cover image for Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Author 
Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89884-1
Format: 
Availability 
Online Library~1
Available:
Copies:
305. 
Cover image for Literature in the digital age : an introduction
Literature in the digital age : an introduction
Author 
Hammond, Adam, 1981-
Preferred Shelf Number 
PN98.I54 H36 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
306. 
Cover image for Addressing techniques of liquid crystal displays
Addressing techniques of liquid crystal displays
Author 
Ruckmongathan, Temkar N., author.
Preferred Shelf Number 
ONLINE(341694.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781119940456.jpg
John Wiley http://dx.doi.org/10.1002/9781118706398
Format: 
Availability 
Online Library~1
Available:
Copies:
307. 
Cover image for Analytic pattern matching from DNA to Twitter
Analytic pattern matching from DNA to Twitter
Author 
Jacquet, Philippe, 1958- author. Szpankowski, Wojciech, 1952- author.
Preferred Shelf Number 
TK7882 .P3 J33 2015
Electronic Access 
https://doi.org/10.1017/CBO9780511843204
Format: 
Availability 
Online Library~1
Available:
Copies:
308. 
Cover image for Introduction to Cryptography Principles and Applications
Introduction to Cryptography Principles and Applications
Author 
Delfs, Hans. author. Knebl, Helmut. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518569.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47974-2
Format: 
Availability 
Online Library~1
Available:
Copies:
309. 
Cover image for Computer Vision, Imaging and Computer Graphics - Theory and Applications International Joint Conference, VISIGRAPP 2014, Lisbon, Portugal, January 5-8, 2014, Revised Selected Papers
Computer Vision, Imaging and Computer Graphics - Theory and Applications International Joint Conference, VISIGRAPP 2014, Lisbon, Portugal, January 5-8, 2014, Revised Selected Papers
Author 
Battiato, Sebastiano. editor. Coquillart, Sabine. editor. Pettré, Julien. editor. Laramee, Robert S. editor. Kerren, Andreas. editor.
Preferred Shelf Number 
XX(518645.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25117-2
Format: 
Availability 
Online Library~1
Available:
Copies:
310. 
Cover image for Social Computing and Social Media 7th International Conference, SCSM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings
Social Computing and Social Media 7th International Conference, SCSM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings
Author 
Meiselwitz, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518781.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20367-6
Format: 
Availability 
Online Library~1
Available:
Copies:
311. 
Cover image for Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Author 
Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sempere, José M. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519065.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28475-0
Format: 
Availability 
Online Library~1
Available:
Copies:
312. 
Cover image for Models of Strategic Reasoning Logics, Games, and Communities
Models of Strategic Reasoning Logics, Games, and Communities
Author 
van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519080.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48540-8
Format: 
Availability 
Online Library~1
Available:
Copies:
313. 
Cover image for Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Author 
Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519118.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-45824-2
Format: 
Availability 
Online Library~1
Available:
Copies:
314. 
Cover image for Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
Author 
Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519168.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21042-1
Format: 
Availability 
Online Library~1
Available:
Copies:
315. 
Cover image for Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II
Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II
Author 
Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Hussain, Abir. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519184.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22186-1
Format: 
Availability 
Online Library~1
Available:
Copies:
316. 
Cover image for Cooperative Design, Visualization, and Engineering 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings
Cooperative Design, Visualization, and Engineering 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings
Author 
Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519198.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24132-6
Format: 
Availability 
Online Library~1
Available:
Copies:
317. 
Cover image for Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
XX(519299.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19369-4
Format: 
Availability 
Online Library~1
Available:
Copies:
318. 
Cover image for Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
Author 
Xu, Dachuan. editor. Du, Donglei. editor. Du, Dingzhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519301.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21398-9
Format: 
Availability 
Online Library~1
Available:
Copies:
319. 
Cover image for Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II
Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II
Author 
Gennaro, Rosario. editor. Robshaw, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519314.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48000-7
Format: 
Availability 
Online Library~1
Available:
Copies:
320. 
Cover image for Why information grows : the evolution of order, from atoms to economies
Why information grows : the evolution of order, from atoms to economies
Author 
Hidalgo, Cesar A.
Preferred Shelf Number 
HB133 H6253 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
321. 
Cover image for Measures of Complexity Festschrift for Alexey Chervonenkis
Measures of Complexity Festschrift for Alexey Chervonenkis
Author 
Vovk, Vladimir. editor. Papadopoulos, Harris. editor. Gammerman, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518354.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21852-6
Format: 
Availability 
Online Library~1
Available:
Copies:
322. 
Cover image for E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings
E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings
Author 
Benyoucef, Morad. editor. Weiss, Michael. editor. Mili, Hafedh. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518497.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17957-5
Format: 
Availability 
Online Library~1
Available:
Copies:
323. 
Cover image for ICT Systems Security and Privacy Protection 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings
ICT Systems Security and Privacy Protection 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings
Author 
Federrath, Hannes. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518684.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18467-8
Format: 
Availability 
Online Library~1
Available:
Copies:
324. 
Cover image for Cryptography and Coding 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings
Cryptography and Coding 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings
Author 
Groth, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518897.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27239-9
Format: 
Availability 
Online Library~1
Available:
Copies:
325. 
Cover image for Computational Creativity Research: Towards Creative Machines
Computational Creativity Research: Towards Creative Machines
Author 
Besold, Tarek R. editor. Schorlemmer, Marco. editor. Smaill, Alan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518589.1)
Electronic Access 
https://doi.org/10.2991/978-94-6239-085-0
Format: 
Availability 
Online Library~1
Available:
Copies:
326. 
Cover image for Achieving Success and Innovation in Global Sourcing: Perspectives and Practices 9th Global Sourcing Workshop 2015, La Thuile, Italy, February 18-21, 2015, Revised Selected Papers
Achieving Success and Innovation in Global Sourcing: Perspectives and Practices 9th Global Sourcing Workshop 2015, La Thuile, Italy, February 18-21, 2015, Revised Selected Papers
Author 
Oshri, Ilan. editor. Kotlarsky, Julia. editor. Willcocks, Leslie P. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518414.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-26739-5
Format: 
Availability 
Online Library~1
Available:
Copies:
327. 
Cover image for Wireless Algorithms, Systems, and Applications 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings
Wireless Algorithms, Systems, and Applications 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings
Author 
Xu, Kuai. editor. Zhu, Haojin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518831.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21837-3
Format: 
Availability 
Online Library~1
Available:
Copies:
328. 
Cover image for Web Technologies and Applications 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings
Web Technologies and Applications 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings
Author 
Cheng, Reynold. editor. Cui, Bin. editor. Zhang, Zhenjie. editor. Cai, Ruichu. editor. Xu, Jia. editor.
Preferred Shelf Number 
XX(518837.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25255-1
Format: 
Availability 
Online Library~1
Available:
Copies:
329. 
Cover image for Quantum Interaction 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers
Quantum Interaction 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers
Author 
Atmanspacher, Harald. editor. Bergomi, Claudia. editor. Filk, Thomas. editor. Kitto, Kirsty. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518954.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15931-7
Format: 
Availability 
Online Library~1
Available:
Copies:
330. 
Cover image for Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I
Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I
Author 
Gennaro, Rosario. editor. Robshaw, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518993.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47989-6
Format: 
Availability 
Online Library~1
Available:
Copies:
331. 
Cover image for Algorithmic Learning Theory 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings
Algorithmic Learning Theory 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings
Author 
Chaudhuri, Kamalika. editor. GENTILE, CLAUDIO. editor. Zilles, Sandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519228.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24486-0
Format: 
Availability 
Online Library~1
Available:
Copies:
332. 
Cover image for Multimedia Data Mining and Analytics Disruptive Innovation
Multimedia Data Mining and Analytics Disruptive Innovation
Author 
Baughman, Aaron K. editor. Gao, Jiang. editor. Pan, Jia-Yu. editor. Petrushin, Valery A. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518621.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14998-1
Format: 
Availability 
Online Library~1
Available:
Copies:
333. 
Cover image for Basic data analysis for time series with R
Basic data analysis for time series with R
Author 
Derryberry, DeWayne R., author.
Preferred Shelf Number 
ONLINE(341606.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1719581
John Wiley http://onlinelibrary.wiley.com/book/10.1002/9781118593233
John Wiley http://dx.doi.org/10.1002/9781118593233
MyiLibrary http://www.myilibrary.com?id=632010
http://swb.eblib.com/patron/FullRecord.aspx?p=1719581
Format: 
Availability 
Online Library~1
Available:
Copies:
334. 
Cover image for Control of quantum systems : theory and methods
Control of quantum systems : theory and methods
Author 
Cong, Shuang, author.
Preferred Shelf Number 
ONLINE(341617.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781118608135
Format: 
Availability 
Online Library~1
Available:
Copies:
335. 
Cover image for Blind source separation : theory and applications
Blind source separation : theory and applications
Author 
Yu, Xianchuan, author. Hu, Dan, Ph.D., author. Xu, Jindong, author.
Preferred Shelf Number 
ONLINE(341661.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781118679852
Format: 
Availability 
Online Library~1
Available:
Copies:
336. 
Cover image for Gas insulated substations
Gas insulated substations
Author 
Koch, Hermann, 1954- editor.
Preferred Shelf Number 
ONLINE(341674.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781118694534
Format: 
Availability 
Online Library~1
Available:
Copies:
337. 
Cover image for Lubricants : introduction to properties and performance
Lubricants : introduction to properties and performance
Author 
Torbacke, Marika. Rudolphi, Asa Kassman. Kassfeldt, Elisabet.
Preferred Shelf Number 
ONLINE(341802.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118799741.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1642417
ebrary http://site.ebrary.com/id/10845550
John Wiley http://dx.doi.org/10.1002/9781118799734
MyiLibrary http://www.myilibrary.com?id=578592
Format: 
Availability 
Online Library~1
Available:
Copies:
338. 
Cover image for Toward analytical chaos in nonlinear systems
Toward analytical chaos in nonlinear systems
Author 
Luo, Albert C. J., author.
Preferred Shelf Number 
ONLINE(341951.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118658611.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1680248
ebrary http://site.ebrary.com/id/10865384
John Wiley http://dx.doi.org/10.1002/9781118887158
MyiLibrary http://www.myilibrary.com?id=601869
Format: 
Availability 
Online Library~1
Available:
Copies:
339. 
Cover image for Reproductive Biology of Teleost Fishes
Reproductive Biology of Teleost Fishes
Author 
Wootton , Robert J. Smith, Carl.
Preferred Shelf Number 
ONLINE(341966.1)
Electronic Access 
Ebook Library Click here to view book
John Wiley http://dx.doi.org/10.1002/9781118891360
Format: 
Availability 
Online Library~1
Available:
Copies:
340. 
Cover image for Bayesian networks for probabilistic inference and decision analysis in forensic science
Bayesian networks for probabilistic inference and decision analysis in forensic science
Author 
Taroni, Franco, author. Biedermann, Alex, author. Bozza, Silvia, author. Garbolino, Paolo, 1955- author. Aitken, C. G. G., author.
Preferred Shelf Number 
ONLINE(342015.1)
Electronic Access 
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/9781118914762
Wiley Online Library http://onlinelibrary.wiley.com/book/10.1002/9781118914762
Volltext http://proquest.tech.safaribooksonline.de/9781118914748
Format: 
Availability 
Online Library~1
Available:
Copies:
341. 
Cover image for Statistical thermodynamics : with applications to the life sciences
Statistical thermodynamics : with applications to the life sciences
Author 
Ben-Naim, Arieh, 1934- author.
Preferred Shelf Number 
QH323.5 B436 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
342. 
Cover image for Handbook of metadata, semantics and ontologies
Handbook of metadata, semantics and ontologies
Author 
Sicilia, Miguel-Angel, 1973-
Preferred Shelf Number 
Z666.7 H36 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
343. 
Cover image for Shaping knowledge complex socio-spatial modelling for adaptive organizations
Shaping knowledge complex socio-spatial modelling for adaptive organizations
Author 
O'Brien, Jamie.
Preferred Shelf Number 
ONLINE(355412.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781843347514
Format: 
Availability 
Online Library~1
Available:
Copies:
344. 
Cover image for Channel coding : theory, algorithms, and applications
Channel coding : theory, algorithms, and applications
Author 
Declerq, David, editor. Fossorier, Marc, 1964- editor. Biglieri, Ezio, editor.
Preferred Shelf Number 
ONLINE(355629.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123964991
Format: 
Availability 
Online Library~1
Available:
Copies:
345. 
Cover image for Uncertainty theories and multisensor data fusion
Uncertainty theories and multisensor data fusion
Author 
Appriou, Alain.
Preferred Shelf Number 
ONLINE(341597.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1734296
John Wiley http://dx.doi.org/10.1002/9781118578636
Format: 
Availability 
Online Library~1
Available:
Copies:
346. 
Cover image for Risk assessment of power systems : models, methods, and applications
Risk assessment of power systems : models, methods, and applications
Author 
Li, Wenyuan, 1946- author.
Preferred Shelf Number 
ONLINE(341888.1)
Electronic Access 
CLICK HERE for online access
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1638154
ebrary http://site.ebrary.com/id/10842316
John Wiley http://dx.doi.org/10.1002/9781118849972
Format: 
Availability 
Online Library~1
Available:
Copies:
347. 
Cover image for The Galapagos : a natural laboratory for the Earth sciences
The Galapagos : a natural laboratory for the Earth sciences
Author 
Harpp, Karen S., editor.
Preferred Shelf Number 
ONLINE(341893.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118852415.jpg
John Wiley http://dx.doi.org/10.1002/9781118852538
Format: 
Availability 
Online Library~1
Available:
Copies:
348. 
Cover image for Program management for improved business results
Program management for improved business results
Author 
Martinelli, Russ J., 1959- author. Waddell, James M., 1946- author. Rahschulte, Tim, author. Milošević, Dragan Program management for improved business result.
Preferred Shelf Number 
ONLINE(341988.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118627921.jpg
John Wiley http://dx.doi.org/10.1002/9781118904367
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1727723
Format: 
Availability 
Online Library~1
Available:
Copies:
349. 
Cover image for Semantic multimedia analysis and processing
Semantic multimedia analysis and processing
Author 
Spyrou, Evaggelos, editor of compilation. Iakovidis, Dimitris, editor of compilation. Mylonas, Phivos, editor of compilation.
Preferred Shelf Number 
ONLINE(356442.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
350. 
Cover image for Linear Network Error Correction Coding
Linear Network Error Correction Coding
Author 
Guang, Xuan. author. Zhang, Zhen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-0588-1
Format: 
Availability 
Online Library~1
Available:
Copies:
351. 
Cover image for Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings
Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings
Author 
Schmidt, Kai-Uwe. editor. Winterhof, Arne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12325-7
Format: 
Availability 
Online Library~1
Available:
Copies:
352. 
Cover image for Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings
Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings
Author 
Tan, Tieniu. editor. Ruan, Qiuqi. editor. Wang, Shengjin. editor. Ma, Huimin. editor. Huang, Kaiqi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45498-5
Format: 
Availability 
Online Library~1
Available:
Copies:
353. 
Cover image for Topological Signal Processing
Topological Signal Processing
Author 
Robinson, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-36104-3
Format: 
Availability 
Online Library~1
Available:
Copies:
354. 
Cover image for Satellite Network Robust QoS-aware Routing
Satellite Network Robust QoS-aware Routing
Author 
Long, Fei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54353-1
Format: 
Availability 
Online Library~1
Available:
Copies:
355. 
Cover image for Selected Areas in Cryptography -- SAC 2013 20th International Conference, Burnaby, BC, Canada, August 14-16, 2013, Revised Selected Papers
Selected Areas in Cryptography -- SAC 2013 20th International Conference, Burnaby, BC, Canada, August 14-16, 2013, Revised Selected Papers
Author 
Lange, Tanja. editor. Lauter, Kristin. editor. Lisoněk, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43414-7
Format: 
Availability 
Online Library~1
Available:
Copies:
356. 
Cover image for Information and Control in Networks
Information and Control in Networks
Author 
Como, Giacomo. editor. Bernhardsson, Bo. editor. Rantzer, Anders. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-02150-8
Format: 
Availability 
Online Library~1
Available:
Copies:
357. 
Cover image for Directed Information Measures in Neuroscience
Directed Information Measures in Neuroscience
Author 
Wibral, Michael. editor. Vicente, Raul. editor. Lizier, Joseph T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54474-3
Format: 
Availability 
Online Library~1
Available:
Copies:
358. 
Cover image for Cryptology and Network Security 13th International Conference, CANS 2014, Heraklion, Crete, Greece, October 22-24, 2014. Proceedings
Cryptology and Network Security 13th International Conference, CANS 2014, Heraklion, Crete, Greece, October 22-24, 2014. Proceedings
Author 
Gritzalis, Dimitris. editor. Kiayias, Aggelos. editor. Askoxylakis, Ioannis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12280-9
Format: 
Availability 
Online Library~1
Available:
Copies:
359. 
Cover image for Selected Areas in Cryptography -- SAC 2014 21st International Conference, Montreal, QC, Canada, August 14-15, 2014, Revised Selected Papers
Selected Areas in Cryptography -- SAC 2014 21st International Conference, Montreal, QC, Canada, August 14-15, 2014, Revised Selected Papers
Author 
Joux, Antoine. editor. Youssef, Amr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13051-4
Format: 
Availability 
Online Library~1
Available:
Copies:
360. 
Cover image for Information and Life
Information and Life
Author 
Battail, Gérard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-007-7040-9
Format: 
Availability 
Online Library~1
Available:
Copies:
361. 
Cover image for Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
Author 
Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11439-2
Format: 
Availability 
Online Library~1
Available:
Copies:
362. 
Cover image for QC-LDPC Code-Based Cryptography
QC-LDPC Code-Based Cryptography
Author 
Baldi, Marco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-02556-8
Format: 
Availability 
Online Library~1
Available:
Copies:
363. 
Cover image for Construction and Analysis of Cryptographic Functions
Construction and Analysis of Cryptographic Functions
Author 
Budaghyan, Lilya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12991-4
Format: 
Availability 
Online Library~1
Available:
Copies:
364. 
Cover image for Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers
Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers
Author 
Bacon, Dave. editor. Martin-Delgado, Miguel. editor. Roetteler, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54429-3
Format: 
Availability 
Online Library~1
Available:
Copies:
365. 
Cover image for Fast Software Encryption 20th International Workshop, FSE 2013, Singapore, March 11-13, 2013. Revised Selected Papers
Fast Software Encryption 20th International Workshop, FSE 2013, Singapore, March 11-13, 2013. Revised Selected Papers
Author 
Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43933-3
Format: 
Availability 
Online Library~1
Available:
Copies:
366. 
Cover image for Advanced Video Coding Systems
Advanced Video Coding Systems
Author 
Gao, Wen. author. Ma, Siwei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14243-2
Format: 
Availability 
Online Library~1
Available:
Copies:
367. 
Cover image for Channel Estimation for Physical Layer Network Coding Systems
Channel Estimation for Physical Layer Network Coding Systems
Author 
Gao, Feifei. author. Xing, Chengwen. author. Wang, Gongpu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11668-6
Format: 
Availability 
Online Library~1
Available:
Copies:
368. 
Cover image for Digital-Forensics and Watermarking 12th International Workshop, IWDW 2013, Auckland, New Zealand, October 1-4, 2013. Revised Selected Papers
Digital-Forensics and Watermarking 12th International Workshop, IWDW 2013, Auckland, New Zealand, October 1-4, 2013. Revised Selected Papers
Author 
Shi, Yun Qing. editor. Kim, Hyoung-Joong. editor. Pérez-González, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43886-2
Format: 
Availability 
Online Library~1
Available:
Copies:
369. 
Cover image for Digital Communication Communication, Multimedia, Security
Digital Communication Communication, Multimedia, Security
Author 
Meinel, Christoph. author. Sack, Harald. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54331-9
Format: 
Availability 
Online Library~1
Available:
Copies:
370. 
Cover image for Forward Error Correction Based On Algebraic-Geometric Theory
Forward Error Correction Based On Algebraic-Geometric Theory
Author 
A. Alzubi, Jafar. author. A. Alzubi, Omar. author. M. Chen, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08293-6
Format: 
Availability 
Online Library~1
Available:
Copies:
371. 
Cover image for Information rigidities in economic growth forecasts evidence from a large international panel
Information rigidities in economic growth forecasts evidence from a large international panel
Author 
Dovern, Jonas. International Monetary Fund. Research Department.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=561209
Format: 
Availability 
Online Library~1
Available:
Copies:
372. 
Cover image for Theory of gearing kinematics, geometry, and synthesis
Theory of gearing kinematics, geometry, and synthesis
Author 
Radzevich, S. P. (Stepan Pavlovich)
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
373. 
Cover image for Single-atom nanoelectronics
Single-atom nanoelectronics
Author 
Prati, Enrico. Shinada, Takahiro.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
374. 
Cover image for Advances in physical ergonomics and safety
Advances in physical ergonomics and safety
Author 
Ahram, Tareq Z. Karwowski, Waldemar, 1953-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
375. 
Cover image for Concepts and methods in modern theoretical chemistry electronic structure and reactivity
Concepts and methods in modern theoretical chemistry electronic structure and reactivity
Author 
Ghosh, Swapan Kumar. Chattaraj, Pratim Kumar.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
376. 
Cover image for Support vector machines optimization based theory, algorithms, and extensions
Support vector machines optimization based theory, algorithms, and extensions
Author 
Deng, Naiyang. Tian, Yingjie, 1973- Zhang, Chunhua, 1978-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
377. 
Cover image for Computer security literacy staying safe in a digital world
Computer security literacy staying safe in a digital world
Author 
Jacobson, Douglas. Idziorek, Joseph.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
378. 
Cover image for Random dynamical systems in finance
Random dynamical systems in finance
Author 
Svishchuk, A. V. (Anatoli? Vital?evich), author. Islam, Shafiqul, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
379. 
Cover image for Communication and engagement with science and technology issues and dilemmas : a reader in science communication
Communication and engagement with science and technology issues and dilemmas : a reader in science communication
Author 
Gilbert, John (John K.) Stocklmayer, Sue.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
380. 
Cover image for Transformer engineering design, technology, and diagnostics
Transformer engineering design, technology, and diagnostics
Author 
Kulkarni, S. V. (Satish V.) Khaparde, S. A., 1949-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
381. 
Cover image for Motivation and learning strategies for college success a focus on self-regulated learning
Motivation and learning strategies for college success a focus on self-regulated learning
Author 
Dembo, Myron H. Seli, Helena.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
382. 
Cover image for The construction of drawings and movies models for architectural design and analysis
The construction of drawings and movies models for architectural design and analysis
Author 
Forget, Thomas.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
383. 
Cover image for "Raw data" is an oxymoron
"Raw data" is an oxymoron
Author 
Gitelman, Lisa, editor of compilation.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451327
Format: 
Availability 
Online Library~1
Available:
Copies:
384. 
Cover image for Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
Author 
O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331002.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4534-9
Format: 
Availability 
Online Library~1
Available:
Copies:
385. 
Cover image for Network Robustness under Large-Scale Attacks
Network Robustness under Large-Scale Attacks
Author 
Zhou, Qing. author. Gao, Long. author. Liu, Ruifang. author. Cui, Shuguang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331604.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4860-0
Format: 
Availability 
Online Library~1
Available:
Copies:
386. 
Cover image for Mobile Authentication Problems and Solutions
Mobile Authentication Problems and Solutions
Author 
Jakobsson, Markus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331610.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4878-5
Format: 
Availability 
Online Library~1
Available:
Copies:
387. 
Cover image for Quantum Walks and Search Algorithms
Quantum Walks and Search Algorithms
Author 
Portugal, Renato. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332008.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6336-8
Format: 
Availability 
Online Library~1
Available:
Copies:
388. 
Cover image for Genetic Programming Theory and Practice X
Genetic Programming Theory and Practice X
Author 
Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332135.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6846-2
Format: 
Availability 
Online Library~1
Available:
Copies:
389. 
Cover image for Advances in Computational Science, Engineering and Information Technology Proceedings of the Third International Conference on Computational Science, Engineering and Information Technology (CCSEIT-2013), KTO Karatay University, June 7-9, 2013, Konya,Turkey - Volume 1
Advances in Computational Science, Engineering and Information Technology Proceedings of the Third International Conference on Computational Science, Engineering and Information Technology (CCSEIT-2013), KTO Karatay University, June 7-9, 2013, Konya,Turkey - Volume 1
Author 
Nagamalai, Dhinaharan. editor. Kumar, Ashok. editor. Annamalai, Annamalai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332821.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00951-3
Format: 
Availability 
Online Library~1
Available:
Copies:
390. 
Cover image for Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Author 
Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
391. 
Cover image for Cryptology and Network Security 12th International Conference, CANS 2013, Paraty, Brazil, November 20-22. 2013. Proceedings
Cryptology and Network Security 12th International Conference, CANS 2013, Paraty, Brazil, November 20-22. 2013. Proceedings
Author 
Abdalla, Michel. editor. Nita-Rotaru, Cristina. editor. Dahab, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332957.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02937-5
Format: 
Availability 
Online Library~1
Available:
Copies:
392. 
Cover image for Cyber Security Deterrence and IT Protection for Critical Infrastructures
Cyber Security Deterrence and IT Protection for Critical Infrastructures
Author 
Martellini, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332909.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02279-6
Format: 
Availability 
Online Library~1
Available:
Copies:
393. 
Cover image for Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
Author 
Reisig, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33278-4
Format: 
Availability 
Online Library~1
Available:
Copies:
394. 
Cover image for Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
Author 
Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334564.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38236-9
Format: 
Availability 
Online Library~1
Available:
Copies:
395. 
Cover image for Optical Supercomputing 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers
Optical Supercomputing 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers
Author 
Dolev, Shlomi. editor. Oltean, Mihai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334567.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38250-5
Format: 
Availability 
Online Library~1
Available:
Copies:
396. 
Cover image for Information Security and Cryptology 8th International Conference, Inscrypt 2012, Beijing, China, November 28-30, 2012, Revised Selected Papers
Information Security and Cryptology 8th International Conference, Inscrypt 2012, Beijing, China, November 28-30, 2012, Revised Selected Papers
Author 
Kutyłowski, Mirosław. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334613.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38519-3
Format: 
Availability 
Online Library~1
Available:
Copies:
397. 
Cover image for Progress in Cryptology – AFRICACRYPT 2013 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings
Progress in Cryptology – AFRICACRYPT 2013 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings
Author 
Youssef, Amr. editor. Nitaj, Abderrahmane. editor. Hassanien, Aboul Ella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334620.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38553-7
Format: 
Availability 
Online Library~1
Available:
Copies:
398. 
Cover image for Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
Author 
Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334910.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40206-7
Format: 
Availability 
Online Library~1
Available:
Copies:
399. 
Cover image for Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
Author 
Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334973.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40579-2
Format: 
Availability 
Online Library~1
Available:
Copies:
400. 
Cover image for Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
Author 
Palamidessi, Catuscia. editor. Ryan, Mark D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335066.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41157-1
Format: 
Availability 
Online Library~1
Available:
Copies:
401. 
Cover image for Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Author 
Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335032.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40948-6
Format: 
Availability 
Online Library~1
Available:
Copies:
402. 
Cover image for Physically Unclonable Functions Constructions, Properties and Applications
Physically Unclonable Functions Constructions, Properties and Applications
Author 
Maes, Roel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335102.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41395-7
Format: 
Availability 
Online Library~1
Available:
Copies:
403. 
Cover image for People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010
People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010
Author 
Lipton, Richard J. author. Regan, Kenneth W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335104.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41422-0
Format: 
Availability 
Online Library~1
Available:
Copies:
404. 
Cover image for Combinatorial Search: From Algorithms to Systems
Combinatorial Search: From Algorithms to Systems
Author 
Hamadi, Youssef. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335109.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41482-4
Format: 
Availability 
Online Library~1
Available:
Copies:
405. 
Cover image for Distributed Computing 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings
Distributed Computing 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings
Author 
Afek, Yehuda. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335119.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41527-2
Format: 
Availability 
Online Library~1
Available:
Copies:
406. 
Cover image for The Courant–Friedrichs–Lewy (CFL) Condition 80 Years After Its Discovery
The Courant–Friedrichs–Lewy (CFL) Condition 80 Years After Its Discovery
Author 
de Moura, Carlos A. editor. Kubrusly, Carlos S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330567.1)
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8394-8
Format: 
Availability 
Online Library~1
Available:
Copies:
407. 
Cover image for Economics of Information Security and Privacy III
Economics of Information Security and Privacy III
Author 
Schneier, Bruce. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331294.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1981-5
Format: 
Availability 
Online Library~1
Available:
Copies:
408. 
Cover image for Advances in Applied Self-Organizing Systems
Advances in Applied Self-Organizing Systems
Author 
Prokopenko, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331148.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5113-5
Format: 
Availability 
Online Library~1
Available:
Copies:
409. 
Cover image for Moving Target Defense II Application of Game Theory and Adversarial Modeling
Moving Target Defense II Application of Game Theory and Adversarial Modeling
Author 
Jajodia, Sushil. editor. Ghosh, Anup K. editor. Subrahmanian, V.S. editor. Swarup, Vipin. editor. Wang, Cliff. editor.
Preferred Shelf Number 
ONLINE(331766.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5416-8
Format: 
Availability 
Online Library~1
Available:
Copies:
410. 
Cover image for Cooperative Networking in a Heterogeneous Wireless Medium
Cooperative Networking in a Heterogeneous Wireless Medium
Author 
Ismail, Muhammad. author. Zhuang, Weihua. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332201.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7079-3
Format: 
Availability 
Online Library~1
Available:
Copies:
411. 
Cover image for Security for Wireless Implantable Medical Devices
Security for Wireless Implantable Medical Devices
Author 
Hei, Xiali. author. Du, Xiaojiang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332220.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7153-0
Format: 
Availability 
Online Library~1
Available:
Copies:
412. 
Cover image for Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Information
Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Information
Author 
Cicalese, Ferdinando. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333074.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17327-1
Format: 
Availability 
Online Library~1
Available:
Copies:
413. 
Cover image for Analyzing Evolutionary Algorithms The Computer Science Perspective
Analyzing Evolutionary Algorithms The Computer Science Perspective
Author 
Jansen, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333075.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17339-4
Format: 
Availability 
Online Library~1
Available:
Copies:
414. 
Cover image for Interference Cancellation Using Space-Time Processing and Precoding Design
Interference Cancellation Using Space-Time Processing and Precoding Design
Author 
Li, Feng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333352.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30712-6
Format: 
Availability 
Online Library~1
Available:
Copies:
415. 
Cover image for The Local Information Dynamics of Distributed Computation in Complex Systems
The Local Information Dynamics of Distributed Computation in Complex Systems
Author 
Lizier, Joseph T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333637.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32952-4
Format: 
Availability 
Online Library~1
Available:
Copies:
416. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334038.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35722-0
Format: 
Availability 
Online Library~1
Available:
Copies:
417. 
Cover image for Business Process Management Workshops BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers
Business Process Management Workshops BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers
Author 
Rosa, Marcello. editor. Soffer, Pnina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334166.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36285-9
Format: 
Availability 
Online Library~1
Available:
Copies:
418. 
Cover image for Pairing-Based Cryptography – Pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers
Pairing-Based Cryptography – Pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers
Author 
Abdalla, Michel. editor. Lange, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334179.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36334-4
Format: 
Availability 
Online Library~1
Available:
Copies:
419. 
Cover image for Public-Key Cryptography – PKC 2013 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26 – March 1, 2013. Proceedings
Public-Key Cryptography – PKC 2013 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26 – March 1, 2013. Proceedings
Author 
Kurosawa, Kaoru. editor. Hanaoka, Goichiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334184.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36362-7
Format: 
Availability 
Online Library~1
Available:
Copies:
420. 
Cover image for Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Author 
Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334465.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37635-1
Format: 
Availability 
Online Library~1
Available:
Copies:
421. 
Cover image for Applied Cryptography and Network Security 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings
Applied Cryptography and Network Security 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings
Author 
Jacobson, Michael. editor. Locasto, Michael. editor. Mohassel, Payman. editor. Safavi-Naini, Reihaneh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334707.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38980-1
Format: 
Availability 
Online Library~1
Available:
Copies:
422. 
Cover image for Digital Forensics and Watermaking 11th International Workshop, IWDW 2012, Shanghai, China, October 31 – November 3, 2012, Revised Selected Papers
Digital Forensics and Watermaking 11th International Workshop, IWDW 2012, Shanghai, China, October 31 – November 3, 2012, Revised Selected Papers
Author 
Shi, Yun Q. editor. Kim, Hyoung-Joong. editor. Pérez-González, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334892.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40099-5
Format: 
Availability 
Online Library~1
Available:
Copies:
423. 
Cover image for Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings
Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings
Author 
Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334901.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40164-0
Format: 
Availability 
Online Library~1
Available:
Copies:
424. 
Cover image for The Economics of Information Security and Privacy
The Economics of Information Security and Privacy
Author 
Böhme, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334810.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39498-0
Format: 
Availability 
Online Library~1
Available:
Copies:
425. 
Cover image for Bluetooth Security Attacks Comparative Analysis, Attacks, and Countermeasures
Bluetooth Security Attacks Comparative Analysis, Attacks, and Countermeasures
Author 
Haataja, Keijo. author. Hyppönen, Konstantin. author. Pasanen, Sanna. author. Toivanen, Pekka. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334982.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40646-1
Format: 
Availability 
Online Library~1
Available:
Copies:
426. 
Cover image for Introduction to Public Key Infrastructures
Introduction to Public Key Infrastructures
Author 
Buchmann, Johannes A. author. Karatsiolis, Evangelos. author. Wiesmaier, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334984.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40657-7
Format: 
Availability 
Online Library~1
Available:
Copies:
427. 
Cover image for Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
Author 
Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335022.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40867-0
Format: 
Availability 
Online Library~1
Available:
Copies:
428. 
Cover image for Modern Cryptography Primer Theoretical Foundations and Practical Applications
Modern Cryptography Primer Theoretical Foundations and Practical Applications
Author 
Kościelny, Czesław. author. Kurkowski, Mirosław. author. Srebrny, Marian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335099.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41386-5
Format: 
Availability 
Online Library~1
Available:
Copies:
429. 
Cover image for Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings
Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings
Author 
Stam, Martijn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335197.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45239-0
Format: 
Availability 
Online Library~1
Available:
Copies:
430. 
Cover image for Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications
Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Abraham, Ajith. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335208.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45318-2
Format: 
Availability 
Online Library~1
Available:
Copies:
431. 
Cover image for Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings
Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings
Author 
Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335433.1)
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-54436-4
Format: 
Availability 
Online Library~1
Available:
Copies:
432. 
Cover image for Quantum Attacks on Public-Key Cryptosystems
Quantum Attacks on Public-Key Cryptosystems
Author 
Yan, Song Y. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330828.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7722-9
Format: 
Availability 
Online Library~1
Available:
Copies:
433. 
Cover image for Concise Guide to Databases A Practical Introduction
Concise Guide to Databases A Practical Introduction
Author 
Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331224.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5601-7
Format: 
Availability 
Online Library~1
Available:
Copies:
434. 
Cover image for Modeling and Optimization in Space Engineering
Modeling and Optimization in Space Engineering
Author 
Fasano, Giorgio. editor. Pintér, János D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331514.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4469-5
Format: 
Availability 
Online Library~1
Available:
Copies:
435. 
Cover image for Privacy-Preserving Machine Learning for Speech Processing
Privacy-Preserving Machine Learning for Speech Processing
Author 
Pathak, Manas A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331555.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4639-2
Format: 
Availability 
Online Library~1
Available:
Copies:
436. 
Cover image for Automatic Malware Analysis An Emulator Based Approach
Automatic Malware Analysis An Emulator Based Approach
Author 
Yin, Heng. author. Song, Dawn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331796.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5523-3
Format: 
Availability 
Online Library~1
Available:
Copies:
437. 
Cover image for Advanced DPA Theory and Practice Towards the Security Limits of Secure Embedded Circuits
Advanced DPA Theory and Practice Towards the Security Limits of Secure Embedded Circuits
Author 
Peeters, Eric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332116.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6783-0
Format: 
Availability 
Online Library~1
Available:
Copies:
438. 
Cover image for Android Malware
Android Malware
Author 
Jiang, Xuxian. author. Zhou, Yajin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332276.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7394-7
Format: 
Availability 
Online Library~1
Available:
Copies:
439. 
Cover image for Location Privacy Protection in Mobile Networks
Location Privacy Protection in Mobile Networks
Author 
Liu, Xinxin. author. Li, Xiaolin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332468.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-9074-6
Format: 
Availability 
Online Library~1
Available:
Copies:
440. 
Cover image for A Brief History of Cryptology and Cryptographic Algorithms
A Brief History of Cryptology and Cryptographic Algorithms
Author 
Dooley, John F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332881.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01628-3
Format: 
Availability 
Online Library~1
Available:
Copies:
441. 
Cover image for Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
Author 
Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332975.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03473-7
Format: 
Availability 
Online Library~1
Available:
Copies:
442. 
Cover image for Decentralized Spatial Computing Foundations of Geosensor Networks
Decentralized Spatial Computing Foundations of Geosensor Networks
Author 
Duckham, Matt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333364.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30853-6
Format: 
Availability 
Online Library~1
Available:
Copies:
443. 
Cover image for Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
Author 
Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333514.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32027-9
Format: 
Availability 
Online Library~1
Available:
Copies:
444. 
Cover image for Introduction to Cryptography with Maple
Introduction to Cryptography with Maple
Author 
Gómez Pardo, José Luis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333533.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32166-5
Format: 
Availability 
Online Library~1
Available:
Copies:
445. 
Cover image for Evolution of Semantic Systems
Evolution of Semantic Systems
Author 
Küppers, Bernd-Olaf. editor. Hahn, Udo. editor. Artmann, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333917.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34997-3
Format: 
Availability 
Online Library~1
Available:
Copies:
446. 
Cover image for Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers
Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers
Author 
Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334022.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35656-8
Format: 
Availability 
Online Library~1
Available:
Copies:
447. 
Cover image for Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings
Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings
Author 
Dawson, Ed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334122.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36095-4
Format: 
Availability 
Online Library~1
Available:
Copies:
448. 
Cover image for Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
Author 
Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334236.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36563-8
Format: 
Availability 
Online Library~1
Available:
Copies:
449. 
Cover image for Computing Nature Turing Centenary Perspective
Computing Nature Turing Centenary Perspective
Author 
Dodig-Crnkovic, Gordana. editor. Giovagnoli, Raffaela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334387.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37225-4
Format: 
Availability 
Online Library~1
Available:
Copies:
450. 
Cover image for Massively Parallel Evolutionary Computation on GPGPUs
Massively Parallel Evolutionary Computation on GPGPUs
Author 
Tsutsui, Shigeyoshi. editor. Collet, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334507.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37959-8
Format: 
Availability 
Online Library~1
Available:
Copies:
451. 
Cover image for Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings
Author 
Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334663.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38756-2
Format: 
Availability 
Online Library~1
Available:
Copies:
452. 
Cover image for Information Security and Privacy 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013. Proceedings
Information Security and Privacy 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013. Proceedings
Author 
Boyd, Colin. editor. Simpson, Leonie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334720.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39059-3
Format: 
Availability 
Online Library~1
Available:
Copies:
453. 
Cover image for Distributed Algorithms for Message-Passing Systems
Distributed Algorithms for Message-Passing Systems
Author 
Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334542.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38123-2
Format: 
Availability 
Online Library~1
Available:
Copies:
454. 
Cover image for Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334837.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39698-4
Format: 
Availability 
Online Library~1
Available:
Copies:
455. 
Cover image for Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334841.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39721-9
Format: 
Availability 
Online Library~1
Available:
Copies:
456. 
Cover image for The analytics of uncertainty and information
The analytics of uncertainty and information
Author 
Bikhchandani, Sushil. Riley, John G.
Preferred Shelf Number 
HB615 H568 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
457. 
Cover image for Quadratic irrationals an introduction to classical number theory
Quadratic irrationals an introduction to classical number theory
Author 
Halter-Koch, Franz, 1944-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
458. 
Cover image for Handbook of finite fields
Handbook of finite fields
Author 
Mullen, Gary L. Panario, Daniel, 1959-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
459. 
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:
460. 
Cover image for Simulating nature a philosohpical study of computer-simulation uncertainties and their role in climate science and policy advice
Simulating nature a philosohpical study of computer-simulation uncertainties and their role in climate science and policy advice
Author 
Petersen, Arthur C. (Arthur Caesar), 1970-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
461. 
Cover image for Foundations of predictive analytics
Foundations of predictive analytics
Author 
Wu, James, 1965- Coggeshall, Stephen.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
462. 
Cover image for Industrial control systems mathematical and statistical models and techniques
Industrial control systems mathematical and statistical models and techniques
Author 
Badiru, Adedeji Bodunde, 1952- Ibidapo-Obe, Oye. Ayeni, Babatunde J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
463. 
Cover image for Nanotechnology and the public risk perception and risk communication
Nanotechnology and the public risk perception and risk communication
Author 
Priest, Susanna Hornig.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
464. 
Cover image for Information security governance simplified from the boardroom to the keyboard
Information security governance simplified from the boardroom to the keyboard
Author 
Fitzgerald, Todd.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
465. 
Cover image for Computational Complexity Theory, Techniques, and Applications
Computational Complexity Theory, Techniques, and Applications
Author 
Meyers, Robert A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1800-9
Format: 
Availability 
Online Library~1
Available:
Copies:
466. 
Cover image for Handbook of Natural Computing
Handbook of Natural Computing
Author 
Rozenberg, Grzegorz. editor. Bäck, Thomas. editor. Kok, Joost N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92910-9
Format: 
Availability 
Online Library~1
Available:
Copies:
467. 
Cover image for Developmental and reproductive toxicology a practical approach
Developmental and reproductive toxicology a practical approach
Author 
Hood, Ronald D.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
468. 
Cover image for The Universe as Automaton From Simplicity and Symmetry to Complexity
The Universe as Automaton From Simplicity and Symmetry to Complexity
Author 
Mainzer, Klaus. author. Chua, Leon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23477-4
Format: 
Availability 
Online Library~1
Available:
Copies:
469. 
Cover image for Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers
Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers
Author 
Adam, Gheorghe. editor. Buša, Ján. editor. Hnatič, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28212-6
Format: 
Availability 
Online Library~1
Available:
Copies:
470. 
Cover image for Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Author 
Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28412-0
Format: 
Availability 
Online Library~1
Available:
Copies:
471. 
Cover image for Boolean Function Complexity Advances and Frontiers
Boolean Function Complexity Advances and Frontiers
Author 
Jukna, Stasys. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24508-4
Format: 
Availability 
Online Library~1
Available:
Copies:
472. 
Cover image for Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers
Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers
Author 
Dinneen, Michael J. editor. Khoussainov, Bakhadyr. editor. Nies, André. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27654-5
Format: 
Availability 
Online Library~1
Available:
Copies:
473. 
Cover image for Mathematics of Discrete Structures for Computer Science
Mathematics of Discrete Structures for Computer Science
Author 
Pace, Gordon J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29840-0
Format: 
Availability 
Online Library~1
Available:
Copies:
474. 
Cover image for Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
Author 
Agrawal, Manindra. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29952-0
Format: 
Availability 
Online Library~1
Available:
Copies:
475. 
Cover image for Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings
Author 
Snoeyink, Jack. editor. Lu, Pinyan. editor. Su, Kaile. editor. Wang, Lusheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29700-7
Format: 
Availability 
Online Library~1
Available:
Copies:
476. 
Cover image for Modeling Time in Computing
Modeling Time in Computing
Author 
Furia, Carlo A. author. Mandrioli, Dino. author. Morzenti, Angelo. author. Rossi, Matteo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32332-4
Format: 
Availability 
Online Library~1
Available:
Copies:
477. 
Cover image for Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
Author 
Roychoudhury, Abhik. editor. D’Souza, Meenakshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32943-2
Format: 
Availability 
Online Library~1
Available:
Copies:
478. 
Cover image for Quantum Interaction 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers
Quantum Interaction 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers
Author 
Busemeyer, Jerome R. editor. Dubois, François. editor. Lambert-Mogiliansky, Ariane. editor. Melucci, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35659-9
Format: 
Availability 
Online Library~1
Available:
Copies:
479. 
Cover image for Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings
Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings
Author 
Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-54106-6
Format: 
Availability 
Online Library~1
Available:
Copies:
480. 
Cover image for The Realism-Antirealism Debate in the Age of Alternative Logics
The Realism-Antirealism Debate in the Age of Alternative Logics
Author 
Rahman, Shahid. editor. Primiero, Giuseppe. editor. Marion, Mathieu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1923-1
Format: 
Availability 
Online Library~1
Available:
Copies:
481. 
Cover image for Joint models for longitudinal and time-to-event data with applications in R
Joint models for longitudinal and time-to-event data with applications in R
Author 
Rizopoulos, Dimitris.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
482. 
Cover image for Changing spaces of education new perspectives on the nature of learning
Changing spaces of education new perspectives on the nature of learning
Author 
Brooks, Rachel, 1971- Fuller, Alison, 1957- Waters, Johanna L. (Johanna Lesley), 1976-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
483. 
Cover image for Sport management principles and applications
Sport management principles and applications
Author 
Hoye, Russell, 1966-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
484. 
Cover image for Psychopathology foundations for a contemporary understanding
Psychopathology foundations for a contemporary understanding
Author 
Maddux, James E. Winstead, Barbara A.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
485. 
Cover image for Play therapy the art of the relationship
Play therapy the art of the relationship
Author 
Landreth, Garry L.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
486. 
Cover image for Autonomous Search
Autonomous Search
Author 
Hamadi, Youssef. editor. Monfroy, Eric. editor. Saubion, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21434-9
Format: 
Availability 
Online Library~1
Available:
Copies:
487. 
Cover image for Approximation Algorithms and Semidefinite Programming
Approximation Algorithms and Semidefinite Programming
Author 
Gärtner, Bernd. author. Matousek, Jiri. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22015-9
Format: 
Availability 
Online Library~1
Available:
Copies:
488. 
Cover image for Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers
Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers
Author 
Marx, Dániel. editor. Rossmanith, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28050-4
Format: 
Availability 
Online Library~1
Available:
Copies:
489. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency V
Transactions on Petri Nets and Other Models of Concurrency V
Author 
Jensen, Kurt. editor. Donatelli, Susanna. editor. Kleijn, Jetty. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29072-5
Format: 
Availability 
Online Library~1
Available:
Copies:
490. 
Cover image for Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
Author 
Bordihn, Henning. editor. Kutrib, Martin. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31644-9
Format: 
Availability 
Online Library~1
Available:
Copies:
491. 
Cover image for Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings
Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings
Author 
Baeten, Jos C. M. editor. Ball, Tom. editor. Boer, Frank S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33475-7
Format: 
Availability 
Online Library~1
Available:
Copies:
492. 
Cover image for The Complexity of Valued Constraint Satisfaction Problems
The Complexity of Valued Constraint Satisfaction Problems
Author 
Živný, Stanislav. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33974-5
Format: 
Availability 
Online Library~1
Available:
Copies:
493. 
Cover image for Search Computing Broadening Web Search
Search Computing Broadening Web Search
Author 
Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34213-4
Format: 
Availability 
Online Library~1
Available:
Copies:
494. 
Cover image for Emerging Research in Artificial Intelligence and Computational Intelligence International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings
Emerging Research in Artificial Intelligence and Computational Intelligence International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings
Author 
Lei, Jingsheng. editor. Wang, Fu Lee. editor. Deng, Hepu. editor. Miao, Duoqian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34240-0
Format: 
Availability 
Online Library~1
Available:
Copies:
495. 
Cover image for Computational Intelligence and Intelligent Systems 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings
Computational Intelligence and Intelligent Systems 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings
Author 
Li, Zhenhua. editor. Li, Xiang. editor. Liu, Yong. editor. Cai, Zhihua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34289-9
Format: 
Availability 
Online Library~1
Available:
Copies:
496. 
Cover image for Financial economics, risk and information
Financial economics, risk and information
Author 
Bianconi, Marcelo, 1956-
Preferred Shelf Number 
HG106 B53 2012
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
497. 
Cover image for Poverty in America : a handbook
Poverty in America : a handbook
Author 
Iceland, John, 1970-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.1525/j.ctt1ppr1g
Format: 
Availability 
Online Library~1
Available:
Copies:
498. 
Cover image for When is true belief knowledge?
When is true belief knowledge?
Author 
Foley, Richard, 1947-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7scvt
Format: 
Availability 
Online Library~1
Available:
Copies:
499. 
Cover image for Applications of combinatorial matrix theory to Laplacian matrices of graphs
Applications of combinatorial matrix theory to Laplacian matrices of graphs
Author 
Molitierno, Jason J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
500. 
Cover image for Measurement data modeling and parameter estimation
Measurement data modeling and parameter estimation
Author 
Wang, Zhengming, 1962-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
501. 
Cover image for The logician and the engineer : how George Boole and Claude Shannon created the information age
The logician and the engineer : how George Boole and Claude Shannon created the information age
Author 
Nahin, Paul J.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.cttq957s
Format: 
Availability 
Online Library~1
Available:
Copies:
502. 
Cover image for Measures of interobserver agreement and reliability
Measures of interobserver agreement and reliability
Author 
Shoukri, M. M. (Mohamed M.) Shoukri, M. M. (Mohamed M.). Measures of interobserver agreement.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
503. 
Cover image for Genetic Programming Theory and Practice VIII
Genetic Programming Theory and Practice VIII
Author 
Riolo, Rick. editor. McConaghy, Trent. editor. Vladislavleva, Ekaterina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7747-2
Format: 
Availability 
Online Library~1
Available:
Copies:
504. 
Cover image for Genetic Programming Theory and Practice IX
Genetic Programming Theory and Practice IX
Author 
Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Moore, Jason H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1770-5
Format: 
Availability 
Online Library~1
Available:
Copies:
505. 
Cover image for Geospatial Abduction Principles and Practice
Geospatial Abduction Principles and Practice
Author 
Shakarian, Paulo. author. Subrahmanian, V. S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1794-1
Format: 
Availability 
Online Library~1
Available:
Copies:
506. 
Cover image for Introduction to the Theory of Programming Languages
Introduction to the Theory of Programming Languages
Author 
Dowek, Gilles. author. Lévy, Jean-Jacques. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-076-2
Format: 
Availability 
Online Library~1
Available:
Copies:
507. 
Cover image for Proofs and Algorithms An Introduction to Logic and Computability
Proofs and Algorithms An Introduction to Logic and Computability
Author 
Dowek, Gilles. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-121-9
Format: 
Availability 
Online Library~1
Available:
Copies:
508. 
Cover image for Concise Guide to Computation Theory
Concise Guide to Computation Theory
Author 
Maruoka, Akira. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-535-4
Format: 
Availability 
Online Library~1
Available:
Copies:
509. 
Cover image for Teletechnologies, place, and community
Teletechnologies, place, and community
Author 
Wilken, Rowan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
510. 
Cover image for Perspectives on information
Perspectives on information
Author 
Ramage, Magnus (Magnus Alastair), 1970- Chapman, David (David Alan), 1958-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
511. 
Cover image for Probabilistic ranking techniques in relational databases
Probabilistic ranking techniques in relational databases
Author 
Ilyas, Ihab F. Soliman, Mohamed A.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440368
Format: 
Availability 
Online Library~1
Available:
Copies:
512. 
Cover image for Computer vision from surfaces to 3D objects
Computer vision from surfaces to 3D objects
Author 
Tyler, Christopher W.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
513. 
Cover image for Computability and Complexity Theory
Computability and Complexity Theory
Author 
Homer, Steven. author. Selman, Alan L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0682-2
Format: 
Availability 
Online Library~1
Available:
Copies:
514. 
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:
515. 
Cover image for Cartesian Genetic Programming
Cartesian Genetic Programming
Author 
Miller, Julian F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17310-3
Format: 
Availability 
Online Library~1
Available:
Copies:
516. 
Cover image for Patterns in Permutations and Words
Patterns in Permutations and Words
Author 
Kitaev, Sergey. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17333-2
Format: 
Availability 
Online Library~1
Available:
Copies:
517. 
Cover image for Search Computing Trends and Developments
Search Computing Trends and Developments
Author 
Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
518. 
Cover image for Universal Semantic Communication
Universal Semantic Communication
Author 
Juba, Brendan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23297-8
Format: 
Availability 
Online Library~1
Available:
Copies:
519. 
Cover image for Mobility in Process Calculi and Natural Computing
Mobility in Process Calculi and Natural Computing
Author 
Aman, Bogdan. author. Ciobanu, Gabriel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24867-2
Format: 
Availability 
Online Library~1
Available:
Copies:
520. 
Cover image for Quantum Interaction 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers
Quantum Interaction 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers
Author 
Song, Dawei. editor. Melucci, Massimo. editor. Frommholz, Ingo. editor. Zhang, Peng. editor. Wang, Lei. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24971-6
Format: 
Availability 
Online Library~1
Available:
Copies:
521. 
Cover image for Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I
Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I
Author 
Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16336-4
Format: 
Availability 
Online Library~1
Available:
Copies:
522. 
Cover image for Extremal Combinatorics With Applications in Computer Science
Extremal Combinatorics With Applications in Computer Science
Author 
Jukna, Stasys. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17364-6
Format: 
Availability 
Online Library~1
Available:
Copies:
523. 
Cover image for Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
Author 
Calude, Cristian S. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19391-0
Format: 
Availability 
Online Library~1
Available:
Copies:
524. 
Cover image for Apartness and Uniformity A Constructive Development
Apartness and Uniformity A Constructive Development
Author 
Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22415-7
Format: 
Availability 
Online Library~1
Available:
Copies:
525. 
Cover image for Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers
Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers
Author 
Impagliazzo, John. editor. Proydakov, Eduard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22816-2
Format: 
Availability 
Online Library~1
Available:
Copies:
526. 
Cover image for Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Author 
Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24130-7
Format: 
Availability 
Online Library~1
Available:
Copies:
527. 
Cover image for Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part I
Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part I
Author 
Liu, Chunfeng. editor. Chang, Jincai. editor. Yang, Aimin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27503-6
Format: 
Availability 
Online Library~1
Available:
Copies:
528. 
Cover image for Entropy of Hidden Markov Processes and Connections to Dynamical Systems Papers from the Banff International Research Station Workshop
Entropy of Hidden Markov Processes and Connections to Dynamical Systems Papers from the Banff International Research Station Workshop
Author 
Marcus, Brian. Petersen, Karl. Weissman, Tsachy.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
529. 
Cover image for Information and living systems philosophical and scientific perspectives
Information and living systems philosophical and scientific perspectives
Author 
Arp, Robert. Terzis, George, 1951- Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
530. 
Cover image for Medical ethics in China a transcultural interpretation
Medical ethics in China a transcultural interpretation
Author 
Nie, Jing-Bao, 1962-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
531. 
Cover image for Theoretical Computer Science
Theoretical Computer Science
Author 
Preparata, F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11120-4
Format: 
Availability 
Online Library~1
Available:
Copies:
532. 
Cover image for New Structures for Physics
New Structures for Physics
Author 
Coecke, Bob. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12821-9
Format: 
Availability 
Online Library~1
Available:
Copies:
533. 
Cover image for Theoretical Aspects of Distributed Computing in Sensor Networks
Theoretical Aspects of Distributed Computing in Sensor Networks
Author 
Nikoletseas, Sotiris. editor. Rolim, José D.P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14849-1
Format: 
Availability 
Online Library~1
Available:
Copies:
534. 
Cover image for Deterministic Extraction from Weak Random Sources
Deterministic Extraction from Weak Random Sources
Author 
Gabizon, Ariel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14903-0
Format: 
Availability 
Online Library~1
Available:
Copies:
535. 
Cover image for Theory of Quantum Computation, Communication, and Cryptography 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers
Theory of Quantum Computation, Communication, and Cryptography 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers
Author 
Dam, Wim. editor. Kendon, Vivien M. editor. Severini, Simone. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18073-6
Format: 
Availability 
Online Library~1
Available:
Copies:
536. 
Cover image for High Performance Computing for Computational Science – VECPAR 2010 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers
High Performance Computing for Computational Science – VECPAR 2010 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers
Author 
Palma, José M. Laginha M. editor. Daydé, Michel. editor. Marques, Osni. editor. Lopes, João Correia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19328-6
Format: 
Availability 
Online Library~1
Available:
Copies:
537. 
Cover image for Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings
Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings
Author 
Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20877-5
Format: 
Availability 
Online Library~1
Available:
Copies:
538. 
Cover image for Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011. Proceedings
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011. Proceedings
Author 
Atallah, Mikhail. editor. Li, Xiang-Yang. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21204-8
Format: 
Availability 
Online Library~1
Available:
Copies:
539. 
Cover image for Transactions on Rough Sets XIV
Transactions on Rough Sets XIV
Author 
Peters, James F. editor. Skowron, Andrzej. editor. Sakai, Hiroshi. editor. Chakraborty, Mihir Kumar. editor. Slezak, Dominik. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21563-6
Format: 
Availability 
Online Library~1
Available:
Copies:
540. 
Cover image for Optical Supercomputing Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers
Optical Supercomputing Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers
Author 
Dolev, Shlomi. editor. Oltean, Mihai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22494-2
Format: 
Availability 
Online Library~1
Available:
Copies:
541. 
Cover image for The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
Author 
Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23211-4
Format: 
Availability 
Online Library~1
Available:
Copies:
542. 
Cover image for Applied Informatics and Communication International Conference, ICAIC 2011,Xi’an, China, August 20-21, 2011, Proceedings, Part I
Applied Informatics and Communication International Conference, ICAIC 2011,Xi’an, China, August 20-21, 2011, Proceedings, Part I
Author 
Zeng, Dehuai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23214-5
Format: 
Availability 
Online Library~1
Available:
Copies:
543. 
Cover image for Applied Informatics and Communication International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part II
Applied Informatics and Communication International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part II
Author 
Zeng, Dehuai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23220-6
Format: 
Availability 
Online Library~1
Available:
Copies:
544. 
Cover image for Applied Informatics and Communication International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part V
Applied Informatics and Communication International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part V
Author 
Zhang, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23223-7
Format: 
Availability 
Online Library~1
Available:
Copies:
545. 
Cover image for Applied Informatics and Communication International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part IV
Applied Informatics and Communication International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part IV
Author 
Zhang, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23226-8
Format: 
Availability 
Online Library~1
Available:
Copies:
546. 
Cover image for Applied Informatics and Communication International Conference, ICAIC 2011, Xi’ian, China, August 20-21, 2011. Proceedings, Part III
Applied Informatics and Communication International Conference, ICAIC 2011, Xi’ian, China, August 20-21, 2011. Proceedings, Part III
Author 
Zhang, Jianwei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23235-0
Format: 
Availability 
Online Library~1
Available:
Copies:
547. 
Cover image for Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part II
Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part II
Author 
Liu, Chunfeng. editor. Chang, Jincai. editor. Yang, Aimin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27452-7
Format: 
Availability 
Online Library~1
Available:
Copies:
548. 
Cover image for Quantum teleportation and entanglement a hybrid approach to optical quantum information processing
Quantum teleportation and entanglement a hybrid approach to optical quantum information processing
Author 
Furusawa, Akira. Van Loock, Peter.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Click here to view book
MyiLibrary, Table of contents http://www.myilibrary.com?id=328326&ref=toc
http://site.ebrary.com/lib/alltitles/Doc?id=10501287
Format: 
Availability 
Online Library~1
Available:
Copies:
549. 
Cover image for The blind spot : science and the crisis of uncertainty
The blind spot : science and the crisis of uncertainty
Author 
Byers, William, 1943-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7sntp
Format: 
Availability 
Online Library~1
Available:
Copies:
550. 
Cover image for Cartooning : philosophy and practice
Cartooning : philosophy and practice
Author 
Brunetti, Ivan, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt1nq658
Format: 
Availability 
Online Library~1
Available:
Copies:
551. 
Cover image for The theory that would not die : how Bayes' rule cracked the enigma code, hunted down Russian submarines, & emerged triumphant from two centuries of controversy
The theory that would not die : how Bayes' rule cracked the enigma code, hunted down Russian submarines, & emerged triumphant from two centuries of controversy
Author 
McGrayne, Sharon Bertsch.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt1np76s
Format: 
Availability 
Online Library~1
Available:
Copies:
552. 
Cover image for Matrix completions, moments, and sums of hermitian squares
Matrix completions, moments, and sums of hermitian squares
Author 
Bakonyi, M. (Mihály), 1962- author. Woerdeman, Hugo J. (Hugo Jan), 1962- author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7rp1d
Format: 
Availability 
Online Library~1
Available:
Copies:
553. 
Cover image for Introduction to contextual processing theory and applications
Introduction to contextual processing theory and applications
Author 
Vert, Gregory. Iyengar, S. S. (Sundararaja S.) Phoha, Vir V.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
554. 
Cover image for Mass communication issues, perspectives and techniques
Mass communication issues, perspectives and techniques
Author 
Detrani, Jason R.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
555. 
Cover image for Schaum's outlines: probability, random variables, and random processes
Schaum's outlines: probability, random variables, and random processes
Author 
Hsu, Hwei P. (Hwei Piao), 1930- Hsu, Hwei P. (Hwei Piao), 1930- Schaum's outline of theory and problems of probability, random variables, and random processes.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
556. 
Cover image for Error control coding for B3G/4G wireless systems paving the way to IMT-advanced standards
Error control coding for B3G/4G wireless systems paving the way to IMT-advanced standards
Author 
Lestable, Thierry. Ran, Moshe. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Wiley InterScience - Full Text Online http://onlinelibrary.wiley.com/book/10.1002/9780470975220
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=675222
Format: 
Availability 
Online Library~1
Available:
Copies:
557. 
Cover image for Algorithmic Randomness and Complexity
Algorithmic Randomness and Complexity
Author 
Downey, Rodney G. author. Hirschfeldt, Denis R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68441-3
Format: 
Availability 
Online Library~1
Available:
Copies:
558. 
Cover image for Game of Life Cellular Automata
Game of Life Cellular Automata
Author 
Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-217-9
Format: 
Availability 
Online Library~1
Available:
Copies:
559. 
Cover image for Cognitive Reasoning A Formal Approach
Cognitive Reasoning A Formal Approach
Author 
Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68875-4
Format: 
Availability 
Online Library~1
Available:
Copies:
560. 
Cover image for Joint source channel coding using arithmetic codes
Joint source channel coding using arithmetic codes
Author 
Bi, Dongsheng. Hoffman, Michael W. (Michael Ward) Sayood, Khalid.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440305
Format: 
Availability 
Online Library~1
Available:
Copies:
561. 
Cover image for Genetic Programming Theory and Practice VII
Genetic Programming Theory and Practice VII
Author 
Riolo, Rick. editor. O'Reilly, Una-May. editor. McConaghy, Trent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1626-6
Format: 
Availability 
Online Library~1
Available:
Copies:
562. 
Cover image for The P=NP Question and Gödel’s Lost Letter
The P=NP Question and Gödel’s Lost Letter
Author 
Lipton, Richard J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7155-5
Format: 
Availability 
Online Library~1
Available:
Copies:
563. 
Cover image for Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedings
Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedings
Author 
Pries-Heje, Jan. editor. Venable, John. editor. Bunker, Deborah. editor. Russo, Nancy L. editor. DeGross, Janice I. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12113-5
Format: 
Availability 
Online Library~1
Available:
Copies:
564. 
Cover image for Search Computing Challenges and Directions
Search Computing Challenges and Directions
Author 
Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12310-8
Format: 
Availability 
Online Library~1
Available:
Copies:
565. 
Cover image for Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
Author 
Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13119-6
Format: 
Availability 
Online Library~1
Available:
Copies:
566. 
Cover image for Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
Author 
Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13136-3
Format: 
Availability 
Online Library~1
Available:
Copies:
567. 
Cover image for Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
Author 
Lee, Der-Tsai. editor. Chen, Danny Z. editor. Ying, Shi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14553-7
Format: 
Availability 
Online Library~1
Available:
Copies:
568. 
Cover image for Logic and the Foundations of Game and Decision Theory – LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
Logic and the Foundations of Game and Decision Theory – LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
Author 
Bonanno, Giacomo. editor. Löwe, Benedikt. editor. Hoek, Wiebe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15164-4
Format: 
Availability 
Online Library~1
Available:
Copies:
569. 
Cover image for Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
Author 
Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15582-6
Format: 
Availability 
Online Library~1
Available:
Copies:
570. 
Cover image for Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings
Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings
Author 
Brennan, Rob. editor. Fleck, Joel. editor. Meer, Sven. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16836-9
Format: 
Availability 
Online Library~1
Available:
Copies:
571. 
Cover image for Information Computing and Applications First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings
Information Computing and Applications First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings
Author 
Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16167-4
Format: 
Availability 
Online Library~1
Available:
Copies:
572. 
Cover image for Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II
Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II
Author 
Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16339-5
Format: 
Availability 
Online Library~1
Available:
Copies:
573. 
Cover image for Bioinspired Computation in Combinatorial Optimization Algorithms and Their Computational Complexity
Bioinspired Computation in Combinatorial Optimization Algorithms and Their Computational Complexity
Author 
Neumann, Frank. author. Witt, Carsten. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16544-3
Format: 
Availability 
Online Library~1
Available:
Copies:
574. 
Cover image for Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
Author 
Raman, Venkatesh. editor. Saurabh, Saket. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17493-3
Format: 
Availability 
Online Library~1
Available:
Copies:
575. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency IV
Transactions on Petri Nets and Other Models of Concurrency IV
Author 
Jensen, Kurt. editor. Donatelli, Susanna. editor. Koutny, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18222-8
Format: 
Availability 
Online Library~1
Available:
Copies:
576. 
Cover image for Natural Computing 4th International Workshop on Natural Computing Himeji, Japan, September 2009 Proceedings
Natural Computing 4th International Workshop on Natural Computing Himeji, Japan, September 2009 Proceedings
Author 
Peper, F. editor. Umeo, H. editor. Matsui, N. editor. Isokawa, T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-53868-4
Format: 
Availability 
Online Library~1
Available:
Copies:
577. 
Cover image for Transactions on Rough Sets XI
Transactions on Rough Sets XI
Author 
Peters, James F. editor. Skowron, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11479-3
Format: 
Availability 
Online Library~1
Available:
Copies:
578. 
Cover image for High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings
High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings
Author 
Wu, Yanwen. editor. Luo, Qi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11618-6
Format: 
Availability 
Online Library~1
Available:
Copies:
579. 
Cover image for Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
Author 
Kratochvíl, Jan. editor. Li, Angsheng. editor. Fiala, Jiří. editor. Kolman, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13562-0
Format: 
Availability 
Online Library~1
Available:
Copies:
580. 
Cover image for A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
Author 
Dovier, Agostino. editor. Pontelli, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14309-0
Format: 
Availability 
Online Library~1
Available:
Copies:
581. 
Cover image for The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
Author 
Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14322-9
Format: 
Availability 
Online Library~1
Available:
Copies:
582. 
Cover image for Transactions on Rough Sets XII
Transactions on Rough Sets XII
Author 
Peters, James F. editor. Skowron, Andrzej. editor. Słowiński, Roman. editor. Lingras, Pawan. editor. Miao, Duoqian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14467-7
Format: 
Availability 
Online Library~1
Available:
Copies:
583. 
Cover image for Genetic Programming Theory and Practice VI
Genetic Programming Theory and Practice VI
Author 
Worzel, Bill. editor. Soule, Terence. editor. Riolo, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-87623-8
Format: 
Availability 
Online Library~1
Available:
Copies:
584. 
Cover image for Models of Computation An Introduction to Computability Theory
Models of Computation An Introduction to Computability Theory
Author 
Fernández, Maribel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-434-8
Format: 
Availability 
Online Library~1
Available:
Copies:
585. 
Cover image for Elements of Computation Theory
Elements of Computation Theory
Author 
Singh, Arindama. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-497-3
Format: 
Availability 
Online Library~1
Available:
Copies:
586. 
Cover image for Computable Models
Computable Models
Author 
Turner, Raymond. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-052-4
Format: 
Availability 
Online Library~1
Available:
Copies:
587. 
Cover image for Neural-Symbolic Cognitive Reasoning
Neural-Symbolic Cognitive Reasoning
Author 
d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73246-4
Format: 
Availability 
Online Library~1
Available:
Copies:
588. 
Cover image for Algorithmic Adventures From Knowledge to Magic
Algorithmic Adventures From Knowledge to Magic
Author 
Hromkovic, Juraj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85986-4
Format: 
Availability 
Online Library~1
Available:
Copies:
589. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92687-0
Format: 
Availability 
Online Library~1
Available:
Copies:
590. 
Cover image for Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
Author 
Ramanujam, R. editor. Sarukkai, Sundar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92701-3
Format: 
Availability 
Online Library~1
Available:
Copies:
591. 
Cover image for Gröbner Bases, Coding, and Cryptography
Gröbner Bases, Coding, and Cryptography
Author 
Sala, Massimiliano. editor. Sakata, Shojiro. editor. Mora, Teo. editor. Traverso, Carlo. editor. Perret, Ludovic. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93806-4
Format: 
Availability 
Online Library~1
Available:
Copies:
592. 
Cover image for SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings
SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings
Author 
Nielsen, Mogens. editor. Kučera, Antonín. editor. Miltersen, Peter Bro. editor. Palamidessi, Catuscia. editor. Tůma, Petr. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-95891-8
Format: 
Availability 
Online Library~1
Available:
Copies:
593. 
Cover image for Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00590-9
Format: 
Availability 
Online Library~1
Available:
Copies:
594. 
Cover image for Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Alfaro, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00596-1
Format: 
Availability 
Online Library~1
Available:
Copies:
595. 
Cover image for Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00722-4
Format: 
Availability 
Online Library~1
Available:
Copies:
596. 
Cover image for Quantum Interaction Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings
Quantum Interaction Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings
Author 
Bruza, Peter. editor. Sofge, Donald. editor. Lawless, William. editor. Rijsbergen, Keith. editor. Klusch, Matthias. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00834-4
Format: 
Availability 
Online Library~1
Available:
Copies:
597. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems
Author 
Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00899-3
Format: 
Availability 
Online Library~1
Available:
Copies:
598. 
Cover image for Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Author 
Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01748-3
Format: 
Availability 
Online Library~1
Available:
Copies:
599. 
Cover image for Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I
Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I
Author 
Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01970-8
Format: 
Availability 
Online Library~1
Available:
Copies:
600. 
Cover image for Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings
Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings
Author 
Chen, Jianer. editor. Cooper, S. Barry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02017-9
Format: 
Availability 
Online Library~1
Available:
Copies: