Limit Search Results
Author
SpringerLink (Online service)
(599)
Kim, Tai-hoon. editor.
(12)
Hart-Davis, Guy.
(7)
Apduhan, Bernady O. editor.
(6)
Fitzgibbon, Andrew. editor.
(6)
Language
Subject
Computer science.
(548)
Software engineering.
(369)
Computer software.
(308)
Computer Communication Networks.
(243)
Artificial intelligence.
(229)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
718 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
301. 
Cover image for Mobile Wireless Middleware, Operating Systems, and Applications 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers
Mobile Wireless Middleware, Operating Systems, and Applications 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers
Author 
Venkatasubramanian, Nalini. editor. Getov, Vladimir. editor. Steglich, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30607-5
Format: 
Availability 
Online Library~1
Available:
Copies:
302. 
Cover image for Wired/Wireless Internet Communication 10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012. Proceedings
Wired/Wireless Internet Communication 10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012. Proceedings
Author 
Koucheryavy, Yevgeni. editor. Mamatas, Lefteris. editor. Matta, Ibrahim. editor. Tsaoussidis, Vassilis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30630-3
Format: 
Availability 
Online Library~1
Available:
Copies:
303. 
Cover image for Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings
Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings
Author 
Sadre, Ramin. editor. Novotný, Jiří. editor. Čeleda, Pavel. editor. Waldburger, Martin. editor. Stiller, Burkhard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30633-4
Format: 
Availability 
Online Library~1
Available:
Copies:
304. 
Cover image for Advances in Knowledge Discovery and Data Mining 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012, Proceedings, Part I
Advances in Knowledge Discovery and Data Mining 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012, Proceedings, Part I
Author 
Tan, Pang-Ning. editor. Chawla, Sanjay. editor. Ho, Chin Kuan. editor. Bailey, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30217-6
Format: 
Availability 
Online Library~1
Available:
Copies:
305. 
Cover image for Advances in Knowledge Discovery and Data Mining 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29 – June 1, 2012, Proceedings, Part II
Advances in Knowledge Discovery and Data Mining 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29 – June 1, 2012, Proceedings, Part II
Author 
Tan, Pang-Ning. editor. Chawla, Sanjay. editor. Ho, Chin Kuan. editor. Bailey, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30220-6
Format: 
Availability 
Online Library~1
Available:
Copies:
306. 
Cover image for Computational Topology in Image Context 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings
Computational Topology in Image Context 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings
Author 
Ferri, Massimo. editor. Frosini, Patrizio. editor. Landi, Claudia. editor. Cerri, Andrea. editor. Fabio, Barbara. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30238-1
Format: 
Availability 
Online Library~1
Available:
Copies:
307. 
Cover image for A Primer on Scientific Programming with Python
A Primer on Scientific Programming with Python
Author 
Langtangen, Hans Petter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30293-0
Format: 
Availability 
Online Library~1
Available:
Copies:
308. 
Cover image for Fun with Algorithms 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings
Fun with Algorithms 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings
Author 
Kranakis, Evangelos. editor. Krizanc, Danny. editor. Luccio, Flaminia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30347-0
Format: 
Availability 
Online Library~1
Available:
Copies:
309. 
Cover image for Game Theory for Networks 2nd International ICST Conference, GAMENETS 2011, Shanghai, China, April 16-18, 2011, Revised Selected Papers
Game Theory for Networks 2nd International ICST Conference, GAMENETS 2011, Shanghai, China, April 16-18, 2011, Revised Selected Papers
Author 
Jain, Rahul. editor. Kannan, Rajgopal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30373-9
Format: 
Availability 
Online Library~1
Available:
Copies:
310. 
Cover image for Broadband Communications, Networks, and Systems 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25–27, 2010, Revised Selected Papers
Broadband Communications, Networks, and Systems 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25–27, 2010, Revised Selected Papers
Author 
Tomkos, Ioannis. editor. Bouras, Christos J. editor. Ellinas, Georgios. editor. Demestichas, Panagiotis. editor. Sinha, Prasun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30376-0
Format: 
Availability 
Online Library~1
Available:
Copies:
311. 
Cover image for Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings
Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings
Author 
Hirsch, Edward A. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. Prilutskii, Michail. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30642-6
Format: 
Availability 
Online Library~1
Available:
Copies:
312. 
Cover image for Advances in Computational Intelligence IEEE World Congress on Computational Intelligence, WCCI 2012, Brisbane, Australia, June 10-15, 2012. Plenary/Invited Lectures
Advances in Computational Intelligence IEEE World Congress on Computational Intelligence, WCCI 2012, Brisbane, Australia, June 10-15, 2012. Plenary/Invited Lectures
Author 
Liu, Jing. editor. Alippi, Cesare. editor. Bouchon-Meunier, Bernadette. editor. Greenwood, Garrison W. editor. Abbass, Hussein A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30687-7
Format: 
Availability 
Online Library~1
Available:
Copies:
313. 
Cover image for Scientific Workflows Programming, Optimization, and Synthesis with ASKALON and AWDL
Scientific Workflows Programming, Optimization, and Synthesis with ASKALON and AWDL
Author 
Qin, Jun. author. Fahringer, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30715-7
Format: 
Availability 
Online Library~1
Available:
Copies:
314. 
Cover image for Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Author 
Derrick, John. editor. Gnesi, Stefania. editor. Latella, Diego. editor. Treharne, Helen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30729-4
Format: 
Availability 
Online Library~1
Available:
Copies:
315. 
Cover image for Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Author 
Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30743-0
Format: 
Availability 
Online Library~1
Available:
Copies:
316. 
Cover image for Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings
Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings
Author 
Li, Ruixuan. editor. Cao, Jiannong. editor. Bourgeois, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30767-6
Format: 
Availability 
Online Library~1
Available:
Copies:
317. 
Cover image for Experimental Algorithms 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings
Experimental Algorithms 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings
Author 
Klasing, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30850-5
Format: 
Availability 
Online Library~1
Available:
Copies:
318. 
Cover image for How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
Author 
Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30870-3
Format: 
Availability 
Online Library~1
Available:
Copies:
319. 
Cover image for Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Author 
Derrick, John. editor. Fitzgerald, John. editor. Gnesi, Stefania. editor. Khurshid, Sarfraz. editor. Leuschel, Michael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30885-7
Format: 
Availability 
Online Library~1
Available:
Copies:
320. 
Cover image for The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday
The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday
Author 
Bodlaender, Hans L. editor. Downey, Rod. editor. Fomin, Fedor V. editor. Marx, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30891-8
Format: 
Availability 
Online Library~1
Available:
Copies:
321. 
Cover image for Trust and Trustworthy Computing 5th International Conference, TRUST 2012, Vienna, Austria, June 13-15, 2012. Proceedings
Trust and Trustworthy Computing 5th International Conference, TRUST 2012, Vienna, Austria, June 13-15, 2012. Proceedings
Author 
Katzenbeisser, Stefan. editor. Weippl, Edgar. editor. Camp, L. Jean. editor. Volkamer, Melanie. editor. Reiter, Mike. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30921-2
Format: 
Availability 
Online Library~1
Available:
Copies:
322. 
Cover image for OpenMP in a Heterogeneous World 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings
OpenMP in a Heterogeneous World 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings
Author 
Chapman, Barbara M. editor. Massaioli, Federico. editor. Müller, Matthias S. editor. Rorro, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30961-8
Format: 
Availability 
Online Library~1
Available:
Copies:
323. 
Cover image for Mobile and Ubiquitous Systems: Computing, Networking, and Services 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers
Mobile and Ubiquitous Systems: Computing, Networking, and Services 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers
Author 
Puiatti, Alessandro. editor. Gu, Tao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30973-1
Format: 
Availability 
Online Library~1
Available:
Copies:
324. 
Cover image for Advances in Swarm Intelligence Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part I
Advances in Swarm Intelligence Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part I
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Ji, Zhen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30976-2
Format: 
Availability 
Online Library~1
Available:
Copies:
325. 
Cover image for Advances in Swarm Intelligence Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part II
Advances in Swarm Intelligence Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part II
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Ji, Zhen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31020-1
Format: 
Availability 
Online Library~1
Available:
Copies:
326. 
Cover image for Persuasive Technology. Design for Health and Safety 7th International Conference, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings
Persuasive Technology. Design for Health and Safety 7th International Conference, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings
Author 
Bang, Magnus. editor. Ragnemalm, Eva L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31037-9
Format: 
Availability 
Online Library~1
Available:
Copies:
327. 
Cover image for ECOOP 2012 – Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings
ECOOP 2012 – Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings
Author 
Noble, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31057-7
Format: 
Availability 
Online Library~1
Available:
Copies:
328. 
Cover image for Impact Analysis of Solutions for Chronic Disease Prevention and Management 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedings
Impact Analysis of Solutions for Chronic Disease Prevention and Management 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedings
Author 
Donnelly, Mark. editor. Paggetti, Cristiano. editor. Nugent, Chris. editor. Mokhtari, Mounir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30779-9
Format: 
Availability 
Online Library~1
Available:
Copies:
329. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings
Analytical and Stochastic Modeling Techniques and Applications 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings
Author 
Al-Begain, Khalid. editor. Fiems, Dieter. editor. Vincent, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30782-9
Format: 
Availability 
Online Library~1
Available:
Copies:
330. 
Cover image for Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Author 
Giese, Holger. editor. Rosu, Grigore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30793-5
Format: 
Availability 
Online Library~1
Available:
Copies:
331. 
Cover image for Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Author 
Göschka, Karl Michael. editor. Haridi, Seif. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
332. 
Cover image for Coordination Models and Languages 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings
Coordination Models and Languages 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings
Author 
Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30829-1
Format: 
Availability 
Online Library~1
Available:
Copies:
333. 
Cover image for Advanced Information Systems Engineering Workshops CAiSE 2012 International Workshops, Gdańsk, Poland, June 25-26, 2012. Proceedings
Advanced Information Systems Engineering Workshops CAiSE 2012 International Workshops, Gdańsk, Poland, June 25-26, 2012. Proceedings
Author 
Bajec, Marko. editor. Eder, Johann. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31069-0
Format: 
Availability 
Online Library~1
Available:
Copies:
334. 
Cover image for Enterprise, Business-Process and Information Systems Modeling 13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium, held at CAiSE 2012, Gdańsk, Poland, June 25-26, 2012. Proceedings
Enterprise, Business-Process and Information Systems Modeling 13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium, held at CAiSE 2012, Gdańsk, Poland, June 25-26, 2012. Proceedings
Author 
Bider, Ilia. editor. Halpin, Terry. editor. Krogstie, John. editor. Nurcan, Selmin. editor. Proper, Erik. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31072-0
Format: 
Availability 
Online Library~1
Available:
Copies:
335. 
Cover image for Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31075-1
Format: 
Availability 
Online Library~1
Available:
Copies:
336. 
Cover image for Advanced Research in Applied Artificial Intelligence 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2012, Dalian, China, June 9-12, 2012. Proceedings
Advanced Research in Applied Artificial Intelligence 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2012, Dalian, China, June 9-12, 2012. Proceedings
Author 
Jiang, He. editor. Ding, Wei. editor. Ali, Moonis. editor. Wu, Xindong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31087-4
Format: 
Availability 
Online Library~1
Available:
Copies:
337. 
Cover image for Advanced Information Systems Engineering 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings
Advanced Information Systems Engineering 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings
Author 
Ralyté, Jolita. editor. Franch, Xavier. editor. Brinkkemper, Sjaak. editor. Wrycza, Stanislaw. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31095-9
Format: 
Availability 
Online Library~1
Available:
Copies:
338. 
Cover image for Structural Information and Communication Complexity 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers
Structural Information and Communication Complexity 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers
Author 
Even, Guy. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31104-8
Format: 
Availability 
Online Library~1
Available:
Copies:
339. 
Cover image for Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Author 
Gibbons, Jeremy. editor. Nogueira, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31113-0
Format: 
Availability 
Online Library~1
Available:
Copies:
340. 
Cover image for Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31125-3
Format: 
Availability 
Online Library~1
Available:
Copies:
341. 
Cover image for Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31128-4
Format: 
Availability 
Online Library~1
Available:
Copies:
342. 
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:
343. 
Cover image for Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31137-6
Format: 
Availability 
Online Library~1
Available:
Copies:
344. 
Cover image for Pattern Recognition 4th Mexican Conference, MCPR 2012, Huatulco, Mexico, June 27-30, 2012. Proceedings
Pattern Recognition 4th Mexican Conference, MCPR 2012, Huatulco, Mexico, June 27-30, 2012. Proceedings
Author 
Carrasco-Ochoa, Jesús Ariel. editor. Martínez-Trinidad, José Francisco. editor. Olvera López, José Arturo. editor. Boyer, Kim L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31149-9
Format: 
Availability 
Online Library~1
Available:
Copies:
345. 
Cover image for Algorithm Theory – SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings
Algorithm Theory – SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings
Author 
Fomin, Fedor V. editor. Kaski, Petteri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31155-0
Format: 
Availability 
Online Library~1
Available:
Copies:
346. 
Cover image for Computer Networks 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings
Computer Networks 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings
Author 
Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31217-5
Format: 
Availability 
Online Library~1
Available:
Copies:
347. 
Cover image for Image and Signal Processing 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings
Image and Signal Processing 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings
Author 
Elmoataz, Abderrahim. editor. Mammass, Driss. editor. Lezoray, Olivier. editor. Nouboud, Fathallah. editor. Aboutajdine, Driss. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31254-0
Format: 
Availability 
Online Library~1
Available:
Copies:
348. 
Cover image for Combinatorial Pattern Matching 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings
Combinatorial Pattern Matching 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings
Author 
Kärkkäinen, Juha. editor. Stoye, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31265-6
Format: 
Availability 
Online Library~1
Available:
Copies:
349. 
Cover image for Image Analysis and Recognition 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I
Image Analysis and Recognition 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I
Author 
Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31295-3
Format: 
Availability 
Online Library~1
Available:
Copies:
350. 
Cover image for Image Analysis and Recognition 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part II
Image Analysis and Recognition 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part II
Author 
Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31298-4
Format: 
Availability 
Online Library~1
Available:
Copies:
351. 
Cover image for Advances in Neural Networks – ISNN 2012 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part I
Advances in Neural Networks – ISNN 2012 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part I
Author 
Wang, Jun. editor. Yen, Gary G. editor. Polycarpou, Marios M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31346-2
Format: 
Availability 
Online Library~1
Available:
Copies:
352. 
Cover image for Advances in Neural Networks – ISNN 2012 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part II
Advances in Neural Networks – ISNN 2012 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part II
Author 
Wang, Jun. editor. Yen, Gary G. editor. Polycarpou, Marios M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31362-2
Format: 
Availability 
Online Library~1
Available:
Copies:
353. 
Cover image for Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Author 
Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31365-3
Format: 
Availability 
Online Library~1
Available:
Copies:
354. 
Cover image for Engaging Learners Through Emerging Technologies International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012. Proceedings
Engaging Learners Through Emerging Technologies International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012. Proceedings
Author 
Li, Kam Cheong. editor. Wang, Fu Lee. editor. Yuen, Kin Sun. editor. Cheung, Simon K. S. editor. Kwan, Reggie. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31398-1
Format: 
Availability 
Online Library~1
Available:
Copies:
355. 
Cover image for Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Author 
Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31424-7
Format: 
Availability 
Online Library~1
Available:
Copies:
356. 
Cover image for Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31464-3
Format: 
Availability 
Online Library~1
Available:
Copies:
357. 
Cover image for Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden
Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden
Author 
Brunst, Holger. editor. Müller, Matthias S. editor. Nagel, Wolfgang E. editor. Resch, Michael M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31476-6
Format: 
Availability 
Online Library~1
Available:
Copies:
358. 
Cover image for Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Author 
Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31485-8
Format: 
Availability 
Online Library~1
Available:
Copies:
359. 
Cover image for Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings
Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings
Author 
Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31491-9
Format: 
Availability 
Online Library~1
Available:
Copies:
360. 
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:
361. 
Cover image for Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II
Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31500-8
Format: 
Availability 
Online Library~1
Available:
Copies:
362. 
Cover image for The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
Author 
Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31555-8
Format: 
Availability 
Online Library~1
Available:
Copies:
363. 
Cover image for Intelligent Computing Theories and Applications 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings
Intelligent Computing Theories and Applications 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings
Author 
Huang, De-Shuang. editor. Ma, Jianhua. editor. Jo, Kang-Hyun. editor. Gromiha, M. Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31576-3
Format: 
Availability 
Online Library~1
Available:
Copies:
364. 
Cover image for Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
Author 
Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31585-5
Format: 
Availability 
Online Library~1
Available:
Copies:
365. 
Cover image for Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I
Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I
Author 
Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31594-7
Format: 
Availability 
Online Library~1
Available:
Copies:
366. 
Cover image for Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
Author 
Moreira, Nelma. editor. Reis, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31606-7
Format: 
Availability 
Online Library~1
Available:
Copies:
367. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
Author 
Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31612-8
Format: 
Availability 
Online Library~1
Available:
Copies:
368. 
Cover image for Ad-hoc, Mobile, and Wireless Networks 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings
Ad-hoc, Mobile, and Wireless Networks 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings
Author 
Li, Xiang-Yang. editor. Papavassiliou, Symeon. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31638-8
Format: 
Availability 
Online Library~1
Available:
Copies:
369. 
Cover image for Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings
Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings
Author 
Özbudak, Ferruh. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31662-3
Format: 
Availability 
Online Library~1
Available:
Copies:
370. 
Cover image for Privacy and Identity Management for Life 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Trento, Italy, September 5-9, 2011, Revised Selected Papers
Privacy and Identity Management for Life 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Trento, Italy, September 5-9, 2011, Revised Selected Papers
Author 
Camenisch, Jan. editor. Crispo, Bruno. editor. Fischer-Hübner, Simone. editor. Leenes, Ronald. editor. Russello, Giovanni. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31668-5
Format: 
Availability 
Online Library~1
Available:
Copies:
371. 
Cover image for Privacy Enhancing Technologies 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012. Proceedings
Privacy Enhancing Technologies 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012. Proceedings
Author 
Fischer-Hübner, Simone. editor. Wright, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31680-7
Format: 
Availability 
Online Library~1
Available:
Copies:
372. 
Cover image for Web Engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings
Web Engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings
Author 
Brambilla, Marco. editor. Tokuda, Takehiro. editor. Tolksdorf, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31753-8
Format: 
Availability 
Online Library~1
Available:
Copies:
373. 
Cover image for Combinatorial Optimization and Applications 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings
Combinatorial Optimization and Applications 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings
Author 
Lin, Guohui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31770-5
Format: 
Availability 
Online Library~1
Available:
Copies:
374. 
Cover image for Virtual and Networked Organizations, Emergent Technologies and Tools First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers
Virtual and Networked Organizations, Emergent Technologies and Tools First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers
Author 
Putnik, Goran D. editor. Cruz-Cunha, Maria Manuela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31800-9
Format: 
Availability 
Online Library~1
Available:
Copies:
375. 
Cover image for Overview of the PMBOK® Guide Paving the Way for PMP® Certification
Overview of the PMBOK® Guide Paving the Way for PMP® Certification
Author 
Ó Conchúir, Deasún. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31803-0
Format: 
Availability 
Online Library~1
Available:
Copies:
376. 
Cover image for Emerging Intelligent Computing Technology and Applications 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings
Emerging Intelligent Computing Technology and Applications 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings
Author 
Huang, De-Shuang. editor. Gupta, Phalguni. editor. Zhang, Xiang. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31837-5
Format: 
Availability 
Online Library~1
Available:
Copies:
377. 
Cover image for Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers
Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers
Author 
Herik, H. Jaap. editor. Plaat, Aske. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31866-5
Format: 
Availability 
Online Library~1
Available:
Copies:
378. 
Cover image for Wireless Algorithms, Systems, and Applications 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings
Wireless Algorithms, Systems, and Applications 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings
Author 
Wang, Xinbing. editor. Zheng, Rong. editor. Jing, Tao. editor. Xing, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31869-6
Format: 
Availability 
Online Library~1
Available:
Copies:
379. 
Cover image for Service-Oriented Computing - ICSOC 2011 Workshops ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers
Service-Oriented Computing - ICSOC 2011 Workshops ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers
Author 
Pallis, George. editor. Jmaiel, Mohamed. editor. Charfi, Anis. editor. Graupner, Sven. editor. Karabulut, Yücel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31875-7
Format: 
Availability 
Online Library~1
Available:
Copies:
380. 
Cover image for Information Security and Cryptology - ICISC 2011 14th International Conference, Seoul, Korea, November 30 - December 2, 2011. Revised Selected Papers
Information Security and Cryptology - ICISC 2011 14th International Conference, Seoul, Korea, November 30 - December 2, 2011. Revised Selected Papers
Author 
Kim, Howon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31912-9
Format: 
Availability 
Online Library~1
Available:
Copies:
381. 
Cover image for Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers
Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers
Author 
Dennis, Louise. editor. Boissier, Olivier. editor. Bordini, Rafael H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31915-0
Format: 
Availability 
Online Library~1
Available:
Copies:
382. 
Cover image for Advances in Bioinformatics and Computational Biology 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings
Advances in Bioinformatics and Computational Biology 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings
Author 
Souto, Marcilio C. editor. Kann, Maricel G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31927-3
Format: 
Availability 
Online Library~1
Available:
Copies:
383. 
Cover image for Communications and Information Processing International Conference, ICCIP 2012 Aveiro, Portugal, March 7-11, 2012 Revised Selected Papers, Part I
Communications and Information Processing International Conference, ICCIP 2012 Aveiro, Portugal, March 7-11, 2012 Revised Selected Papers, Part I
Author 
Zhao, Maotai. editor. Sha, Junpin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31965-5
Format: 
Availability 
Online Library~1
Available:
Copies:
384. 
Cover image for Communications and Information Processing International Conference, ICCIP 2012, Aveiro, Portugal, March 7-11, 2012, Revised Selected Papers, Part II
Communications and Information Processing International Conference, ICCIP 2012, Aveiro, Portugal, March 7-11, 2012, Revised Selected Papers, Part II
Author 
Zhao, Maotai. editor. Sha, Junpin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31968-6
Format: 
Availability 
Online Library~1
Available:
Copies:
385. 
Cover image for VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
Author 
Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32770-4
Format: 
Availability 
Online Library~1
Available:
Copies:
386. 
Cover image for Collaborative Networks in the Internet of Services 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012. Proceedings
Collaborative Networks in the Internet of Services 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012. Proceedings
Author 
Camarinha-Matos, Luis M. editor. Xu, Lai. editor. Afsarmanesh, Hamideh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32775-9
Format: 
Availability 
Online Library~1
Available:
Copies:
387. 
Cover image for Computer Applications for Bio-technology, Multimedia, and Ubiquitous City International Conferences MulGraB, BSBT and IUrC 2012 Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Computer Applications for Bio-technology, Multimedia, and Ubiquitous City International Conferences MulGraB, BSBT and IUrC 2012 Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Kang, Jeong-Jin. editor. Grosky, William I. editor. Arslan, Tughrul. editor. Pissinou, Niki. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35521-9
Format: 
Availability 
Online Library~1
Available:
Copies:
388. 
Cover image for Transactions on Computational Systems Biology XIV Special Issue on Computational Models for Cell Processes
Transactions on Computational Systems Biology XIV Special Issue on Computational Models for Cell Processes
Author 
Priami, Corrado. editor. Petre, Ion. editor. Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35524-0
Format: 
Availability 
Online Library~1
Available:
Copies:
389. 
Cover image for Advanced Data Mining and Applications 8th International Conference, ADMA 2012, Nanjing, China, December 15-18, 2012. Proceedings
Advanced Data Mining and Applications 8th International Conference, ADMA 2012, Nanjing, China, December 15-18, 2012. Proceedings
Author 
Zhou, Shuigeng. editor. Zhang, Songmao. editor. Karypis, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35527-1
Format: 
Availability 
Online Library~1
Available:
Copies:
390. 
Cover image for Artificial Evolution 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, Revised Selected Papers
Artificial Evolution 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, Revised Selected Papers
Author 
Hao, Jin-Kao. editor. Legrand, Pierrick. editor. Collet, Pierre. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35533-2
Format: 
Availability 
Online Library~1
Available:
Copies:
391. 
Cover image for Big Data Analytics First International Conference, BDA 2012, New Delhi, India, December 24-26, 2012. Proceedings
Big Data Analytics First International Conference, BDA 2012, New Delhi, India, December 24-26, 2012. Proceedings
Author 
Srinivasa, Srinath. editor. Bhatnagar, Vasudha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35542-4
Format: 
Availability 
Online Library~1
Available:
Copies:
392. 
Cover image for Coordination, Organizations, Institutions, and Norms in Agent System VII COIN 2011 International Workshops, COIN@AAMAS 2011, Taipei, Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011, Revised Selected Papers
Coordination, Organizations, Institutions, and Norms in Agent System VII COIN 2011 International Workshops, COIN@AAMAS 2011, Taipei, Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011, Revised Selected Papers
Author 
Cranefield, Stephen. editor. Riemsdijk, M. Birna. editor. Vázquez-Salceda, Javier. editor. Noriega, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35545-5
Format: 
Availability 
Online Library~1
Available:
Copies:
393. 
Cover image for Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers
Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers
Author 
Korakis, Thanasis. editor. Zink, Michael. editor. Ott, Maximilian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35576-9
Format: 
Availability 
Online Library~1
Available:
Copies:
394. 
Cover image for Future Generation Information Technology 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Future Generation Information Technology 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Lee, Young-hoon. editor. Fang, Wai-chi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35585-1
Format: 
Availability 
Online Library~1
Available:
Copies:
395. 
Cover image for Computer Applications for Communication, Networking, and Digital Contents International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Computer Applications for Communication, Networking, and Digital Contents International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Ko, Dae-sik. editor. Vasilakos, Thanos. editor. Stoica, Adrian. editor. Abawajy, Jemal. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35594-3
Format: 
Availability 
Online Library~1
Available:
Copies:
396. 
Cover image for Computer Applications for Graphics, Grid Computing, and Industrial Environment International Conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Computer Applications for Graphics, Grid Computing, and Industrial Environment International Conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Cho, Hyun-seob. editor. Gervasi, Osvaldo. editor. Yau, Stephen S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35600-1
Format: 
Availability 
Online Library~1
Available:
Copies:
397. 
Cover image for Computer Applications for Database, Education, and Ubiquitous Computing International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Computer Applications for Database, Education, and Ubiquitous Computing International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Ma, Jianhua. editor. Fang, Wai-chi. editor. Zhang, Yanchun. editor. Cuzzocrea, Alfredo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35603-2
Format: 
Availability 
Online Library~1
Available:
Copies:
398. 
Cover image for Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings
Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings
Author 
Park, James J. editor. Zomaya, Albert. editor. Yeo, Sang-Soo. editor. Sahni, Sartaj. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35606-3
Format: 
Availability 
Online Library~1
Available:
Copies:
399. 
Cover image for Advances in Communication, Network, and Computing Third International Conference, CNC 2012, Chennai, India, February 24-25, 2012, Revised Selected Papers
Advances in Communication, Network, and Computing Third International Conference, CNC 2012, Chennai, India, February 24-25, 2012, Revised Selected Papers
Author 
Das, Vinu V. editor. Stephen, Janahanlal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35615-5
Format: 
Availability 
Online Library~1
Available:
Copies:
400. 
Cover image for Current Trends in Web Engineering ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers
Current Trends in Web Engineering ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers
Author 
Grossniklaus, Michael. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35623-0
Format: 
Availability 
Online Library~1
Available:
Copies:
401. 
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:
402. 
Cover image for Computational Intelligence Methods for Bioinformatics and Biostatistics 8th International Meeting, CIBB 2011, Gargnano del Garda, Italy, June 30 – July 2, 2011, Revised Selected Papers
Computational Intelligence Methods for Bioinformatics and Biostatistics 8th International Meeting, CIBB 2011, Gargnano del Garda, Italy, June 30 – July 2, 2011, Revised Selected Papers
Author 
Biganzoli, Elia. editor. Vellido, Alfredo. editor. Ambrogi, Federico. editor. Tagliaferri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35686-5
Format: 
Availability 
Online Library~1
Available:
Copies:
403. 
Cover image for Security Protocols XX 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers
Security Protocols XX 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers
Author 
Christianson, Bruce. editor. Malcolm, James. editor. Stajano, Frank. editor. Anderson, Jonathan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35694-0
Format: 
Availability 
Online Library~1
Available:
Copies:
404. 
Cover image for Trends and Topics in Computer Vision ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part II
Trends and Topics in Computer Vision ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part II
Author 
Kutulakos, Kiriakos N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35740-4
Format: 
Availability 
Online Library~1
Available:
Copies:
405. 
Cover image for Trends and Topics in Computer Vision ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part I
Trends and Topics in Computer Vision ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part I
Author 
Kutulakos, Kiriakos N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35749-7
Format: 
Availability 
Online Library~1
Available:
Copies:
406. 
Cover image for Product Lifecycle Management. Towards Knowledge-Rich Enterprises IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012, Revised Selected Papers
Product Lifecycle Management. Towards Knowledge-Rich Enterprises IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012, Revised Selected Papers
Author 
Rivest, Louis. editor. Bouras, Abdelaziz. editor. Louhichi, Borhen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35758-9
Format: 
Availability 
Online Library~1
Available:
Copies:
407. 
Cover image for Combinatorial Algorithms 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, Revised Selected Papers
Combinatorial Algorithms 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, Revised Selected Papers
Author 
Arumugam, S. editor. Smyth, W. F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35926-2
Format: 
Availability 
Online Library~1
Available:
Copies:
408. 
Cover image for Smart Energy Von der reaktiven Kundenverwaltung zum proaktiven Kundenmanagement
Smart Energy Von der reaktiven Kundenverwaltung zum proaktiven Kundenmanagement
Author 
Aichele, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-1981-9
Format: 
Availability 
Online Library~1
Available:
Copies:
409. 
Cover image for Grundkurs Microsoft Dynamics AX Die Business-Lösung von Microsoft in Version AX 2012
Grundkurs Microsoft Dynamics AX Die Business-Lösung von Microsoft in Version AX 2012
Author 
Luszczak, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2169-0
Format: 
Availability 
Online Library~1
Available:
Copies:
410. 
Cover image for Using Microsoft Dynamics AX 2012
Using Microsoft Dynamics AX 2012
Author 
Luszczak, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2191-1
Format: 
Availability 
Online Library~1
Available:
Copies:
411. 
Cover image for Formale Grundlagen der Programmierung
Formale Grundlagen der Programmierung
Author 
Nebel, Markus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2296-3
Format: 
Availability 
Online Library~1
Available:
Copies:
412. 
Cover image for Praxis der User Interface-Entwicklung Informationsstrukturen, Designpatterns, Vorgehensmuster
Praxis der User Interface-Entwicklung Informationsstrukturen, Designpatterns, Vorgehensmuster
Author 
Chlebek, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-8219-6
Format: 
Availability 
Online Library~1
Available:
Copies:
413. 
Cover image for Einführung in die Softwareentwicklung mit C Eine Einführung mit dem Visual Studio 2010
Einführung in die Softwareentwicklung mit C Eine Einführung mit dem Visual Studio 2010
Author 
Duschl, Dieter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-8239-4
Format: 
Availability 
Online Library~1
Available:
Copies:
414. 
Cover image for Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings
Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings
Author 
Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-54216-2
Format: 
Availability 
Online Library~1
Available:
Copies:
415. 
Cover image for Computer, Informatics, Cybernetics and Applications Proceedings of the CICA 2011
Computer, Informatics, Cybernetics and Applications Proceedings of the CICA 2011
Author 
He, Xingui. editor. Hua, Ertian. editor. Lin, Yun. editor. Liu, Xiaozhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1839-5
Format: 
Availability 
Online Library~1
Available:
Copies:
416. 
Cover image for Harnessing VLSI System Design with EDA Tools
Harnessing VLSI System Design with EDA Tools
Author 
Kamat, Rajanish K. author. Shinde, Santosh A. author. Gaikwad, Pawan K. author. Guhilot, Hansraj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1864-7
Format: 
Availability 
Online Library~1
Available:
Copies:
417. 
Cover image for The Future of EU Agricultural Markets by AGMEMOD
The Future of EU Agricultural Markets by AGMEMOD
Author 
Chantreuil, Frédéric. editor. Hanrahan, Kevin. editor. Leeuwen, Myrna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2291-0
Format: 
Availability 
Online Library~1
Available:
Copies:
418. 
Cover image for Computer Science and Convergence CSA 2011 & WCC 2011 Proceedings
Computer Science and Convergence CSA 2011 & WCC 2011 Proceedings
Author 
J. (Jong Hyuk) Park, James. editor. Chao, Han-Chieh. editor. S. Obaidat, Mohammad. editor. Kim, Jongsung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2792-2
Format: 
Availability 
Online Library~1
Available:
Copies:
419. 
Cover image for Proceedings of the International Conference on IT Convergence and Security 2011
Proceedings of the International Conference on IT Convergence and Security 2011
Author 
Kim, Kuinam J. editor. Ahn, Seong Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2911-7
Format: 
Availability 
Online Library~1
Available:
Copies:
420. 
Cover image for Guide to FPGA Implementation of Arithmetic Functions
Guide to FPGA Implementation of Arithmetic Functions
Author 
Deschamps, Jean-Pierre. author. Sutter, Gustavo D. author. Cantó, Enrique. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2987-2
Format: 
Availability 
Online Library~1
Available:
Copies:
421. 
Cover image for From scientific instrument to industrial machine Coping with architectural stress in embedded systems
From scientific instrument to industrial machine Coping with architectural stress in embedded systems
Author 
Doornbos, Richard. editor. van Loo, Sjir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4147-8
Format: 
Availability 
Online Library~1
Available:
Copies:
422. 
Cover image for Arduino and Kinect Projects Design, Build, Blow Their Minds
Arduino and Kinect Projects Design, Build, Blow Their Minds
Author 
Melgar, Enrique Ramos. author. Díez, Ciriaco Castro. author. Jaworski, Przemek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4168-3
Format: 
Availability 
Online Library~1
Available:
Copies:
423. 
Cover image for Beginning Android ADK with Arduino
Beginning Android ADK with Arduino
Author 
Böhmer, Mario. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4198-0
Format: 
Availability 
Online Library~1
Available:
Copies:
424. 
Cover image for Beginning R An Introduction to Statistical Programming
Beginning R An Introduction to Statistical Programming
Author 
Pace, Larry. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4555-1
Format: 
Availability 
Online Library~1
Available:
Copies:
425. 
Cover image for Expert F# 3.0
Expert F# 3.0
Author 
Syme, Don. author. Granicz, Adam. author. Cisternino, Antonio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4651-0
Format: 
Availability 
Online Library~1
Available:
Copies:
426. 
Cover image for Service Virtualization Reality is Overrated
Service Virtualization Reality is Overrated
Author 
Michelsen, John. author. English, Jason. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4672-5
Format: 
Availability 
Online Library~1
Available:
Copies:
427. 
Cover image for Distributed, Embedded and Real-time Java Systems
Distributed, Embedded and Real-time Java Systems
Author 
Higuera-Toledano, M. Teresa. editor. Wellings, Andy J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8158-5
Format: 
Availability 
Online Library~1
Available:
Copies:
428. 
Cover image for Applied Ontology Engineering in Cloud Services, Networks and Management Systems
Applied Ontology Engineering in Cloud Services, Networks and Management Systems
Author 
Serrano Orozco, J. Martín. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-2236-5
Format: 
Availability 
Online Library~1
Available:
Copies:
429. 
Cover image for Creating New Medical Ontologies for Image Annotation A Case Study
Creating New Medical Ontologies for Image Annotation A Case Study
Author 
Stanescu, Liana. author. Burdescu, Dumitru Dan. author. Brezovan, Marius. author. Mihai, Cristian Gabriel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1909-9
Format: 
Availability 
Online Library~1
Available:
Copies:
430. 
Cover image for The Design of Cloud Workflow Systems
The Design of Cloud Workflow Systems
Author 
Liu, Xiao. author. Yuan, Dong. author. Zhang, Gaofeng. author. Li, Wenhao. author. Cao, Dahai. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1933-4
Format: 
Availability 
Online Library~1
Available:
Copies:
431. 
Cover image for Network Inference in Molecular Biology A Hands-on Framework
Network Inference in Molecular Biology A Hands-on Framework
Author 
Lingeman, Jesse M. Shasha, Dennis. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3113-8
Format: 
Availability 
Online Library~1
Available:
Copies:
432. 
Cover image for Pyomo – Optimization Modeling in Python
Pyomo – Optimization Modeling in Python
Author 
Hart, William E. author. Laird, Carl. author. Watson, Jean-Paul. author. Woodruff, David L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3226-5
Format: 
Availability 
Online Library~1
Available:
Copies:
433. 
Cover image for An Introduction to Modern Mathematical Computing With Mathematica®
An Introduction to Modern Mathematical Computing With Mathematica®
Author 
Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4253-0
Format: 
Availability 
Online Library~1
Available:
Copies:
434. 
Cover image for Automated Configuration Problem Solving
Automated Configuration Problem Solving
Author 
Petrie, Charles J. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4532-6
Format: 
Availability 
Online Library~1
Available:
Copies:
435. 
Cover image for Remote Sensing of the Environment and Radiation Transfer An Introductory Survey
Remote Sensing of the Environment and Radiation Transfer An Introductory Survey
Author 
Kuznetsov, Anatoly. author. Melnikova, Irina. author. Pozdnyakov, Dmitry. author. Seroukhova, Olga. author. Vasilyev, Alexander. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14899-6
Format: 
Availability 
Online Library~1
Available:
Copies:
436. 
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:
437. 
Cover image for Agile Modellierung mit UML Codegenerierung, Testfälle, Refactoring
Agile Modellierung mit UML Codegenerierung, Testfälle, Refactoring
Author 
Rumpe, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22430-0
Format: 
Availability 
Online Library~1
Available:
Copies:
438. 
Cover image for Informationstechnologie für Ingenieure
Informationstechnologie für Ingenieure
Author 
Eigner, Martin. author. Gerhardt, Florian. author. Gilz, Torsten. author. Mogo Nem, Fabrice. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24893-1
Format: 
Availability 
Online Library~1
Available:
Copies:
439. 
Cover image for Distributed Computing and Networking 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings
Distributed Computing and Networking 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings
Author 
Bononi, Luciano. editor. Datta, Ajoy K. editor. Devismes, Stéphane. editor. Misra, Archan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25959-3
Format: 
Availability 
Online Library~1
Available:
Copies:
440. 
Cover image for Communication and Networking International Conference, FGCN 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I
Communication and Networking International Conference, FGCN 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I
Author 
Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Fang, Wai-chi. editor. Vasilakos, Thanos. editor. Stoica, Adrian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27192-2
Format: 
Availability 
Online Library~1
Available:
Copies:
441. 
Cover image for Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I
Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I
Author 
Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Grosky, William I. editor. Pissinou, Niki. editor. Shih, Timothy K. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27204-2
Format: 
Availability 
Online Library~1
Available:
Copies:
442. 
Cover image for Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part III
Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part III
Author 
Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27275-2
Format: 
Availability 
Online Library~1
Available:
Copies:
443. 
Cover image for Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part II
Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part II
Author 
Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27278-3
Format: 
Availability 
Online Library~1
Available:
Copies:
444. 
Cover image for Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I
Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I
Author 
Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27281-3
Format: 
Availability 
Online Library~1
Available:
Copies:
445. 
Cover image for Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I
Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I
Author 
Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27299-8
Format: 
Availability 
Online Library~1
Available:
Copies:
446. 
Cover image for Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II
Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II
Author 
Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27308-7
Format: 
Availability 
Online Library~1
Available:
Copies:
447. 
Cover image for Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III
Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III
Author 
Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27317-9
Format: 
Availability 
Online Library~1
Available:
Copies:
448. 
Cover image for Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers
Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers
Author 
Mödersheim, Sebastian. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27375-9
Format: 
Availability 
Online Library~1
Available:
Copies:
449. 
Cover image for Resource Discovery Third International Workshop, RED 2010, Paris, France, November 5, 2010, Revised Selected Papers
Resource Discovery Third International Workshop, RED 2010, Paris, France, November 5, 2010, Revised Selected Papers
Author 
Lacroix, Zoé. editor. Vidal, María Esther. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27392-6
Format: 
Availability 
Online Library~1
Available:
Copies:
450. 
Cover image for Monte Carlo and Quasi-Monte Carlo Methods 2010
Monte Carlo and Quasi-Monte Carlo Methods 2010
Author 
Plaskota, Leszek. editor. Woźniakowski, Henryk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27440-4
Format: 
Availability 
Online Library~1
Available:
Copies:
451. 
Cover image for Financial Cryptography and Data Security 15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers
Financial Cryptography and Data Security 15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers
Author 
Danezis, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27576-0
Format: 
Availability 
Online Library~1
Available:
Copies:
452. 
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:
453. 
Cover image for SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings
SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings
Author 
Bieliková, Mária. editor. Friedrich, Gerhard. editor. Gottlob, Georg. editor. Katzenbeisser, Stefan. editor. Turán, György. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27660-6
Format: 
Availability 
Online Library~1
Available:
Copies:
454. 
Cover image for Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
Author 
Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27694-1
Format: 
Availability 
Online Library~1
Available:
Copies:
455. 
Cover image for Agile Service Development Combining Adaptive Methods and Flexible Solutions
Agile Service Development Combining Adaptive Methods and Flexible Solutions
Author 
Lankhorst, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28188-4
Format: 
Availability 
Online Library~1
Available:
Copies:
456. 
Cover image for Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers
Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers
Author 
Erlebach, Thomas. editor. Nikoletseas, Sotiris. editor. Orponen, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28209-6
Format: 
Availability 
Online Library~1
Available:
Copies:
457. 
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:
458. 
Cover image for Exploring Services Science Third International Conference, IESS 2012, Geneva, Switzerland, February 15-17, 2012. Proceedings
Exploring Services Science Third International Conference, IESS 2012, Geneva, Switzerland, February 15-17, 2012. Proceedings
Author 
Snene, Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28227-0
Format: 
Availability 
Online Library~1
Available:
Copies:
459. 
Cover image for Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings
Author 
Schmitt, Jens B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28540-0
Format: 
Availability 
Online Library~1
Available:
Copies:
460. 
Cover image for Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings
Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings
Author 
Theis, Fabian. editor. Cichocki, Andrzej. editor. Yeredor, Arie. editor. Zibulevsky, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28551-6
Format: 
Availability 
Online Library~1
Available:
Copies:
461. 
Cover image for VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers
VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers
Author 
Ayala, José L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28566-0
Format: 
Availability 
Online Library~1
Available:
Copies:
462. 
Cover image for Self-Organizing Systems 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012. Proceedings
Self-Organizing Systems 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012. Proceedings
Author 
Kuipers, Fernando A. editor. Heegaard, Poul E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28583-7
Format: 
Availability 
Online Library~1
Available:
Copies:
463. 
Cover image for Business Process Management Concepts, Languages, Architectures
Business Process Management Concepts, Languages, Architectures
Author 
Weske, Mathias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28616-2
Format: 
Availability 
Online Library~1
Available:
Copies:
464. 
Cover image for Economics of Grids, Clouds, Systems, and Services 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers
Economics of Grids, Clouds, Systems, and Services 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers
Author 
Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28675-9
Format: 
Availability 
Online Library~1
Available:
Copies:
465. 
Cover image for Transactions on Data Hiding and Multimedia Security VII
Transactions on Data Hiding and Multimedia Security VII
Author 
Shi, Yun Q. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28693-3
Format: 
Availability 
Online Library~1
Available:
Copies:
466. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
Author 
Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28717-6
Format: 
Availability 
Online Library~1
Available:
Copies:
467. 
Cover image for Semantic Web Services Advancement through Evaluation
Semantic Web Services Advancement through Evaluation
Author 
Blake, Brian. editor. Cabral, Liliana. editor. König-Ries, Birgitta. editor. Küster, Ulrich. editor. Martin, David. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28735-0
Format: 
Availability 
Online Library~1
Available:
Copies:
468. 
Cover image for NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
Author 
Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28891-3
Format: 
Availability 
Online Library~1
Available:
Copies:
469. 
Cover image for Agile Management Leadership in an Agile Environment
Agile Management Leadership in an Agile Environment
Author 
Medinilla, Ángel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28909-5
Format: 
Availability 
Online Library~1
Available:
Copies:
470. 
Cover image for Theory of Cryptography 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings
Theory of Cryptography 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings
Author 
Cramer, Ronald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28914-9
Format: 
Availability 
Online Library~1
Available:
Copies:
471. 
Cover image for Critical Infrastructure Protection Information Infrastructure Models, Analysis, and Defense
Critical Infrastructure Protection Information Infrastructure Models, Analysis, and Defense
Author 
Lopez, Javier. editor. Setola, Roberto. editor. Wolthusen, Stephen D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28920-0
Format: 
Availability 
Online Library~1
Available:
Copies:
472. 
Cover image for Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part II
Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part II
Author 
Corchado, Emilio. editor. Snášel, Václav. editor. Abraham, Ajith. editor. Woźniak, Michał. editor. Graña, Manuel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28931-6
Format: 
Availability 
Online Library~1
Available:
Copies:
473. 
Cover image for Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers
Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers
Author 
Collier, Rem. editor. Dix, Jürgen. editor. Novák, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28939-2
Format: 
Availability 
Online Library~1
Available:
Copies:
474. 
Cover image for Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part I
Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part I
Author 
Corchado, Emilio. editor. Snášel, Václav. editor. Abraham, Ajith. editor. Woźniak, Michał. editor. Graña, Manuel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28942-2
Format: 
Availability 
Online Library~1
Available:
Copies:
475. 
Cover image for Emerging Trends and Applications in Information Communication Technologies Second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012. Proceedings
Emerging Trends and Applications in Information Communication Technologies Second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012. Proceedings
Author 
Chowdhry, Bhawani Shankar. editor. Shaikh, Faisal Karim. editor. Hussain, Dil Muhammad Akbar. editor. Uqaili, Muhammad Aslam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28962-0
Format: 
Availability 
Online Library~1
Available:
Copies:
476. 
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:
477. 
Cover image for Advances in Cryptology – EUROCRYPT 2012 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings
Advances in Cryptology – EUROCRYPT 2012 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings
Author 
Pointcheval, David. editor. Johansson, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29011-4
Format: 
Availability 
Online Library~1
Available:
Copies:
478. 
Cover image for Resilience Assessment and Evaluation of Computing Systems
Resilience Assessment and Evaluation of Computing Systems
Author 
Wolter, Katinka. editor. Avritzer, Alberto. editor. Vieira, Marco. editor. van Moorsel, Aad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29032-9
Format: 
Availability 
Online Library~1
Available:
Copies:
479. 
Cover image for Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 10th European Conference, EvoBIO 2012, Málaga, Spain, April 11-13, 2012. Proceedings
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 10th European Conference, EvoBIO 2012, Málaga, Spain, April 11-13, 2012. Proceedings
Author 
Giacobini, Mario. editor. Vanneschi, Leonardo. editor. Bush, William S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29066-4
Format: 
Availability 
Online Library~1
Available:
Copies:
480. 
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:
481. 
Cover image for Information and Business Intelligence International Conference, IBI 2011, Chongqing, China, December 23-25, 2011. Proceedings, Part I
Information and Business Intelligence International Conference, IBI 2011, Chongqing, China, December 23-25, 2011. Proceedings, Part I
Author 
Qu, Xilong. editor. Yang, Yuhang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29084-8
Format: 
Availability 
Online Library~1
Available:
Copies:
482. 
Cover image for Information and Business Intelligence International Conference, IBI 2011, Chongqing, China, December 23-25, 2011. Proceedings, Part II
Information and Business Intelligence International Conference, IBI 2011, Chongqing, China, December 23-25, 2011. Proceedings, Part II
Author 
Qu, Xilong. editor. Yang, Yuhang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29087-9
Format: 
Availability 
Online Library~1
Available:
Copies:
483. 
Cover image for Ad Hoc Networks Third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised Selected Papers
Ad Hoc Networks Third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised Selected Papers
Author 
Simplot-Ryl, David. editor. Dias de Amorim, Marcelo. editor. Giordano, Silvia. editor. Helmy, Ahmed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29096-1
Format: 
Availability 
Online Library~1
Available:
Copies:
484. 
Cover image for agendaCPS Integrierte Forschungsagenda Cyber-Physical Systems
agendaCPS Integrierte Forschungsagenda Cyber-Physical Systems
Author 
Geisberger, Eva. editor. Broy, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29099-2
Format: 
Availability 
Online Library~1
Available:
Copies:
485. 
Cover image for Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers
Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers
Author 
Sakama, Chiaki. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29113-5
Format: 
Availability 
Online Library~1
Available:
Copies:
486. 
Cover image for Approximation and Online Algorithms 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers
Approximation and Online Algorithms 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers
Author 
Solis-Oba, Roberto. editor. Persiano, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29116-6
Format: 
Availability 
Online Library~1
Available:
Copies:
487. 
Cover image for Evolutionary Computation in Combinatorial Optimization 12th European Conference, EvoCOP 2012, Málaga, Spain, April 11-13, 2012. Proceedings
Evolutionary Computation in Combinatorial Optimization 12th European Conference, EvoCOP 2012, Málaga, Spain, April 11-13, 2012. Proceedings
Author 
Hao, Jin-Kao. editor. Middendorf, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29124-1
Format: 
Availability 
Online Library~1
Available:
Copies:
488. 
Cover image for S-BPM ONE – Scientific Research 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings
S-BPM ONE – Scientific Research 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings
Author 
Stary, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29133-3
Format: 
Availability 
Online Library~1
Available:
Copies:
489. 
Cover image for Genetic Programming 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012. Proceedings
Genetic Programming 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012. Proceedings
Author 
Moraglio, Alberto. editor. Silva, Sara. editor. Krawiec, Krzysztof. editor. Machado, Penousal. editor. Cotta, Carlos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29139-5
Format: 
Availability 
Online Library~1
Available:
Copies:
490. 
Cover image for Protocol Engineering
Protocol Engineering
Author 
König, Hartmut. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29145-6
Format: 
Availability 
Online Library~1
Available:
Copies:
491. 
Cover image for Mobile and Ubiquitous Systems: Computing, Networking, and Services 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers
Mobile and Ubiquitous Systems: Computing, Networking, and Services 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers
Author 
Sénac, Patrick. editor. Ott, Max. editor. Seneviratne, Aruna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29154-8
Format: 
Availability 
Online Library~1
Available:
Copies:
492. 
Cover image for Wireless Communications and Applications First International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers
Wireless Communications and Applications First International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers
Author 
Sénac, Patrick. editor. Ott, Max. editor. Seneviratne, Aruna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29157-9
Format: 
Availability 
Online Library~1
Available:
Copies:
493. 
Cover image for Information Systems, Technology and Management 6th International Conference, ICISTM 2012, Grenoble, France, March 28-30, 2012. Proceedings
Information Systems, Technology and Management 6th International Conference, ICISTM 2012, Grenoble, France, March 28-30, 2012. Proceedings
Author 
Dua, Sumeet. editor. Gangopadhyay, Aryya. editor. Thulasiraman, Parimala. editor. Straccia, Umberto. editor. Shepherd, Michael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29166-1
Format: 
Availability 
Online Library~1
Available:
Copies:
494. 
Cover image for Global Trends in Computing and Communication Systems 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part I
Global Trends in Computing and Communication Systems 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part I
Author 
Krishna, P. Venkata. editor. Babu, M. Rajasekhara. editor. Ariwa, Ezendu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29219-4
Format: 
Availability 
Online Library~1
Available:
Copies:
495. 
Cover image for Quality, Reliability, Security and Robustness in Heterogeneous Networks 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers
Quality, Reliability, Security and Robustness in Heterogeneous Networks 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers
Author 
Zhang, Xi. editor. Qiao, Daji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29222-4
Format: 
Availability 
Online Library~1
Available:
Copies:
496. 
Cover image for Mobile Computing, Applications, and Services Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers
Mobile Computing, Applications, and Services Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers
Author 
Gris, Martin. editor. Yang, Guang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29336-8
Format: 
Availability 
Online Library~1
Available:
Copies:
497. 
Cover image for LATIN 2012: Theoretical Informatics 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings
LATIN 2012: Theoretical Informatics 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings
Author 
Fernández-Baca, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29344-3
Format: 
Availability 
Online Library~1
Available:
Copies:
498. 
Cover image for Swarm and Evolutionary Computation International Symposia, SIDE 2012 and EC 2012, Held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012. Proceedings
Swarm and Evolutionary Computation International Symposia, SIDE 2012 and EC 2012, Held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012. Proceedings
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29353-5
Format: 
Availability 
Online Library~1
Available:
Copies:
499. 
Cover image for Transactions on Computational Collective Intelligence VI
Transactions on Computational Collective Intelligence VI
Author 
Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29356-6
Format: 
Availability 
Online Library~1
Available:
Copies:
500. 
Cover image for Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
Author 
Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29414-3
Format: 
Availability 
Online Library~1
Available:
Copies:
501. 
Cover image for Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
Author 
Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Wilson, Nic. editor. Howse, John. editor. Corby, Olivier. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29449-5
Format: 
Availability 
Online Library~1
Available:
Copies:
502. 
Cover image for Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
Author 
Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29479-2
Format: 
Availability 
Online Library~1
Available:
Copies:
503. 
Cover image for Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Author 
Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29485-3
Format: 
Availability 
Online Library~1
Available:
Copies:
504. 
Cover image for Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
Author 
Vos, Alexis. editor. Wille, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29517-1
Format: 
Availability 
Online Library~1
Available:
Copies:
505. 
Cover image for Research in Computational Molecular Biology 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings
Research in Computational Molecular Biology 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings
Author 
Chor, Benny. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29627-7
Format: 
Availability 
Online Library~1
Available:
Copies:
506. 
Cover image for Communication Technologies for Vehicles 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012. Proceedings
Communication Technologies for Vehicles 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012. Proceedings
Author 
Vinel, Alexey. editor. Mehmood, Rashid. editor. Berbineau, Marion. editor. Garcia, Cristina Rico. editor. Huang, Chung-Ming. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29667-3
Format: 
Availability 
Online Library~1
Available:
Copies:
507. 
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:
508. 
Cover image for Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
Author 
Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29822-6
Format: 
Availability 
Online Library~1
Available:
Copies:
509. 
Cover image for On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
Author 
Henderson-Sellers, Brian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29825-7
Format: 
Availability 
Online Library~1
Available:
Copies:
510. 
Cover image for Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings
Author 
Beldiceanu, Nicolas. editor. Jussien, Narendra. editor. Pinson, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29828-8
Format: 
Availability 
Online Library~1
Available:
Copies:
511. 
Cover image for Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Author 
Carbone, Marco. editor. Petit, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29834-9
Format: 
Availability 
Online Library~1
Available:
Copies:
512. 
Cover image for Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers
Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29843-1
Format: 
Availability 
Online Library~1
Available:
Copies:
513. 
Cover image for Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I
Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I
Author 
Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29737-3
Format: 
Availability 
Online Library~1
Available:
Copies:
514. 
Cover image for IS Olympics: Information Systems in a Diverse World CAiSE Forum 2011, London, UK, June 20-24, 2011, Selected Extended Papers
IS Olympics: Information Systems in a Diverse World CAiSE Forum 2011, London, UK, June 20-24, 2011, Selected Extended Papers
Author 
Nurcan, Selmin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29749-6
Format: 
Availability 
Online Library~1
Available:
Copies:
515. 
Cover image for Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings
Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings
Author 
Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29863-9
Format: 
Availability 
Online Library~1
Available:
Copies:
516. 
Cover image for Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
Author 
Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29892-9
Format: 
Availability 
Online Library~1
Available:
Copies:
517. 
Cover image for Constructive Side-Channel Analysis and Secure Design Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings
Constructive Side-Channel Analysis and Secure Design Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings
Author 
Schindler, Werner. editor. Huss, Sorin A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29912-4
Format: 
Availability 
Online Library~1
Available:
Copies:
518. 
Cover image for Recent Advances in Reinforcement Learning 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised Selected Papers
Recent Advances in Reinforcement Learning 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised Selected Papers
Author 
Sanner, Scott. editor. Hutter, Marcus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29946-9
Format: 
Availability 
Online Library~1
Available:
Copies:
519. 
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:
520. 
Cover image for Enterprise Information Systems 13th International Conference, ICEIS 2011, Beijing, China, June 8-11, 2011, Revised Selected Papers
Enterprise Information Systems 13th International Conference, ICEIS 2011, Beijing, China, June 8-11, 2011, Revised Selected Papers
Author 
Zhang, Runtong. editor. Zhang, Juliang. editor. Zhang, Zhenji. editor. Filipe, Joaquim. editor. Cordeiro, José. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29958-2
Format: 
Availability 
Online Library~1
Available:
Copies:
521. 
Cover image for Recent Advances in Algorithmic Differentiation
Recent Advances in Algorithmic Differentiation
Author 
Forth, Shaun. editor. Hovland, Paul. editor. Phipps, Eric. editor. Utke, Jean. editor. Walther, Andrea. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30023-3
Format: 
Availability 
Online Library~1
Available:
Copies:
522. 
Cover image for NETWORKING 2012 Workshops International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings
NETWORKING 2012 Workshops International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings
Author 
Becvar, Zdenek. editor. Bestak, Robert. editor. Kencl, Lukas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30039-4
Format: 
Availability 
Online Library~1
Available:
Copies:
523. 
Cover image for NETWORKING 2012 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part I
NETWORKING 2012 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part I
Author 
Bestak, Robert. editor. Kencl, Lukas. editor. Li, Li Erran. editor. Widmer, Joerg. editor. Yin, Hao. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30045-5
Format: 
Availability 
Online Library~1
Available:
Copies:
524. 
Cover image for Public Key Cryptography – PKC 2012 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings
Public Key Cryptography – PKC 2012 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings
Author 
Fischlin, Marc. editor. Buchmann, Johannes. editor. Manulis, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30057-8
Format: 
Availability 
Online Library~1
Available:
Copies:
525. 
Cover image for Trustworthy Global Computing 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
Trustworthy Global Computing 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
Author 
Bruni, Roberto. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30065-3
Format: 
Availability 
Online Library~1
Available:
Copies:
526. 
Cover image for Mobile Multimedia Communications 7th International ICST Conference, MOBIMEDIA 2011, Cagliari, Italy, September 5-7, 2011, Revised Selected Papers
Mobile Multimedia Communications 7th International ICST Conference, MOBIMEDIA 2011, Cagliari, Italy, September 5-7, 2011, Revised Selected Papers
Author 
Atzori, Luigi. editor. Delgado, Jaime. editor. Giusto, Daniele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30419-4
Format: 
Availability 
Online Library~1
Available:
Copies:
527. 
Cover image for Mobile Networks and Management Third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised Selected Papers
Mobile Networks and Management Third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised Selected Papers
Author 
Pentikousis, Kostas. editor. Aguiar, Rui. editor. Sargento, Susana. editor. Agüero, Ramón. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30422-4
Format: 
Availability 
Online Library~1
Available:
Copies:
528. 
Cover image for Information Security and Privacy Research 27th IFIP TC 11 Information Security and Privacy Conference, SEC 2012, Heraklion, Crete, Greece, June 4-6, 2012. Proceedings
Information Security and Privacy Research 27th IFIP TC 11 Information Security and Privacy Conference, SEC 2012, Heraklion, Crete, Greece, June 4-6, 2012. Proceedings
Author 
Gritzalis, Dimitris. editor. Furnell, Steven. editor. Theoharidou, Marianthi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30436-1
Format: 
Availability 
Online Library~1
Available:
Copies:
529. 
Cover image for Artificial Intelligence: Theories and Applications 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012. Proceedings
Artificial Intelligence: Theories and Applications 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012. Proceedings
Author 
Maglogiannis, Ilias. editor. Plagianakos, Vassilis. editor. Vlahavas, Ioannis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30448-4
Format: 
Availability 
Online Library~1
Available:
Copies:
530. 
Cover image for Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
Author 
Brucker, Achim D. editor. Julliand, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30473-6
Format: 
Availability 
Online Library~1
Available:
Copies:
531. 
Cover image for Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
Author 
Hu, Zhenjiang. editor. Lara, Juan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30476-7
Format: 
Availability 
Online Library~1
Available:
Copies:
532. 
Cover image for Wireless Internet 6th International ICST Conference, WICON 2011, Xi’an, China, October 19-21, 2011, Revised Selected Papers
Wireless Internet 6th International ICST Conference, WICON 2011, Xi’an, China, October 19-21, 2011, Revised Selected Papers
Author 
Ren, Pinyi. editor. Zhang, Chao. editor. Liu, Xin. editor. Liu, Pei. editor. Ci, Song. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30493-4
Format: 
Availability 
Online Library~1
Available:
Copies:
533. 
Cover image for Networked Digital Technologies 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012. Proceedings, Part I
Networked Digital Technologies 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012. Proceedings, Part I
Author 
Benlamri, Rachid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30507-8
Format: 
Availability 
Online Library~1
Available:
Copies:
534. 
Cover image for Algorithms and Models for the Web Graph 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings
Algorithms and Models for the Web Graph 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings
Author 
Bonato, Anthony. editor. Janssen, Jeannette. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30541-2
Format: 
Availability 
Online Library~1
Available:
Copies:
535. 
Cover image for Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
Author 
Furia, Carlo A. editor. Nanz, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30561-0
Format: 
Availability 
Online Library~1
Available:
Copies:
536. 
Cover image for Networked Digital Technologies 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012, Proceedings, Part II
Networked Digital Technologies 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012, Proceedings, Part II
Author 
Benlamri, Rachid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30567-2
Format: 
Availability 
Online Library~1
Available:
Copies:
537. 
Cover image for Advances in Computer Science, Engineering & Applications Proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India, Volume 1
Advances in Computer Science, Engineering & Applications Proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India, Volume 1
Author 
Wyld, David C. editor. Zizka, Jan. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30157-5
Format: 
Availability 
Online Library~1
Available:
Copies:
538. 
Cover image for Sequences and Their Applications – SETA 2012 7th International Conference, Waterloo, ON, Canada, June 4-8, 2012. Proceedings
Sequences and Their Applications – SETA 2012 7th International Conference, Waterloo, ON, Canada, June 4-8, 2012. Proceedings
Author 
Helleseth, Tor. editor. Jedwab, Jonathan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30615-0
Format: 
Availability 
Online Library~1
Available:
Copies:
539. 
Cover image for Bioinformatics Research and Applications 8th International Symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012. Proceedings
Bioinformatics Research and Applications 8th International Symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012. Proceedings
Author 
Bleris, Leonidas. editor. Măndoiu, Ion. editor. Schwartz, Russell. editor. Wang, Jianxin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30191-9
Format: 
Availability 
Online Library~1
Available:
Copies:
540. 
Cover image for RoboCup 2011: Robot Soccer World Cup XV
RoboCup 2011: Robot Soccer World Cup XV
Author 
Röfer, Thomas. editor. Mayer, N. Michael. editor. Savage, Jesus. editor. Saranlı, Uluc̨. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32060-6
Format: 
Availability 
Online Library~1
Available:
Copies:
541. 
Cover image for Transactions on Computational Collective Intelligence VII
Transactions on Computational Collective Intelligence VII
Author 
Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32066-8
Format: 
Availability 
Online Library~1
Available:
Copies:
542. 
Cover image for Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
Author 
Zsók, Viktória. editor. Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32096-5
Format: 
Availability 
Online Library~1
Available:
Copies:
543. 
Cover image for Contemporary Computing 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. Proceedings
Contemporary Computing 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. Proceedings
Author 
Parashar, Manish. editor. Kaushik, Dinesh. editor. Rana, Omer F. editor. Samtaney, Ravi. editor. Yang, Yuanyuan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32129-0
Format: 
Availability 
Online Library~1
Available:
Copies:
544. 
Cover image for Combinatorial Optimization Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers
Combinatorial Optimization Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers
Author 
Mahjoub, A. Ridha. editor. Markakis, Vangelis. editor. Milis, Ioannis. editor. Paschos, Vangelis Th. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32147-4
Format: 
Availability 
Online Library~1
Available:
Copies:
545. 
Cover image for Similarity Search and Applications 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012. Proceedings
Similarity Search and Applications 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012. Proceedings
Author 
Navarro, Gonzalo. editor. Pestov, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32153-5
Format: 
Availability 
Online Library~1
Available:
Copies:
546. 
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:
547. 
Cover image for DNA Computing and Molecular Programming 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings
DNA Computing and Molecular Programming 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings
Author 
Stefanovic, Darko. editor. Turberfield, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32208-2
Format: 
Availability 
Online Library~1
Available:
Copies:
548. 
Cover image for Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Author 
Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32211-2
Format: 
Availability 
Online Library~1
Available:
Copies:
549. 
Cover image for Computing and Combinatorics 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings
Computing and Combinatorics 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings
Author 
Gudmundsson, Joachim. editor. Mestre, Julián. editor. Viglas, Taso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32241-9
Format: 
Availability 
Online Library~1
Available:
Copies:
550. 
Cover image for Applications of Discrete Geometry and Mathematical Morphology First International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers
Applications of Discrete Geometry and Mathematical Morphology First International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers
Author 
Köthe, Ullrich. editor. Montanvert, Annick. editor. Soille, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32313-3
Format: 
Availability 
Online Library~1
Available:
Copies:
551. 
Cover image for Mobile Computing, Applications, and Services Third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011. Revised Selected Papers
Mobile Computing, Applications, and Services Third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011. Revised Selected Papers
Author 
Zhang, Joy Ying. editor. Wilkiewicz, Jarek. editor. Nahapetian, Ani. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32320-1
Format: 
Availability 
Online Library~1
Available:
Copies:
552. 
Cover image for Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers
Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers
Author 
Beer, Martin. editor. Brom, Cyril. editor. Dignum, Frank. editor. Soo, Von-Wun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32326-3
Format: 
Availability 
Online Library~1
Available:
Copies:
553. 
Cover image for Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Author 
Beringer, Lennart. editor. Felty, Amy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32347-8
Format: 
Availability 
Online Library~1
Available:
Copies:
554. 
Cover image for Business System Management and Engineering From Open Issues to Applications
Business System Management and Engineering From Open Issues to Applications
Author 
Ardagna, Claudio A. editor. Damiani, Ernesto. editor. Maciaszek, Leszek A. editor. Missikoff, Michele. editor. Parkin, Michael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32439-0
Format: 
Availability 
Online Library~1
Available:
Copies:
555. 
Cover image for Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Author 
Stoelinga, Mariëlle. editor. Pinger, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32469-7
Format: 
Availability 
Online Library~1
Available:
Copies:
556. 
Cover image for Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Author 
Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32495-6
Format: 
Availability 
Online Library~1
Available:
Copies:
557. 
Cover image for Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings
Author 
Gupta, Anupam. editor. Jansen, Klaus. editor. Rolim, José. editor. Servedio, Rocco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32512-0
Format: 
Availability 
Online Library~1
Available:
Copies:
558. 
Cover image for Signal Processing and Information Technology First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers
Signal Processing and Information Technology First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers
Author 
Das, Vinu V. editor. Ariwa, Ezendu. editor. Rahayu, Syarifah Bahiyah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32573-1
Format: 
Availability 
Online Library~1
Available:
Copies:
559. 
Cover image for Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
Author 
Rovan, Branislav. editor. Sassone, Vladimiro. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32589-2
Format: 
Availability 
Online Library~1
Available:
Copies:
560. 
Cover image for ICT as Key Technology against Global Warming Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings
ICT as Key Technology against Global Warming Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings
Author 
Auweter, Axel. editor. Kranzlmüller, Dieter. editor. Tahamtan, Amirreza. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32606-6
Format: 
Availability 
Online Library~1
Available:
Copies:
561. 
Cover image for Bio-Inspired Models of Network, Information, and Computing Systems 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010, Revised Selected Papers
Bio-Inspired Models of Network, Information, and Computing Systems 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010, Revised Selected Papers
Author 
Suzuki, Junichi. editor. Nakano, Tadashi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32615-8
Format: 
Availability 
Online Library~1
Available:
Copies:
562. 
Cover image for Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Author 
Ong, Luke. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32621-9
Format: 
Availability 
Online Library~1
Available:
Copies:
563. 
Cover image for Datalog in Academia and Industry Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings
Datalog in Academia and Industry Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings
Author 
Barceló, Pablo. editor. Pichler, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32925-8
Format: 
Availability 
Online Library~1
Available:
Copies:
564. 
Cover image for Parallel Problem Solving from Nature - PPSN XII 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part I
Parallel Problem Solving from Nature - PPSN XII 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part I
Author 
Coello, Carlos A. Coello. editor. Cutello, Vincenzo. editor. Deb, Kalyanmoy. editor. Forrest, Stephanie. editor. Nicosia, Giuseppe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32937-1
Format: 
Availability 
Online Library~1
Available:
Copies:
565. 
Cover image for CONCUR 2012 – Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
CONCUR 2012 – Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
Author 
Koutny, Maciej. editor. Ulidowski, Irek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32940-1
Format: 
Availability 
Online Library~1
Available:
Copies:
566. 
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:
567. 
Cover image for Parallel Problem Solving from Nature - PPSN XII 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part II
Parallel Problem Solving from Nature - PPSN XII 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part II
Author 
Coello, Carlos A. Coello. editor. Cutello, Vincenzo. editor. Deb, Kalyanmoy. editor. Forrest, Stephanie. editor. Nicosia, Giuseppe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32964-7
Format: 
Availability 
Online Library~1
Available:
Copies:
568. 
Cover image for Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings
Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32973-9
Format: 
Availability 
Online Library~1
Available:
Copies:
569. 
Cover image for Geographic Information Science 7th International Conference, GIScience 2012, Columbus, OH, USA, September 18-21, 2012. Proceedings
Geographic Information Science 7th International Conference, GIScience 2012, Columbus, OH, USA, September 18-21, 2012. Proceedings
Author 
Xiao, Ningchuan. editor. Kwan, Mei-Po. editor. Goodchild, Michael F. editor. Shekhar, Shashi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33024-7
Format: 
Availability 
Online Library~1
Available:
Copies:
570. 
Cover image for Cryptographic Hardware and Embedded Systems – CHES 2012 14th International Workshop, Leuven, Belgium, September 9-12, 2012. Proceedings
Cryptographic Hardware and Embedded Systems – CHES 2012 14th International Workshop, Leuven, Belgium, September 9-12, 2012. Proceedings
Author 
Prouff, Emmanuel. editor. Schaumont, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33027-8
Format: 
Availability 
Online Library~1
Available:
Copies:
571. 
Cover image for Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II
Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II
Author 
Xiang, Yang. editor. Stojmenovic, Ivan. editor. Apduhan, Bernady O. editor. Wang, Guojun. editor. Nakano, Koji. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33065-0
Format: 
Availability 
Online Library~1
Available:
Copies:
572. 
Cover image for Enterprise Interoperability 4th International IFIP Working Conference, IWEI 2012, Harbin, China, September 6-7, 2012. Proceedings
Enterprise Interoperability 4th International IFIP Working Conference, IWEI 2012, Harbin, China, September 6-7, 2012. Proceedings
Author 
Sinderen, Marten. editor. Johnson, Pontus. editor. Xu, Xiaofei. editor. Doumeingts, Guy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33068-1
Format: 
Availability 
Online Library~1
Available:
Copies:
573. 
Cover image for Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I
Author 
Xiang, Yang. editor. Stojmenovic, Ivan. editor. Apduhan, Bernady O. editor. Wang, Guojun. editor. Nakano, Koji. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33078-0
Format: 
Availability 
Online Library~1
Available:
Copies:
574. 
Cover image for Algorithms – ESA 2012 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
Algorithms – ESA 2012 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
Author 
Epstein, Leah. editor. Ferragina, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33090-2
Format: 
Availability 
Online Library~1
Available:
Copies:
575. 
Cover image for From Animals to Animats 12 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012. Proceedings
From Animals to Animats 12 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012. Proceedings
Author 
Ziemke, Tom. editor. Balkenius, Christian. editor. Hallam, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33093-3
Format: 
Availability 
Online Library~1
Available:
Copies:
576. 
Cover image for Algorithms in Bioinformatics 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
Algorithms in Bioinformatics 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
Author 
Raphael, Ben. editor. Tang, Jijun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33122-0
Format: 
Availability 
Online Library~1
Available:
Copies:
577. 
Cover image for Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
Author 
Miné, Antoine. editor. Schmidt, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33125-1
Format: 
Availability 
Online Library~1
Available:
Copies:
578. 
Cover image for Advanced Concepts for Intelligent Vision Systems 14th International Conference, ACIVS 2012, Brno, Czech Republic, September 4-7, 2012. Proceedings
Advanced Concepts for Intelligent Vision Systems 14th International Conference, ACIVS 2012, Brno, Czech Republic, September 4-7, 2012. Proceedings
Author 
Blanc-Talon, Jacques. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor. Zemčík, Pavel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33140-4
Format: 
Availability 
Online Library~1
Available:
Copies:
579. 
Cover image for Computer Security – ESORICS 2012 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings
Computer Security – ESORICS 2012 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings
Author 
Foresti, Sara. editor. Yung, Moti. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33167-1
Format: 
Availability 
Online Library~1
Available:
Copies:
580. 
Cover image for Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Author 
Carvalho Junior, Francisco Heron. editor. Barbosa, Luis Soares. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33182-4
Format: 
Availability 
Online Library~1
Available:
Copies:
581. 
Cover image for Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
Author 
Krötzsch, Markus. editor. Straccia, Umberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33203-6
Format: 
Availability 
Online Library~1
Available:
Copies:
582. 
Cover image for Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings
Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings
Author 
Cortesi, Agostino. editor. Chaki, Nabendu. editor. Saeed, Khalid. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33260-9
Format: 
Availability 
Online Library~1
Available:
Copies:
583. 
Cover image for Artificial Neural Networks and Machine Learning – ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II
Artificial Neural Networks and Machine Learning – ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II
Author 
Villa, Alessandro E. editor. Duch, Włodzisław. editor. Érdi, Péter. editor. Masulli, Francesco. editor. Palm, Günther. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33266-1
Format: 
Availability 
Online Library~1
Available:
Copies:
584. 
Cover image for Artificial Neural Networks and Machine Learning – ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I
Artificial Neural Networks and Machine Learning – ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I
Author 
Villa, Alessandro E. P. editor. Duch, Włodzisław. editor. Érdi, Péter. editor. Masulli, Francesco. editor. Palm, Günther. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33269-2
Format: 
Availability 
Online Library~1
Available:
Copies:
585. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Author 
Alvarez, Luis. editor. Mejail, Marta. editor. Gomez, Luis. editor. Jacobo, Julio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33275-3
Format: 
Availability 
Online Library~1
Available:
Copies:
586. 
Cover image for Parameterized and Exact Computation 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings
Parameterized and Exact Computation 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings
Author 
Thilikos, Dimitrios M. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33293-7
Format: 
Availability 
Online Library~1
Available:
Copies:
587. 
Cover image for Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Author 
Gheyi, Rohit. editor. Naumann, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33296-8
Format: 
Availability 
Online Library~1
Available:
Copies:
588. 
Cover image for Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
Author 
Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33314-9
Format: 
Availability 
Online Library~1
Available:
Copies:
589. 
Cover image for Cellular Automata 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings
Cellular Automata 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings
Author 
Sirakoulis, Georgios Ch. editor. Bandini, Stefania. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33350-7
Format: 
Availability 
Online Library~1
Available:
Copies:
590. 
Cover image for Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
Author 
Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33365-1
Format: 
Availability 
Online Library~1
Available:
Copies:
591. 
Cover image for Information Security 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings
Information Security 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings
Author 
Gollmann, Dieter. editor. Freiling, Felix C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33383-5
Format: 
Availability 
Online Library~1
Available:
Copies:
592. 
Cover image for Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
Author 
Chakraborty, Supratik. editor. Mukund, Madhavan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33386-6
Format: 
Availability 
Online Library~1
Available:
Copies:
593. 
Cover image for Service-Oriented and Cloud Computing First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings
Service-Oriented and Cloud Computing First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings
Author 
Paoli, Flavio. editor. Pimentel, Ernesto. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33427-6
Format: 
Availability 
Online Library~1
Available:
Copies:
594. 
Cover image for Open Source Systems: Long-Term Sustainability 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012. Proceedings
Open Source Systems: Long-Term Sustainability 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012. Proceedings
Author 
Hammouda, Imed. editor. Lundell, Björn. editor. Mikkonen, Tommi. editor. Scacchi, Walt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33442-9
Format: 
Availability 
Online Library~1
Available:
Copies:
595. 
Cover image for Mesh Processing in Medical Image Analysis 2012 MICCAI 2012 International Workshop, MeshMed 2012, Nice, France, October 1, 2012. Proceedings
Mesh Processing in Medical Image Analysis 2012 MICCAI 2012 International Workshop, MeshMed 2012, Nice, France, October 1, 2012. Proceedings
Author 
Levine, Joshua A. editor. Paulsen, Rasmus R. editor. Zhang, Yongjie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33463-4
Format: 
Availability 
Online Library~1
Available:
Copies:
596. 
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:
597. 
Cover image for Artificial Intelligence and Computational Intelligence 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings
Artificial Intelligence and Computational Intelligence 4th 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-33478-8
Format: 
Availability 
Online Library~1
Available:
Copies:
598. 
Cover image for Discovery Science 15th International Conference, DS 2012, Lyon, France, October 29-31, 2012. Proceedings
Discovery Science 15th International Conference, DS 2012, Lyon, France, October 29-31, 2012. Proceedings
Author 
Ganascia, Jean-Gabriel. editor. Lenca, Philippe. editor. Petit, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33492-4
Format: 
Availability 
Online Library~1
Available:
Copies:
599. 
Cover image for Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part III
Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part III
Author 
Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33503-7
Format: 
Availability 
Online Library~1
Available:
Copies:
600. 
Cover image for Pattern Recognition Chinese Conference, CCPR 2012, Beijing, China, September 24-26, 2012. Proceedings
Pattern Recognition Chinese Conference, CCPR 2012, Beijing, China, September 24-26, 2012. Proceedings
Author 
Liu, Cheng-Lin. editor. Zhang, Changshui. editor. Wang, Liang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33506-8
Format: 
Availability 
Online Library~1
Available:
Copies: