Search Results for Computer - Narrowed by: 2013

Computer science illuminated

2025-12-12T18:39:12Z

Author Dale, Nell B. Lewis, John, 1963-
Preferred Shelf Number QA76 D285 2013
Format: Books
Availability Beytepe Library~1

Structured computer organization

2025-12-12T18:39:12Z

Author Tanenbaum, Andrew S., 1944- Austin, Todd.
Preferred Shelf Number QA76.6 T38 2013
Format: Books
Availability Beytepe Library~2

Calculus for Computer Graphics

2025-12-12T18:39:12Z

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

Computer and Information Science

2025-12-12T18:39:12Z

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

Intelligent Computer Graphics 2012

2025-12-12T18:39:12Z

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

Investigating computer-related crime

2025-12-12T18:39:12Z

Author Stephenson, Peter, author. Gilbert, Keith, 1988-
Preferred Shelf Number HV6773.2 .S74 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Guide to Computer Network Security

2025-12-12T18:39:12Z

Author Kizza, Joseph Migga. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331005.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4543-1
Format: Electronic Resources
Availability Online Library~1

Distributed Graph Algorithms for Computer Networks

2025-12-12T18:39:12Z

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

Advanced Topics in Computer Vision

2025-12-12T18:39:12Z

Author Farinella, Giovanni Maria. editor. Battiato, Sebastiano. editor. Cipolla, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331211.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5520-1
Format: Electronic Resources
Availability Online Library~1

The art of computer programming

2025-12-12T18:39:12Z

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

Principles of digital computer design

2025-12-12T18:39:12Z

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

Oscillator design and computer simulation

2025-12-12T18:39:12Z

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

Programming principles in computer graphics

2025-12-12T18:39:12Z

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

Computer networking : a top-down approach

2025-12-12T18:39:12Z

Author Kurose, James F. Ross, Keith W., 1956-
Preferred Shelf Number TK5105.875.I57 K88 2013
Format: Books
Availability Beytepe Library~3

Computer Simulation of Thermal Plant Operations

2025-12-12T18:39:12Z

Author O'Kelly, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331461.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4256-1
Format: Electronic Resources
Availability Online Library~1

Machine Learning for Computer Vision

2025-12-12T18:39:12Z

Author Cipolla, Roberto. editor. Battiato, Sebastiano. editor. Farinella, Giovanni Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333194.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-28661-2
Format: Electronic Resources
Availability Online Library~1

Computer and Template Assisted Orthopedic Surgery

2025-12-12T18:39:12Z

Author Haaker, Rolf. editor. Konermann, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333260.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29728-1
Format: Electronic Resources
Availability Online Library~1

Computer Performance Optimization Systems - Applications - Processes

2025-12-12T18:39:12Z

Author Osterhage, Wolfgang W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333281.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29971-1
Format: Electronic Resources
Availability Online Library~1

Digital design and computer architecture

2025-12-12T18:39:12Z

Author Harris, David Money Harris, Sarah L.
Preferred Shelf Number TK7868.D5 H34 2013
Format: Books
Availability Beytepe Library~2

Pragmatics of Computer-Mediated Communication

2025-12-12T18:39:12Z

Author Allton, Diane, contributor. Androutsopoulos, Jannis, contributor. Baker Jacobs, Jennifer, contributor. Baron, Naomi S., contributor. Bieswanger, Markus, contributor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110214468 https://www.degruyter.com/isbn/9783110214468 Cover https://www.degruyter.com/document/cover/isbn/9783110214468/original
Format: Electronic Resources
Availability Online Library~1

Computer system reliability : safety and usability

2025-12-12T18:39:12Z

Author Dhillon, B. S., author.
Preferred Shelf Number QA76.76 .R44 D495 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Music and Human-Computer Interaction

2025-12-12T18:39:12Z

Author Holland, Simon. editor. Wilkie, Katie. editor. Mulholland, Paul. editor. Seago, Allan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330896.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2990-5
Format: Electronic Resources
Availability Online Library~1

Performance Analysis of Computer Networks

2025-12-12T18:39:12Z

Author Sadiku, Matthew N.O. author. Musa, Sarhan M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332883.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01646-7
Format: Electronic Resources
Availability Online Library~1

Modelling Computing Systems Mathematics for Computer Science

2025-12-12T18:39:12Z

Author Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332574.1)
Electronic Access http://dx.doi.org/10.1007/978-1-84800-322-4
Format: Electronic Resources
Availability Online Library~1

Human-computer interaction : an empirical research perspective

2025-12-12T18:39:12Z

Author MacKenzie, I. Scott.
Preferred Shelf Number QA76.9.H85 M334 2013
Format: Books
Availability Beytepe Library~1

Horizons in computer science research. Vol. 8

2025-12-12T18:39:12Z

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

Learning Basic Genetics with Interactive Computer Programs

2025-12-12T18:39:12Z

Author Tseng, Charles C. author. Yang, Xiaoli. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331943.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6083-1
Format: Electronic Resources
Availability Online Library~1

Human Law and Computer Law: Comparative Perspectives

2025-12-12T18:39:12Z

Author Hildebrandt, Mireille. editor. Gaakeer, Jeanne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336210.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-6314-2
Format: Electronic Resources
Availability Online Library~1

Computer organization and architecture : designing for performance

2025-12-12T18:39:12Z

Author Stallings, William.
Preferred Shelf Number QA 76.9.C643 S73 2013
Format: Books
Availability Beytepe Library~1

An Introduction to Computer Graphics for Artists

2025-12-12T18:39:12Z

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

Concise Computer Mathematics Tutorials on Theory and Problems

2025-12-12T18:39:12Z

Author Bagdasar, Ovidiu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332887.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01751-8
Format: Electronic Resources
Availability Online Library~1

Analyzing Evolutionary Algorithms The Computer Science Perspective

2025-12-12T18:39:12Z

Author Jansen, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333075.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-17339-4
Format: Electronic Resources
Availability Online Library~1

Speech and Computer 15th International Conference, SPECOM 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings

2025-12-12T18:39:12Z

Author Železný, Miloš. editor. Habernal, Ivan. editor. Ronzhin, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332893.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01931-4
Format: Electronic Resources
Availability Online Library~1

Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2011, Vilamoura, Portugal, March 5-7, 2011. Revised Selected Papers

2025-12-12T18:39:12Z

Author Csurka, Gabriela. editor. Kraus, Martin. editor. Mestetskiy, Leonid. editor. Richard, Paul. editor. Braz, José. editor.
Preferred Shelf Number ONLINE(333559.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32350-8
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part I

2025-12-12T18:39:12Z

Author Lee, Kyoung Mu. editor. Matsushita, Yasuyuki. editor. Rehg, James M. editor. Hu, Zhanyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334407.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37331-2
Format: Electronic Resources
Availability Online Library~1

Computer Vision - ACCV 2012 Workshops ACCV 2012 International Workshops, Daejeon, Korea, November 5-6, 2012, Revised Selected Papers, Part II

2025-12-12T18:39:12Z

Author Park, Jong-Il. editor. Kim, Junmo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334439.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37484-5
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

2025-12-12T18:39:12Z

Author Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334617.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38536-0
Format: Electronic Resources
Availability Online Library~1

Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings

2025-12-12T18:39:12Z

Author Barratt, Dean. editor. Cotin, Stéphane. editor. Fichtinger, Gabor. editor. Jannin, Pierre. editor. Navab, Nassir. editor.
Preferred Shelf Number ONLINE(334624.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38568-1
Format: Electronic Resources
Availability Online Library~1

Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings

2025-12-12T18:39:12Z

Author Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334686.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38865-1
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings

2025-12-12T18:39:12Z

Author Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334995.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40725-3
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III

2025-12-12T18:39:12Z

Author Mori, Kensaku. editor. Sakuma, Ichiro. editor. Sato, Yoshinobu. editor. Barillot, Christian. editor. Navab, Nassir. editor.
Preferred Shelf Number ONLINE(334998.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40760-4
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II

2025-12-12T18:39:12Z

Author Mori, Kensaku. editor. Sakuma, Ichiro. editor. Sato, Yoshinobu. editor. Barillot, Christian. editor. Navab, Nassir. editor.
Preferred Shelf Number ONLINE(334999.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40763-5
Format: Electronic Resources
Availability Online Library~1

Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers

2025-12-12T18:39:12Z

Author Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.
Preferred Shelf Number ONLINE(335131.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41635-4
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part I

2025-12-12T18:39:12Z

Author Ruiz-Shulcloper, José. editor. Sanniti di Baja, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335145.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41822-8
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

2025-12-12T18:39:12Z

Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332910.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02297-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Entertainment 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings

2025-12-12T18:39:12Z

Author Reidsma, Dennis. editor. Katayose, Haruhiro. editor. Nijholt, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332968.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03161-3
Format: Electronic Resources
Availability Online Library~1

Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers

2025-12-12T18:39:12Z

Author Menze, Bjoern H. editor. Langs, Georg. editor. Lu, Le. editor. Montillo, Albert. editor. Tu, Zhuowen. editor.
Preferred Shelf Number ONLINE(334249.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36620-8
Format: Electronic Resources
Availability Online Library~1

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers

2025-12-12T18:39:12Z

Author Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.
Preferred Shelf Number ONLINE(334080.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35898-2
Format: Electronic Resources
Availability Online Library~1

Augmented Environments for Computer-Assisted Interventions 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papers

2025-12-12T18:39:12Z

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

Computer Vision, Imaging and Computer Graphics. Theory and Application 7th International Joint Conference, VISIGRAPP 2012, Rome, Italy, February 24-26, 2012, Revised Selected Papers

2025-12-12T18:39:12Z

Author Csurka, Gabriela. editor. Kraus, Martin. editor. Laramee, Robert S. editor. Richard, Paul. editor. Braz, José. editor.
Preferred Shelf Number ONLINE(334565.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38241-3
Format: Electronic Resources
Availability Online Library~1

Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings

2025-12-12T18:39:12Z

Author Kuijper, Arjan. editor. Bredies, Kristian. editor. Pock, Thomas. editor. Bischof, Horst. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334572.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38267-3
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data Third International Workshop, HCI-KDD 2013, Held at SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings

2025-12-12T18:39:12Z

Author Holzinger, Andreas. editor. Pasi, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334738.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39146-0
Format: Electronic Resources
Availability Online Library~1

Computer Security – ESORICS 2013 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings

2025-12-12T18:39:12Z

Author Crampton, Jason. editor. Jajodia, Sushil. editor. Mayes, Keith. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334909.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40203-6
Format: Electronic Resources
Availability Online Library~1

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

2025-12-12T18:39:12Z

Author Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334910.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40206-7
Format: Electronic Resources
Availability Online Library~1

Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II

2025-12-12T18:39:12Z

Author Wilson, Richard. editor. Hancock, Edwin. editor. Bors, Adrian. editor. Smith, William. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334917.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40246-3
Format: Electronic Resources
Availability Online Library~1

Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I

2025-12-12T18:39:12Z

Author Wilson, Richard. editor. Hancock, Edwin. editor. Bors, Adrian. editor. Smith, William. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334919.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40261-6
Format: Electronic Resources
Availability Online Library~1

Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings

2025-12-12T18:39:12Z

Author Heyden, Anders. editor. Kahl, Fredrik. editor. Olsson, Carl. editor. Oskarsson, Magnus. editor. Tai, Xue-Cheng. editor.
Preferred Shelf Number ONLINE(334939.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40395-8
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III

2025-12-12T18:39:12Z

Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE(334950.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40477-1
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II

2025-12-12T18:39:12Z

Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE(334951.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40480-1
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

2025-12-12T18:39:12Z

Author Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334688.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38874-3
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

2025-12-12T18:39:12Z

Author Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Preferred Shelf Number ONLINE(334064.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35843-2
Format: Electronic Resources
Availability Online Library~1

Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings

2025-12-12T18:39:12Z

Author Gonzalez-Diaz, Rocio. editor. Jimenez, Maria-Jose. editor. Medrano, Belen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334356.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37067-0
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

2025-12-12T18:39:12Z

Author Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334851.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39799-8
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I

2025-12-12T18:39:12Z

Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE(334952.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40483-2
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV

2025-12-12T18:39:12Z

Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE(334955.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40498-6
Format: Electronic Resources
Availability Online Library~1

Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction First IAPR TC3 Workshop, MPRSS 2012, Tsukuba, Japan, November 11, 2012, Revised Selected Papers

2025-12-12T18:39:12Z

Author Schwenker, Friedhelm. editor. Scherer, Stefan. editor. Morency, Louis-Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334359.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37081-6
Format: Electronic Resources
Availability Online Library~1

Computer Vision - ACCV 2012 Workshops ACCV 2012 International Workshops, Daejeon, Korea, November 5-6, 2012, Revised Selected Papers, Part I

2025-12-12T18:39:12Z

Author Park, Jong-Il. editor. Kim, Junmo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334424.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37410-4
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part III

2025-12-12T18:39:12Z

Author Lee, Kyoung Mu. editor. Matsushita, Yasuyuki. editor. Rehg, James M. editor. Hu, Zhanyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334428.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37431-9
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II

2025-12-12T18:39:12Z

Author Lee, Kyoung Mu. editor. Matsushita, Yasuyuki. editor. Rehg, James M. editor. Hu, Zhanyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334430.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37444-9
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part IV

2025-12-12T18:39:12Z

Author Lee, Kyoung Mu. editor. Matsushita, Yasuyuki. editor. Rehg, James M. editor. Hu, Zhanyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334431.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37447-0
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part I

2025-12-12T18:39:12Z

Author Mori, Kensaku. editor. Sakuma, Ichiro. editor. Sato, Yoshinobu. editor. Barillot, Christian. editor. Navab, Nassir. editor.
Preferred Shelf Number ONLINE(335010.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40811-3
Format: Electronic Resources
Availability Online Library~1

Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings

2025-12-12T18:39:12Z

Author Liao, Hongen. editor. Linte, Cristian A. editor. Masamune, Ken. editor. Peters, Terry M. editor. Zheng, Guoyan. editor.
Preferred Shelf Number ONLINE(335016.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40843-4
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

2025-12-12T18:39:12Z

Author Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334925.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40313-2
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings

2025-12-12T18:39:12Z

Author Saeed, Khalid. editor. Chaki, Rituparna. editor. Cortesi, Agostino. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335029.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40925-7
Format: Electronic Resources
Availability Online Library~1

Universal Access in Human-Computer Interaction. Design Methods, Tools, and Interaction Techniques for eInclusion 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

2025-12-12T18:39:12Z

Author Stephanidis, Constantine. editor. Antona, Margherita. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334747.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39188-0
Format: Electronic Resources
Availability Online Library~1

Universal Access in Human-Computer Interaction. User and Context Diversity 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

2025-12-12T18:39:12Z

Author Stephanidis, Constantine. editor. Antona, Margherita. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334748.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39191-0
Format: Electronic Resources
Availability Online Library~1

Universal Access in Human-Computer Interaction. Applications and Services for Quality of Life 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III

2025-12-12T18:39:12Z

Author Stephanidis, Constantine. editor. Antona, Margherita. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334749.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39194-1
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

2025-12-12T18:39:12Z

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

Human-Computer Interaction. Applications and Services 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

2025-12-12T18:39:12Z

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

Human-Computer Interaction. Users and Contexts of Use 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III

2025-12-12T18:39:12Z

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

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

2025-12-12T18:39:12Z

Author Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.
Preferred Shelf Number ONLINE(334781.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39320-4
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Interaction Modalities and Techniques 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV

2025-12-12T18:39:12Z

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

Human-Computer Interaction. Towards Intelligent and Implicit Interaction 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part V

2025-12-12T18:39:12Z

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

Computer Vision Systems 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings

2025-12-12T18:39:12Z

Author Chen, Mei. editor. Leibe, Bastian. editor. Neumann, Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334795.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39402-7
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

2025-12-12T18:39:12Z

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

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II

2025-12-12T18:39:12Z

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

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part II

2025-12-12T18:39:12Z

Author Ruiz-Shulcloper, José. editor. Sanniti di Baja, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335146.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41827-3
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers

2025-12-12T18:39:12Z

Author Brandstädt, Andreas. editor. Jansen, Klaus. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335182.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45043-3
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer

2025-12-12T18:39:12Z

Author Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330901.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4069-6
Format: Electronic Resources
Availability Online Library~1

Computer-Supported Collaborative Learning at the Workplace CSCL@Work

2025-12-12T18:39:12Z

Author Goggins, Sean P. editor. Jahnke, Isa. editor. Wulf, Volker. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331280.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1740-8
Format: Electronic Resources
Availability Online Library~1

Human Computer Interaction 6th Latin American Conference, CLIHC 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

2025-12-12T18:39:12Z

Author Collazos, César. editor. Liborio, Andréia. editor. Rusu, Cristian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332961.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03068-5
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

2025-12-12T18:39:12Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334038.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35722-0
Format: Electronic Resources
Availability Online Library~1

Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

2025-12-12T18:39:12Z

Author Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.
Preferred Shelf Number ONLINE(334106.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36046-6
Format: Electronic Resources
Availability Online Library~1

Brain-Computer Interface Research A State-of-the-Art Summary

2025-12-12T18:39:12Z

Author Guger, Christoph. editor. Allison, Brendan Z. editor. Edlinger, Günter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334118.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36083-1
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers

2025-12-12T18:39:12Z

Author Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334290.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36781-6
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings

2025-12-12T18:39:12Z

Author Bitsch, Friedemann. editor. Guiochet, Jérémie. editor. Kaâniche, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335005.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40793-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XIX Special Issue on Computer Graphics

2025-12-12T18:39:12Z

Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Konushin, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334847.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39759-2
Format: Electronic Resources
Availability Online Library~1

Advances in Information and Computer Security 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings

2025-12-12T18:39:12Z

Author Sakiyama, Kazuo. editor. Terada, Masayuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335098.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41383-4
Format: Electronic Resources
Availability Online Library~1

Optimization for Computer Vision An Introduction to Core Concepts and Methods

2025-12-12T18:39:12Z

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

Consumer Depth Cameras for Computer Vision Research Topics and Applications

2025-12-12T18:39:12Z

Author Fossati, Andrea. editor. Gall, Juergen. editor. Grabner, Helmut. editor. Ren, Xiaofeng. editor. Konolige, Kurt. editor.
Preferred Shelf Number ONLINE(331032.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4640-7
Format: Electronic Resources
Availability Online Library~1

Decision Forests for Computer Vision and Medical Image Analysis

2025-12-12T18:39:12Z

Author Criminisi, A. editor. Shotton, J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331100.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4929-3
Format: Electronic Resources
Availability Online Library~1

Shape Perception in Human and Computer Vision An Interdisciplinary Perspective

2025-12-12T18:39:12Z

Author Dickinson, Sven J. editor. Pizlo, Zygmunt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331171.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5195-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-12T18:39:12Z

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

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

2025-12-12T18:39:12Z

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

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

2025-12-12T18:39:12Z

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

Knee Surgery using Computer Assisted Surgery and Robotics

2025-12-12T18:39:12Z

Author Catani, Fabio. editor. Zaffagnini, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333436.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-31430-8
Format: Electronic Resources
Availability Online Library~1

Advances in Combinatorics Waterloo Workshop in Computer Algebra, W80, May 26-29, 2011

2025-12-12T18:39:12Z

Author Kotsireas, Ilias S. editor. Zima, Eugene V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333378.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-30979-3
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Systems and Applications - Volume 1 Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12–14, 2012

2025-12-12T18:39:12Z

Author Chang, Ruay-Shiung. editor. Jain, Lakhmi C. editor. Peng, Sheng-Lung. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333984.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35452-6
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Systems and Applications - Volume 2 Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12–14, 2012

2025-12-12T18:39:12Z

Author Pan, Jeng-Shyang. editor. Yang, Ching-Nung. editor. Lin, Chia-Chen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333990.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35473-1
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Quantum Field Theory Integration, Summation and Special Functions

2025-12-12T18:39:12Z

Author Schneider, Carsten. editor. Blümlein, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335343.1)
Electronic Access http://dx.doi.org/10.1007/978-3-7091-1616-6
Format: Electronic Resources
Availability Online Library~1

Performance modeling and design of computer systems : queueing theory in action

2025-12-12T18:39:12Z

Author Harchol-Balter, Mor, 1966- author.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508924
Format: Electronic Resources
Availability Online Library~1

A practical guide to gender diversity for computer science faculty

2025-12-12T18:39:12Z

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

Introductory regression analysis : with computer application for business and economics

2025-12-12T18:39:12Z

Author Webster, Allen.
Preferred Shelf Number HF1017 W435 2013
Format: Books
Availability Beytepe Library~1

ECSCW 2013: Proceedings of the 13th European Conference on Computer Supported Cooperative Work, 21-25 September 2013, Paphos, Cyprus

2025-12-12T18:39:12Z

Author Bertelsen, Olav W. editor. Ciolfi, Luigina. editor. Grasso, Maria Antonietta. editor. Papadopoulos, George Angelos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331196.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5346-7
Format: Electronic Resources
Availability Online Library~1

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

2025-12-12T18:39:12Z

Author Elleithy, Khaled. editor. Sobh, Tarek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331351.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3535-8
Format: Electronic Resources
Availability Online Library~1

Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System

2025-12-12T18:39:12Z

Author Hammock, Michael R. author. Mixon, J. Wilson. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332481.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9417-1
Format: Electronic Resources
Availability Online Library~1

Modeling Approaches and Algorithms for Advanced Computer Applications

2025-12-12T18:39:12Z

Author Amine, Abdelmalek. editor. Otmane, Ait Mohamed. editor. Bellatreche, Ladjel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332769.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00560-7
Format: Electronic Resources
Availability Online Library~1

Information Sciences and Systems 2013 Proceedings of the 28th International Symposium on Computer and Information Sciences

2025-12-12T18:39:12Z

Author Gelenbe, Erol. editor. Lent, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332878.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01604-7
Format: Electronic Resources
Availability Online Library~1

Integrated Computer-Aided Design in Automotive Development Development Processes, Geometric Fundamentals, Methods of CAD, Knowledge-Based Engineering Data Management

2025-12-12T18:39:12Z

Author Mario, Hirz. author. Dietrich, Wilhelm. author. Gfrerrer, Anton. author. Lang, Johann. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333051.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-11940-8
Format: Electronic Resources
Availability Online Library~1

Towards Practical Brain-Computer Interfaces Bridging the Gap from Research to Real-World Applications

2025-12-12T18:39:12Z

Author Allison, Brendan Z. editor. Dunne, Stephen. editor. Leeb, Robert. editor. Del R. Millán, José. editor. Nijholt, Anton. editor.
Preferred Shelf Number ONLINE(333262.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29746-5
Format: Electronic Resources
Availability Online Library~1

IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011

2025-12-12T18:39:12Z

Author Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335821.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4786-9
Format: Electronic Resources
Availability Online Library~1

IAENG Transactions on Engineering Technologies Special Issue of the International MultiConference of Engineers and Computer Scientists 2012

2025-12-12T18:39:12Z

Author Yang, Gi-Chul. editor. Ao, Sio-Iong. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336030.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5651-9
Format: Electronic Resources
Availability Online Library~1

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics

2025-12-12T18:39:12Z

Author Mogavero, Fabio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336496.1)
Electronic Access http://dx.doi.org/10.2991/978-94-91216-95-4
Format: Electronic Resources
Availability Online Library~1

Proceedings of the Third International Conference on Intelligent Human Computer Interaction (IHCI 2011), Prague, Czech Republic, August, 2011

2025-12-12T18:39:12Z

Author Kudělka, Miloš. editor. Pokorný, Jaroslav. editor. Snášel, Václav. editor. Abraham, Ajith. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333455.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-31603-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2012 International Conference of Modern Computer Science and Applications

2025-12-12T18:39:12Z

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

Computer Models in Biomechanics From Nano to Macro

2025-12-12T18:39:12Z

Author Holzapfel, Gerhard A. editor. Kuhl, Ellen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335983.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5464-5
Format: Electronic Resources
Availability Online Library~1

So werden wir lernen! Kompetenzentwicklung in einer Welt fühlender Computer, kluger Wolken und sinnsuchender Netze

2025-12-12T18:39:12Z

Author Erpenbeck, John. author. Sauter, Werner. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337248.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37181-3
Format: Electronic Resources
Availability Online Library~1

Introduction to computer science using Python : a computational problem-solving focus

2025-12-12T18:39:12Z

Author Dierbach, Charles, 1953-
Preferred Shelf Number QA76.73 P98 D547 2013
Format: Books
Availability Beytepe Library~1

Computer access for people with disabilities : a human factors approach

2025-12-12T18:39:12Z

Author Simpson, Richard C., author.
Preferred Shelf Number HV1569.5 .S56 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The practical OPNET user guide for computer network simulation

2025-12-12T18:39:12Z

Author Sethi, Adarshpal S., author. Hnatyshin, Vasil Y.
Preferred Shelf Number TK5105.5 .S4243 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Technology computer aided design : simulation for VLSI MOSFET

2025-12-12T18:39:12Z

Author Sarkar, Chandan Kumar, editor of compilation.
Preferred Shelf Number TK7874.75 .T43 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Erfolgreiches Charakterdesign für Computer- und Videospiele Ein medienpsychologischer Ansatz

2025-12-12T18:39:12Z

Author Jäger, Solveigh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(338058.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-02626-4
Format: Electronic Resources
Availability Online Library~1

Schrodinger's killer app : race to build the world's first quantum computer

2025-12-12T18:39:12Z

Author Dowling, Jonathan P., author.
Preferred Shelf Number QA76.889 .D69 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Computer-aided control systems design : practical applications using MATLAB and Simulink

2025-12-12T18:39:12Z

Author Chin, Cheng Siong., author.
Preferred Shelf Number TJ217 .C478 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

3D Computer Vision Efficient Methods and Applications

2025-12-12T18:39:12Z

Author Wöhler, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330918.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4150-1
Format: Electronic Resources
Availability Online Library~1

Computer and Information Sciences III 27th International Symposium on Computer and Information Sciences

2025-12-12T18:39:12Z

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

Computer Networks & Communications (NetCom) Proceedings of the Fourth International Conference on Networks & Communications

2025-12-12T18:39:12Z

Author Chaki, Nabendu. editor. Meghanathan, Natarajan. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331959.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6154-8
Format: Electronic Resources
Availability Online Library~1

New Results in Dependability and Computer Systems Proceedings of the 8th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, September 9-13, 2013, Brunów, Poland

2025-12-12T18:39:12Z

Author Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.
Preferred Shelf Number ONLINE(332820.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00945-2
Format: Electronic Resources
Availability Online Library~1

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

2025-12-12T18:39:12Z

Author Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332822.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00966-7
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 8th International Conference on Computer Recognition Systems CORES 2013

2025-12-12T18:39:12Z

Author Burduk, Robert. editor. Jackowski, Konrad. editor. Kurzynski, Marek. editor. Wozniak, Michał. editor. Zolnierek, Andrzej. editor.
Preferred Shelf Number ONLINE(332823.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00969-8
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Control Systems and Computer Science

2025-12-12T18:39:12Z

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

Computer and Computing Technologies in Agriculture VI 6th IFIP WG 5.14 International Conference, CCTA 2012, Zhangjiajie, China, October 19-21, 2012, Revised Selected Papers, Part I

2025-12-12T18:39:12Z

Author Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334128.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36124-1
Format: Electronic Resources
Availability Online Library~1

Computer and Computing Technologies in Agriculture VI 6th IFIP WG 5.14 International Conference, CCTA 2012, Zhangjiajie, China, October 19-21, 2012, Revised Selected Papers, Part II

2025-12-12T18:39:12Z

Author Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334131.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36137-1
Format: Electronic Resources
Availability Online Library~1

Multiscale Computer Modeling in Biomechanics and Biomedical Engineering

2025-12-12T18:39:12Z

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

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

2025-12-12T18:39:12Z

Author Luhta, Eric. Roy, Kenny.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

An introduction to programming with ActionScript 3.0

2025-12-12T18:39:12Z

Author Cornez, Trish. Cornez, Richard.
Preferred Shelf Number QA76.73.A146 C67 2013
Format: Books
Availability Beytepe Library~1

Rig it right! Maya animation rigging concepts

2025-12-12T18:39:12Z

Author O'Hailey, Tina.
Preferred Shelf Number ONLINE(344287.1)
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Program specialization

2025-12-12T18:39:12Z

Author Marlet, Renaud.
Preferred Shelf Number ONLINE
Electronic Access Connect to MyiLibrary resource. Wiley http://onlinelibrary.wiley.com/book/10.1002/9781118576984 John Wiley http://dx.doi.org/10.1002/9781118576984
Format: Electronic Resources
Availability Online Library~1

Oracle 11g : PL/SQL programming

2025-12-12T18:39:12Z

Author Casteel, Joan.
Format: Books
Availability ~0

Handbook of SAS DATA Step programming

2025-12-12T18:39:12Z

Author Li, Arthur., author.
Preferred Shelf Number QA276.4 .L56 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Panel data analysis using EViews

2025-12-12T18:39:12Z

Author Agung, I. Gusti Ngurah.
Preferred Shelf Number ONLINE(341702.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1583674 John Wiley http://dx.doi.org/10.1002/9781118715543 MyiLibrary http://www.myilibrary.com?id=556710
Format: Electronic Resources
Availability Online Library~1

Flash programming for the social & behavioral sciences a simple guide to sophisticated online surveys and experiments

2025-12-12T18:39:12Z

Author Weinstein, Yana. DeSoto, K. Andrew.
Preferred Shelf Number ONLINE(368331.1)
Electronic Access SAGE knowledge http://sk.sagepub.com/books/flash-programming-for-the-social-and-behavioral-sciences
Format: Electronic Resources
Availability Online Library~1

Drupal web profiles

2025-12-12T18:39:12Z

Author Ogunjobi, Timi., author.
Preferred Shelf Number TK5105.8885 .D78 O48 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Data Center Networks Topologies, Architectures and Fault-Tolerance Characteristics

2025-12-12T18:39:12Z

Author Liu, Yang. author. Muppala, Jogesh K. author. Veeraraghavan, Malathi. author. Lin, Dong. author. Hamdi, Mounir. author.
Preferred Shelf Number ONLINE(332894.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01949-9
Format: Electronic Resources
Availability Online Library~1

Bluetooth Security Attacks Comparative Analysis, Attacks, and Countermeasures

2025-12-12T18:39:12Z

Author Haataja, Keijo. author. Hyppönen, Konstantin. author. Pasanen, Sanna. author. Toivanen, Pekka. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334982.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40646-1
Format: Electronic Resources
Availability Online Library~1

Personas - User Focused Design

2025-12-12T18:39:12Z

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

Creativity and Rationale Enhancing Human Experience by Design

2025-12-12T18:39:12Z

Author Carroll, John M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330908.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4111-2
Format: Electronic Resources
Availability Online Library~1

A Journey Through Cultures Metaphors for Guiding the Design of Cross-Cultural Interactive Systems

2025-12-12T18:39:12Z

Author Salgado, Luciana Cardoso de Castro. author. Leitão, Carla Faria. author. Souza, Clarisse Sieckenius. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330909.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4114-3
Format: Electronic Resources
Availability Online Library~1

Coordinative Practices in the Building Process An Ethnographic Perspective

2025-12-12T18:39:12Z

Author Christensen, Lars Rune. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330910.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4117-4
Format: Electronic Resources
Availability Online Library~1

Privacy and Security for Cloud Computing

2025-12-12T18:39:12Z

Author Pearson, Siani. editor. Yee, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330926.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4189-1
Format: Electronic Resources
Availability Online Library~1

Real-Time Detection of Lines and Grids By PClines and Other Approaches

2025-12-12T18:39:12Z

Author Herout, Adam. author. Dubská, Markéta. author. Havel, Jiří. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330974.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4414-4
Format: Electronic Resources
Availability Online Library~1

Energy-Efficient High Performance Computing Measurement and Tuning

2025-12-12T18:39:12Z

Author Laros III, James H. author. Pedretti, Kevin. author. Kelly, Suzanne M. author. Shu, Wei. author. Ferreira, Kurt. author.
Preferred Shelf Number ONLINE(330991.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4492-2
Format: Electronic Resources
Availability Online Library~1

New Trends in Interaction, Virtual Reality and Modeling

2025-12-12T18:39:12Z

Author Penichet, Victor M.R. editor. Peñalver, Antonio. editor. Gallud, José A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331204.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5445-7
Format: Electronic Resources
Availability Online Library~1

Middleware Solutions for the Internet of Things

2025-12-12T18:39:12Z

Author Delicato, Flávia C. author. Pires, Paulo F. author. Batista, Thais. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331206.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5481-5
Format: Electronic Resources
Availability Online Library~1

Distributed User Interfaces: Usability and Collaboration

2025-12-12T18:39:12Z

Author Lozano, María D. editor. Gallud, Jose A. editor. Tesoriero, Ricardo. editor. Penichet, Victor M.R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331208.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5499-0
Format: Electronic Resources
Availability Online Library~1

Formal Languages and Compilation

2025-12-12T18:39:12Z

Author Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. Morzenti, Angelo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331210.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5514-0
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Parameterized Complexity

2025-12-12T18:39:12Z

Author Downey, Rodney G. author. Fellows, Michael R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331218.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5559-1
Format: Electronic Resources
Availability Online Library~1

Countering Brandjacking in the Digital Age … and Other Hidden Risks to Your Brand

2025-12-12T18:39:12Z

Author Hofman, Christopher. author. Keates, Simeon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331219.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5580-5
Format: Electronic Resources
Availability Online Library~1

Advanced Network Programming – Principles and Techniques Network Application Programming with Java

2025-12-12T18:39:12Z

Author Ciubotaru, Bogdan. author. Muntean, Gabriel-Miro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331186.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5292-7
Format: Electronic Resources
Availability Online Library~1

Semantic Models for Adaptive Interactive Systems

2025-12-12T18:39:12Z

Author Hussein, Tim. editor. Paulheim, Heiko. editor. Lukosch, Stephan. editor. Ziegler, Jürgen. editor. Calvary, Gaëlle. editor.
Preferred Shelf Number ONLINE(331188.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5301-6
Format: Electronic Resources
Availability Online Library~1

Understanding Learning in Virtual Worlds

2025-12-12T18:39:12Z

Author Childs, Mark. editor. Peachey, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331199.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5370-2
Format: Electronic Resources
Availability Online Library~1

Sentiment Analysis for PTSD Signals

2025-12-12T18:39:12Z

Author Kagan, Vadim. author. Rossini, Edward. author. Sapounas, Demetrios. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331316.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3097-1
Format: Electronic Resources
Availability Online Library~1

Spatio-temporal Networks Modeling and Algorithms

2025-12-12T18:39:12Z

Author George, Betsy. author. Kim, Sangho. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331620.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4918-8
Format: Electronic Resources
Availability Online Library~1

Querying Moving Objects Detected by Sensor Networks

2025-12-12T18:39:12Z

Author Bestehorn, Markus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331623.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4927-0
Format: Electronic Resources
Availability Online Library~1

Health Informatics in the Cloud

2025-12-12T18:39:12Z

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

Automatic Malware Analysis An Emulator Based Approach

2025-12-12T18:39:12Z

Author Yin, Heng. author. Song, Dawn. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331796.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5523-3
Format: Electronic Resources
Availability Online Library~1

Routing for Wireless Multi-Hop Networks

2025-12-12T18:39:12Z

Author Abdel Hamid, Sherin. author. Hassanein, Hossam S. author. Takahara, Glen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332014.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6357-3
Format: Electronic Resources
Availability Online Library~1

Physical Layer Approaches for Securing Wireless Communication Systems

2025-12-12T18:39:12Z

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

Performance Evaluation Software Moving Object Detection and Tracking in Videos

2025-12-12T18:39:12Z

Author Karasulu, Bahadir. author. Korukoglu, Serdar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332057.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6534-8
Format: Electronic Resources
Availability Online Library~1

Distributed Medium Access Control in Wireless Networks

2025-12-12T18:39:12Z

Author Wang, Ping. author. Zhuang, Weihua. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332073.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6602-4
Format: Electronic Resources
Availability Online Library~1

A General Framework for Reasoning On Inconsistency

2025-12-12T18:39:12Z

Author Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332107.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: Electronic Resources
Availability Online Library~1

Semantic Web-based Intelligent Geospatial Web Services

2025-12-12T18:39:12Z

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

Modeling Trust Context in Networks

2025-12-12T18:39:12Z

Author Adali, Sibel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332190.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7031-1
Format: Electronic Resources
Availability Online Library~1

Transportation and Information Trends in Technology and Policy

2025-12-12T18:39:12Z

Author Thakuriah, Piyushimita (Vonu). author. Geers, D. Glenn. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332214.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7129-5
Format: Electronic Resources
Availability Online Library~1

Security for Wireless Implantable Medical Devices

2025-12-12T18:39:12Z

Author Hei, Xiali. author. Du, Xiaojiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332220.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7153-0
Format: Electronic Resources
Availability Online Library~1

A Survey of Core Research in Information Systems

2025-12-12T18:39:12Z

Author Sidorova, Anna. author. Evangelopoulos, Nicholas. author. Torres, Russell. author. Johnson, Vess. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332222.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7158-5
Format: Electronic Resources
Availability Online Library~1

Concepts, Ontologies, and Knowledge Representation

2025-12-12T18:39:12Z

Author Jakus, Grega. author. Milutinović, Veljko. author. Omerović, Sanida. author. Tomažič, Sašo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332353.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7822-5
Format: Electronic Resources
Availability Online Library~1

Studies on Urban Vehicular Ad-hoc Networks

2025-12-12T18:39:12Z

Author Zhu, Hongzi. author. Li, Minglu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332386.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8048-8
Format: Electronic Resources
Availability Online Library~1

Security and Privacy in Mobile Social Networks

2025-12-12T18:39:12Z

Author Liang, Xiaohui. author. Lu, Rongxing. author. Lin, Xiaodong. author. Shen, Xuemin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332451.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8857-6
Format: Electronic Resources
Availability Online Library~1

Resource Management in Utility and Cloud Computing

2025-12-12T18:39:12Z

Author Zhao, Han. author. Li, Xiaolin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332457.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8970-2
Format: Electronic Resources
Availability Online Library~1

Intrusion Detection for IP-Based Multimedia Communications over Wireless Networks

2025-12-12T18:39:12Z

Author Tang, Jin. author. Cheng, Yu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332461.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8996-2
Format: Electronic Resources
Availability Online Library~1

Distributed Hash Table Theory, Platforms and Applications

2025-12-12T18:39:12Z

Author Zhang, Hao. author. Wen, Yonggang. author. Xie, Haiyong. author. Yu, Nenghai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332462.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9008-1
Format: Electronic Resources
Availability Online Library~1

Location Privacy Protection in Mobile Networks

2025-12-12T18:39:12Z

Author Liu, Xinxin. author. Li, Xiaolin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332468.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9074-6
Format: Electronic Resources
Availability Online Library~1

Security Assessment in Vehicular Networks

2025-12-12T18:39:12Z

Author Du, Suguo. author. Zhu, Haojin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332479.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9357-0
Format: Electronic Resources
Availability Online Library~1

Cyber Security Deterrence and IT Protection for Critical Infrastructures

2025-12-12T18:39:12Z

Author Martellini, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332909.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02279-6
Format: Electronic Resources
Availability Online Library~1

Spatio-Temporal Databases Complex Motion Pattern Queries

2025-12-12T18:39:12Z

Author Vieira, Marcos R. author. Tsotras, Vassilis J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332918.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02408-0
Format: Electronic Resources
Availability Online Library~1

Sustainable Wireless Networks

2025-12-12T18:39:12Z

Author Zheng, Zhongming. author. Cai, Lin X. author. Shen, Xuemin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332922.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02469-1
Format: Electronic Resources
Availability Online Library~1

Unsupervised Information Extraction by Text Segmentation

2025-12-12T18:39:12Z

Author Cortez, Eli. author. Silva, Altigran S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332930.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02597-1
Format: Electronic Resources
Availability Online Library~1

Digital Legacy and Interaction Post-Mortem Issues

2025-12-12T18:39:12Z

Author Maciel, Cristiano. editor. Pereira, Vinícius Carvalho. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332882.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01631-3
Format: Electronic Resources
Availability Online Library~1

Belief Revision in Non-Classical Logics

2025-12-12T18:39:12Z

Author Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330925.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: Electronic Resources
Availability Online Library~1

Social Media Retrieval

2025-12-12T18:39:12Z

Author Ramzan, Naeem. editor. Zwol, Roelof. editor. Lee, Jong-Seok. editor. Clüver, Kai. editor. Hua, Xian-Sheng. editor.
Preferred Shelf Number ONLINE(331009.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4555-4
Format: Electronic Resources
Availability Online Library~1

Guide to Modeling and Simulation of Systems of Systems User’s Reference

2025-12-12T18:39:12Z

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

Guide to Cloud Computing Principles and Practice

2025-12-12T18:39:12Z

Author Hill, Richard. author. Hirsch, Laurie. author. Lake, Peter. author. Moshiri, Siavash. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331022.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4603-2
Format: Electronic Resources
Availability Online Library~1

Time-of-Flight Cameras Principles, Methods and Applications

2025-12-12T18:39:12Z

Author Hansard, Miles. author. Lee, Seungkyu. author. Choi, Ouk. author. Horaud, Radu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331036.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4658-2
Format: Electronic Resources
Availability Online Library~1

Motion History Images for Action Recognition and Understanding

2025-12-12T18:39:12Z

Author Ahad, Md. Atiqur Rahman. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331046.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4730-5
Format: Electronic Resources
Availability Online Library~1

User Modeling and Adaptation for Daily Routines Providing Assistance to People with Special Needs

2025-12-12T18:39:12Z

Author Martín, Estefanía. editor. Haya, Pablo A. editor. Carro, Rosa M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331054.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4778-7
Format: Electronic Resources
Availability Online Library~1

Data Mining in Large Sets of Complex Data

2025-12-12T18:39:12Z

Author Cordeiro, Robson L. F. author. Faloutsos, Christos. author. Traina Júnior, Caetano. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331088.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4890-6
Format: Electronic Resources
Availability Online Library~1

Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation

2025-12-12T18:39:12Z

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

Guide to Voice and Video over IP For Fixed and Mobile Networks

2025-12-12T18:39:12Z

Author Sun, Lingfen. author. Mkwawa, Is-Haka. author. Jammeh, Emmanuel. author. Ifeachor, Emmanuel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331093.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4905-7
Format: Electronic Resources
Availability Online Library~1

Efficient Algorithms for Discrete Wavelet Transform With Applications to Denoising and Fuzzy Inference Systems

2025-12-12T18:39:12Z

Author Shukla, K. K. author. Tiwari, Arvind K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331104.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4941-5
Format: Electronic Resources
Availability Online Library~1

Omnidirectional Vision Systems Calibration, Feature Extraction and 3D Information

2025-12-12T18:39:12Z

Author Puig, Luis. author. Guerrero, J.J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331106.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4947-7
Format: Electronic Resources
Availability Online Library~1

Introduction to Image Processing Using R Learning by Examples

2025-12-12T18:39:12Z

Author Frery, Alejandro C. author. Perciano, Talita. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331107.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4950-7
Format: Electronic Resources
Availability Online Library~1

Ethical and Social Issues in the Information Age

2025-12-12T18:39:12Z

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

Computational Intelligence A Methodological Introduction

2025-12-12T18:39:12Z

Author Kruse, Rudolf. author. Borgelt, Christian. author. Klawonn, Frank. author. Moewes, Christian. author. Steinbrecher, Matthias. author.
Preferred Shelf Number ONLINE(331117.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5013-8
Format: Electronic Resources
Availability Online Library~1

Explaining Algorithms Using Metaphors

2025-12-12T18:39:12Z

Author Forišek, Michal. author. Steinová, Monika. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331118.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5019-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering Frameworks for the Cloud Computing Paradigm

2025-12-12T18:39:12Z

Author Mahmood, Zaigham. editor. Saeed, Saqib. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331122.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5031-2
Format: Electronic Resources
Availability Online Library~1

Modeling and Simulating Command and Control For Organizations Under Extreme Situations

2025-12-12T18:39:12Z

Author Moon, Il-Chul. author. Carley, Kathleen M. author. Kim, Tag Gon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331124.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5037-4
Format: Electronic Resources
Availability Online Library~1

From Fault Classification to Fault Tolerance for Multi-Agent Systems

2025-12-12T18:39:12Z

Author Potiron, Katia. author. El Fallah Seghrouchni, Amal. author. Taillibert, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331127.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5046-6
Format: Electronic Resources
Availability Online Library~1

A Multimodal End-2-End Approach to Accessible Computing

2025-12-12T18:39:12Z

Author Biswas, Pradipta. editor. Duarte, Carlos. editor. Langdon, Patrick. editor. Almeida, Luis. editor. Jung, Christoph. editor.
Preferred Shelf Number ONLINE(331138.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5082-4
Format: Electronic Resources
Availability Online Library~1

Rapid Serial Visual Presentation Design for Cognition

2025-12-12T18:39:12Z

Author Spence, Robert. author. Witkowski, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331139.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5085-5
Format: Electronic Resources
Availability Online Library~1

Cloud Computing Methods and Practical Approaches

2025-12-12T18:39:12Z

Author Mahmood, Zaigham. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331146.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5107-4
Format: Electronic Resources
Availability Online Library~1

Graph-Based Clustering and Data Visualization Algorithms

2025-12-12T18:39:12Z

Author Vathy-Fogarassy, Ágnes. author. Abonyi, János. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331160.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5158-6
Format: Electronic Resources
Availability Online Library~1

Next-Generation Wireless Technologies 4G and Beyond

2025-12-12T18:39:12Z

Author Chilamkurti, Naveen. editor. Zeadally, Sherali. editor. Chaouchi, Hakima. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331162.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5164-7
Format: Electronic Resources
Availability Online Library~1

Annual Dynamics of Daylight Variability and Contrast A Simulation-Based Approach to Quantifying Visual Effects in Architecture

2025-12-12T18:39:12Z

Author Rockcastle, Siobhan. author. Andersen, Marilyne. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331178.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5233-0
Format: Electronic Resources
Availability Online Library~1

Traffic Measurement on the Internet

2025-12-12T18:39:12Z

Author Li, Tao. author. Chen, Shigang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331602.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4851-8
Format: Electronic Resources
Availability Online Library~1

Mobile Authentication Problems and Solutions

2025-12-12T18:39:12Z

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

Dynamic Cloud Collaboration Platform A Market-Oriented Approach

2025-12-12T18:39:12Z

Author Hassan, Mohammad Mehedi. author. Huh, Eui-Nam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331690.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5146-4
Format: Electronic Resources
Availability Online Library~1

Sustainable Web Ecosystem Design

2025-12-12T18:39:12Z

Author O'Toole, Greg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332331.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7714-3
Format: Electronic Resources
Availability Online Library~1

Android Malware

2025-12-12T18:39:12Z

Author Jiang, Xuxian. author. Zhou, Yajin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332276.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7394-7
Format: Electronic Resources
Availability Online Library~1

Wireless Virtualization

2025-12-12T18:39:12Z

Author Wen, Heming. author. Tiwary, Prabhat Kumar. author. Le-Ngoc, Tho. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332854.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01291-9
Format: Electronic Resources
Availability Online Library~1

Secure IP Mobility Management for VANET

2025-12-12T18:39:12Z

Author Taha, Sanaa. author. Shen, Xuemin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332861.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01351-0
Format: Electronic Resources
Availability Online Library~1

A Brief History of Cryptology and Cryptographic Algorithms

2025-12-12T18:39:12Z

Author Dooley, John F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332881.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01628-3
Format: Electronic Resources
Availability Online Library~1

Social Media Audit Measure for Impact

2025-12-12T18:39:12Z

Author Gattiker, Urs E. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331356.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3603-4
Format: Electronic Resources
Availability Online Library~1

Energy-aware Scheduling on Multiprocessor Platforms

2025-12-12T18:39:12Z

Author Li, Dawei. author. Wu, Jie. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331714.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5224-9
Format: Electronic Resources
Availability Online Library~1

RFID as an Infrastructure

2025-12-12T18:39:12Z

Author Qiao, Yan. author. Chen, Shigang. author. Li, Tao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331716.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5230-0
Format: Electronic Resources
Availability Online Library~1

Fast Compact Algorithms and Software for Spline Smoothing

2025-12-12T18:39:12Z

Author Weinert, Howard L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331788.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5496-0
Format: Electronic Resources
Availability Online Library~1

Distributed Space-Time Coding

2025-12-12T18:39:12Z

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

Cooperative Networking in a Heterogeneous Wireless Medium

2025-12-12T18:39:12Z

Author Ismail, Muhammad. author. Zhuang, Weihua. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332201.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7079-3
Format: Electronic Resources
Availability Online Library~1

Cognitive Virtual Network Operator Games

2025-12-12T18:39:12Z

Author Duan, Lingjie. author. Huang, Jianwei. author. Shou, Biying. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332454.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8890-3
Format: Electronic Resources
Availability Online Library~1

4G Femtocells Resource Allocation and Interference Management

2025-12-12T18:39:12Z

Author Zhang, Haijun. author. Chu, Xiaoli. author. Wen, Xiangming. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332469.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9080-7
Format: Electronic Resources
Availability Online Library~1

Network Robustness under Large-Scale Attacks

2025-12-12T18:39:12Z

Author Zhou, Qing. author. Gao, Long. author. Liu, Ruifang. author. Cui, Shuguang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331604.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4860-0
Format: Electronic Resources
Availability Online Library~1

Data security, data mining and data management : technologies and challenges

2025-12-12T18:39:12Z

Author O'Byrne, Serge, 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=570680
Format: Electronic Resources
Availability Online Library~1

Social Robotics 5th International Conference, ICSR 2013, Bristol, UK, October 27-29, 2013, Proceedings

2025-12-12T18:39:12Z

Author Herrmann, Guido. editor. Pearson, Martin J. editor. Lenz, Alexander. editor. Bremner, Paul. editor. Spiers, Adam. editor.
Preferred Shelf Number ONLINE(332935.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02675-6
Format: Electronic Resources
Availability Online Library~1

Process Support and Knowledge Representation in Health Care AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013, Revised Selected Papers

2025-12-12T18:39:12Z

Author Riaño, David. editor. Lenz, Richard. editor. Miksch, Silvia. editor. Peleg, Mor. editor. Reichert, Manfred. editor.
Preferred Shelf Number ONLINE(333006.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03916-9
Format: Electronic Resources
Availability Online Library~1

Critical Information Infrastructures Security 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers

2025-12-12T18:39:12Z

Author Luiijf, Eric. editor. Hartel, Pieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333008.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03964-0
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers

2025-12-12T18:39:12Z

Author Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Preferred Shelf Number ONLINE(333011.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03998-5
Format: Electronic Resources
Availability Online Library~1

Interactive Storytelling 6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings

2025-12-12T18:39:12Z

Author Koenitz, Hartmut. editor. Sezen, Tonguc Ibrahim. editor. Ferri, Gabriele. editor. Haahr, Mads. editor. Sezen, Digdem. editor.
Preferred Shelf Number ONLINE(332944.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02756-2
Format: Electronic Resources
Availability Online Library~1

Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings

2025-12-12T18:39:12Z

Author Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332947.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02786-9
Format: Electronic Resources
Availability Online Library~1

Advanced Concepts for Intelligent Vision Systems 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013. Proceedings

2025-12-12T18:39:12Z

Author Blanc-Talon, Jacques. editor. Kasinski, Andrzej. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.
Preferred Shelf Number ONLINE(332953.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02895-8
Format: Electronic Resources
Availability Online Library~1

Cryptology and Network Security 12th International Conference, CANS 2013, Paraty, Brazil, November 20-22. 2013. Proceedings

2025-12-12T18:39:12Z

Author Abdalla, Michel. editor. Nita-Rotaru, Cristina. editor. Dahab, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332957.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02937-5
Format: Electronic Resources
Availability Online Library~1

Advances in Visual Informatics Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings

2025-12-12T18:39:12Z

Author Zaman, Halimah Badioze. editor. Robinson, Peter. editor. Olivier, Patrick. editor. Shih, Timothy K. editor. Velastin, Sergio. editor.
Preferred Shelf Number ONLINE(332958.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02958-0
Format: Electronic Resources
Availability Online Library~1

Biometric Recognition 8th Chinese Conference, CCBR 2013, Jinan, China, November 16-17, 2013. Proceedings

2025-12-12T18:39:12Z

Author Sun, Zhenan. editor. Shan, Shiguan. editor. Yang, Gongping. editor. Zhou, Jie. editor. Wang, Yunhong. editor.
Preferred Shelf Number ONLINE(332959.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02961-0
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2025-12-12T18:39:12Z

Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332962.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

2025-12-12T18:39:12Z

Author Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332892.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01928-4
Format: Electronic Resources
Availability Online Library~1

Multimodal Brain Image Analysis Third International Workshop, MBIA 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings

2025-12-12T18:39:12Z

Author Shen, Li. editor. Liu, Tianming. editor. Yap, Pew-Thian. editor. Huang, Heng. editor. Shen, Dinggang. editor.
Preferred Shelf Number ONLINE(332901.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02126-3
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

2025-12-12T18:39:12Z

Author Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.
Preferred Shelf Number ONLINE(332964.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03089-0
Format: Electronic Resources
Availability Online Library~1

Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

2025-12-12T18:39:12Z

Author Nugent, Christopher. editor. Coronato, Antonio. editor. Bravo, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332965.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03092-0
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

2025-12-12T18:39:12Z

Author Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333558.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32341-6
Format: Electronic Resources
Availability Online Library~1

Agents and Data Mining Interaction 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers

2025-12-12T18:39:12Z

Author Cao, Longbing. editor. Zeng, Yifeng. editor. Symeonidis, Andreas L. editor. Gorodetsky, Vladimir I. editor. Yu, Philip S. editor.
Preferred Shelf Number ONLINE(334167.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36288-0
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

2025-12-12T18:39:12Z

Author Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334174.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36315-3
Format: Electronic Resources
Availability Online Library~1

Detection of Intrusions and Malware, and Vulnerability Assessment 9th International Conference, DIMVA 2012, Heraklion, Crete, Greece, July 26-27, 2012, Revised Selected Papers

2025-12-12T18:39:12Z

Author Flegel, Ulrich. editor. Markatos, Evangelos. editor. Robertson, William. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334403.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37300-8
Format: Electronic Resources
Availability Online Library~1

Knowledge Engineering, Machine Learning and Lattice Computing with Applications 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers

2025-12-12T18:39:12Z

Author Graña, Manuel. editor. Toro, Carlos. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334409.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37343-5
Format: Electronic Resources
Availability Online Library~1

Your Virtual Butler The Making-of

2025-12-12T18:39:12Z

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

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

2025-12-12T18:39:12Z

Author Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334327.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36946-9
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers

2025-12-12T18:39:12Z

Author Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Preferred Shelf Number ONLINE(334328.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36949-0
Format: Electronic Resources
Availability Online Library~1

Web and Wireless Geographical Information Systems 12th International Symposium, W2GIS 2013, Banff, AB, Canada, April 4-5, 2013. Proceedings

2025-12-12T18:39:12Z

Author Liang, Steve H. L. editor. Wang, Xin. editor. Claramunt, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334361.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37087-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing for Sustainable Energy and Environment Second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised Selected Papers

2025-12-12T18:39:12Z

Author Li, Kang. editor. Li, Shaoyuan. editor. Li, Dewei. editor. Niu, Qun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334362.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37105-9
Format: Electronic Resources
Availability Online Library~1

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers

2025-12-12T18:39:12Z

Author Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334425.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37419-7
Format: Electronic Resources
Availability Online Library~1

Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers

2025-12-12T18:39:12Z

Author Garcia-Alfaro, Joaquin. editor. Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. Miri, Ali. editor. Tawbi, Nadia. editor.
Preferred Shelf Number ONLINE(334365.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37119-6
Format: Electronic Resources
Availability Online Library~1

Databases in Networked Information Systems 8th International Workshop, DNIS 2013, Aizu-Wakamatsu, Japan, March 25-27, 2013. Proceedings

2025-12-12T18:39:12Z

Author Madaan, Aastha. editor. Kikuchi, Shinji. editor. Bhalla, Subhash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334368.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37134-9
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings

2025-12-12T18:39:12Z

Author Purshouse, Robin C. editor. Fleming, Peter J. editor. Fonseca, Carlos M. editor. Greco, Salvatore. editor. Shaw, Jane. editor.
Preferred Shelf Number ONLINE(334370.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37140-0
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 17th Pacific-Asia Conference, PAKDD 2013, Gold Coast, Australia, April 14-17, 2013, Proceedings, Part II

2025-12-12T18:39:12Z

Author Pei, Jian. editor. Tseng, Vincent S. editor. Cao, Longbing. editor. Motoda, Hiroshi. editor. Xu, Guandong. editor.
Preferred Shelf Number ONLINE(334434.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37456-2
Format: Electronic Resources
Availability Online Library~1

Persuasive Technology 8th International Conference, PERSUASIVE 2013, Sydney, NSW, Australia, April 3-5, 2013. Proceedings

2025-12-12T18:39:12Z

Author Berkovsky, Shlomo. editor. Freyne, Jill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334374.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37157-8
Format: Electronic Resources
Availability Online Library~1

Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part I

2025-12-12T18:39:12Z

Author Meng, Weiyi. editor. Feng, Ling. editor. Bressan, Stéphane. editor. Winiwarter, Werner. editor. Song, Wei. editor.
Preferred Shelf Number ONLINE(334440.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37487-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems VIII Special Issue on Advances in Data Warehousing and Knowledge Discovery

2025-12-12T18:39:12Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Cuzzocrea, Alfredo. editor. Dayal, Umeshwar. editor.
Preferred Shelf Number ONLINE(334455.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37574-3
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

2025-12-12T18:39:12Z

Author Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334465.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37635-1
Format: Electronic Resources
Availability Online Library~1

Programming Logics Essays in Memory of Harald Ganzinger

2025-12-12T18:39:12Z

Author Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334468.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37651-1
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

2025-12-12T18:39:12Z

Author Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334469.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37658-0
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology – ICISC 2012 15th International Conference, Seoul, Korea, November 28-30, 2012, Revised Selected Papers

2025-12-12T18:39:12Z

Author Kwon, Taekyoung. editor. Lee, Mun-Kyu. editor. Kwon, Daesung. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334470.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37682-5
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions, and Norms in Agent Systems VIII 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

2025-12-12T18:39:12Z

Author Aldewereld, Huib. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334477.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37756-3
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part II

2025-12-12T18:39:12Z

Author Batyrshin, Ildar. editor. Mendoza, Miguel González. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334483.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37798-3
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2025-12-12T18:39:12Z

Author Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334610.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38493-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence X

2025-12-12T18:39:12Z

Author Nguyen, Ngoc-Thanh. editor. Kołodziej, Joanna. editor. Burczyński, Tadeusz. editor. Biba, Marenglen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334611.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38496-7
Format: Electronic Resources
Availability Online Library~1

Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings

2025-12-12T18:39:12Z

Author Blesa, María J. editor. Blum, Christian. editor. Festa, Paola. editor. Roli, Andrea. editor. Sampels, Michael. editor.
Preferred Shelf Number ONLINE(334612.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38516-2
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology 8th International Conference, Inscrypt 2012, Beijing, China, November 28-30, 2012, Revised Selected Papers

2025-12-12T18:39:12Z

Author Kutyłowski, Mirosław. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334613.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38519-3
Format: Electronic Resources
Availability Online Library~1

Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings

2025-12-12T18:39:12Z

Author Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334615.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38527-8
Format: Electronic Resources
Availability Online Library~1

Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings

2025-12-12T18:39:12Z

Author Cavallaro, Lorenzo. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334616.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38530-8
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2025-12-12T18:39:12Z

Author Dowling, Jim. editor. Taïani, François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334618.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38541-4
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology – AFRICACRYPT 2013 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings

2025-12-12T18:39:12Z

Author Youssef, Amr. editor. Nitaj, Abderrahmane. editor. Hassanien, Aboul Ella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334620.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38553-7
Format: Electronic Resources
Availability Online Library~1

Multimedia Communications, Services and Security 6th International Conference, MCSS 2013, Krakow, Poland, June 6-7, 2013. Proceedings

2025-12-12T18:39:12Z

Author Dziech, Andrzej. editor. Czyżewski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334621.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38559-9
Format: Electronic Resources
Availability Online Library~1

Web-Age Information Management 14th International Conference, WAIM 2013, Beidaihe, China, June 14-16, 2013. Proceedings

2025-12-12T18:39:12Z

Author Wang, Jianyong. editor. Xiong, Hui. editor. Ishikawa, Yoshiharu. editor. Xu, Jianliang. editor. Zhou, Junfeng. editor.
Preferred Shelf Number ONLINE(334622.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38562-9
Format: Electronic Resources
Availability Online Library~1

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

2025-12-12T18:39:12Z

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

Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings

2025-12-12T18:39:12Z

Author Ali, Moonis. editor. Bosse, Tibor. editor. Hindriks, Koen V. editor. Hoogendoorn, Mark. editor. Jonker, Catholijn M. editor.
Preferred Shelf Number ONLINE(334627.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38577-3
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2025-12-12T18:39:12Z

Author Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334630.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38592-6
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

2025-12-12T18:39:12Z

Author Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334631.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38601-5
Format: Electronic Resources
Availability Online Library~1

Business Process Models. Change Management

2025-12-12T18:39:12Z

Author Gerth, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334632.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38604-6
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II

2025-12-12T18:39:12Z

Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number ONLINE(334633.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38610-7
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

2025-12-12T18:39:12Z

Author Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334634.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38613-8
Format: Electronic Resources
Availability Online Library~1

Post-Quantum Cryptography 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013. Proceedings

2025-12-12T18:39:12Z

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

Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II

2025-12-12T18:39:12Z

Author Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334636.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38622-0
Format: Electronic Resources
Availability Online Library~1