Search Results for Computer. - Narrowed by: 2012

Applied Computer Science

2026-01-13T10:32:36Z

Author Torbert, Shane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1888-7
Format: Electronic Resources
Availability Online Library~1

Basics of Computer Networking

2026-01-13T10:32:36Z

Author Robertazzi, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2104-7
Format: Electronic Resources
Availability Online Library~1

Basics of computer networking

2026-01-13T10:32:36Z

Author Robertazzi, Thomas G.
Preferred Shelf Number TK5105.5 R617 2012
Format: Books
Availability Beytepe Library~1

Computer science : an overview

2026-01-13T10:32:36Z

Author Brookshear, J. Glenn.
Preferred Shelf Number QA76 B743 2012
Format: Books
Availability Beytepe Library~1

Intelligent Computer Graphics 2011

2026-01-13T10:32:36Z

Author Plemenos, Dimitri. editor. Miaoulis, Georgios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22907-7
Format: Electronic Resources
Availability Online Library~1

Frontiers in Computer Education

2026-01-13T10:32:36Z

Author Sambath, Sabo. editor. Zhu, Egui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27552-4
Format: Electronic Resources
Availability Online Library~1

Computer science : an overview

2026-01-13T10:32:36Z

Author Brookshear, J. Glenn.
Preferred Shelf Number QA 76 B743 2012
Format: Books
Availability Beytepe Library~1

Principles of digital computer design

2026-01-13T10:32:36Z

Author Abd-Alla, Abd-Elfattah M. Meltzer, Arnold C., ort. yaz.
Preferred Shelf Number TK 7888.3 A26 1976-
Format: Books
Availability Beytepe Library~1

Programming principles in computer graphics

2026-01-13T10:32:36Z

Author Ammeraal, Leendert.
Preferred Shelf Number QA 76.6 A466 1986
Format: Books
Availability Beytepe Library~1

Oscillator design and computer simulation

2026-01-13T10:32:36Z

Author Rhea, Randall W.
Preferred Shelf Number TK 7872.O7 R54 1995
Format: Books
Availability Beytepe Library~1

The art of computer programming

2026-01-13T10:32:36Z

Author Knuth, Donald E.
Preferred Shelf Number QA 76.5 K57 1968- V.1
Format: Books
Availability Beytepe Library~7

Computer and Information Science 2012

2026-01-13T10:32:36Z

Author Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30454-5
Format: Electronic Resources
Availability Online Library~1

Computer Arithmetic Algorithms and Hardware Implementations

2026-01-13T10:32:36Z

Author Vlăduţiu, Mircea. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18315-7
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Education

2026-01-13T10:32:36Z

Author Xie, Anne. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27945-4
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Engineering

2026-01-13T10:32:36Z

Author Zeng, Dehuai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27948-5
Format: Electronic Resources
Availability Online Library~1

The Philosophy of Computer Games

2026-01-13T10:32:36Z

Author Sageng, John Richard. editor. Fossheim, Hallvard. editor. Mandt Larsen, Tarjei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-4249-9
Format: Electronic Resources
Availability Online Library~1

Instruction Sequences for Computer Science

2026-01-13T10:32:36Z

Author Bergstra, Jan A. author. Middelburg, Cornelis A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-65-7
Format: Electronic Resources
Availability Online Library~1

Computer- und Internetstrafrecht Ein Grundriss

2026-01-13T10:32:36Z

Author Hilgendorf, Eric. author. Valerius, Brian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16885-7
Format: Electronic Resources
Availability Online Library~1

Future Computer, Communication, Control and Automation

2026-01-13T10:32:36Z

Author Zhang, Tianbiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25538-0
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction: The Agency Perspective

2026-01-13T10:32:36Z

Author Zacarias, Marielba. editor. Oliveira, José Valente. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25691-2
Format: Electronic Resources
Availability Online Library~1

Computer animation algorithms and techniques

2026-01-13T10:32:36Z

Author Parent, Rick.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124158429
Format: Electronic Resources
Availability Online Library~1

Computer networks : a systems approach

2026-01-13T10:32:36Z

Author Peterson, Larry L. Davie, Bruce S.
Preferred Shelf Number TK5105.5 P479 2012
Format: Books
Availability Beytepe Library~1

Foundations of 3D computer graphics

2026-01-13T10:32:36Z

Author Gortler, Steven J.
Preferred Shelf Number T385 G658 2012
Format: Books
Availability Beytepe Library~1

Time reversability, computer simulation, algorithms, chaos

2026-01-13T10:32:36Z

Author Hoover, William G. (William Graham), 1936- Hoover, Carol Griswold.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=479883
Format: Electronic Resources
Availability Online Library~1

Computer security : principles and practice

2026-01-13T10:32:36Z

Author Stallings, William. Brown, Lawrie
Preferred Shelf Number QA76.9 S73 2012
Format: Books
Availability Beytepe Library~1

Computer networks : a top-down approach

2026-01-13T10:32:36Z

Author Forouzan, Behrouz A. Mosharraf, Firouz.
Preferred Shelf Number TK5105.5 F577 2012
Format: Books
Availability Beytepe Library~1

Computer networks : a systems approach

2026-01-13T10:32:36Z

Author Peterson, Larry L. Davie, Bruce S.
Preferred Shelf Number TK5105.5 P47 2007
Format: Books
Availability Beytepe Library~1

Lung imaging and computer-aided diagnosis

2026-01-13T10:32:36Z

Author El-Baz, Ayman S. Suri, Jasjit S.
Preferred Shelf Number RC734 .I43 L86 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Lung imaging and computer-aided diagnosis

2026-01-13T10:32:36Z

Author El-Baz, Ayman S. Suri, Jasjit S.
Preferred Shelf Number RC734 .I43 L86 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Mathematical Logic for Computer Science

2026-01-13T10:32:36Z

Author Ben-Ari, Mordechai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4129-7
Format: Electronic Resources
Availability Online Library~1

Feature extraction & image processing for computer vision

2026-01-13T10:32:36Z

Author Nixon, Mark S. Aguado, Alberto S.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123965493
Format: Electronic Resources
Availability Online Library~1

Computer Science and its Applications CSA 2012

2026-01-13T10:32:36Z

Author Yeo, Sang-Soo. editor. Pan, Yi. editor. Lee, Yang Sun. editor. Chang, Hang Bae. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-5699-1
Format: Electronic Resources
Availability Online Library~1

Prime Numbers and Computer Methods for Factorization

2026-01-13T10:32:36Z

Author Riesel, Hans. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-8298-9
Format: Electronic Resources
Availability Online Library~1

Mathematics of Discrete Structures for Computer Science

2026-01-13T10:32:36Z

Author Pace, Gordon J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29840-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer, Communication, Control and Automation

2026-01-13T10:32:36Z

Author Wu, Yanwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25541-0
Format: Electronic Resources
Availability Online Library~1

Matrix Transforms for Computer Games and Animation

2026-01-13T10:32:36Z

Author Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4321-5
Format: Electronic Resources
Availability Online Library~1

Computer and machine vision theory, algorithms, practicalities

2026-01-13T10:32:36Z

Author Davies, E. R.
Preferred Shelf Number TA1634 D386 2012
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123869081
Format: Electronic Resources
Availability Beytepe Library~1 Online Library~1

Color in computer vision : fundamentals and applications

2026-01-13T10:32:36Z

Author Gevers, Theo.
Preferred Shelf Number TA1634 C637 2012
Format: Books
Availability Beytepe Library~1

Prime numbers and computer methods for factorization

2026-01-13T10:32:36Z

Author Riesel, Hans.
Preferred Shelf Number QA246 R54 2012
Format: Books
Availability Beytepe Library~1

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

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Scale Space and Variational Methods in Computer Vision Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 – June 2, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Bruckstein, Alfred M. editor. Haar Romeny, Bart M. editor. Bronstein, Alexander M. editor. Bronstein, Michael M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24785-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

2026-01-13T10:32:36Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27549-4
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II

2026-01-13T10:32:36Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27579-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Information Processing in Computer-Assisted Interventions Third International Conference, IPCAI 2012, Pisa, Italy, June 27, 2012. Proceedings

2026-01-13T10:32:36Z

Author Abolmaesumi, Purang. editor. Joskowicz, Leo. editor. Navab, Nassir. editor. Jannin, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30618-1
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

2026-01-13T10:32:36Z

Author Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31570-1
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Augmented Environments for Computer-Assisted Interventions 6th International Workshop, AE-CAI 2011, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Linte, Cristian A. editor. Moore, John T. editor. Chen, Elvis C. S. editor. Holmes, David R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32630-1
Format: Electronic Resources
Availability Online Library~1

Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers

2026-01-13T10:32:36Z

Author Pattinson, Dirk. editor. Schröder, Lutz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32784-1
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Computer Security – ESORICS 2012 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part I

2026-01-13T10:32:36Z

Author Ayache, Nicholas. editor. Delingette, Hervé. editor. Golland, Polina. editor. Mori, Kensaku. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33415-3
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part II

2026-01-13T10:32:36Z

Author Ayache, Nicholas. editor. Delingette, Hervé. editor. Golland, Polina. editor. Mori, Kensaku. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33418-4
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings

2026-01-13T10:32:36Z

Author Ortmeier, Frank. editor. Daniel, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33678-2
Format: Electronic Resources
Availability Online Library~1

Computer Network Security 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings

2026-01-13T10:32:36Z

Author Kotenko, Igor. editor. Skormin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33704-8
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part II

2026-01-13T10:32:36Z

Author Fitzgibbon, Andrew. editor. Lazebnik, Svetlana. editor. Perona, Pietro. editor. Sato, Yoichi. editor. Schmid, Cordelia. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33709-3
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part III

2026-01-13T10:32:36Z

Author Fitzgibbon, Andrew. editor. Lazebnik, Svetlana. editor. Perona, Pietro. editor. Sato, Yoichi. editor. Schmid, Cordelia. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33712-3
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part V

2026-01-13T10:32:36Z

Author Fitzgibbon, Andrew. editor. Lazebnik, Svetlana. editor. Perona, Pietro. editor. Sato, Yoichi. editor. Schmid, Cordelia. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33715-4
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part I

2026-01-13T10:32:36Z

Author Fitzgibbon, Andrew. editor. Lazebnik, Svetlana. editor. Perona, Pietro. editor. Sato, Yoichi. editor. Schmid, Cordelia. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33718-5
Format: Electronic Resources
Availability Online Library~1

Communicability, Computer Graphics and Innovative Design for Interactive Systems First International Symposium, CCGIDIS 2011, Córdoba, Spain, June 28-29, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Cipolla-Ficarra, Francisco. editor. Veltman, Kim. editor. Cipolla-Ficarra, Miguel. editor. Kratky, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33760-4
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part IV

2026-01-13T10:32:36Z

Author Fitzgibbon, Andrew. editor. Lazebnik, Svetlana. editor. Perona, Pietro. editor. Sato, Yoichi. editor. Schmid, Cordelia. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33765-9
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part VI

2026-01-13T10:32:36Z

Author Fitzgibbon, Andrew. editor. Lazebnik, Svetlana. editor. Perona, Pietro. editor. Sato, Yoichi. editor. Schmid, Cordelia. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33783-3
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part VII

2026-01-13T10:32:36Z

Author Fitzgibbon, Andrew. editor. Lazebnik, Svetlana. editor. Perona, Pietro. editor. Sato, Yoichi. editor. Schmid, Cordelia. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33786-4
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ECCV 2012. Workshops and Demonstrations Florence, Italy, October 7-13, 2012, Proceedings, Part I

2026-01-13T10:32:36Z

Author Fusiello, Andrea. editor. Murino, Vittorio. editor. Cucchiara, Rita. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33863-2
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ECCV 2012. Workshops and Demonstrations Florence, Italy, October 7-13, 2012, Proceedings, Part II

2026-01-13T10:32:36Z

Author Fusiello, Andrea. editor. Murino, Vittorio. editor. Cucchiara, Rita. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33868-7
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ECCV 2012. Workshops and Demonstrations Florence, Italy, October 7-13, 2012, Proceedings, Part III

2026-01-13T10:32:36Z

Author Fusiello, Andrea. editor. Murino, Vittorio. editor. Cucchiara, Rita. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33885-4
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction, Tourism and Cultural Heritage Second International Workshop, HCITOCH 2011, Córdoba, Argentina, September 14-15, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Cipolla-Ficarra, Francisco. editor. Veltman, Kim. editor. Chih-Fang, Huang. editor. Cipolla-Ficarra, Miguel. editor. Kratky, Andreas. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33944-8
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2026-01-13T10:32:36Z

Author Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35248-5
Format: Electronic Resources
Availability Online Library~1

Computer Architecture ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers

2026-01-13T10:32:36Z

Author Varbanescu, Ana Lucia. editor. Molnos, Anca. editor. Nieuwpoort, Rob. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24322-6
Format: Electronic Resources
Availability Online Library~1

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25929-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

2026-01-13T10:32:36Z

Author Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30982-3
Format: Electronic Resources
Availability Online Library~1

Computer Networks 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

2026-01-13T10:32:36Z

Author Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31374-5
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Computer Vision and Graphics International Conference, ICCVG 2012, Warsaw, Poland, September 24-26, 2012. Proceedings

2026-01-13T10:32:36Z

Author Bolc, Leonard. editor. Tadeusiewicz, Ryszard. editor. Chmielewski, Leszek J. editor. Wojciechowski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33564-8
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings

2026-01-13T10:32:36Z

Author Ortmeier, Frank. editor. Daniel, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33675-1
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part III

2026-01-13T10:32:36Z

Author Ayache, Nicholas. editor. Delingette, Hervé. editor. Golland, Polina. editor. Mori, Kensaku. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33454-2
Format: Electronic Resources
Availability Online Library~1

Outdoor and Large-Scale Real-World Scene Analysis 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, June 26 - July 1, 2011. Revised Selected Papers

2026-01-13T10:32:36Z

Author Dellaert, Frank. editor. Frahm, Jan-Michael. editor. Pollefeys, Marc. editor. Leal-Taixé, Laura. editor. Rosenhahn, Bodo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34091-8
Format: Electronic Resources
Availability Online Library~1

Advances in Information and Computer Security 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012. Proceedings

2026-01-13T10:32:36Z

Author Hanaoka, Goichiro. editor. Yamauchi, Toshihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34117-5
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Computer Networks and Distributed Systems Security International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012. Proceedings

2026-01-13T10:32:36Z

Author Thampi, Sabu M. editor. Zomaya, Albert Y. editor. Strufe, Thorsten. editor. Alcaraz Calero, Jose M. editor. Thomas, Tony , 1927-1977 editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34135-9
Format: Electronic Resources
Availability Online Library~1

Gesture and Sign Language in Human-Computer Interaction and Embodied Communication 9th International Gesture Workshop, GW 2011, Athens, Greece, May 25-27, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Efthimiou, Eleni. editor. Kouroupetroglou, Georgios. editor. Fotinea, Stavroula-Evita. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34182-3
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Entertainment 9th International Conference, ACE 2012, Kathmandu, Nepal, November 3-5, 2012. Proceedings

2026-01-13T10:32:36Z

Author Nijholt, Anton. editor. Romão, Teresa. editor. Reidsma, Dennis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34292-9
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers

2026-01-13T10:32:36Z

Author Golumbic, Martin Charles. editor. Stern, Michal. editor. Levy, Avivit. editor. Morgenstern, Gila. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34611-8
Format: Electronic Resources
Availability Online Library~1

Computer Applications for Security, Control and System Engineering International Conferences, SecTech, CA, CES3 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2026-01-13T10:32:36Z

Author Kim, Tai-hoon. editor. Stoica, Adrian. editor. Fang, Wai-chi. editor. Vasilakos, Thanos. editor. Villalba, Javier García. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35264-5
Format: Electronic Resources
Availability Online Library~1

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2026-01-13T10:32:36Z

Author Kim, Tai-hoon. editor. Ramos, Carlos. editor. Kim, Haeng-kon. editor. Kiumi, Akingbehin. editor. Mohammed, Sabah. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35267-6
Format: Electronic Resources
Availability Online Library~1

Computer Applications for Web, Human Computer Interaction, Signal and Image Processing, and Pattern Recognition International Conferences, SIP, WSE, and ICHCI 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2026-01-13T10:32:36Z

Author Kim, Tai-hoon. editor. Mohammed, Sabah. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35270-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

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

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

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

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

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

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Trends and Topics in Computer Vision ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part II

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Trends and Topics in Computer Vision ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part I

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Introduction to Computer Graphics Using Java 2D and 3D

2026-01-13T10:32:36Z

Author Klawonn, Frank. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2733-8
Format: Electronic Resources
Availability Online Library~1

Co-designers cultures of computer simulation in architecture

2026-01-13T10:32:36Z

Author Loukissas, Yanni A. (Yanni Alexander)
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

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

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

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

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

CATIA core tools computer aided three-dimensional interactive applications

2026-01-13T10:32:36Z

Author Michaud, Michel, 1963-
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Energy-aware memory management for embedded multimedia systems : a computer-aided design approach

2026-01-13T10:32:36Z

Author Balasa, Florin. Pradhan, Dhiraj K.
Preferred Shelf Number TK7895 .E42 E69 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Advanced research on material science, environmental science and computer science selected, peer reviewed papers from the 2012 2nd International Conference on Material Science, Environmental Science and Computer Science (MSESCS2012) August 25-26, 2012, Wuhan, China

2026-01-13T10:32:36Z

Author International Conference on Material Science, Environmental Science and Computer Science (2nd : 2012 : Wuhan, China) Zhang, Helen, editor of compilation. Jin, David, editor of compilation. Zhao, X. J., editor of compilation.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=517244
Format: Electronic Resources
Availability Online Library~1

Sequrity for computer networks : an introduction to data security in teleprocessing and electronic funds transfer

2026-01-13T10:32:36Z

Author Davies, Donald Watts, 1924- Price, W. L., ort.yaz.
Preferred Shelf Number TK 5105 D43 1989
Format: Books
Availability Beytepe Library~1

Handbook of electron spin resonance : data sources, computer technology, relaxation, and ENDOR

2026-01-13T10:32:36Z

Author Poole, Charles P. Farach, Horacio A.
Preferred Shelf Number QC 762 H32 1994
Format: Books
Availability Beytepe Library~1

Computer aided design, engineering, and manufacturing : systems techniques and applications

2026-01-13T10:32:36Z

Author Leondes, Cornelius T.
Preferred Shelf Number TS155.6 .C6455 2001
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780367802370 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Linear algebra and probability for computer science applications

2026-01-13T10:32:36Z

Author Davis, Ernest.
Preferred Shelf Number QA76.9.M35 D38 2012
Format: Books
Availability Beytepe Library~1

Contemporary computer assisted approaches to molecular structure elucidation

2026-01-13T10:32:36Z

Author Williams, Antony. Elyashberg, Mikhail. Blinov, Kirill.
Preferred Shelf Number ONLINE(342978.1)
Electronic Access Royal Society of Chemistry http://dx.doi.org/10.1039/9781849734578 http://swb.eblib.com/patron/FullRecord.aspx?p=1185395
Format: Electronic Resources
Availability Online Library~1

Mensch-Computer-Interaktion Basiswissen für Entwickler und Gestalter

2026-01-13T10:32:36Z

Author Heinecke, Andreas M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13507-1
Format: Electronic Resources
Availability Online Library~1

Computer Simulation Study of Collective Phenomena in Dense Suspensions of Red Blood Cells under Shear

2026-01-13T10:32:36Z

Author Krüger, Timm. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2376-2
Format: Electronic Resources
Availability Online Library~1

Computer Aided Surgery 7th Asian Conference on Computer Aided Surgery, Bangkok, Thailand, August 2011, Proceedings

2026-01-13T10:32:36Z

Author Dohi, Takeyoshi. editor. Liao, Hongen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-4-431-54094-6
Format: Electronic Resources
Availability Online Library~1

Pediatric Biomedical Informatics Computer Applications in Pediatric Research

2026-01-13T10:32:36Z

Author Hutton, John J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-5149-1
Format: Electronic Resources
Availability Online Library~1

Computer und menschliches Verhalten Informatik und die Zukunft der Soziologie

2026-01-13T10:32:36Z

Author Harbach, Heinz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-531-94071-7
Format: Electronic Resources
Availability Online Library~1

Human – Computer Systems Interaction: Backgrounds and Applications 2 Part 2

2026-01-13T10:32:36Z

Author Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. Mroczek, Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23172-8
Format: Electronic Resources
Availability Online Library~1

Challenges at the Interface of Data Analysis, Computer Science, and Optimization Proceedings of the 34th Annual Conference of the Gesellschaft für Klassifikation e. V., Karlsruhe, July 21 - 23, 2010

2026-01-13T10:32:36Z

Author Gaul, Wolfgang A. editor. Geyer-Schulz, Andreas. editor. Schmidt-Thieme, Lars. editor. Kunze, Jonas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24466-7
Format: Electronic Resources
Availability Online Library~1

Computing Statistics under Interval and Fuzzy Uncertainty Applications to Computer Science and Engineering

2026-01-13T10:32:36Z

Author Nguyen, Hung T. author. Kreinovich, Vladik. author. Wu, Berlin. author. Xiang, Gang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24905-1
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2011 International Conference on Informatics, Cybernetics, and Computer Engineering (ICCE2011) November 19-20, 2011, Melbourne, Australia Volume 1: Intelligent Control and Network Communication

2026-01-13T10:32:36Z

Author Jiang, Liangzhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25185-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2011, International Conference on Informatics, Cybernetics, and Computer Engineering (ICCE2011) November 19–20, 2011, Melbourne, Australia Volume 2: Information Systems and Computer Engineering

2026-01-13T10:32:36Z

Author Jiang, Liangzhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25188-7
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2011 International Conference on Informatics, Cybernetics, and Computer Engineering (ICCE2011) November 19–20, 2011, Melbourne, Australia Volume 3: Computer Networks and Electronic Engineering

2026-01-13T10:32:36Z

Author Jiang, Liangzhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25194-8
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science Volume 1

2026-01-13T10:32:36Z

Author Gaol, Ford Lumban. editor. Nguyen, Quang Vinh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28314-7
Format: Electronic Resources
Availability Online Library~1

Soft Tissue Biomechanical Modeling for Computer Assisted Surgery

2026-01-13T10:32:36Z

Author Payan, Yohan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29014-5
Format: Electronic Resources
Availability Online Library~1

Advances in Future Computer and Control Systems Volume 1

2026-01-13T10:32:36Z

Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29387-0
Format: Electronic Resources
Availability Online Library~1

Advances in Future Computer and Control Systems Volume 2

2026-01-13T10:32:36Z

Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29390-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Engineering & Applications Proceedings of the Second International Conference on Computer Science, Engineering & Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India. Volume 2

2026-01-13T10:32:36Z

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-30111-7
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Information Engineering Volume 1

2026-01-13T10:32:36Z

Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30126-1
Format: Electronic Resources
Availability Online Library~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

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Computer- Aided Design in Power Engineering Application of Software Tools

2026-01-13T10:32:36Z

Author Stojkovic, Zlatan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30206-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Information Engineering Volume 2

2026-01-13T10:32:36Z

Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30223-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

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

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

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

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Computer Games and New Media Cultures A Handbook of Digital Games Studies

2026-01-13T10:32:36Z

Author Fromme, Johannes. editor. Unger, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-2777-9
Format: Electronic Resources
Availability Online Library~1

Computer Science and Convergence CSA 2011 & WCC 2011 Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Intelligent Adaptation and Personalization Techniques in Computer-Supported Collaborative Learning

2026-01-13T10:32:36Z

Author Daradoumis, Thanasis. editor. Demetriadis, Stavros N. editor. Xhafa, Fatos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28586-8
Format: Electronic Resources
Availability Online Library~1

Computer Applications for Handling Legal Evidence, Police Investigation and Case Argumentation

2026-01-13T10:32:36Z

Author Nissan, Ephraim. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-8990-8
Format: Electronic Resources
Availability Online Library~1

Computer, Informatics, Cybernetics and Applications Proceedings of the CICA 2011

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Human – Computer Systems Interaction: Backgrounds and Applications 2 Part 1

2026-01-13T10:32:36Z

Author Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. Mroczek, Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23187-2
Format: Electronic Resources
Availability Online Library~1

Advanced Technology in Teaching - Proceedings of the 2009 3rd International Conference on Teaching and Computational Science (WTCS 2009) Volume 2: Education, Psychology and Computer Science

2026-01-13T10:32:36Z

Author Wu, Yanwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25437-6
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Computer Science and Information Engineering Volume 3

2026-01-13T10:32:36Z

Author Qian, Zhihong. editor. Cao, Lei. editor. Su, Weilian. editor. Wang, Tingkai. editor. Yang, Huamin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25766-7
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Computer Science and Information Engineering Volume 4

2026-01-13T10:32:36Z

Author Qian, Zhihong. editor. Cao, Lei. editor. Su, Weilian. editor. Wang, Tingkai. editor. Yang, Huamin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25769-8
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Computer Science and Information Engineering Volume 6

2026-01-13T10:32:36Z

Author Qian, Zhihong. editor. Cao, Lei. editor. Su, Weilian. editor. Wang, Tingkai. editor. Yang, Huamin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25778-0
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Computer Science and Information Engineering Volume 1

2026-01-13T10:32:36Z

Author Qian, Zhihong. editor. Cao, Lei. editor. Su, Weilian. editor. Wang, Tingkai. editor. Yang, Huamin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25781-0
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Computer Science and Information Engineering Volume 2

2026-01-13T10:32:36Z

Author Qian, Zhihong. editor. Cao, Lei. editor. Su, Weilian. editor. Wang, Tingkai. editor. Yang, Huamin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25789-6
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Computer Science and Information Engineering Volume 5

2026-01-13T10:32:36Z

Author Qian, Zhihong. editor. Cao, Lei. editor. Su, Weilian. editor. Wang, Tingkai. editor. Yang, Huamin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25792-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science Volume 2

2026-01-13T10:32:36Z

Author Gaol, Ford Lumban. editor. Nguyen, Quang Vinh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28308-6
Format: Electronic Resources
Availability Online Library~1

Experimental Human-Computer Interaction A Practical Guide with Visual Examples

2026-01-13T10:32:36Z

Author Purchase, Helen C..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Game invaders the theory and understanding of computer games

2026-01-13T10:32:36Z

Author Fencott, P. C.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381573
Format: Electronic Resources
Availability Online Library~1

Computer Medical Databases The First Six Decades (1950–2010)

2026-01-13T10:32:36Z

Author Collen, Morris F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-962-8
Format: Electronic Resources
Availability Online Library~1

Advanced Methods in Computer Graphics With examples in OpenGL

2026-01-13T10:32:36Z

Author Mukundan, Ramakrishnan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2340-8
Format: Electronic Resources
Availability Online Library~1

Control system design guide using your computer to understand and diagnose feedback controllers

2026-01-13T10:32:36Z

Author Ellis, George.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123859204
Format: Electronic Resources
Availability Online Library~1

Computer, network, software, and hardware engineering with applications

2026-01-13T10:32:36Z

Author Shneidewind, Norman.
Preferred Shelf Number TK7885 S2564 2012
Format: Books
Availability Beytepe Library~1

Computer aided design guide for architecture, engineering and construction

2026-01-13T10:32:36Z

Author Aouad, Ghassan.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Beyond redundancy how geographic redundancy can improve service availability and reliability of computer-based systems

2026-01-13T10:32:36Z

Author Bauer, Eric. Adams, Randee. Eustace, Dan. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Format: Electronic Resources
Availability Online Library~1

Control system design guide using your computer to understand and diagnose feedback controllers

2026-01-13T10:32:36Z

Author Ellis, George.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123859204
Format: Electronic Resources
Availability Online Library~1

Operator Calculus on Graphs Theory and Applications in Computer Science.

2026-01-13T10:32:36Z

Author Schott, Rene. Staples, G. Stacey.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=457191
Format: Electronic Resources
Availability Online Library~1

Alan Turing' s electronic brain the struggle to build the ACE, the world's fastest computer

2026-01-13T10:32:36Z

Author Copeland, B. Jack, 1950-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=477066
Format: Electronic Resources
Availability Online Library~1

Computer architecture and security : fundamentals of designing secure computer systems

2026-01-13T10:32:36Z

Author Wang, Shuangbao Paul. Ledley, Robert Steven.
Preferred Shelf Number QA76.9.A73 W36 2012
Format: Books
Availability Beytepe Library~1

Beyond redundancy how geographic redundancy can improve service availability and reliability of computer-based systems

2026-01-13T10:32:36Z

Author Bauer, Eric. Adams, Randee. Eustace, Dan.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6047598
Format: Electronic Resources
Availability Online Library~1

Computer, network, software, and hardware engineering with applications

2026-01-13T10:32:36Z

Author Schneidewind, Norman.
Preferred Shelf Number ONLINE
Electronic Access IEEEXplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884
Format: Electronic Resources
Availability Online Library~1

Service-learning in computer and information sciences practical applications in engineering education

2026-01-13T10:32:36Z

Author Nejmeh, Brian A. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6218884
Format: Electronic Resources
Availability Online Library~1

Computer aided design guide for architecture, engineering, and construction

2026-01-13T10:32:36Z

Author Aouad, Ghassan.
Preferred Shelf Number TA174 C66 2012
Format: Books
Availability Beytepe Library~1

Simulating nature : a philosohpical study of computer-simulation uncertainties and their role in climate science and policy advice

2026-01-13T10:32:36Z

Author Petersen, Arthur C. (Arthur Caesar), 1970, author.
Preferred Shelf Number QC981.45 .P48 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The human-computer interaction handbook : fundamentals, evolving technologies, and emerging applications

2026-01-13T10:32:36Z

Author Jacko, Julie A.
Preferred Shelf Number QA76.9 .H85 H8568 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Computer-aided Nonlinear Control System Design Using Describing Function Models

2026-01-13T10:32:36Z

Author Nassirharand, Amir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2149-7
Format: Electronic Resources
Availability Online Library~1

Computer and Information Sciences II 26th International Symposium on Computer and Information Sciences

2026-01-13T10:32:36Z

Author Gelenbe, Erol. editor. Lent, Ricardo. editor. Sakellari, Georgia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2155-8
Format: Electronic Resources
Availability Online Library~1

Health Care Evaluation Using Computer Simulation Concepts, Methods, and Applications

2026-01-13T10:32:36Z

Author Sobolev, Boris. author. Sanchez, Victor. author. Kuramoto, Lisa. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2233-4
Format: Electronic Resources
Availability Online Library~1

Tradigital Maya a CG animator's guide to applying the classic principles of animation

2026-01-13T10:32:36Z

Author Montgomery, Lee, 1973-
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Developing Essbase applications : advanced techniques for finance and IT professionals

2026-01-13T10:32:36Z

Author Lackpour, Cameron.
Preferred Shelf Number QA76.9 .D26 D495 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

How to cheat in Maya 2012 tools and techniques for character animation

2026-01-13T10:32:36Z

Author Luhta, Eric. Roy, Kenny.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780240816982
Format: Electronic Resources
Availability Online Library~1

Adaptive tests of significance using permutations of residuals with R and SAS

2026-01-13T10:32:36Z

Author O'Gorman, Thomas W.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9781118218259
Format: Electronic Resources
Availability Online Library~1

Learning CFEngine 3

2026-01-13T10:32:36Z

Author Zamboni, Diego. Burgess, Mark.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=443130
Format: Electronic Resources
Availability Online Library~1

SPICE for power electronics and electric power

2026-01-13T10:32:36Z

Author Rashid, M. H., author.
Preferred Shelf Number TK7881.15 .R38 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Migrating to the cloud Oracle client/server modernization

2026-01-13T10:32:36Z

Author Laszewski, Tom. Nauduri, Prakash.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597496476
Format: Electronic Resources
Availability Online Library~1

Software Similarity and Classification

2026-01-13T10:32:36Z

Author Cesare, Silvio. author. Xiang, Yang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2909-7
Format: Electronic Resources
Availability Online Library~1

Entropy Guided Transformation Learning: Algorithms and Applications

2026-01-13T10:32:36Z

Author Santos, Cícero Nogueira. author. Milidiú, Ruy Luiz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2978-3
Format: Electronic Resources
Availability Online Library~1

Context Management for Distributed and Dynamic Context-Aware Computing

2026-01-13T10:32:36Z

Author Rocha, Ricardo Couto Antunes. author. Endler, Markus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4020-7
Format: Electronic Resources
Availability Online Library~1

Decentralized Reasoning in Ambient Intelligence

2026-01-13T10:32:36Z

Author Viterbo, José. author. Endler, Markus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4168-6
Format: Electronic Resources
Availability Online Library~1

Future Wireless and Optical Networks Networking Modes and Cross-Layer Design

2026-01-13T10:32:36Z

Author Jiang, Shengming. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2822-9
Format: Electronic Resources
Availability Online Library~1

Spatial AutoRegression (SAR) Model Parameter Estimation Techniques

2026-01-13T10:32:36Z

Author Kazar, Baris M. author. Celik, Mete. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1842-9
Format: Electronic Resources
Availability Online Library~1

A Primer of Multicast Routing

2026-01-13T10:32:36Z

Author Rosenberg, Eric. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1873-3
Format: Electronic Resources
Availability Online Library~1

The Design of Cloud Workflow Systems

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

A Survey of Data Leakage Detection and Prevention Solutions

2026-01-13T10:32:36Z

Author Shabtai, Asaf. author. Elovici, Yuval. author. Rokach, Lior. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2053-8
Format: Electronic Resources
Availability Online Library~1

Autonomic Cooperative Networking

2026-01-13T10:32:36Z

Author Wódczak, Michał. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3100-8
Format: Electronic Resources
Availability Online Library~1

Power Distribution and Performance Analysis for Wireless Communication Networks

2026-01-13T10:32:36Z

Author Zhao, Dongmei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3284-5
Format: Electronic Resources
Availability Online Library~1

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

A Proof Theory for Description Logics

2026-01-13T10:32:36Z

Author Rademaker, Alexandre. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4002-3
Format: Electronic Resources
Availability Online Library~1

ITIL® 2011 At a Glance

2026-01-13T10:32:36Z

Author Long, John O. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3897-7
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Crowdsourcing Architecture, Protocols and Algorithms

2026-01-13T10:32:36Z

Author Schall, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5956-9
Format: Electronic Resources
Availability Online Library~1

Pen-and-Paper User Interfaces Integrating Printed and Digital Documents

2026-01-13T10:32:36Z

Author Steimle, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20276-6
Format: Electronic Resources
Availability Online Library~1

Event-Driven Surveillance Possibilities and Challenges

2026-01-13T10:32:36Z

Author Denecke, Kerstin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28135-8
Format: Electronic Resources
Availability Online Library~1

Software Testing in the Cloud Migration and Execution

2026-01-13T10:32:36Z

Author Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32122-1
Format: Electronic Resources
Availability Online Library~1

Understanding High-Dimensional Spaces

2026-01-13T10:32:36Z

Author Skillicorn, David B. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33398-9
Format: Electronic Resources
Availability Online Library~1

Service Placement in Ad Hoc Networks

2026-01-13T10:32:36Z

Author Wittenburg, Georg. author. Schiller, Jochen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2363-7
Format: Electronic Resources
Availability Online Library~1

Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services

2026-01-13T10:32:36Z

Author Birman, Kenneth P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2416-0
Format: Electronic Resources
Availability Online Library~1

Doing Design Ethnography

2026-01-13T10:32:36Z

Author Crabtree, Andrew. author. Rouncefield, Mark. author. Tolmie, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2726-0
Format: Electronic Resources
Availability Online Library~1

Self-* and P2P for Network Management Design Principles and Case Studies

2026-01-13T10:32:36Z

Author Marquezan, Clarissa Cassales. author. Granville, Lisandro Zambenedetti. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4201-0
Format: Electronic Resources
Availability Online Library~1

Robust Motion Detection in Real-Life Scenarios

2026-01-13T10:32:36Z

Author Martínez-Martín, Ester. author. Pobil, Ángel P. del. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4216-4
Format: Electronic Resources
Availability Online Library~1

Guide to Cisco Routers Configuration Becoming a Router Geek

2026-01-13T10:32:36Z

Author Alani, Mohammed M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4246-1
Format: Electronic Resources
Availability Online Library~1

Two-Dimensional Change Detection Methods Remote Sensing Applications

2026-01-13T10:32:36Z

Author İlsever, Murat. author. Ünsalan, Cem. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4255-3
Format: Electronic Resources
Availability Online Library~1

Visual Indexing and Retrieval

2026-01-13T10:32:36Z

Author Benois-Pineau, Jenny. author. Precioso, Frédéric. author. Cord, Matthieu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3588-4
Format: Electronic Resources
Availability Online Library~1

Automated Configuration Problem Solving

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Windows forensic analysis toolkit advanced analysis techniques for Windows 7

2026-01-13T10:32:36Z

Author Carvey, Harlan A. Kolde, Jennifer.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597497275
Format: Electronic Resources
Availability Online Library~1

Malware forensics field guide for Windows dystems digital forensics field guides

2026-01-13T10:32:36Z

Author Malin, Cameron H. Casey, Eoghan. Aquilina, James M.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597494724
Format: Electronic Resources
Availability Online Library~1

Guidebook to R graphics using Microsoft Windows

2026-01-13T10:32:36Z

Author Takezawa, Kunio, 1959-
Preferred Shelf Number ONLINE
Electronic Access Wiley InterScience An electronic book accessible through the World Wide Web; click for information Cover image http://catalogimages.wiley.com/images/db/jimages/9781118026397.jpg Books24x7 http://www.books24x7.com/marc.asp?bookid=46122 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=821967 http://site.ebrary.com/lib/alltitles/Doc?id=10546594
Format: Electronic Resources
Availability Online Library~1

Scalable Parallel Programming Applied to H.264/AVC Decoding

2026-01-13T10:32:36Z

Author Juurlink, Ben. author. Alvarez-Mesa, Mauricio. author. Chi, Chi Ching. author. Azevedo, Arnaldo. author. Meenderinck, Cor. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2230-3
Format: Electronic Resources
Availability Online Library~1

Data Dissemination and Query in Mobile Social Networks

2026-01-13T10:32:36Z

Author Chen, Jiming. author. Fan, Jialu. author. Sun, Youxian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2254-9
Format: Electronic Resources
Availability Online Library~1

Criminal Justice Forecasts of Risk A Machine Learning Approach

2026-01-13T10:32:36Z

Author Berk, Richard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3085-8
Format: Electronic Resources
Availability Online Library~1

Peer-to-Peer Query Processing over Multidimensional Data

2026-01-13T10:32:36Z

Author Vlachou, Akrivi. author. Doulkeridis, Christos. author. Nørvåg, Kjetil. author. Kotidis, Yannis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2110-8
Format: Electronic Resources
Availability Online Library~1

Applications of Algebra to Communications, Control, and Signal Processing

2026-01-13T10:32:36Z

Author Boston, Nigel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3863-2
Format: Electronic Resources
Availability Online Library~1

Rhodes Framework for Android™ Platform and BlackBerry® Smartphones

2026-01-13T10:32:36Z

Author Vohra, Deepak. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3579-2
Format: Electronic Resources
Availability Online Library~1

Group Cell Architecture for Cooperative Communications

2026-01-13T10:32:36Z

Author Tao, Xiaofeng. Cui, Qimei. Xu, Xiaodong. Zhang, Ping. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4319-3
Format: Electronic Resources
Availability Online Library~1

Interworking of Wireless LANs and Cellular Networks

2026-01-13T10:32:36Z

Author Song, Wei. author. Zhuang, Weihua. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4379-7
Format: Electronic Resources
Availability Online Library~1

Tradigital 3ds Max : a CG animator's guide to applying the classic principles of animation

2026-01-13T10:32:36Z

Author Lapidus, Richard.
Preferred Shelf Number ONLINE(342486.1)
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Knowledge Representation for Health-Care AIME 2011 Workshop KR4HC 2011, Bled, Slovenia, July 2-6, 2011. Revised Selected Papers

2026-01-13T10:32:36Z

Author Riaño, David. editor. Teije, Annette. editor. Miksch, Silvia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27697-2
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

2026-01-13T10:32:36Z

Author Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27705-4
Format: Electronic Resources
Availability Online Library~1

Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers

2026-01-13T10:32:36Z

Author Kannan, Rajkumar. editor. Andres, Frederic. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27872-3
Format: Electronic Resources
Availability Online Library~1

Information Security Applications 12th International Workshop, WISA 2011, Jeju Island, Korea, August 22-24, 2011. Revised Selected Papers

2026-01-13T10:32:36Z

Author Jung, Souhwan. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27890-7
Format: Electronic Resources
Availability Online Library~1

Recommender Systems for Social Tagging Systems

2026-01-13T10:32:36Z

Author Balby Marinho, Leandro. author. Hotho, Andreas. author. Jäschke, Robert. author. Nanopoulos, Alexandros. author. Rendle, Steffen. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1894-8
Format: Electronic Resources
Availability Online Library~1

Network Inference in Molecular Biology A Hands-on Framework

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Bio-Inspired Computing and Applications 7th International Conference on Intelligent Computing, ICIC 2011, Zhengzhou,China, August 11-14. 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Huang, De-Shuang. editor. Gan, Yong. editor. Premaratne, Prashan. editor. Han, Kyungsook. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24553-4
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011. Revised Selected Papers

2026-01-13T10:32:36Z

Author Huang, De-Shuang. editor. Gan, Yong. editor. Bevilacqua, Vitoantonio. editor. Figueroa, Juan Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24728-6
Format: Electronic Resources
Availability Online Library~1

Security and Intelligent Information Systems International Joint Conferences, SIIS 2011, Warsaw, Poland, June 13-14, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Bouvry, Pascal. editor. Kłopotek, Mieczysław A. editor. Leprévost, Franck. editor. Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25261-7
Format: Electronic Resources
Availability Online Library~1

SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

2026-01-13T10:32:36Z

Author Ober, Iulian. editor. Ober, Ileana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25264-8
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

2026-01-13T10:32:36Z

Author Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25271-6
Format: Electronic Resources
Availability Online Library~1

RFID. Security and Privacy 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Juels, Ari. editor. Paar, Christof. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25286-0
Format: Electronic Resources
Availability Online Library~1

Advances in Image and Video Technology 5th Pacific Rim Symposium, PSIVT 2011, Gwangju, South Korea, November 20-23, 2011, Proceedings, Part II

2026-01-13T10:32:36Z

Author Ho, Yo-Sung. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25346-1
Format: Electronic Resources
Availability Online Library~1

Advances in Image and Video Technology 5th Pacific Rim Symposium, PSIVT 2011, Gwangju, South Korea, November 20-23, 2011, Proceedings, Part I

2026-01-13T10:32:36Z

Author Ho, Yo-Sung. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25367-6
Format: Electronic Resources
Availability Online Library~1

e-Business and Telecommunications 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papers

2026-01-13T10:32:36Z

Author Obaidat, Mohammad S. editor. Tsihrintzis, George A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25206-8
Format: Electronic Resources
Availability Online Library~1

Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

2026-01-13T10:32:36Z

Author Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25231-0
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Open Problems in Network Security IFIP WG 11.4 International Workshop, iNetSec 2011, Lucerne, Switzerland, June 9, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Camenisch, Jan. editor. Kesdogan, Dogan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27585-2
Format: Electronic Resources
Availability Online Library~1

Agents and Data Mining Interaction 7th International Workshop on Agents and Data Mining Interation, ADMI 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Cao, Longbing. editor. Bazzan, Ana L. C. editor. Symeonidis, Andreas L. editor. Gorodetsky, Vladimir I. editor. Weiss, Gerhard. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27609-5
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Applied Data Mining PAKDD 2011 International Workshops, Shenzhen, China, May 24-27, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Cao, Longbing. editor. Huang, Joshua Zhexue. editor. Bailey, James. editor. Koh, Yun Sing. editor. Luo, Jun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28320-8
Format: Electronic Resources
Availability Online Library~1

Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Villatoro, Daniel. editor. Sabater-Mir, Jordi. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28400-7
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

2026-01-13T10:32:36Z

Author Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28412-0
Format: Electronic Resources
Availability Online Library~1

Computational Linguistics and Intelligent Text Processing 13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings, Part II

2026-01-13T10:32:36Z

Author Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28601-8
Format: Electronic Resources
Availability Online Library~1

Computational Linguistics and Intelligent Text Processing 13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings, Part I

2026-01-13T10:32:36Z

Author Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28604-9
Format: Electronic Resources
Availability Online Library~1

The Impact of Virtual, Remote, and Real Logistics Labs First International Conference, ImViReLL 2012 Bremen, Germany, February 28 – March 1, 2012 Proceedings

2026-01-13T10:32:36Z

Author Uckelmann, Dieter. editor. Scholz-Reiter, Bernd. editor. Rügge, Ingrid. editor. Hong, Bonghee. editor. Rizzi, Antonio. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28816-6
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Sloane, Anthony. editor. Aßmann, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28830-2
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

2026-01-13T10:32:36Z

Author Seidl, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28869-2
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

2026-01-13T10:32:36Z

Author Lara, Juan. editor. Zisman, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28872-2
Format: Electronic Resources
Availability Online Library~1

Data Privacy Management and Autonomous Spontaneus Security 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Garcia-Alfaro, Joaquin. editor. Navarro-Arribas, Guillermo. editor. Cuppens-Boulahia, Nora. editor. Capitani di Vimercati, Sabrina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28879-1
Format: Electronic Resources
Availability Online Library~1

Computational Processing of the Portuguese Language 10th International Conference, PROPOR 2012, Coimbra, Portugal, April 17-20, 2012. Proceedings

2026-01-13T10:32:36Z

Author Caseli, Helena. editor. Villavicencio, Aline. editor. Teixeira, António. editor. Perdigão, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28885-2
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Theory of Cryptography 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Critical Infrastructure Protection Information Infrastructure Models, Analysis, and Defense

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Mathematical Modelling and Scientific Computation International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings

2026-01-13T10:32:36Z

Author Balasubramaniam, P. editor. Uthayakumar, R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28926-2
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part II

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part I

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Emerging Trends and Applications in Information Communication Technologies Second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Advances in Information Retrieval 34th European Conference on IR Research, ECIR 2012, Barcelona, Spain, April 1-5, 2012. Proceedings

2026-01-13T10:32:36Z

Author Baeza-Yates, Ricardo. editor. Vries, Arjen P. editor. Zaragoza, Hugo. editor. Cambazoglu, B. Barla. editor. Murdock, Vanessa. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28997-2
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2012 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Database Systems for Advanced Applications 17th International Conference, DASFAA 2012, International Workshops: FlashDB, ITEMS, SNSM, SIM3, DQDI, Busan, South Korea, April 15-19, 2012. Proceedings

2026-01-13T10:32:36Z

Author Yu, Hwanjo. editor. Yu, Ge. editor. Hsu, Wynne. editor. Moon, Yang-Sae. editor. Unland, Rainer. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29023-7
Format: Electronic Resources
Availability Online Library~1

Database Systems for Advanced Applications 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-19, 2012, Proceedings, Part II

2026-01-13T10:32:36Z

Author Lee, Sang-goo. editor. Peng, Zhiyong. editor. Zhou, Xiaofang. editor. Moon, Yang-Sae. editor. Unland, Rainer. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29035-0
Format: Electronic Resources
Availability Online Library~1

Database Systems for Advanced Applications 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-19, 2012, Proceedings, Part I

2026-01-13T10:32:36Z

Author Lee, Sang-goo. editor. Peng, Zhiyong. editor. Zhou, Xiaofang. editor. Moon, Yang-Sae. editor. Unland, Rainer. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29038-1
Format: Electronic Resources
Availability Online Library~1

Social Computing, Behavioral - Cultural Modeling and Prediction 5th International Conference, SBP 2012, College Park, MD, USA, April 3-5, 2012. Proceedings

2026-01-13T10:32:36Z

Author Yang, Shanchieh Jay. editor. Greenberg, Ariel M. editor. Endsley, Mica. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29047-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Edutainment VII

2026-01-13T10:32:36Z

Author Pan, Zhigeng. editor. Cheok, Adrian David. editor. Müller, Wolfgang. editor. Chang, Maiga. editor. Zhang, Mingmin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29050-3
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 10th European Conference, EvoBIO 2012, Málaga, Spain, April 11-13, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency V

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Information and Business Intelligence International Conference, IBI 2011, Chongqing, China, December 23-25, 2011. Proceedings, Part I

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Information and Business Intelligence International Conference, IBI 2011, Chongqing, China, December 23-25, 2011. Proceedings, Part II

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Information Security Practice and Experience 8th International Conference, ISPEC 2012, Hangzhou, China, April 9-12, 2012. Proceedings

2026-01-13T10:32:36Z

Author Ryan, Mark D. editor. Smyth, Ben. editor. Wang, Guilin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29101-2
Format: Electronic Resources
Availability Online Library~1

Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Approximation and Online Algorithms 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 12th European Conference, EvoCOP 2012, Málaga, Spain, April 11-13, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Genetic Programming 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Evolutionary and Biologically Inspired Music, Sound, Art and Design First International Conference, EvoMUSART 2012, Málaga, Spain, April 11-13, 2012. Proceedings

2026-01-13T10:32:36Z

Author Machado, Penousal. editor. Romero, Juan. editor. Carballal, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29142-5
Format: Electronic Resources
Availability Online Library~1

Information Systems, Technology and Management 6th International Conference, ICISTM 2012, Grenoble, France, March 28-30, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings

2026-01-13T10:32:36Z

Author Chio, Cecilia. editor. Agapitos, Alexandros. editor. Cagnoni, Stefano. editor. Cotta, Carlos. editor. Vega, Francisco Fernández. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29178-4
Format: Electronic Resources
Availability Online Library~1

Theorie and Applications of Formal Argumentation First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Modgil, Sanjay. editor. Oren, Nir. editor. Toni, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29184-5
Format: Electronic Resources
Availability Online Library~1

Global Trends in Information Systems and Software Applications 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II

2026-01-13T10:32:36Z

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-29216-3
Format: Electronic Resources
Availability Online Library~1

Global Trends in Computing and Communication Systems 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part I

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Web and Wireless Geographical Information Systems 11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012. Proceedings

2026-01-13T10:32:36Z

Author Martino, Sergio. editor. Peron, Adriano. editor. Tezuka, Taro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29247-7
Format: Electronic Resources
Availability Online Library~1

Web Technologies and Applications 14th Asia-Pacific Web Conference, APWeb 2012, Kunming, China, April 11-13, 2012. Proceedings

2026-01-13T10:32:36Z

Author Sheng, Quan Z. editor. Wang, Guoren. editor. Jensen, Christian S. editor. Xu, Guandong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29253-8
Format: Electronic Resources
Availability Online Library~1

Advanced Computing, Networking and Security International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Thilagam, P. Santhi. editor. Pais, Alwyn Roshan. editor. Chandrasekaran, K. editor. Balakrishnan, N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29280-4
Format: Electronic Resources
Availability Online Library~1

S-BPM ONE - Education and Industrial Developments 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings

2026-01-13T10:32:36Z

Author Oppl, Stefan. editor. Fleischmann, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29294-1
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29320-7
Format: Electronic Resources
Availability Online Library~1

Games, Actions and Social Software Multidisciplinary Aspects

2026-01-13T10:32:36Z

Author Eijck, Jan. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29326-9
Format: Electronic Resources
Availability Online Library~1

LATIN 2012: Theoretical Informatics 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012, Proceedings, Part I

2026-01-13T10:32:36Z

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-29347-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012, Proceedings, Part II

2026-01-13T10:32:36Z

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-29350-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence VI

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Health Information Science First International Conference, HIS 2012, Beijing, China, April 8-10, 2012. Proceedings

2026-01-13T10:32:36Z

Author He, Jing. editor. Liu, Xiaohui. editor. Krupinski, Elizabeth A. editor. Xu, Guandong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29361-0
Format: Electronic Resources
Availability Online Library~1

Camera-Based Document Analysis and Recognition 4th International Workshop, CBDAR 2011, Beijing, China, September 22, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Iwamura, Masakazu. editor. Shafait, Faisal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29364-1
Format: Electronic Resources
Availability Online Library~1

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

2026-01-13T10:32:36Z

Author Barthe, Gilles. editor. Datta, Anupam. editor. Etalle, Sandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29420-4
Format: Electronic Resources
Availability Online Library~1

Web Technologies and Applications APWeb 2012 International Workshops: SenDe, IDP, IEKB, MBC, Kunming, China, April 11-13, 2012. Proceedings

2026-01-13T10:32:36Z

Author Wang, Hua. editor. Zou, Lei. editor. Huang, Guangyan. editor. He, Jing. editor. Pang, Chaoyi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29426-6
Format: Electronic Resources
Availability Online Library~1

Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Information Security Technology for Applications 16th Nordic Conference on Secure IT Systems, NordSec 2011, Tallinn, Estonia, October 26-28, 2011, Revised Selected Papers

2026-01-13T10:32:36Z

Author Laud, Peeter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29615-4
Format: Electronic Resources
Availability Online Library~1

Research in Computational Molecular Biology 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings

2026-01-13T10:32:36Z

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: Electronic Resources
Availability Online Library~1

Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

2026-01-13T10:32:36Z

Author Kienzle, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29645-1
Format: Electronic Resources
Availability Online Library~1