Search Results for Analysis. - Narrowed by: Computer science.

Outlier Analysis

2025-01-03T17:53:05Z

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

Numerical Analysis

2025-01-03T17:53:05Z

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

Intelligent Audio Analysis

2025-01-03T17:53:05Z

Author Schuller, Björn W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334297.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36806-6
Format: Electronic Resources
Availability Online Library~1

Speech Spectrum Analysis

2025-01-03T17:53:05Z

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

Fault Analysis in Cryptography

2025-01-03T17:53:05Z

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

Analysis of Rare Categories

2025-01-03T17:53:05Z

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

Network Analysis Methodological Foundations

2025-01-03T17:53:05Z

Author Brandes, Ulrik. editor. Erlebach, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106453
Format: Electronic Resources
Availability Online Library~1

Frontiers of Numerical Analysis

2025-01-03T17:53:05Z

Author Blowey, James F. editor. Craig, Alan W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28884-8
Format: Electronic Resources
Availability Online Library~1

Shearlets Multiscale Analysis for Multivariate Data

2025-01-03T17:53:05Z

Author Kutyniok, Gitta. editor. Labate, Demetrio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-8316-0
Format: Electronic Resources
Availability Online Library~1

Data Analysis and Decision Support

2025-01-03T17:53:05Z

Author Baier, Daniel. editor. Decker, Reinhold. editor. Schmidt-Thieme, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28397-8
Format: Electronic Resources
Availability Online Library~1

Imaging Spectroscopy for Scene Analysis

2025-01-03T17:53:05Z

Author Robles-Kelly, Antonio. author. Huynh, Cong Phuoc. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331035.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4652-0
Format: Electronic Resources
Availability Online Library~1

Sentiment Analysis for PTSD Signals

2025-01-03T17:53:05Z

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

Performance Analysis of Computer Networks

2025-01-03T17:53:05Z

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

Compiler Design Syntactic and Semantic Analysis

2025-01-03T17:53:05Z

Author Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333076.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-17540-4
Format: Electronic Resources
Availability Online Library~1

Similarity-Based Pattern Analysis and Recognition

2025-01-03T17:53:05Z

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

Multiscale Signal Analysis and Modeling

2025-01-03T17:53:05Z

Author Shen, Xiaoping. editor. Zayed, Ahmed I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331437.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4145-8
Format: Electronic Resources
Availability Online Library~1

Coding Interviews Questions, Analysis & Solutions

2025-01-03T17:53:05Z

Author He, Harry. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-4762-3
Format: Electronic Resources
Availability Online Library~1

Numerical Analysis of Multiscale Problems

2025-01-03T17:53:05Z

Author Graham, Ivan G. editor. Hou, Thomas Y. editor. Lakkis, Omar. editor. Scheichl, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22061-6
Format: Electronic Resources
Availability Online Library~1

Stochastic Reachability Analysis of Hybrid Systems

2025-01-03T17:53:05Z

Author Bujorianu, Luminita Manuela. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2795-6
Format: Electronic Resources
Availability Online Library~1

3D Imaging, Analysis and Applications

2025-01-03T17:53:05Z

Author Pears, Nick. editor. Liu, Yonghuai. editor. Bunting, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4063-4
Format: Electronic Resources
Availability Online Library~1

Compiler Design Analysis and Transformation

2025-01-03T17:53:05Z

Author Seidl, Helmut. author. Wilhelm, Reinhard. author. Hack, Sebastian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17548-0
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Analysis and Design

2025-01-03T17:53:05Z

Author Ramnath, Sarnath. editor. Dathan, Brahma. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-522-4
Format: Electronic Resources
Availability Online Library~1

Computer Analysis of Human Behavior

2025-01-03T17:53:05Z

Author Salah, Albert Ali. editor. Gevers, Theo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-994-9
Format: Electronic Resources
Availability Online Library~1

Spectral Methods Algorithms, Analysis and Applications

2025-01-03T17:53:05Z

Author Shen, Jie. author. Tang, Tao. author. Wang, Li-Lian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71041-7
Format: Electronic Resources
Availability Online Library~1

Analysis and Design of Advice

2025-01-03T17:53:05Z

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

Model-Based Software Performance Analysis

2025-01-03T17:53:05Z

Author Cortellessa, Vittorio. author. Di Marco, Antinisca. author. Inverardi, Paola. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13621-4
Format: Electronic Resources
Availability Online Library~1

Sensitivity Analysis for Neural Networks

2025-01-03T17:53:05Z

Author Yeung, Daniel S. author. Cloete, Ian. author. Shi, Daming. author. Ng, Wing W. Y. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02532-7
Format: Electronic Resources
Availability Online Library~1

Three-Dimensional Model Analysis and Processing

2025-01-03T17:53:05Z

Author Yu, Faxin. author. Luo, Hao. author. Lu, Zheming. author. Wang, Pinghui. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12651-2
Format: Electronic Resources
Availability Online Library~1

Pro SQL Server 2008 Analysis Services

2025-01-03T17:53:05Z

Author Janus, Philo. author. Fouché, Guy. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1996-5
Format: Electronic Resources
Availability Online Library~1

Ambulation Analysis in Wearable ECG

2025-01-03T17:53:05Z

Author Chaudhuri, Subhasis. author. Pawar, Tanmay D. author. Duttagupta, Siddhartha. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0724-0
Format: Electronic Resources
Availability Online Library~1

Analysis für Informatiker Grundlagen, Methoden, Algorithmen

2025-01-03T17:53:05Z

Author Oberguggenberger, Michael. author. Ostermann, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89823-8
Format: Electronic Resources
Availability Online Library~1

Konkrete Analysis für Studierende der Informatik

2025-01-03T17:53:05Z

Author Bornemann, Folkmar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70854-4
Format: Electronic Resources
Availability Online Library~1

Machine Learning for Multimedia Content Analysis

2025-01-03T17:53:05Z

Author Gong, Yihong. author. Xu, Wei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-69942-4
Format: Electronic Resources
Availability Online Library~1

Vector Analysis for Computer Graphics

2025-01-03T17:53:05Z

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

Exploratory Data Analysis Using Fisher Information

2025-01-03T17:53:05Z

Author Frieden, B. Roy. editor. Gatenby, Robert A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-777-0
Format: Electronic Resources
Availability Online Library~1

Anti-Spam Measures Analysis and Design

2025-01-03T17:53:05Z

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

Asymptotic Analysis and Boundary Layers

2025-01-03T17:53:05Z

Author Cousteix, Jean. author. Mauss, Jacques. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-46489-1
Format: Electronic Resources
Availability Online Library~1

Test and Analysis of Web Services

2025-01-03T17:53:05Z

Author Baresi, Luciano. editor. Nitto, Elisabetta Di. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72912-9
Format: Electronic Resources
Availability Online Library~1

Web Communities Analysis and Construction

2025-01-03T17:53:05Z

Author Zhang, Yanchun. author. Yu, Jeffrey Xu. author. Hou, Jingyu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-27739-0
Format: Electronic Resources
Availability Online Library~1

Mathematik für Informatiker Analysis und Statistik

2025-01-03T17:53:05Z

Author Teschl, Gerald. author. Teschl, Susanne. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28068-5
Format: Electronic Resources
Availability Online Library~1

Performance Analysis of Network Architectures

2025-01-03T17:53:05Z

Author Tutsch, Dietmar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-34310-5
Format: Electronic Resources
Availability Online Library~1

Citation Analysis in Research Evaluation

2025-01-03T17:53:05Z

Author Moed, Henk F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3714-7
Format: Electronic Resources
Availability Online Library~1

Einführung in die Analysis dynamischer Systeme

2025-01-03T17:53:05Z

Author Denker, Manfred. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137966
Format: Electronic Resources
Availability Online Library~1

Analysis für Informatiker Grundlagen, Methoden, Algorithmen

2025-01-03T17:53:05Z

Author Oberguggenberger, Michael. author. Ostermann, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-27564-9
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis Foundations and Applications

2025-01-03T17:53:05Z

Author Ganter, Bernhard. editor. Stumme, Gerd. editor. Wille, Rudolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-31881-1
Format: Electronic Resources
Availability Online Library~1

Computational Genome Analysis An Introduction

2025-01-03T17:53:05Z

Author Deonier, Richard C. author. Waterman, Michael S. author. Tavaré, Simon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28807-4
Format: Electronic Resources
Availability Online Library~1

Computational Analysis of Sound Scenes and Events

2025-01-03T17:53:05Z

Author Virtanen, Tuomas. editor. Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075 Ellis, Dan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63450-0
Format: Electronic Resources
Availability Online Library~1

Indian Mujahideen Computational Analysis and Public Policy

2025-01-03T17:53:05Z

Author Subrahmanian, V.S. author. Mannes, Aaron. author. Roul, Animesh. author. Raghavan, R.K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332949.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02818-7
Format: Electronic Resources
Availability Online Library~1

Automatic Malware Analysis An Emulator Based Approach

2025-01-03T17:53:05Z

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

Behavior Computing Modeling, Analysis, Mining and Decision

2025-01-03T17:53:05Z

Author Cao, Longbing. editor. Yu, Philip S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2969-1
Format: Electronic Resources
Availability Online Library~1

Video Analysis and Repackaging for Distance Education

2025-01-03T17:53:05Z

Author Ram, A. Ranjith. author. Chaudhuri, Subhasis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3837-3
Format: Electronic Resources
Availability Online Library~1

Visual Analysis of Humans Looking at People

2025-01-03T17:53:05Z

Author Moeslund, Thomas B. editor. Hilton, Adrian. editor. Krüger, Volker. editor. Sigal, Leonid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-997-0
Format: Electronic Resources
Availability Online Library~1

Model-Driven Risk Analysis The CORAS Approach

2025-01-03T17:53:05Z

Author Lund, Mass Soldal. author. Solhaug, Bjørnar. author. Stølen, Ketil. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12323-8
Format: Electronic Resources
Availability Online Library~1

Multimedia Multiprocessor Systems Analysis, Design and Management

2025-01-03T17:53:05Z

Author Kumar, Akash. author. Corporaal, Henk. author. Mesman, Bart. author. Ha, Yajun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0083-3
Format: Electronic Resources
Availability Online Library~1

Advances in Machine Learning and Data Analysis

2025-01-03T17:53:05Z

Author Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3177-8
Format: Electronic Resources
Availability Online Library~1

802.11 Wireless Networks Security and Analysis

2025-01-03T17:53:05Z

Author Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-275-9
Format: Electronic Resources
Availability Online Library~1

Markov Random Field Modeling in Image Analysis

2025-01-03T17:53:05Z

Author Li, Stan Z. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-279-1
Format: Electronic Resources
Availability Online Library~1

Robot Behaviour Design, Description, Analysis and Modelling

2025-01-03T17:53:05Z

Author Nehmzow, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-397-2
Format: Electronic Resources
Availability Online Library~1

Mathematik für Informatiker Algebra, Analysis, Diskrete Strukturen

2025-01-03T17:53:05Z

Author Kreußler, Bernd. author. Pfister, Gerhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89107-9
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Algorithms and Data Analysis

2025-01-03T17:53:05Z

Author Ao, Sio-Iong. editor. Rieger, Burghard. editor. Chen, Su-Shing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8919-0
Format: Electronic Resources
Availability Online Library~1

Vulnerability Analysis and Defense for the Internet

2025-01-03T17:53:05Z

Author Singh, Abhishek. editor. Singh, Baibhav. editor. Joseph, Hirosh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-74390-5
Format: Electronic Resources
Availability Online Library~1

Secure Transaction Protocol Analysis Models and Applications

2025-01-03T17:53:05Z

Author Chen, Qingfeng. author. Zhang, Chengqi. author. Zhang, Shichao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85074-8
Format: Electronic Resources
Availability Online Library~1

Nonparametric Functional Data Analysis Theory and Practice

2025-01-03T17:53:05Z

Author Ferraty, Frédéric. author. Vieu, Philippe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-36620-2
Format: Electronic Resources
Availability Online Library~1

Classification and Multivariate Analysis for Complex Data Structures

2025-01-03T17:53:05Z

Author Fichet, Bernard. editor. Piccolo, Domenico. editor. Verde, Rosanna. editor. Vichi, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13312-1
Format: Electronic Resources
Availability Online Library~1

Advances in Data Analysis, Data Handling and Business Intelligence Proceedings of the 32nd Annual Conference of the Gesellschaft für Klassifikation e.V., Joint Conference with the British Classification Society (BCS) and the Dutch/Flemish Classification Society (VOC), Helmut-Schmidt-University, Hamburg, July 16-18, 2008

2025-01-03T17:53:05Z

Author Fink, Andreas. editor. Lausen, Berthold. editor. Seidel, Wilfried. editor. Ultsch, Alfred. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01044-6
Format: Electronic Resources
Availability Online Library~1

Data Analysis, Machine Learning and Applications Proceedings of the 31st Annual Conference of the Gesellschaft für Klassifikation e.V., Albert-Ludwigs-Universität Freiburg, March 7–9, 2007

2025-01-03T17:53:05Z

Author Preisach, Christine. editor. Burkhardt, Hans editor. Schmidt-Thieme, Lars. editor. Decker, Reinhold. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78246-9
Format: Electronic Resources
Availability Online Library~1

Data Analysis, Classification and the Forward Search Proceedings of the Meeting of the Classification and Data Analysis Group (CLADAG) of the Italian Statistical Society, University of Parma, June 6–8, 2005

2025-01-03T17:53:05Z

Author Zani, Sergio. editor. Cerioli, Andrea. editor. Riani, Marco. editor. Vichi, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-35978-8
Format: Electronic Resources
Availability Online Library~1

Improved FMEA Methods for Proactive Healthcare Risk Analysis

2025-01-03T17:53:05Z

Author Liu, Hu-Chen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-6366-5
Format: Electronic Resources
Availability Online Library~1

Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

2025-01-03T17:53:05Z

Author Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04272-1
Format: Electronic Resources
Availability Online Library~1

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

2025-01-03T17:53:05Z

Author Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99725-4
Format: Electronic Resources
Availability Online Library~1

Analysis for Computer Scientists Foundations, Methods, and Algorithms

2025-01-03T17:53:05Z

Author Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651 Ostermann, Alexander. author. (orcid)0000-0003-0194-2481 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91155-7
Format: Electronic Resources
Availability Online Library~1

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2025-01-03T17:53:05Z

Author Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71734-0
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 22nd Iberoamerican Congress, CIARP 2017, Valparaíso, Chile, November 7–10, 2017, Proceedings

2025-01-03T17:53:05Z

Author Mendoza, Marcelo. editor. (orcid)0000-0002-7969-6041 Velastín, Sergio. editor. (orcid)0000-0001-6775-7137 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75193-1
Format: Electronic Resources
Availability Online Library~1

Data Driven Treatment Response Assessment and Preterm, Perinatal, and Paediatric Image Analysis First International Workshop, DATRA 2018 and Third International Workshop, PIPPI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

2025-01-03T17:53:05Z

Author Melbourne, Andrew. editor. Licandro, Roxane. editor. DiFranco, Matthew. editor. Rota, Paolo. editor. Gau, Melanie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00807-9
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

2025-01-03T17:53:05Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89960-2
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

2025-01-03T17:53:05Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89963-3
Format: Electronic Resources
Availability Online Library~1

Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

2025-01-03T17:53:05Z

Author Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74896-2
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2025-01-03T17:53:05Z

Author Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources
Availability Online Library~1

Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings

2025-01-03T17:53:05Z

Author Stoyanov, Danail. editor. Taylor, Zeike. editor. Ferrante, Enzo. editor. (orcid)0000-0002-8500-788X Dalca, Adrian V. editor. (orcid)0000-0002-8422-0136 Martel, Anne. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00689-1
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

2025-01-03T17:53:05Z

Author Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01090-4
Format: Electronic Resources
Availability Online Library~1

Computational Pathology and Ophthalmic Medical Image Analysis First International Workshop, COMPAY 2018, and 5th International Workshop, OMIA 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 - 20, 2018, Proceedings

2025-01-03T17:53:05Z

Author Stoyanov, Danail. editor. Taylor, Zeike. editor. Ciompi, Francesco. editor. (orcid)0000-0001-8327-9606 Xu, Yanwu. editor. (orcid)0000-0002-1779-931X Martel, Anne. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00949-6
Format: Electronic Resources
Availability Online Library~1

Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligence

2025-01-03T17:53:05Z

Author Dey, Nilanjan. editor. Babo, Rosalina. editor. Ashour, Amira S. editor. Bhatnagar, Vishal. editor. Bouhlel, Med Salim. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90059-9
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27–29, 2018, Proceedings

2025-01-03T17:53:05Z

Author Campilho, Aurélio. editor. Karray, Fakhri. editor. (orcid)0000-0002-4217-1372 ter Haar Romeny, Bart. editor. (orcid)0000-0003-3442-3207 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93000-8
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Data Analysis XVII 17th International Symposium, IDA 2018, ’s-Hertogenbosch, The Netherlands, October 24–26, 2018, Proceedings

2025-01-03T17:53:05Z

Author Duivesteijn, Wouter. editor. Siebes, Arno. editor. Ukkonen, Antti. editor. (orcid)0000-0001-6060-1746 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01768-2
Format: Electronic Resources
Availability Online Library~1

Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias

2025-01-03T17:53:05Z

Author Saleh, Hani. author. Bayasi, Nourhan. author. Mohammad, Baker. author. Ismail, Mohammed. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63973-4
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

2025-01-03T17:53:05Z

Author Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11743-0
Format: Electronic Resources
Availability Online Library~1

Registration Methods for Pulmonary Image Analysis Integration of Morphological and Physiological Knowledge

2025-01-03T17:53:05Z

Author Schmidt-Richberg, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-01662-3
Format: Electronic Resources
Availability Online Library~1

Traffic Monitoring and Analysis 6th International Workshop, TMA 2014, London, UK, April 14, 2014, Proceedings

2025-01-03T17:53:05Z

Author Dainotti, Alberto. editor. Mahanti, Anirban. editor. Uhlig, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54999-1
Format: Electronic Resources
Availability Online Library~1

Constraining Designs for Synthesis and Timing Analysis A Practical Guide to Synopsys Design Constraints (SDC)

2025-01-03T17:53:05Z

Author Gangadharan, Sridhar. author. Churiwala, Sanjay. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331327.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3269-2
Format: Electronic Resources
Availability Online Library~1

An ASIC Low Power Primer Analysis, Techniques and Specification

2025-01-03T17:53:05Z

Author Chadha, Rakesh. author. Bhasker, J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331464.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4271-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-01-03T17:53:05Z

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

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

2025-01-03T17:53:05Z

Author Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332921.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02444-8
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

2025-01-03T17:53:05Z

Author Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334580.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38317-5
Format: Electronic Resources
Availability Online Library~1

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

2025-01-03T17:53:05Z

Author Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.
Preferred Shelf Number ONLINE(334682.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38853-8
Format: Electronic Resources
Availability Online Library~1

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

2025-01-03T17:53:05Z

Author Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334683.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38856-9
Format: Electronic Resources
Availability Online Library~1

Image Analysis 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013. Proceedings

2025-01-03T17:53:05Z

Author Kämäräinen, Joni-Kristian. editor. Koskela, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334692.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38886-6
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 10th International Conference, ICIAR 2013, Póvoa do Varzim, Portugal, June 26-28, 2013. Proceedings

2025-01-03T17:53:05Z

Author Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334729.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39094-4
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-01-03T17:53:05Z

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

Bluetooth Security Attacks Comparative Analysis, Attacks, and Countermeasures

2025-01-03T17:53:05Z

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

Data-Driven Process Discovery and Analysis Second IFIP WG 2.6, 2.12 International Symposium, SIMPDA 2012, Campione d’Italia, Italy, June 18-20, 2012, Revised Selected Papers

2025-01-03T17:53:05Z

Author Cudre-Mauroux, Philippe. editor. Ceravolo, Paolo. editor. Gašević, Dragan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335027.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40919-6
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers

2025-01-03T17:53:05Z

Author Atzmueller, Martin. editor. Chin, Alvin. editor. Helic, Denis. editor. Hotho, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335214.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45392-2
Format: Electronic Resources
Availability Online Library~1

Design, Analysis and Test of Logic Circuits Under Uncertainty

2025-01-03T17:53:05Z

Author Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335669.1)
Electronic Access http://dx.doi.org/10.1007/978-90-481-9644-9
Format: Electronic Resources
Availability Online Library~1

Modeling, Analysis and Optimization of Network-on-Chip Communication Architectures

2025-01-03T17:53:05Z

Author Ogras, Umit Y. author. Marculescu, Radu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335726.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-3958-1
Format: Electronic Resources
Availability Online Library~1

The 3rd International Workshop on Intelligent Data Analysis and Management

2025-01-03T17:53:05Z

Author Uden, Lorna. editor. Wang, Leon S.L. editor. Hong, Tzung-Pei. editor. Yang, Hsin-Chang. editor. Ting, I-Hsien. editor.
Preferred Shelf Number ONLINE(336358.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-7293-9
Format: Electronic Resources
Availability Online Library~1

Rigid Finite Element Method in Analysis of Dynamics of Offshore Structures

2025-01-03T17:53:05Z

Author Wittbrodt, Edmund. author. Szczotka, Marek. author. Maczyński, Andrzej. author. Wojciech, Stanisław. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333275.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29886-8
Format: Electronic Resources
Availability Online Library~1

Towards Advanced Data Analysis by Combining Soft Computing and Statistics

2025-01-03T17:53:05Z

Author Borgelt, Christian. editor. Gil, María Ángeles. editor. Sousa, João M.C. editor. Verleysen, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333309.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-30278-7
Format: Electronic Resources
Availability Online Library~1

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

2025-01-03T17:53:05Z

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

Modern Probabilistic Methods for Analysis of Telecommunication Networks Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013. Proceedings

2025-01-03T17:53:05Z

Author Dudin, Alexander. editor. Klimenok, Valentina. editor. Tsarenkov, Gennadiy. editor. Dudin, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334093.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35980-4
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

2025-01-03T17:53:05Z

Author Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334282.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36757-1
Format: Electronic Resources
Availability Online Library~1

Data Traffic Monitoring and Analysis From Measurement, Classification, and Anomaly Detection to Quality of Experience

2025-01-03T17:53:05Z

Author Biersack, Ernst. editor. Callegari, Christian. editor. Matijasevic, Maja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334291.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36784-7
Format: Electronic Resources
Availability Online Library~1

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

2025-01-03T17:53:05Z

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

Constructive Side-Channel Analysis and Secure Design 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers

2025-01-03T17:53:05Z

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

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

2025-01-03T17:53:05Z

Author Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334913.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40229-6
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-01-03T17:53:05Z

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

Advances in Depth Image Analysis and Applications International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers

2025-01-03T17:53:05Z

Author Jiang, Xiaoyi. editor. Bellon, Olga Regina Pereira. editor. Goldgof, Dmitry. editor. Oishi, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334924.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40303-3
Format: Electronic Resources
Availability Online Library~1

Human Work Interaction Design. Work Analysis and HCI Third IFIP WG 13.6 Working Conference, HWID 2012, Copenhagen, Denmark, December 5-6, 2012, Revised Selected Papers

2025-01-03T17:53:05Z

Author Campos, Pedro. editor. Clemmensen, Torkil. editor. Nocera, José Abdelnour. editor. Katre, Dinesh. editor. Lopes, Arminda. editor.
Preferred Shelf Number ONLINE(335062.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41145-8
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013. Proceedings, Part I

2025-01-03T17:53:05Z

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

Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013, Proceedings, Part II

2025-01-03T17:53:05Z

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

New Trends in Image Analysis and Processing – ICIAP 2013 ICIAP 2013 International Workshops, Naples, Italy, September 9-13, 2013. Proceedings

2025-01-03T17:53:05Z

Author Petrosino, Alfredo. editor. Maddalena, Lucia. editor. Pala, Pietro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335071.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41190-8
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Data Analysis XII 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings

2025-01-03T17:53:05Z

Author Tucker, Allan. editor. Höppner, Frank. editor. Siebes, Arno. editor. Swift, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335103.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41398-8
Format: Electronic Resources
Availability Online Library~1

Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers

2025-01-03T17:53:05Z

Author Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335116.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41515-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 I

2025-01-03T17:53:05Z

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

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-01-03T17:53:05Z

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

The Influence of Technology on Social Network Analysis and Mining

2025-01-03T17:53:05Z

Author Özyer, Tansel. editor. Rokne, Jon. editor. Wagner, Gerhard. editor. Reuser, Arno H.P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335316.1)
Electronic Access http://dx.doi.org/10.1007/978-3-7091-1346-2
Format: Electronic Resources
Availability Online Library~1

Decision Forests for Computer Vision and Medical Image Analysis

2025-01-03T17:53:05Z

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

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba

2025-01-03T17:53:05Z

Author Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.
Preferred Shelf Number ONLINE(331582.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4769-6
Format: Electronic Resources
Availability Online Library~1

A Graduate Introduction to Numerical Methods From the Viewpoint of Backward Error Analysis

2025-01-03T17:53:05Z

Author Corless, Robert M. author. Fillion, Nicolas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332417.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8453-0
Format: Electronic Resources
Availability Online Library~1

Modeling, Simulation and Visual Analysis of Crowds A Multidisciplinary Perspective

2025-01-03T17:53:05Z

Author Ali, Saad. editor. Nishino, Ko. editor. Manocha, Dinesh. editor. Shah, Mubarak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332421.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8483-7
Format: Electronic Resources
Availability Online Library~1

The R Software Fundamentals of Programming and Statistical Analysis

2025-01-03T17:53:05Z

Author Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332463.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9020-3
Format: Electronic Resources
Availability Online Library~1

Computational Biology A Practical Introduction to BioData Processing and Analysis with Linux, MySQL, and R

2025-01-03T17:53:05Z

Author Wünschiers, Röbbe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333888.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34749-8
Format: Electronic Resources
Availability Online Library~1

The Monte Carlo Simulation Method for System Reliability and Risk Analysis

2025-01-03T17:53:05Z

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

Finite Element Analysis for Satellite Structures Applications to Their Design, Manufacture and Testing

2025-01-03T17:53:05Z

Author Abdelal, Gasser F. author. Abuelfoutouh, Nader. author. Gad, Ahmed H. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331031.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4637-7
Format: Electronic Resources
Availability Online Library~1

Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis

2025-01-03T17:53:05Z

Author Kjærulff, Uffe B. author. Madsen, Anders L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331677.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5104-4
Format: Electronic Resources
Availability Online Library~1

Semantic Analysis and Understanding of Human Behavior in Video Streaming

2025-01-03T17:53:05Z

Author Amato, Alberto. author. Di Lecce, Vincenzo. author. Piuri, Vincenzo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331786.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5486-1
Format: Electronic Resources
Availability Online Library~1

Anonymization of Electronic Medical Records to Support Clinical Analysis

2025-01-03T17:53:05Z

Author Gkoulalas-Divanis, Aris. author. Loukides, Grigorios. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331833.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5668-1
Format: Electronic Resources
Availability Online Library~1

Productive Multivocality in the Analysis of Group Interactions

2025-01-03T17:53:05Z

Author Suthers, Daniel D. editor. Lund, Kristine. editor. Rosé, Carolyn Penstein. editor. Teplovs, Chris. editor. Law, Nancy. editor.
Preferred Shelf Number ONLINE(332456.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8960-3
Format: Electronic Resources
Availability Online Library~1

Enterprise Architecture at Work Modelling, Communication and Analysis

2025-01-03T17:53:05Z

Author Lankhorst, Marc. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333251.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29651-2
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2025-01-03T17:53:05Z

Author Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334278.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36742-7
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Image Analysis 6th Iberian Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 5-7, 2013. Proceedings

2025-01-03T17:53:05Z

Author Sanches, João M. editor. Micó, Luisa. editor. Cardoso, Jaime S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334637.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38628-2
Format: Electronic Resources
Availability Online Library~1

Targeted Advertising Technologies in the ICT Space A Use Case Driven Analysis

2025-01-03T17:53:05Z

Author Schlee, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335361.1)
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2396-0
Format: Electronic Resources
Availability Online Library~1

Numerical Analysis of Multiscale Computations Proceedings of a Winter Workshop at the Banff International Research Station 2009

2025-01-03T17:53:05Z

Author Engquist, Björn. editor. Runborg, Olof. editor. Tsai, Yen-Hsi R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21943-6
Format: Electronic Resources
Availability Online Library~1

Traffic Monitoring and Analysis 4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012. Proceedings

2025-01-03T17:53:05Z

Author Pescapè, Antonio. editor. Salgarelli, Luca. editor. Dimitropoulos, Xenofontas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28534-9
Format: Electronic Resources
Availability Online Library~1

Impact Analysis of Solutions for Chronic Disease Prevention and Management 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedings

2025-01-03T17:53:05Z

Author Donnelly, Mark. editor. Paggetti, Cristiano. editor. Nugent, Chris. editor. Mokhtari, Mounir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30779-9
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I

2025-01-03T17:53:05Z

Author Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31295-3
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part II

2025-01-03T17:53:05Z

Author Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31298-4
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Data Analysis XI 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012. Proceedings

2025-01-03T17:53:05Z

Author Hollmén, Jaakko. editor. Klawonn, Frank. editor. Tucker, Allan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34156-4
Format: Electronic Resources
Availability Online Library~1

Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings

2025-01-03T17:53:05Z

Author Theis, Fabian. editor. Cichocki, Andrzej. editor. Yeredor, Arie. editor. Zibulevsky, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28551-6
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

2025-01-03T17:53:05Z

Author Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28756-5
Format: Electronic Resources
Availability Online Library~1

Critical Infrastructure Protection Information Infrastructure Models, Analysis, and Defense

2025-01-03T17:53:05Z

Author Lopez, Javier. editor. Setola, Roberto. editor. Wolthusen, Stephen D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28920-0
Format: Electronic Resources
Availability Online Library~1

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

2025-01-03T17:53:05Z

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

Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings

2025-01-03T17:53:05Z

Author Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29892-9
Format: Electronic Resources
Availability Online Library~1

Constructive Side-Channel Analysis and Secure Design Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings

2025-01-03T17:53:05Z

Author Schindler, Werner. editor. Huss, Sorin A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29912-4
Format: Electronic Resources
Availability Online Library~1

Internet Privacy Eine multidisziplinäre Bestandsaufnahme/A multidisciplinary analysis

2025-01-03T17:53:05Z

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

Nonlinear Flow Phenomena and Homotopy Analysis Fluid Flow and Heat Transfer

2025-01-03T17:53:05Z

Author Vajravelu, Kuppalapalle. author. Gorder, Robert A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32102-3
Format: Electronic Resources
Availability Online Library~1

Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

2025-01-03T17:53:05Z

Author Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32495-6
Format: Electronic Resources
Availability Online Library~1

Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

2025-01-03T17:53:05Z

Author Miné, Antoine. editor. Schmidt, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33125-1
Format: Electronic Resources
Availability Online Library~1

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

2025-01-03T17:53:05Z

Author Alvarez, Luis. editor. Mejail, Marta. editor. Gomez, Luis. editor. Jacobo, Julio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33275-3
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings

2025-01-03T17:53:05Z

Author Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33365-1
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

2025-01-03T17:53:05Z

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

Mesh Processing in Medical Image Analysis 2012 MICCAI 2012 International Workshop, MeshMed 2012, Nice, France, October 1, 2012. Proceedings

2025-01-03T17:53:05Z

Author Levine, Joshua A. editor. Paulsen, Rasmus R. editor. Zhang, Yongjie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33463-4
Format: Electronic Resources
Availability Online Library~1

Multimodal Brain Image Analysis Second International Workshop, MBIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1-5, 2012. Proceedings

2025-01-03T17:53:05Z

Author Yap, Pew-Thian. editor. Liu, Tianming. editor. Shen, Dinggang. editor. Westin, Carl-Fredrik. editor. Shen, Li. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33530-3
Format: Electronic Resources
Availability Online Library~1

Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data Second International Workshop, STIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012. Proceedings

2025-01-03T17:53:05Z

Author Durrleman, Stanley. editor. Fletcher, Tom. editor. Gerig, Guido. editor. Niethammer, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33555-6
Format: Electronic Resources
Availability Online Library~1

Data-Driven Process Discovery and Analysis First International Symposium, SIMPDA 2011, Campione d’Italia, Italy, June 29 – July 1, 2011, Revised Selected Papers

2025-01-03T17:53:05Z

Author Aberer, Karl. editor. Damiani, Ernesto. editor. Dillon, Tharam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34044-4
Format: Electronic Resources
Availability Online Library~1

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

2025-01-03T17:53:05Z

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

Data Analytics Models and Algorithms for Intelligent Data Analysis

2025-01-03T17:53:05Z

Author Runkler, Thomas A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2589-6
Format: Electronic Resources
Availability Online Library~1

Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings

2025-01-03T17:53:05Z

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

Guide to Medical Image Analysis Methods and Algorithms

2025-01-03T17:53:05Z

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

Power Distribution and Performance Analysis for Wireless Communication Networks

2025-01-03T17:53:05Z

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

Cryptographic Protocol Security Analysis Based on Trusted Freshness

2025-01-03T17:53:05Z

Author Dong, Ling. author. Chen, Kefei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24073-7
Format: Electronic Resources
Availability Online Library~1

Application Analysis Tools for ASIP Design Application Profiling and Instruction-set Customization

2025-01-03T17:53:05Z

Author Karuri, Kingshuk. author. Leupers, Rainer. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-8255-1
Format: Electronic Resources
Availability Online Library~1

Core Concepts in Data Analysis: Summarization, Correlation and Visualization

2025-01-03T17:53:05Z

Author Mirkin, Boris. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-287-2
Format: Electronic Resources
Availability Online Library~1

Analysis for Computer Scientists Foundations, Methods, and Algorithms

2025-01-03T17:53:05Z

Author Oberguggenberger, Michael. author. Ostermann, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-446-3
Format: Electronic Resources
Availability Online Library~1

Visual Analysis of Behaviour From Pixels to Semantics

2025-01-03T17:53:05Z

Author Gong, Shaogang. author. Xiang, Tao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-670-2
Format: Electronic Resources
Availability Online Library~1

Computational Logic and Set Theory Applying Formalized Logic to Analysis

2025-01-03T17:53:05Z

Author Schwartz, Jacob T. author. Cantone, Domenico. author. Omodeo, Eugenio G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-808-9
Format: Electronic Resources
Availability Online Library~1

Stereo Scene Flow for 3D Motion Analysis

2025-01-03T17:53:05Z

Author Wedel, Andreas. author. Cremers, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-965-9
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2025-01-03T17:53:05Z

Author Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19835-9
Format: Electronic Resources
Availability Online Library~1

Combinatorial Image Analysis 14th International Workshop, IWCIA 2011, Madrid, Spain, May 23-25, 2011. Proceedings

2025-01-03T17:53:05Z

Author Aggarwal, Jake K. editor. Barneva, Reneta P. editor. Brimkov, Valentin E. editor. Koroutchev, Kostadin N. editor. Korutcheva, Elka R. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21073-0
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings, Part I

2025-01-03T17:53:05Z

Author Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21593-3
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings, Part II

2025-01-03T17:53:05Z

Author Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21596-4
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

2025-01-03T17:53:05Z

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

Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures

2025-01-03T17:53:05Z

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

Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

2025-01-03T17:53:05Z

Author Bultan, Tevfik. editor. Hsiung, Pao-Ann. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24372-1
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Data Analysis X 10th International Symposium, IDA 2011, Porto, Portugal, October 29-31, 2011. Proceedings

2025-01-03T17:53:05Z

Author Gama, João. editor. Bradley, Elizabeth. editor. Hollmén, Jaakko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24800-9
Format: Electronic Resources
Availability Online Library~1

Machine Learning for Vision-Based Motion Analysis Theory and Techniques

2025-01-03T17:53:05Z

Author Wang, Liang. editor. Zhao, Guoying. editor. Cheng, Li. editor. Pietikäinen, Matti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-057-1
Format: Electronic Resources
Availability Online Library~1

Analysis and Control of Boolean Networks A Semi-tensor Product Approach

2025-01-03T17:53:05Z

Author Cheng, Daizhan. author. Qi, Hongsheng. author. Li, Zhiqiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-097-7
Format: Electronic Resources
Availability Online Library~1

Prostate Cancer Imaging. Image Analysis and Image-Guided Interventions International Workshop, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 22, 2011. Proceedings

2025-01-03T17:53:05Z

Author Madabhushi, Anant. editor. Dowling, Jason. editor. Huisman, Henkjan. editor. Barratt, Dean. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23944-1
Format: Electronic Resources
Availability Online Library~1

Computer Analysis of Images and Patterns 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part I

2025-01-03T17:53:05Z

Author Real, Pedro. editor. Diaz-Pernil, Daniel. editor. Molina-Abril, Helena. editor. Berciano, Ainhoa. editor. Kropatsch, Walter. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23672-3
Format: Electronic Resources
Availability Online Library~1

Computer Analysis of Images and Patterns 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part II

2025-01-03T17:53:05Z

Author Real, Pedro. editor. Diaz-Pernil, Daniel. editor. Molina-Abril, Helena. editor. Berciano, Ainhoa. editor. Kropatsch, Walter. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23678-5
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

2025-01-03T17:53:05Z

Author Fahrenberg, Uli. editor. Tripakis, Stavros. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24310-3
Format: Electronic Resources
Availability Online Library~1

Photogrammetric Image Analysis ISPRS Conference, PIA 2011, Munich, Germany, October 5-7, 2011. Proceedings

2025-01-03T17:53:05Z

Author Stilla, Uwe. editor. Rottensteiner, Franz. editor. Mayer, Helmut. editor. Jutzi, Boris. editor. Butenuth, Matthias. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24393-6
Format: Electronic Resources
Availability Online Library~1

Multimodal Brain Image Analysis First International Workshop, MBIA 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedings

2025-01-03T17:53:05Z

Author Liu, Tianming. editor. Shen, Dinggang. editor. Ibanez, Luis. editor. Tao, Xiaodong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24446-9
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 16th Iberoamerican Congress, CIARP 2011, Pucón, Chile, November 15-18, 2011. Proceedings

2025-01-03T17:53:05Z

Author San Martin, César. editor. Kim, Sang-Woon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25085-9
Format: Electronic Resources
Availability Online Library~1

Analysis of Verbal and Nonverbal Communication and Enactment. The Processing Issues COST 2102 International Conference, Budapest, Hungary, September 7-10, 2010, Revised Selected Papers

2025-01-03T17:53:05Z

Author Esposito, Anna. editor. Vinciarelli, Alessandro. editor. Vicsi, Klára. editor. Pelachaud, Catherine. editor. Nijholt, Anton. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25775-9
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings

2025-01-03T17:53:05Z

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

Statistical Analysis of Clinical Data on a Pocket Calculator Statistics on a Pocket Calculator

2025-01-03T17:53:05Z

Author Cleophas, Ton J. author. Zwinderman, Aeilko H. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1211-9
Format: Electronic Resources
Availability Online Library~1

Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

2025-01-03T17:53:05Z

Author Cousot, Radhia. editor. Martel, Matthieu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15769-1
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

2025-01-03T17:53:05Z

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

Multicriteria Analysis Applications to Water and Environment Management

2025-01-03T17:53:05Z

Author Zarghami, Mahdi. author. Szidarovszky, Ferenc. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17937-2
Format: Electronic Resources
Availability Online Library~1

Periodic Review Inventory Systems Performance Analysis and Optimization of Inventory Systems within Supply Chains

2025-01-03T17:53:05Z

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

Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings

2025-01-03T17:53:05Z

Author Valtchev, Petko. editor. Jäschke, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20514-9
Format: Electronic Resources
Availability Online Library~1

Image Analysis 17th Scandinavian Conference, SCIA 2011, Ystad, Sweden, May 2011. Proceedings

2025-01-03T17:53:05Z

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

Pattern Recognition and Image Analysis 5th Iberian Conference, IbPRIA 2011, Las Palmas de Gran Canaria, Spain, June 8-10, 2011. Proceedings

2025-01-03T17:53:05Z

Author Vitrià, Jordi. editor. Sanches, João Miguel. editor. Hernández, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21257-4
Format: Electronic Resources
Availability Online Library~1

Knowledge Processing and Data Analysis First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007 and First International Conference, KPP 2007,Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers

2025-01-03T17:53:05Z

Author Wolff, Karl Erich. editor. Palchunov, Dmitry E. editor. Zagoruiko, Nikolay G. editor. Andelfinger, Urs. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22140-8
Format: Electronic Resources
Availability Online Library~1

Analysis of Social Media and Ubiquitous Data International Workshops MSM 2010, Toronto, Canada, June 13, 2010, and MUSE 2010, Barcelona, Spain, September 20, 2010, Revised Selected Papers

2025-01-03T17:53:05Z

Author Atzmueller, Martin. editor. Hotho, Andreas. editor. Strohmaier, Markus. editor. Chin, Alvin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23599-3
Format: Electronic Resources
Availability Online Library~1

Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

2025-01-03T17:53:05Z

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

Analysis and Correctness of Algebraic Graph and Model Transformations

2025-01-03T17:53:05Z

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

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

2025-01-03T17:53:05Z

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

Affective Computing and Sentiment Analysis Emotion, Metaphor and Terminology

2025-01-03T17:53:05Z

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

Traffic Monitoring and Analysis Third International Workshop, TMA 2011, Vienna, Austria, April 27, 2011. Proceedings

2025-01-03T17:53:05Z

Author Domingo-Pascual, Jordi. editor. Shavitt, Yuval. editor. Uhlig, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20305-3
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Processing – ICIAP 2011 16th International Conference, Ravenna, Italy, September 14-16, 2011, Proceedings, Part I

2025-01-03T17:53:05Z

Author Maino, Giuseppe. editor. Foresti, Gian Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24085-0
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Processing – ICIAP 2011 16th International Conference, Ravenna, Italy, September 14-16, 2011, Proceedings, Part II

2025-01-03T17:53:05Z

Author Maino, Giuseppe. editor. Foresti, Gian Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24088-1
Format: Electronic Resources
Availability Online Library~1

Computational Social Network Analysis Trends, Tools and Research Advances

2025-01-03T17:53:05Z

Author Abraham, Ajith. editor. Hassanien, Aboul-Ella. editor. Sná¿el, Vaclav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-229-0
Format: Electronic Resources
Availability Online Library~1

Guide to Intelligent Data Analysis How to Intelligently Make Sense of Real Data

2025-01-03T17:53:05Z

Author Berthold, Michael R. author. Borgelt, Christian. author. Höppner, Frank. author. Klawonn, Frank. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-260-3
Format: Electronic Resources
Availability Online Library~1

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics

2025-01-03T17:53:05Z

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

Advances in Social Network Mining and Analysis Second International Workshop, SNAKDD 2008, Las Vegas, NV, USA, August 24-27, 2008

2025-01-03T17:53:05Z

Author Giles, Lee. editor. Smith, Marc. editor. Yen, John. editor. Zhang, Haizheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14929-0
Format: Electronic Resources
Availability Online Library~1

Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS Workshop, AMEC 2008, Estoril, Portugal, May 12-16, 2008, and AAAI Workshop, TADA 2008, Chicago, IL, USA, July 14, 2008, Revised Selected Papers

2025-01-03T17:53:05Z

Author Ketter, Wolfgang. editor. Poutré, Han. editor. Sadeh, Norman. editor. Shehory, Onn. editor. Walsh, William. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15237-5
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

2025-01-03T17:53:05Z

Author Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15297-9
Format: Electronic Resources
Availability Online Library~1

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers

2025-01-03T17:53:05Z

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

Performance Analysis and Optimization of Multi-Traffic on Communication Networks

2025-01-03T17:53:05Z

Author Ponomarenko, Leonid. author. Kim, Che Soong. author. Melikov, Agassi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15458-4
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

2025-01-03T17:53:05Z

Author Bouajjani, Ahmed. editor. Chin, Wei-Ngan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15643-4
Format: Electronic Resources
Availability Online Library~1

Latent Variable Analysis and Signal Separation 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings

2025-01-03T17:53:05Z

Author Vigneron, Vincent. editor. Zarzoso, Vicente. editor. Moreau, Eric. editor. Gribonval, Rémi. editor. Vincent, Emmanuel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15995-4
Format: Electronic Resources
Availability Online Library~1

iOS Forensic Analysis for iPhone, iPad, and iPod touch

2025-01-03T17:53:05Z

Author Morrissey, Sean. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3343-5
Format: Electronic Resources
Availability Online Library~1

Experimental Methods for the Analysis of Optimization Algorithms

2025-01-03T17:53:05Z

Author Bartz-Beielstein, Thomas. editor. Chiarandini, Marco. editor. Paquete, Luís. editor. Preuss, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02538-9
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Data Analysis IX 9th International Symposium, IDA 2010, Tucson, AZ, USA, May 19-21, 2010. Proceedings

2025-01-03T17:53:05Z

Author Cohen, Paul R. editor. Adams, Niall M. editor. Berthold, Michael R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13062-5
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010, Sao Paulo, Brazil, November 8-11, 2010. Proceedings

2025-01-03T17:53:05Z

Author Bloch, Isabelle. editor. Cesar, Roberto M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16687-7
Format: Electronic Resources
Availability Online Library~1

Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday

2025-01-03T17:53:05Z

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

A Guide to Empirical Orthogonal Functions for Climate Data Analysis

2025-01-03T17:53:05Z

Author Navarra, Antonio. author. Simoncini, Valeria. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3702-2
Format: Electronic Resources
Availability Online Library~1

Scientific Data Analysis using Jython Scripting and Java

2025-01-03T17:53:05Z

Author Chekanov, Sergei V. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-287-2
Format: Electronic Resources
Availability Online Library~1

Discrete Calculus Applied Analysis on Graphs for Computational Science

2025-01-03T17:53:05Z

Author Grady, Leo J. author. Polimeni, Jonathan R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-290-2
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings

2025-01-03T17:53:05Z

Author Kwuida, Léonard. editor. Sertkaya, Barış. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11928-6
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2025-01-03T17:53:05Z

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

Traffic Monitoring and Analysis Second International Workshop, TMA 2010, Zurich, Switzerland, April 7, 2010.Proceedings

2025-01-03T17:53:05Z

Author Ricciato, Fabio. editor. Mellia, Marco. editor. Biersack, Ernst. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12365-8
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 7th International Conference, ICIAR 2010, Póvoa de Varzim, Portugal, June 21-23, 2010. Proceedings, Part I

2025-01-03T17:53:05Z

Author Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13772-3
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 7th International Conference, ICIAR 2010, Póvoa de Varzin, Portugal, June 21-23, 2010, Proceedings, Part II

2025-01-03T17:53:05Z

Author Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13775-4
Format: Electronic Resources
Availability Online Library~1

Operational risk management a practical approach to intelligent data analysis

2025-01-03T17:53:05Z

Author Kenett, Ron. Raanan, Yossi.
Preferred Shelf Number ONLINE(318959.1)
Electronic Access Access restricted to McGill users Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=589233 ebrary http://site.ebrary.com/id/10412605 EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702 John Wiley http://dx.doi.org/10.1002/9780470972571
Format: Electronic Resources
Availability Online Library~1

Scheduling in Distributed Computing Systems Analysis, Design and Models

2025-01-03T17:53:05Z

Author Vidyarthi, Deo Prakash. author. Sarker, Biplab Kumer. author. Tripathi, Anil Kumar. author. Yang, Laurence Tianruo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-74483-4
Format: Electronic Resources
Availability Online Library~1

Biometric System and Data Analysis Design, Evaluation, and Data Mining

2025-01-03T17:53:05Z

Author Dunstone, Ted. editor. Yager, Neil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-77627-9
Format: Electronic Resources
Availability Online Library~1

Software Verification and Analysis An Integrated, Hands-On Approach

2025-01-03T17:53:05Z

Author Stanley, William. author. Laski, Janusz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-240-5
Format: Electronic Resources
Availability Online Library~1

Statistical Learning and Pattern Analysis for Image and Video Processing

2025-01-03T17:53:05Z

Author Zheng, Nanning. author. Xue, Jianru. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-312-9
Format: Electronic Resources
Availability Online Library~1

Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers

2025-01-03T17:53:05Z

Author Collins, John. editor. Faratin, Peyman. editor. Parsons, Simon. editor. Rodriguez-Aguilar, Juan A. editor. Sadeh, Norman M. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88713-3
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2025-01-03T17:53:05Z

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

Independent Component Analysis and Signal Separation 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings

2025-01-03T17:53:05Z

Author Adali, Tülay. editor. Jutten, Christian. editor. Romano, João Marcos Travassos. editor. Barros, Allan Kardec. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00599-2
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

2025-01-03T17:53:05Z

Author Ferré, Sébastien. editor. Rudolph, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01815-2
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 6th International Conference, ICIAR 2009, Halifax, Canada, July 6-8, 2009. Proceedings

2025-01-03T17:53:05Z

Author Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02611-9
Format: Electronic Resources
Availability Online Library~1

Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions COST Action 2102 International Conference Prague, Czech Republic, October 15-18, 2008 Revised Selected and Invited Papers

2025-01-03T17:53:05Z

Author Esposito, Anna. editor. Vích, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03320-9
Format: Electronic Resources
Availability Online Library~1

Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

2025-01-03T17:53:05Z

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

Advances in Intelligent Data Analysis VIII 8th International Symposium on Intelligent Data Analysis, IDA 2009, Lyon, France, August 31 - September 2, 2009. Proceedings

2025-01-03T17:53:05Z

Author Adams, Niall M. editor. Robardet, Céline. editor. Siebes, Arno. editor. Boulicaut, Jean-François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03915-7
Format: Electronic Resources
Availability Online Library~1

Numerical Analysis and Its Applications 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers

2025-01-03T17:53:05Z

Author Margenov, Svetozar. editor. Vulkov, Lubin G. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00464-3
Format: Electronic Resources
Availability Online Library~1

Advances in Web Mining and Web Usage Analysis 9th International Workshop on Knowledge Discovery on the Web, WebKDD 2007, and 1st International Workshop on Social Networks Analysis, SNA-KDD 2007, San Jose, CA, USA, August 12-15, 2007. Revised Papers

2025-01-03T17:53:05Z

Author Zhang, Haizheng. editor. Spiliopoulou, Myra. editor. Mobasher, Bamshad. editor. Giles, C. Lee. editor. McCallum, Andrew. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00528-2
Format: Electronic Resources
Availability Online Library~1

Enterprise Architecture at Work Modelling, Communication and Analysis

2025-01-03T17:53:05Z

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

Traffic Monitoring and Analysis First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009. Proceedings

2025-01-03T17:53:05Z

Author Papadopouli, Maria. editor. Owezarski, Philippe. editor. Pras, Aiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01645-5
Format: Electronic Resources
Availability Online Library~1

Algorithmics of Large and Complex Networks Design, Analysis, and Simulation

2025-01-03T17:53:05Z

Author Lerner, Jürgen. editor. Wagner, Dorothea. editor. Zweig, Katharina A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02094-0
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Image Analysis 4th Iberian Conference, IbPRIA 2009 Póvoa de Varzim, Portugal, June 10-12, 2009 Proceedings

2025-01-03T17:53:05Z

Author Araujo, Helder. editor. Mendonça, Ana Maria. editor. Pinho, Armando J. editor. Torres, María Inés. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02172-5
Format: Electronic Resources
Availability Online Library~1

Image Analysis 16th Scandinavian Conference, SCIA 2009, Oslo, Norway, June 15-18, 2009. Proceedings

2025-01-03T17:53:05Z

Author Salberg, Arnt-Børre. editor. Hardeberg, Jon Yngve. editor. Jenssen, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02230-2
Format: Electronic Resources
Availability Online Library~1

Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

2025-01-03T17:53:05Z

Author Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03459-6
Format: Electronic Resources
Availability Online Library~1

Computer Analysis of Images and Patterns 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009. Proceedings

2025-01-03T17:53:05Z

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

Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures

2025-01-03T17:53:05Z

Author Aldini, Alessandro. editor. Barthe, Gilles. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03829-7
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Processing – ICIAP 2009 15th International Conference Vietri sul Mare, Italy, September 8-11, 2009 Proceedings

2025-01-03T17:53:05Z

Author Foggia, Pasquale. editor. Sansone, Carlo. editor. Vento, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04146-4
Format: Electronic Resources
Availability Online Library~1

Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

2025-01-03T17:53:05Z

Author Rettberg, Achim. editor. Zanella, Mauro C. editor. Amann, Michael. editor. Keckeisen, Michael. editor. Rammig, Franz J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04284-3
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

2025-01-03T17:53:05Z

Author Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04368-0
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings

2025-01-03T17:53:05Z

Author Liu, Zhiming. editor. Ravn, Anders P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04761-9
Format: Electronic Resources
Availability Online Library~1

Combinatorial Image Analysis 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009. Proceedings

2025-01-03T17:53:05Z

Author Wiederhold, Petra. editor. Barneva, Reneta P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10210-3
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 14th Iberoamerican Conference on Pattern Recognition, CIARP 2009, Guadalajara, Jalisco, Mexico, November 15-18, 2009. Proceedings

2025-01-03T17:53:05Z

Author Bayro-Corrochano, Eduardo. editor. Eklundh, Jan-Olof. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10268-4
Format: Electronic Resources
Availability Online Library~1

Statistical and Geometrical Approaches to Visual Motion Analysis International Dagstuhl Seminar, Dagstuhl Castle, Germany, July 13-18, 2008. Revised Papers

2025-01-03T17:53:05Z

Author Cremers, Daniel. editor. Rosenhahn, Bodo. editor. Yuille, Alan L. editor. Schmidt, Frank R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03061-1
Format: Electronic Resources
Availability Online Library~1

Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

2025-01-03T17:53:05Z

Author Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11447-2
Format: Electronic Resources
Availability Online Library~1

Bayesian Networks and Influence Diagrams A Guide to Construction and Analysis

2025-01-03T17:53:05Z

Author Kjærulff, Uffe B. author. Madsen, Anders L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-74101-7
Format: Electronic Resources
Availability Online Library~1

Analysis of Integrated and Cointegrated Time Series with R

2025-01-03T17:53:05Z

Author Pfaff, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-75967-8
Format: Electronic Resources
Availability Online Library~1

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

2025-01-03T17:53:05Z

Author Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6782-2
Format: Electronic Resources
Availability Online Library~1

Network Performance Analysis Using the J Programming Language

2025-01-03T17:53:05Z

Author Holt, Alan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-823-4
Format: Electronic Resources
Availability Online Library~1

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities

2025-01-03T17:53:05Z

Author Simon, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-017-9
Format: Electronic Resources
Availability Online Library~1

Protein-protein Interactions and Networks Identification, Computer Analysis, and Prediction

2025-01-03T17:53:05Z

Author Panchenko, Anna. editor. Przytycka, Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-125-1
Format: Electronic Resources
Availability Online Library~1

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

2025-01-03T17:53:05Z

Author Alpuente, María. editor. Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69166-2
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings

2025-01-03T17:53:05Z

Author Medina, Raoul. editor. Obiedkov, Sergei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78137-0
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2025-01-03T17:53:05Z

Author Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78800-3
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

2025-01-03T17:53:05Z

Author Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85778-5
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis and Applications 13th Iberoamerican Congress on Pattern Recognition, CIARP 2008, Havana, Cuba, September 9-12, 2008. Proceedings

2025-01-03T17:53:05Z

Author Ruiz-Shulcloper, José. editor. Kropatsch, Walter G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85920-8
Format: Electronic Resources
Availability Online Library~1

Mathematical Methods in Signal Processing and Digital Image Analysis

2025-01-03T17:53:05Z

Author Dahlhaus, Rainer. editor. Kurths, Jürgen. editor. Maass, Peter. editor. Timmer, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75632-3
Format: Electronic Resources
Availability Online Library~1

Analysis and Design of Information Systems Third Edition

2025-01-03T17:53:05Z

Author Langer, Arthur M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-655-1
Format: Electronic Resources
Availability Online Library~1

Machine Learning for Audio, Image and Video Analysis Theory and Applications

2025-01-03T17:53:05Z

Author Camastra, Francesco. author. Vinciarelli, Alessandro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-007-0
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 5th International Conference, ICIAR 2008, Póvoa de Varzim, Portugal, June 25-27, 2008. Proceedings

2025-01-03T17:53:05Z

Author Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69812-8
Format: Electronic Resources
Availability Online Library~1

Advances in Mass Data Analysis of Images and Signals in Medicine, Biotechnology, Chemistry and Food Industry Third International Conference, MDA 2008 Leipzig, Germany, July 14, 2008 Proceedings

2025-01-03T17:53:05Z

Author Perner, Petra. editor. Salvetti, Ovidio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70715-8
Format: Electronic Resources
Availability Online Library~1

Combinatorial Image Analysis 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings

2025-01-03T17:53:05Z

Author Brimkov, Valentin E. editor. Barneva, Reneta P. editor. Hauptman, Herbert A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78275-9
Format: Electronic Resources
Availability Online Library~1

The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems

2025-01-03T17:53:05Z

Author Pezzulo, Giovanni. editor. Butz, Martin V. editor. Castelfranchi, Cristiano. editor. Falcone, Rino. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87702-8
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

2025-01-03T17:53:05Z

Author Cha, Sungdeok (Steve). editor. Choi, Jin-Young. editor. Kim, Moonzoo. editor. Lee, Insup. editor. Viswanathan, Mahesh. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88387-6
Format: Electronic Resources
Availability Online Library~1

Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers

2025-01-03T17:53:05Z

Author Paech, Barbara. editor. Martell, Craig. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89778-1
Format: Electronic Resources
Availability Online Library~1

Power Analysis Attacks Revealing the Secrets of Smart Cards

2025-01-03T17:53:05Z

Author Mangard, Stefan. author. Oswald, Elisabeth. author. Popp, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-38162-6
Format: Electronic Resources
Availability Online Library~1

Max-Plus Linear Stochastic Systems and Perturbation Analysis

2025-01-03T17:53:05Z

Author Heidergott, Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-38995-0
Format: Electronic Resources
Availability Online Library~1

Real-Time Applications with Stochastic Task Execution Times Analysis and Optimisation

2025-01-03T17:53:05Z

Author Manolache, Sorin. author. Eles, Petru. author. Peng, Zebo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-5509-9
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings

2025-01-03T17:53:05Z

Author Kuznetsov, Sergei O. editor. Schmidt, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70901-5
Format: Electronic Resources
Availability Online Library~1

Independent Component Analysis and Signal Separation 7th International Conference, ICA 2007, London, UK, September 9-12, 2007. Proceedings

2025-01-03T17:53:05Z

Author Davies, Mike E. editor. James, Christopher J. editor. Abdallah, Samer A. editor. Plumbley, Mark D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74494-8
Format: Electronic Resources
Availability Online Library~1

Analysis and Modeling of Faces and Gestures Third International Workshop, AMFG 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings

2025-01-03T17:53:05Z

Author Zhou, S. Kevin. editor. Zhao, Wenyi. editor. Tang, Xiaoou. editor. Gong, Shaogang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75690-3
Format: Electronic Resources
Availability Online Library~1

Advances in Mass Data Analysis of Signals and Images in Medicine, Biotechnology and Chemistry International Conferences MDA 2006/2007, Leipzig, Germany, July 18, 2007. Selected Papers

2025-01-03T17:53:05Z

Author Perner, Petra. editor. Salvetti, Ovidio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76300-0
Format: Electronic Resources
Availability Online Library~1

Mathematik für Informatiker Band 2: Analysis und Statistik

2025-01-03T17:53:05Z

Author Teschl, Gerald. author. Teschl, Susanne. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72452-0
Format: Electronic Resources
Availability Online Library~1

Multimedia Content Analysis and Mining International Workshop, MCAM 2007, Weihai, China, June 30-July 1, 2007. Proceedings

2025-01-03T17:53:05Z

Author Sebe, Nicu. editor. Liu, Yuncai. editor. Zhuang, Yueting. editor. Huang, Thomas S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73417-8
Format: Electronic Resources
Availability Online Library~1

Advances in Web Mining and Web Usage Analysis 8th International Workshop on Knowledge Discovery on the Web, WebKDD 2006 Philadelphia, USA, August 20, 2006 Revised Papers

2025-01-03T17:53:05Z

Author Nasraoui, Olfa. editor. Spiliopoulou, Myra. editor. Srivastava, Jaideep. editor. Mobasher, Bamshad. editor. Masand, Brij. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77485-3
Format: Electronic Resources
Availability Online Library~1

Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures

2025-01-03T17:53:05Z

Author Aldini, Alessandro. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74810-6
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Data Analysis VII 7th International Symposium on Intelligent Data Analysis, IDA 2007, Ljubljana, Slovenia, September 6-8, 2007. Proceedings

2025-01-03T17:53:05Z

Author R. Berthold, Michael. editor. Shawe-Taylor, John. editor. Lavrač, Nada. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74825-0
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

2025-01-03T17:53:05Z

Author Raskin, Jean-François. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75454-1
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

2025-01-03T17:53:05Z

Author Namjoshi, Kedar S. editor. Yoneda, Tomohiro. editor. Higashino, Teruo. editor. Okamura, Yoshio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75596-8
Format: Electronic Resources
Availability Online Library~1

EC2ND 2006 Proceedings of the Second European Conference on Computer Network Defence, in conjunction with the First Workshop on Digital Forensics and Incident Analysis Faculty of Advanced Technology, University of Glamorgan, Wales, UK

2025-01-03T17:53:05Z

Author Blyth, Andrew. author. Sutherland, Iain. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-750-3
Format: Electronic Resources
Availability Online Library~1