Limit Search Results
Author
SpringerLink (Online service)
(109)
Ehrig, Hartmut. editor.
(4)
Li, Daoliang. editor.
(4)
Rozenberg, Grzegorz. editor.
(4)
Zhao, Chunjiang. editor.
(4)
Language
Publication Date
-
Subject
Computer science.
(94)
Data structures (Computer science).
(89)
Logic design.
(23)
Information systems.
(21)
Computer Communication Networks.
(20)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
112 Results Found Subscribe to search results
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
49. 
Cover image for Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings
Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings
Author 
Kozielski, Stanisław. editor. Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656 Kasprowski, Paweł. editor. (orcid)0000-0002-2090-335X Małysiak-Mrozek, Bożena. editor. (orcid)0000-0003-4977-4915 Kostrzewa, Daniel. editor. (orcid)0000-0003-2781-3709
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99987-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
Author 
Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58771-3
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings
SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings
Author 
Catania, Barbara. editor. (orcid)0000-0002-6443-169X Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Nawrocki, Jerzy. editor. Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10801-4
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings
Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings
Author 
Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29400-7
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Progress in Cryptology – INDOCRYPT 2018 19th International Conference on Cryptology in India, New Delhi, India, December 9–12, 2018, Proceedings
Progress in Cryptology – INDOCRYPT 2018 19th International Conference on Cryptology in India, New Delhi, India, December 9–12, 2018, Proceedings
Author 
Chakraborty, Debrup. editor. (orcid)0000-0001-5179-1971 Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05378-9
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings
Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings
Author 
Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Rebeiro, Chester. editor. (orcid)0000-0001-8063-0026 Yarom, Yuval. editor. (orcid)0000-0003-0401-4197 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05072-6
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers
Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers
Author 
Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97955-7
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings
Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings
Author 
Iliopoulos, Costas. editor. Leong, Hon Wai. editor. Sung, Wing-Kin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94667-2
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Information and Communications Security 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings
Information and Communications Security 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings
Author 
Qing, Sihan. editor. Mitchell, Chris. editor. Chen, Liqun. editor. Liu, Dongmei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89500-0
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Author 
Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94144-8
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Author 
Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91268-4
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Information Security Education – Towards a Cybersecure Society 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–20, 2018, Proceedings
Information Security Education – Towards a Cybersecure Society 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–20, 2018, Proceedings
Author 
Drevin, Lynette. editor. (orcid)0000-0001-9370-8216 Theocharidou, Marianthi. editor. (orcid)0000-0002-8870-1746 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99734-6
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Information and Communications Security 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings
Information and Communications Security 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings
Author 
Naccache, David. editor. (orcid)0000-0002-8651-6555 Xu, Shouhuai. editor. (orcid)0000-0001-8034-0942 Qing, Sihan. editor. Samarati, Pierangela. editor. (orcid)0000-0001-7395-4620 Blanc, Gregory. editor. (orcid)0000-0001-8150-6617
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01950-1
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Machine Learning and Intelligent Communications Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, Proceedings
Machine Learning and Intelligent Communications Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, Proceedings
Author 
Meng, Limin. editor. Zhang, Yan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00557-3
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings
Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings
Author 
Baek, Joonsang. editor. Susilo, Willy. editor. Kim, Jongkil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01446-9
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers
Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers
Author 
Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713 Ma, Kwan-Liu. editor. (orcid)0000-0001-8086-0366 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73915-1
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings
Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings
Author 
Thomson, Robert. editor. Dancy, Christopher. editor. Hyder, Ayaz. editor. Bisgin, Halil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93372-6
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
Author 
Hooker, John. editor. (orcid)0000-0003-3169-1871 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98334-9
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Advanced Concepts for Intelligent Vision Systems 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings
Advanced Concepts for Intelligent Vision Systems 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings
Author 
Blanc-Talon, Jacques. editor. Helbert, David. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01449-0
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Cloud Computing and Security 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V
Cloud Computing and Security 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V
Author 
Sun, Xingming. editor. (orcid)0000-0001-7982-726X Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X Bertino, Elisa. editor. (orcid)0000-0002-4029-7051 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00018-9
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Financial Cryptography and Data Security 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers
Financial Cryptography and Data Security 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers
Author 
Meiklejohn, Sarah. editor. Sako, Kazue. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58387-6
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
Author 
Casimiro, António. editor. (orcid)0000-0002-5522-5739 Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92432-8
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89960-2
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Sharing data and models in software engineering
Sharing data and models in software engineering
Author 
Menzies, Tim, author. Rogers, Mark, designer.
Preferred Shelf Number 
ONLINE(355389.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124172951
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
Author 
Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09108-2
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
Author 
Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08494-7
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
Author 
Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334651.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38697-8
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
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:
77. 
Cover image for SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
Author 
Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Preferred Shelf Number 
ONLINE(334064.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35843-2
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Big Data 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings
Big Data 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings
Author 
Gottlob, Georg. editor. Grasso, Giovanni. editor. Olteanu, Dan. editor. Schallhart, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334803.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39467-6
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
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:
80. 
Cover image for Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Author 
Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333246.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29578-2
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
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:
82. 
Cover image for Anwendungsentwicklung mit Datenbanken
Anwendungsentwicklung mit Datenbanken
Author 
Unterstein, Michael. author. Matthiessen, Günter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337341.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39003-6
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings
Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings
Author 
Barthe, Gilles. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28166-2
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Relationale Datenbanken und SQL in Theorie und Praxis
Relationale Datenbanken und SQL in Theorie und Praxis
Author 
Unterstein, Michael. author. Matthiessen, Günter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28986-6
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings
Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings
Author 
Rahaman, Hafizur. editor. Chattopadhyay, Sanatan. editor. Chattopadhyay, Santanu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31494-0
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures
Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures
Author 
Gibbons, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32202-0
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
Author 
Ehrig, Hartmut. editor. Engels, Gregor. editor. Kreowski, Hans-Jörg. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33654-6
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings
Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings
Author 
Haddad, Serge. editor. Pomello, Lucia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31131-4
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
Author 
Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-233-9
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Operational Semantics and Verification of Security Protocols
Operational Semantics and Verification of Security Protocols
Author 
Cremers, Cas. author. Mauw, Sjouke. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78636-8
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
Author 
Schürr, Andy. editor. Varró, Dániel. editor. Varró, Gergely. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34176-2
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Identity-Based Encryption
Identity-Based Encryption
Author 
Chatterjee, Sanjit. author. Sarkar, Palash. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9383-0
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings
Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings
Author 
Erlingsson, Úlfar. editor. Wieringa, Roel. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19125-1
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
Author 
Marchetti-Spaccamela, Alberto. editor. Segal, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19754-3
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Software and Data Technologies 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers
Software and Data Technologies 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers
Author 
Cordeiro, José. editor. Ranchordas, AlpeshKumar. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20116-5
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Programming for Engineers A Foundational Approach to Learning C and Matlab
Programming for Engineers A Foundational Approach to Learning C and Matlab
Author 
Bradley, Aaron R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23303-6
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Structures de données et méthodes formelles
Structures de données et méthodes formelles
Author 
Guyomard, Marc. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-2-8178-0200-8
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Data structure and software engineering : challenges and improvements
Data structure and software engineering : challenges and improvements
Author 
Antonakos, James L.
Preferred Shelf Number 
QA76.9 .D35 D38 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Computer and Computing Technologies in Agriculture III Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers
Computer and Computing Technologies in Agriculture III Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers
Author 
Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12220-0
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Ad Hoc Networks First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers
Ad Hoc Networks First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers
Author 
Zheng, Jun. editor. Mao, Shiwen. editor. Midkiff, Scott F. editor. Zhu, Hua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11723-7
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings
Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings
Author 
Massacci, Fabio. editor. Wallach, Dan. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11747-3
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings
Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings
Author 
Lee, Mong Li. editor. Yu, Jeffrey Xu. editor. Bellahsène, Zohra. editor. Unland, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15684-7
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings
SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings
Author 
Leeuwen, Jan. editor. Muscholl, Anca. editor. Peleg, David. editor. Pokorný, Jaroslav. editor. Rumpe, Bernhard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11266-9
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Future Multimedia Networking Third International Workshop, FMN 2010, Kraków, Poland, June 17-18, 2010. Proceedings
Future Multimedia Networking Third International Workshop, FMN 2010, Kraków, Poland, June 17-18, 2010. Proceedings
Author 
Zeadally, Sherali. editor. Cerqueira, Eduardo. editor. Curado, Marília. editor. Leszczuk, Mikołaj. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13789-1
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
Author 
Müller-Hannemann, Matthias. editor. Schirra, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14866-8
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
Author 
Ehrig, Hartmut. editor. Rensink, Arend. editor. Rozenberg, Grzegorz. editor. Schürr, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15928-2
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Objects and Databases Third International Conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010. Proceedings
Objects and Databases Third International Conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010. Proceedings
Author 
Dearle, Alan. editor. Zicari, Roberto V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16092-9
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Programmieren in C
Programmieren in C
Author 
Klima, Robert. author. Selberherr, Siegfried. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7091-0393-7
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Network Security
Network Security
Author 
Huang, Scott C.-H. editor. MacCallum, David. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-73821-5
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Computer and Computing Technologies in Agriculture II, Volume 1 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
Computer and Computing Technologies in Agriculture II, Volume 1 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
Author 
Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0209-2
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Computer and Computing Technologies in Agriculture II, Volume 2 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
Computer and Computing Technologies in Agriculture II, Volume 2 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
Author 
Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0211-5
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Computer and Computing Technologies in Agriculture II, Volume 3 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
Computer and Computing Technologies in Agriculture II, Volume 3 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
Author 
Zhao, Chunjiang. editor. Li, Daoliang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0213-9
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Les virus informatiques: théorie, pratique et applications
Les virus informatiques: théorie, pratique et applications
Author 
Filiol, Éric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-2-287-98240-8
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Transactions on Computational Science IV Special Issue on Security in Computing
Transactions on Computational Science IV Special Issue on Security in Computing
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Moreno, Edward David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01004-0
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Advances in Communication and Networking Second International Conference on Future Generation Communication and Networking, FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Advances in Communication and Networking Second International Conference on Future Generation Communication and Networking, FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Author 
Kim, Tai-hoon. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Chang, Alan Chin-Chen. editor. Vasilakos, Thanos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10236-3
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Advances in Security Technology International Conference, SecTech 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Advances in Security Technology International Conference, SecTech 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Author 
Kim, Haeng-kon. editor. Kim, Tai-hoon. editor. Kiumi, Akingbehin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10240-0
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Information Systems – Creativity and Innovation in Small and Medium-Sized Enterprises IFIP WG 8.2 International Conference, CreativeSME 2009, Guimarães, Portugal, June 21-24, 2009. Proceedings
Information Systems – Creativity and Innovation in Small and Medium-Sized Enterprises IFIP WG 8.2 International Conference, CreativeSME 2009, Guimarães, Portugal, June 21-24, 2009. Proceedings
Author 
Dhillon, Gurpreet. editor. Stahl, Bernd Carsten. editor. Baskerville, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02388-0
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Future Multimedia Networking Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings
Future Multimedia Networking Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings
Author 
Mauthe, Andreas. editor. Zeadally, Sherali. editor. Cerqueira, Eduardo. editor. Curado, Marília. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02472-6
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Database and XML Technologies 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings
Database and XML Technologies 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings
Author 
Bellahsène, Zohra. editor. Hunt, Ela. editor. Rys, Michael. editor. Unland, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03555-5
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Personal Satellite Services International Conference, PSATS 2009, Rome, Italy, March 18-19, 2009, Revised Selected Papers
Personal Satellite Services International Conference, PSATS 2009, Rome, Italy, March 18-19, 2009, Revised Selected Papers
Author 
Sithamparanathan, Kandeepan. editor. Marchese, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04260-7
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Distributed Computing 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings
Distributed Computing 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings
Author 
Keidar, Idit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04355-0
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Ad-Hoc, Mobile and Wireless Networks 8th International Conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009 Proceedings
Ad-Hoc, Mobile and Wireless Networks 8th International Conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009 Proceedings
Author 
Ruiz, Pedro M. editor. Garcia-Luna-Aceves, Jose Joaquin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04383-3
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Signal Processing, Image Processing and Pattern Recognition International Conference, SIP 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Signal Processing, Image Processing and Pattern Recognition International Conference, SIP 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Author 
Ślęzak, Dominik. editor. Pal, Sankar K. editor. Kang, Byeong-Ho. editor. Gu, Junzhong. editor. Kuroda, Hideo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10546-3
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Open Source Systems Security Certification
Open Source Systems Security Certification
Author 
Damiani, Ernesto. author. Ardagna, Claudio Agostino. author. El Ioini, Nabil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-77324-7
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for A Concise and Practical Introduction to Programming Algorithms in Java
A Concise and Practical Introduction to Programming Algorithms in Java
Author 
Nielsen, Frank. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-339-6
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Modular Ontologies Concepts, Theories and Techniques for Knowledge Modularization
Modular Ontologies Concepts, Theories and Techniques for Knowledge Modularization
Author 
Stuckenschmidt, Heiner. editor. Parent, Christine. editor. Spaccapietra, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01907-4
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Data Management in Grid and Peer-to-Peer Systems Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings
Data Management in Grid and Peer-to-Peer Systems Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings
Author 
Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03715-3
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Conceptual Modeling - ER 2009 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings
Conceptual Modeling - ER 2009 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings
Author 
Laender, Alberto H. F. editor. Castano, Silvana. editor. Dayal, Umeshwar. editor. Casati, Fabio. editor. Oliveira, José Palazzo M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04840-1
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings
Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings
Author 
Jaatun, Martin Gilje. editor. Zhao, Gansen. editor. Rong, Chunming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10665-1
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
Author 
Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Author 
Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70583-3
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Data Management in Grid and Peer-to-Peer Systems First International Conference, Globe 2008, Turin, Italy, September 3, 2008. Proceedings
Data Management in Grid and Peer-to-Peer Systems First International Conference, Globe 2008, Turin, Italy, September 3, 2008. Proceedings
Author 
Hameurlain, Abdelkader. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85176-9
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
Author 
Filipe, Joaquim. editor. Shishkov, Boris. editor. Helfert, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70621-2
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
Author 
Ehrig, Hartmut. editor. Heckel, Reiko. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87405-8
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
Author 
Schürr, Andy. editor. Nagl, Manfred. editor. Zündorf, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89020-1
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for A Modular Calculus for the Average Cost of Data Structuring
A Modular Calculus for the Average Cost of Data Structuring
Author 
Schellekens, Michel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-73384-5
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Author 
Drossopoulou, Sophia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78739-6
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings
Author 
Nicola, Rocco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71316-6
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings
Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings
Author 
Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73420-8
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Techniques virales avancées
Techniques virales avancées
Author 
Filiol, Éric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-2-287-33888-5
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Author 
Backhouse, Roland. editor. Gibbons, Jeremy. editor. Hinze, Ralf. editor. Jeuring, Johan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76786-2
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings
Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings
Author 
Sestoft, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11693024
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Developing Ambient Intelligence Proceedings of the First International Conference on Ambient Intelligence Developments (AmID’06)
Developing Ambient Intelligence Proceedings of the First International Conference on Ambient Intelligence Developments (AmID’06)
Author 
Maña, Antonio. author. Lotz, Volkmar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-2-287-47610-5
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Vorlesungen über Informatik Grundlagen und funktionales Programmieren
Vorlesungen über Informatik Grundlagen und funktionales Programmieren
Author 
Goos, Gerhard. author. Zimmermann, Wolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29272-1
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings
Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings
Author 
Corradini, Andrea. editor. Ehrig, Hartmut. editor. Montanari, Ugo. editor. Ribeiro, Leila. editor. Rozenberg, Grzegorz. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11841883
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Vorlesungen über Informatik Band 2: Objektorientiertes Programmieren und Algorithmen
Vorlesungen über Informatik Band 2: Objektorientiertes Programmieren und Algorithmen
Author 
Goos, Gerhard. author. Zimmermann, Wolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-34778-X
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
Author 
Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11786986
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
Author 
Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11787006
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Access Control Systems Security, Identity Management and Trust Models
Access Control Systems Security, Identity Management and Trust Models
Author 
Benantar, Messaoud. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-27716-1
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Quality of Protection Security Measurements and Metrics
Quality of Protection Security Measurements and Metrics
Author 
Gollmann, Dieter. editor. Massacci, Fabio. editor. Yautsiukhin, Artsiom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36584-8
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Enterprise Information Systems V
Enterprise Information Systems V
Author 
Camp, Olivier. editor. Filipe, Joaquim B. L. editor. Hammoudi, Slimane. editor. Piattini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2673-0
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Informatik Aufgaben und Lösungen, Begleitbuch zu Blieberger et al.: Informatik
Informatik Aufgaben und Lösungen, Begleitbuch zu Blieberger et al.: Informatik
Author 
Kastner, Wolfgang. editor. Schildt, Gerhard-Helge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138718
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Einführung in die Informatik Objektorientiert mit Java
Einführung in die Informatik Objektorientiert mit Java
Author 
Küchlin, Wolfgang. author. Weber, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138253
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Parallel and Distributed Computing: Applications and Technologies 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings
Parallel and Distributed Computing: Applications and Technologies 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings
Author 
Liew, Kim-Meow. editor. Shen, Hong. editor. See, Simon. editor. Cai, Wentong. editor. Fan, Pingzhi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b103538
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
Author 
Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11523468
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Agent Intelligence Through Data Mining
Agent Intelligence Through Data Mining
Author 
Symeonidis, Andreas L. author. Mitkas, Pericles A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136000
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Security in E-Learning
Security in E-Learning
Author 
Weippl, Edgar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136702
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004
Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004
Author 
Kowalik, Janusz S. editor. Gorski, Janusz. editor. Sachenko, Anatoly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3381-8
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Sagiv, Mooly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107380
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Computers, Software Engineering, and Digital Devices
Computers, Software Engineering, and Digital Devices
Author 
Dorf, Richard C., author. Taylor and Francis.
Preferred Shelf Number 
TK7885
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: