Search Results for Computer science. - Narrowed by: 2010

Fete of Combinatorics and Computer Science

2025-12-10T02:39:15Z

Author Katona, Gyula O. H. editor. Schrijver, Alexander. editor. Szőnyi, Tamás. editor. Sági, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13580-4
Format: Electronic Resources
Availability Online Library~1

Computer and Information Science 2010

2025-12-10T02:39:15Z

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

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings

2025-12-10T02:39:15Z

Author Leeuwen, Jan. editor. Muscholl, Anca. editor. Peleg, David. editor. Pokorný, Jaroslav. editor. Rumpe, Bernhard. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11266-9
Format: Electronic Resources
Availability Online Library~1

Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings

2025-12-10T02:39:15Z

Author Tomar, G. S. editor. Chang, Ruay-Shiung. editor. Gervasi, Osvaldo. editor. Kim, Tai-hoon. editor. Bandyopadhyay, Samir Kumar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13346-6
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings

2025-12-10T02:39:15Z

Author Ablayev, Farid. editor. Mayr, Ernst W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13182-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Information Technology AST/UCMA/ISA/ACN 2010 Conferences, Miyazaki, Japan, June 23-25, 2010. Joint Proceedings

2025-12-10T02:39:15Z

Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13577-4
Format: Electronic Resources
Availability Online Library~1

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

2025-12-10T02:39:15Z

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

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings

2025-12-10T02:39:15Z

Author Hliněný, Petr. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15155-2
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

2025-12-10T02:39:15Z

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

Graph Theoretic Concepts in Computer Science 36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010 Revised Papers

2025-12-10T02:39:15Z

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

Graph-Theoretic Concepts in Computer Science 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers

2025-12-10T02:39:15Z

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

Explorations in computing : an introduction to computer science

2025-12-10T02:39:15Z

Author Conery, John S.
Preferred Shelf Number QA76 C585 2011
Format: Books
Availability Beytepe Library~1

Geometric Algebra Computing in Engineering and Computer Science

2025-12-10T02:39:15Z

Author Bayro-Corrochano, Eduardo. editor. Scheuermann, Gerik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-108-0
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

2025-12-10T02:39:15Z

Author Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15240-5
Format: Electronic Resources
Availability Online Library~1

Artificial higher order neural networks for computer science and engineering trends for emerging applications

2025-12-10T02:39:15Z

Author Zhang, Ming, 1949 July 29-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=310450
Format: Electronic Resources
Availability Online Library~1

Hashing in computer science fifty years of slicing and dicing

2025-12-10T02:39:15Z

Author Konheim, Alan G., 1934-
Preferred Shelf Number ONLINE
Electronic Access Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/9780470630617 Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy1106/2009052123-b.html Volltext http://proquest.tech.safaribooksonline.de/9781118031834
Format: Electronic Resources
Availability Online Library~1

Ethical and Social Issues in the Information Age

2025-12-10T02:39:15Z

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

Introduction to Databases From Biological to Spatio-Temporal

2025-12-10T02:39:15Z

Author Revesz, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-095-3
Format: Electronic Resources
Availability Online Library~1

Understanding Concurrent Systems

2025-12-10T02:39:15Z

Author Roscoe, A.W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-258-0
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T02:39:15Z

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

Fundamentals of Predictive Text Mining

2025-12-10T02:39:15Z

Author Weiss, Sholom M. author. Indurkhya, Nitin. author. Zhang, Tong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-226-1
Format: Electronic Resources
Availability Online Library~1

Data Privacy Management and Autonomous Spontaneous Security 4th International Workshop, DPM 2009 and Second International Workshop, SETOP 2009, St. Malo, France, September 24-25, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

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

Replication Theory and Practice

2025-12-10T02:39:15Z

Author Charron-Bost, Bernadette. editor. Pedone, Fernando. editor. Schiper, André. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11294-2
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Modeling 16th International Multimedia Modeling Conference, MMM 2010, Chongqing, China, January 6-8, 2010. Proceedings

2025-12-10T02:39:15Z

Author Boll, Susanne. editor. Tian, Qi. editor. Zhang, Lei. editor. Zhang, Zili. editor. Chen, Yi-Ping Phoebe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11301-7
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

2025-12-10T02:39:15Z

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

Distributed Computing and Networking 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings

2025-12-10T02:39:15Z

Author Kant, Krishna. editor. Pemmaraju, Sriram V. editor. Sivalingam, Krishna M. editor. Wu, Jie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11322-2
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

Author Kutten, Shay. editor. Žerovnik, Janez. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11476-2
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings

2025-12-10T02:39:15Z

Author Carro, Manuel. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11503-5
Format: Electronic Resources
Availability Online Library~1

Advances in Nonlinear Speech Processing International Conference on Nonlinear Speech Processing, NOLISP 2009, Vic, Spain, June 25-27. Revised Selected Papers

2025-12-10T02:39:15Z

Author Solé-Casals, Jordi. editor. Zaiats, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11509-7
Format: Electronic Resources
Availability Online Library~1

Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever

2025-12-10T02:39:15Z

Author Dams, Dennis. editor. Hannemann, Ulrich. editor. Steffen, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11512-7
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings

2025-12-10T02:39:15Z

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

Transactions on Computational Systems Biology XII Special Issue on Modeling Methodologies

2025-12-10T02:39:15Z

Author Priami, Corrado. editor. Breitling, Rainer. editor. Gilbert, David. editor. Heiner, Monika. editor. Uhrmacher, Adelinde M. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11712-1
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

Author Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11721-3
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings

2025-12-10T02:39:15Z

Author Massacci, Fabio. editor. Wallach, Dan. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11747-3
Format: Electronic Resources
Availability Online Library~1

Human Error, Safety and Systems Development 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

Author Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Winckler, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11750-3
Format: Electronic Resources
Availability Online Library~1

Medical Content-Based Retrieval for Clinical Decision Support First MICCAI International Workshop, MCBR-CDS 2009, London, UK, September 20, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

Author Caputo, Barbara. editor. Müller, Henning. editor. Syeda-Mahmood, Tanveer. editor. Duncan, James S. editor. Wang, Fei. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11769-5
Format: Electronic Resources
Availability Online Library~1

Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

Author England, David. editor. Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Wild, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11797-8
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 9-11, 2010. Proceedings

2025-12-10T02:39:15Z

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

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

Author Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11802-9
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers

2025-12-10T02:39:15Z

Author Eppstein, David. editor. Gansner, Emden R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11805-0
Format: Electronic Resources
Availability Online Library~1

Knowledge Representation for Health-Care. Data, Processes and Guidelines AIME 2009 Workshop KR4HC 2009, Verona, Italy, July 19, 2009, Revised Selected and Invited Papers

2025-12-10T02:39:15Z

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

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

2025-12-10T02:39:15Z

Author Frappier, Marc. editor. Glässer, Uwe. editor. Khurshid, Sarfraz. editor. Laleau, Régine. editor. Reeves, Steve. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11811-1
Format: Electronic Resources
Availability Online Library~1

Adaptive and Learning Agents Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers

2025-12-10T02:39:15Z

Author Taylor, Matthew E. editor. Tuyls, Karl. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11814-2
Format: Electronic Resources
Availability Online Library~1

Agents and Artificial Intelligence International Conference, ICAART 2009, Porto, Portugal, January 19-21, 2009. Revised Selected Papers

2025-12-10T02:39:15Z

Author Filipe, Joaquim. editor. Fred, Ana. editor. Sharp, Bernadette. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11819-7
Format: Electronic Resources
Availability Online Library~1

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings

2025-12-10T02:39:15Z

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

Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009. Revised Selected Papers

2025-12-10T02:39:15Z

Author Ranchordas, AlpeshKumar. editor. Pereira, João Madeiras. editor. Araújo, Hélder J. editor. Tavares, João Manuel R. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11840-1
Format: Electronic Resources
Availability Online Library~1

High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

Author Zhang, Wu. editor. Chen, Zhangxin. editor. Douglas, Craig C. editor. Tong, Weiqin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11842-5
Format: Electronic Resources
Availability Online Library~1

RoboCup 2009: Robot Soccer World Cup XIII

2025-12-10T02:39:15Z

Author Baltes, Jacky. editor. Lagoudakis, Michail G. editor. Naruse, Tadashi. editor. Ghidary, Saeed Shiry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11876-0
Format: Electronic Resources
Availability Online Library~1

Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems

2025-12-10T02:39:15Z

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

Wireless Sensor Networks 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010. Proceedings

2025-12-10T02:39:15Z

Author Silva, Jorge Sá. editor. Krishnamachari, Bhaskar. editor. Boavida, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11917-0
Format: Electronic Resources
Availability Online Library~1

Topics in Cryptology - CT-RSA 2010 The Cryptographers’ Track at the RSA Conference 2010, San Francisco, CA, USA, March 1-5, 2010. Proceedings

2025-12-10T02:39:15Z

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

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

2025-12-10T02:39:15Z

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

Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers

2025-12-10T02:39:15Z

Author Schmid, Ute. editor. Kitzelmann, Emanuel. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11931-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems Second International Conference, ACIIDS, Hue City, Vietnam, March 24-26, 2010. Proceedings, Part I

2025-12-10T02:39:15Z

Author Nguyen, Ngoc Thanh. editor. Le, Manh Thanh. editor. Świątek, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12145-6
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks in Pattern Recognition 4th IAPR TC3 Workshop, ANNPR 2010, Cairo, Egypt, April 11-13, 2010. Proceedings

2025-12-10T02:39:15Z

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

Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II

2025-12-10T02:39:15Z

Author Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12165-4
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III

2025-12-10T02:39:15Z

Author Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12179-1
Format: Electronic Resources
Availability Online Library~1

Approximation and Online Algorithms 7th International Workshop,WAOA 2009, Copenhagen Denmark, September 10-11, 2009. Revised Papers

2025-12-10T02:39:15Z

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

Intelligent Information and Database Systems Second International Conference, ACIIDS, Hue City, Vietnam, March 24-26, 2010. Proceedings, Part II

2025-12-10T02:39:15Z

Author Nguyen, Ngoc Thanh. editor. Le, Manh Thanh. editor. Świątek, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12101-2
Format: Electronic Resources
Availability Online Library~1

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings

2025-12-10T02:39:15Z

Author Müller-Clostermann, Bruno. editor. Echtle, Klaus. editor. Rathgeb, Erwin P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12104-3
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

Author Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12107-4
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV

2025-12-10T02:39:15Z

Author Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12189-0
Format: Electronic Resources
Availability Online Library~1

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings

2025-12-10T02:39:15Z

Author López-Ortiz, Alejandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12200-2
Format: Electronic Resources
Availability Online Library~1

Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers

2025-12-10T02:39:15Z

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

Applications of Evolutionary Computation EvoApplicatons 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I

2025-12-10T02:39:15Z

Author Chio, Cecilia. editor. Cagnoni, Stefano. editor. Cotta, Carlos. editor. Ebner, Marc. editor. Ekárt, Anikó. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12239-2
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings

2025-12-10T02:39:15Z

Author Blume, Matthias. editor. Kobayashi, Naoki. editor. Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12251-4
Format: Electronic Resources
Availability Online Library~1

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

2025-12-10T02:39:15Z

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

Advances in Information Retrieval 32nd European Conference on IR Research, ECIR 2010, Milton Keynes, UK, March 28-31, 2010.Proceedings

2025-12-10T02:39:15Z

Author Gurrin, Cathal. editor. He, Yulan. editor. Kazai, Gabriella. editor. Kruschwitz, Udo. editor. Little, Suzanne. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12275-0
Format: Electronic Resources
Availability Online Library~1

Computational Modeling of Objects Represented in Images Second International Symposium, CompIMAGE 2010, Buffalo, NY, USA, May 5-7, 2010. Proceedings

2025-12-10T02:39:15Z

Author Barneva, Reneta P. editor. Brimkov, Valentin E. editor. Hauptman, Herbert A. editor. Natal Jorge, Renato M. editor. Tavares, João Manuel R. S. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12712-0
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2009 9th Asian Conference on Computer Vision, Xi’an, September 23-27, 2009, Revised Selected Papers, Part III

2025-12-10T02:39:15Z

Author Zha, Hongbin. editor. Taniguchi, Rin-ichiro. editor. Maybank, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12297-2
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2009 9th Asian Conference on Computer Vision, Xi’an, September 23-27, 2009, Revised Selected Papers, Part II

2025-12-10T02:39:15Z

Author Zha, Hongbin. editor. Taniguchi, Rin-ichiro. editor. Maybank, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12304-7
Format: Electronic Resources
Availability Online Library~1

Post-Quantum Cryptography Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010. Proceedings

2025-12-10T02:39:15Z

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

NETWORKING 2010 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010. Proceedings

2025-12-10T02:39:15Z

Author Crovella, Mark. editor. Feeney, Laura Marie. editor. Rubenstein, Dan. editor. Raghavan, S. V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12963-6
Format: Electronic Resources
Availability Online Library~1

Towards Trustworthy Elections New Directions in Electronic Voting

2025-12-10T02:39:15Z

Author Chaum, David. editor. Jakobsson, Markus. editor. Rivest, Ronald L. editor. Ryan, Peter Y. A. editor. Benaloh, Josh. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12980-3
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Games 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009. Revised Papers

2025-12-10T02:39:15Z

Author Herik, H. Jaap. editor. Spronck, Pieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12993-3
Format: Electronic Resources
Availability Online Library~1

Advanced Lectures on Software Engineering LASER Summer School 2007/2008

2025-12-10T02:39:15Z

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

Public Key Cryptography – PKC 2010 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings

2025-12-10T02:39:15Z

Author Nguyen, Phong Q. editor. Pointcheval, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13013-7
Format: Electronic Resources
Availability Online Library~1

Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part I

2025-12-10T02:39:15Z

Author García-Pedrajas, Nicolás. editor. Herrera, Francisco. editor. Fyfe, Colin. editor. Benítez, José Manuel. editor. Ali, Moonis. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13022-9
Format: Electronic Resources
Availability Online Library~1

Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part II

2025-12-10T02:39:15Z

Author García-Pedrajas, Nicolás. editor. Herrera, Francisco. editor. Fyfe, Colin. editor. Benítez, José Manuel. editor. Ali, Moonis. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13025-0
Format: Electronic Resources
Availability Online Library~1

Wired/Wireless Internet Communications 8th International Conference, WWIC 2010, Luleå, Sweden, June 1-3, 2010. Proceedings

2025-12-10T02:39:15Z

Author Osipov, Evgeny. editor. Kassler, Andreas. editor. Bohnert, Thomas Michael. editor. Masip-Bruin, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13315-2
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks - ISNN 2010 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part II

2025-12-10T02:39:15Z

Author Zhang, Liqing. editor. Lu, Bao-Liang. editor. Kwok, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13318-3
Format: Electronic Resources
Availability Online Library~1

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

2025-12-10T02:39:15Z

Author Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13321-3
Format: Electronic Resources
Availability Online Library~1

Global Perspectives on Design Science Research 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings.

2025-12-10T02:39:15Z

Author Winter, Robert. editor. Zhao, J. Leon. editor. Aier, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13335-0
Format: Electronic Resources
Availability Online Library~1

Languages, Methodologies, and Development Tools for Multi-Agent Systems Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

Author Dastani, Mehdi. editor. El Fallah Segrouchni, Amal. editor. Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13338-1
Format: Electronic Resources
Availability Online Library~1

Information Security and Assurance 4th International Conference, ISA 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings

2025-12-10T02:39:15Z

Author Bandyopadhyay, Samir Kumar. editor. Adi, Wael. editor. Kim, Tai-hoon. editor. Xiao, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13365-7
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

Author Gao, Guang R. editor. Pollock, Lori L. editor. Cavazos, John. editor. Li, Xiaoming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13374-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Tutoring Systems 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part I

2025-12-10T02:39:15Z

Author Aleven, Vincent. editor. Kay, Judy. editor. Mostow, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13388-6
Format: Electronic Resources
Availability Online Library~1

Advanced Communication and Networking Second International Conference, ACN 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings

2025-12-10T02:39:15Z

Author Chang, Chin-Chen. editor. Vasilakos, Thanos. editor. Das, Purnendu. editor. Kim, Tai-hoon. editor. Kang, Byeong-Ho. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13405-0
Format: Electronic Resources
Availability Online Library~1

Advances in Geometric Modeling and Processing 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010. Proceedings

2025-12-10T02:39:15Z

Author Mourrain, Bernard. editor. Schaefer, Scott. editor. Xu, Guoliang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13411-1
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

2025-12-10T02:39:15Z

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

Intelligent Tutoring Systems 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part II

2025-12-10T02:39:15Z

Author Aleven, Vincent. editor. Kay, Judy. editor. Mostow, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13437-1
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

2025-12-10T02:39:15Z

Author Eliassen, Frank. editor. Kapitza, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13645-0
Format: Electronic Resources
Availability Online Library~1

Distributed Computing in Sensor Systems 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings

2025-12-10T02:39:15Z

Author Rajaraman, Rajmohan. editor. Moscibroda, Thomas. editor. Dunkels, Adam. editor. Scaglione, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13651-1
Format: Electronic Resources
Availability Online Library~1

The Role of Digital Libraries in a Time of Global Change 12th International Conference on Asia-Pacific Digital Libraries, ICADL 2010, Gold Coast, Australia, June 21-25, 2010. Proceedings

2025-12-10T02:39:15Z

Author Chowdhury, Gobinda. editor. Koo, Chris. editor. Hunter, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13654-2
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 14th Pacific-Asia Conference, PAKDD 2010, Hyderabad, India, June 21-24, 2010. Proceedings. Part I

2025-12-10T02:39:15Z

Author Zaki, Mohammed J. editor. Yu, Jeffrey Xu. editor. Ravindran, B. editor. Pudi, Vikram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13657-3
Format: Electronic Resources
Availability Online Library~1

Digital Mammography 10th International Workshop, IWDM 2010, Girona, Catalonia, Spain, June 16-18, 2010. Proceedings

2025-12-10T02:39:15Z

Author Martí, Joan. editor. Oliver, Arnau. editor. Freixenet, Jordi. editor. Martí, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13666-5
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 14th Pacific-Asia Conference, PAKDD 2010, Hyderabad, India, June 21-24, 2010. Proceedings. Part II

2025-12-10T02:39:15Z

Author Zaki, Mohammed J. editor. Yu, Jeffrey Xu. editor. Ravindran, B. editor. Pudi, Vikram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13672-6
Format: Electronic Resources
Availability Online Library~1

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings

2025-12-10T02:39:15Z

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

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

2025-12-10T02:39:15Z

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

Image and Signal Processing 4th International Conference, ICISP 2010, Trois-Rivières, QC, Canada, June 30-July 2, 2010. Proceedings

2025-12-10T02:39:15Z

Author Elmoataz, Abderrahim. editor. Lezoray, Olivier. editor. Nouboud, Fathallah. editor. Mammass, Driss. editor. Meunier, Jean. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13681-8
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

2025-12-10T02:39:15Z

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

Applied Cryptography and Network Security 8th International Conference, ACNS 2010, Beijing, China, June 22-25, 2010. Proceedings

2025-12-10T02:39:15Z

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

Information Processing in Computer-Assisted Interventions First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings

2025-12-10T02:39:15Z

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

Graphics Recognition. Achievements, Challenges, and Evolution 8th International Workshop, GREC 2009, La Rochelle, France, July 22-23, 2009. Selected Papers

2025-12-10T02:39:15Z

Author Ogier, Jean-Marc. editor. Liu, Wenyin. editor. Lladós, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13728-0
Format: Electronic Resources
Availability Online Library~1

Algorithm Theory - SWAT 2010 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings

2025-12-10T02:39:15Z

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

Data and Applications Security and Privacy XXIV 24th Annual IFIP WG 11.3 Working Conference, Rome, Italy, June 21-23, 2010. Proceedings

2025-12-10T02:39:15Z

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

Time for Verification Essays in Memory of Amir Pnueli

2025-12-10T02:39:15Z

Author Manna, Zohar. editor. Peled, Doron A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13754-9
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part I

2025-12-10T02:39:15Z

Author Graña Romay, Manuel. editor. Corchado, Emilio. editor. Garcia Sebastian, M. Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13769-3
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-12-10T02:39:15Z

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-12-10T02:39:15Z

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

Aging Friendly Technology for Health and Independence 8th International Conference on Smart Homes and Health Telematics, ICOST 2010, Seoul, Korea, June 22-24, 2010. Proceedings

2025-12-10T02:39:15Z

Author Lee, Yeunsook. editor. Bien, Z. Zenn. editor. Mokhtari, Mounir. editor. Kim, Jeong Tai. editor. Park, Mignon. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13778-5
Format: Electronic Resources
Availability Online Library~1

Future Multimedia Networking Third International Workshop, FMN 2010, Kraków, Poland, June 17-18, 2010. Proceedings

2025-12-10T02:39:15Z

Author Zeadally, Sherali. editor. Cerqueira, Eduardo. editor. Curado, Marília. editor. Leszczuk, Mikołaj. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13789-1
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings

2025-12-10T02:39:15Z

Author Ali Babar, M. editor. Vierimaa, Matias. editor. Oivo, Markku. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13792-1
Format: Electronic Resources
Availability Online Library~1

Arithmetic of Finite Fields Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. Proceedings

2025-12-10T02:39:15Z

Author Hasan, M. Anwar. editor. Helleseth, Tor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13797-6
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010. Selected Papers

2025-12-10T02:39:15Z

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

Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part II

2025-12-10T02:39:15Z

Author Corchado, Emilio. editor. Graña Romay, Manuel. editor. Manhaes Savio, Alexandre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13803-4
Format: Electronic Resources
Availability Online Library~1

Scientific and Statistical Database Management 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30–July 2, 2010. Proceedings

2025-12-10T02:39:15Z

Author Gertz, Michael. editor. Ludäscher, Bertram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13818-8
Format: Electronic Resources
Availability Online Library~1

Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings

2025-12-10T02:39:15Z

Author Heineman, George T. editor. Kofron, Jan. editor. Plasil, Frantisek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13821-8
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

2025-12-10T02:39:15Z

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

Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers

2025-12-10T02:39:15Z

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

Fast Software Encryption 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised Selected Papers

2025-12-10T02:39:15Z

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

Computer Networks 17th Conference, CN 2010, Ustroń, Poland, June 15-19, 2010. Proceedings

2025-12-10T02:39:15Z

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

Trust and Trustworthy Computing Third International Conference, TRUST 2010, Berlin, Germany, June 21-23, 2010. Proceedings

2025-12-10T02:39:15Z

Author Acquisti, Alessandro. editor. Smith, Sean W. editor. Sadeghi, Ahmad-Reza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13869-0
Format: Electronic Resources
Availability Online Library~1

Natural Language Processing and Information Systems 15th International Conference on Applications of Natural Language to Information Systems, NLDB 2010, Cardiff, UK, June 23-25, 2010. Proceedings

2025-12-10T02:39:15Z

Author Hopfe, Christina J. editor. Rezgui, Yacine. editor. Métais, Elisabeth. editor. Preece, Alun. editor. Li, Haijiang. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13881-2
Format: Electronic Resources
Availability Online Library~1

Web Engineering 10th International Conference, ICWE 2010, Vienna Austria, July 5-9, 2010. Proceedings

2025-12-10T02:39:15Z

Author Benatallah, Boualem. editor. Casati, Fabio. editor. Kappel, Gerti. editor. Rossi, Gustavo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13911-6
Format: Electronic Resources
Availability Online Library~1

Object Databases Second International Conference, ICOODB 2009, Zurich, Switzerland, July 1-3, 2009. Revised Papers

2025-12-10T02:39:15Z

Author Norrie, Moira C. editor. Grossniklaus, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14681-7
Format: Electronic Resources
Availability Online Library~1

Medical Biometrics Second International Conference, ICMB 2010, Hong Kong, China, June 28-30, 2010. Proceedings

2025-12-10T02:39:15Z

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

Computer Network Security 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010. Proceedings

2025-12-10T02:39:15Z

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

Progress in Cryptology – LATINCRYPT 2010 First International Conference on Cryptology and Information Security in Latin America, Puebla, Mexico, August 8-11, 2010, proceedings

2025-12-10T02:39:15Z

Author Abdalla, Michel. editor. Barreto, Paulo S. L. M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14712-8
Format: Electronic Resources
Availability Online Library~1

Human Behavior Understanding First International Workshop, HBU 2010, Istanbul, Turkey, August 22, 2010. Proceedings

2025-12-10T02:39:15Z

Author Salah, Albert Ali. editor. Gevers, Theo. editor. Sebe, Nicu. editor. Vinciarelli, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14715-9
Format: Electronic Resources
Availability Online Library~1

Interfaces: Explorations in Logic, Language and Computation ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers

2025-12-10T02:39:15Z

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

Spatial Cognition VII International Conference, Spatial Cognition 2010, Mt. Hood/Portland, OR, USA, August 15-19, 2010. Proceedings

2025-12-10T02:39:15Z

Author Hölscher, Christoph. editor. Shipley, Thomas F. editor. Olivetti Belardinelli, Marta. editor. Bateman, John A. editor. Newcombe, Nora S. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14749-4
Format: Electronic Resources
Availability Online Library~1

Adaptive Multimedia Retrieval. Identifying, Summarizing, and Recommending Image and Music 6th International Workshop, AMR 2008, Berlin, Germany, June 26-27, 2008. Revised Selected Papers

2025-12-10T02:39:15Z

Author Detyniecki, Marcin. editor. Leiner, Ulrich. editor. Nürnberger, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14758-6
Format: Electronic Resources
Availability Online Library~1

Advances in Natural Language Processing 7th International Conference on NLP, IceTAL 2010, Reykjavik, Iceland, August 16-18, 2010

2025-12-10T02:39:15Z

Author Loftsson, Hrafn. editor. Rögnvaldsson, Eiríkur. editor. Helgadóttir, Sigrún. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14770-8
Format: Electronic Resources
Availability Online Library~1

Electronic Government 9th IFIP WG 8.5 International Conference, EGOV 2010, Lausanne, Switzerland, August 29 - September 2, 2010. Proceedings

2025-12-10T02:39:15Z

Author Wimmer, Maria A. editor. Chappelet, Jean-Loup. editor. Janssen, Marijn. editor. Scholl, Hans J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14799-9
Format: Electronic Resources
Availability Online Library~1

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

2025-12-10T02:39:15Z

Author Gastin, Paul. editor. Laroussinie, François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15375-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Data Engineering and Automated Learning – IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010. Proceedings

2025-12-10T02:39:15Z

Author Fyfe, Colin. editor. Tino, Peter. editor. Charles, Darryl. editor. Garcia-Osorio, Cesar. editor. Yin, Hujun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15381-5
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part I

2025-12-10T02:39:15Z

Author Setchi, Rossitza. editor. Jordanov, Ivan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15387-7
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part III

2025-12-10T02:39:15Z

Author Setchi, Rossitza. editor. Jordanov, Ivan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15393-8
Format: Electronic Resources
Availability Online Library~1

Entertainment Computing - ICEC 2010 9th International Conference, ICEC 2010, Seoul, Korea, September 8-11, 2010. Proceedings

2025-12-10T02:39:15Z

Author Yang, Hyun Seung. editor. Malaka, Rainer. editor. Hoshino, Junichi. editor. Han, Jung Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15399-0
Format: Electronic Resources
Availability Online Library~1

Contemporary Computing Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part I

2025-12-10T02:39:15Z

Author Ranka, Sanjay. editor. Banerjee, Arunava. editor. Biswas, Kanad Kishore. editor. Dua, Sumeet. editor. Mishra, Prabhat. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14834-7
Format: Electronic Resources
Availability Online Library~1

Agents and Data Mining Interaction 6th International Workshop on Agents and Data Mining Interaction, ADMI 2010, Toronto, ON, Canada, May 11, 2010, Revised Selected Papers

2025-12-10T02:39:15Z

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

Multiple Access Communications Third International Workshop, MACOM 2010, Barcelona, Spain, September 13-14, 2010. Proceedings

2025-12-10T02:39:15Z

Author Vinel, Alexey. editor. Bellalta, Boris. editor. Sacchi, Claudio. editor. Lyakhov, Andrey. editor. Telek, Miklós. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15428-7
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence: Methodology, Systems, and Applications 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10. 2010. Proceedings

2025-12-10T02:39:15Z

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

Swarm Intelligence 7th International Conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010. Proceedings

2025-12-10T02:39:15Z

Author Dorigo, Marco. editor. Birattari, Mauro. editor. Caro, Gianni A. editor. Doursat, René. editor. Engelbrecht, Andries P. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15461-4
Format: Electronic Resources
Availability Online Library~1

Research and Advanced Technology for Digital Libraries 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010. Proceedings

2025-12-10T02:39:15Z

Author Lalmas, Mounia. editor. Jose, Joemon. editor. Rauber, Andreas. editor. Sebastiani, Fabrizio. editor. Frommholz, Ingo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15464-5
Format: Electronic Resources
Availability Online Library~1

Active Media Technology 6th International Conference, AMT 2010, Toronto, Canada, August 28-30, 2010. Proceedings

2025-12-10T02:39:15Z

Author An, Aijun. editor. Lingras, Pawan. editor. Petty, Sheila. editor. Huang, Runhe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15470-6
Format: Electronic Resources
Availability Online Library~1

Incentives, Overlays, and Economic Traffic Control Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings

2025-12-10T02:39:15Z

Author Stiller, Burkhard. editor. Hoßfeld, Tobias. editor. Stamoulis, George D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15485-0
Format: Electronic Resources
Availability Online Library~1

Grammatical Inference: Theoretical Results and Applications 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings

2025-12-10T02:39:15Z

Author Sempere, José M. editor. García, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15488-1
Format: Electronic Resources
Availability Online Library~1

Computer Security – ESORICS 2010 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings

2025-12-10T02:39:15Z

Author Gritzalis, Dimitris. editor. Preneel, Bart. editor. Theoharidou, Marianthi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15497-3
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Intrusion Detection 13th International Symposium, RAID 2010, Ottawa, Ontario, Canada, September 15-17, 2010. Proceedings

2025-12-10T02:39:15Z

Author Jha, Somesh. editor. Sommer, Robin. editor. Kreibich, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15512-3
Format: Electronic Resources
Availability Online Library~1

Computational Linguistics and Intelligent Text Processing 11th International Conference, CICLing 2010, Iaşi, Romania, March 21-27, 2010. Proceedings

2025-12-10T02:39:15Z

Author Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12116-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-12-10T02:39:15Z

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

Multiple Classifier Systems 9th International Workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010. Proceedings

2025-12-10T02:39:15Z

Author Gayar, Neamat. editor. Kittler, Josef. editor. Roli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12127-2
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings

2025-12-10T02:39:15Z

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

Genetic Programming 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings

2025-12-10T02:39:15Z

Author Esparcia-Alcázar, Anna Isabel. editor. Ekárt, Anikó. editor. Silva, Sara. editor. Dignum, Stephen. editor. Uyar, A. Şima. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12148-7
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part I

2025-12-10T02:39:15Z

Author Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12156-2
Format: Electronic Resources
Availability Online Library~1

Smart Card Research and Advanced Application 9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, Passau, Germany, April 14-16, 2010. Proceedings

2025-12-10T02:39:15Z

Author Gollmann, Dieter. editor. Lanet, Jean-Louis. editor. Iguchi-Cartigny, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12510-2
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery from Sensor Data Second International Workshop, Sensor-KDD 2008, Las Vegas, NV, USA, August 24-27, 2008, Revised Selected Papers

2025-12-10T02:39:15Z

Author Gaber, Mohamed Medhat. editor. Vatsavai, Ranga Raju. editor. Omitaomu, Olufemi A. editor. Gama, João. editor. Chawla, Nitesh V. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12519-5
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings

2025-12-10T02:39:15Z

Author Pizzuti, Clara. editor. Ritchie, Marylyn D. editor. Giacobini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12211-8
Format: Electronic Resources
Availability Online Library~1

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 26-27, 2010. Proceedings

2025-12-10T02:39:15Z

Author Das, Vinu V. editor. Vijayakumar, R. editor. Debnath, Narayan C. editor. Stephen, Janahanlal. editor. Meghanathan, Natarajan. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12214-9
Format: Electronic Resources
Availability Online Library~1

Natural Language Processing and Information Systems 14th International Conference on Applications of Natural Language to Information Systems, NLDB 2009, Saarbrücken, Germany, June 24-26, 2009. Revised Papers

2025-12-10T02:39:15Z

Author Horacek, Helmut. editor. Métais, Elisabeth. editor. Muñoz, Rafael. editor. Wolska, Magdalena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12550-8
Format: Electronic Resources
Availability Online Library~1

Gesture in Embodied Communication and Human-Computer Interaction 8th International Gesture Workshop, GW 2009, Bielefeld, Germany, February 25-27, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

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

Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

2025-12-10T02:39:15Z

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

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

2025-12-10T02:39:15Z

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

Ethics and Policy of Biometrics Third International Conference on Ethics and Policy of Biometrics and International Data Sharing, ICEB 2010, Hong Kong, January 4-5, 2010. Revised Papers

2025-12-10T02:39:15Z

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

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II

2025-12-10T02:39:15Z

Author Chio, Cecilia. editor. Brabazon, Anthony. editor. Caro, Gianni A. editor. Ebner, Marc. editor. Farooq, Muddassar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12242-2
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010. Proceedings

2025-12-10T02:39:15Z

Author Floréen, Patrik. editor. Krüger, Antonio. editor. Spasojevic, Mirjana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12654-3
Format: Electronic Resources
Availability Online Library~1

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, ON, Canada, June 14-17, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

Author Mewhort, Douglas J. K. editor. Cann, Natalie M. editor. Slater, Gary W. editor. Naughton, Thomas J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12659-8
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology – AFRICACRYPT 2010 Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010. Proceedings

2025-12-10T02:39:15Z

Author Bernstein, Daniel J. editor. Lange, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12678-9
Format: Electronic Resources
Availability Online Library~1

Research in Computational Molecular Biology 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010. Proceedings

2025-12-10T02:39:15Z

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

Computer Vision – ACCV 2009 9th Asian Conference on Computer Vision, Xi’an, September 23-27, 2009, Revised Selected Papers, Part I

2025-12-10T02:39:15Z

Author Zha, Hongbin. editor. Taniguchi, Rin-ichiro. editor. Maybank, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12307-8
Format: Electronic Resources
Availability Online Library~1

Search Computing Challenges and Directions

2025-12-10T02:39:15Z

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

Computational Processing of the Portuguese Language 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. Proceedings

2025-12-10T02:39:15Z

Author Pardo, Thiago Alexandre Salgueiro. editor. Branco, António. editor. Klautau, Aldebaro. editor. Vieira, Renata. editor. Lima, Vera Lúcia Strube. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12320-7
Format: Electronic Resources
Availability Online Library~1

Passive and Active Measurement 11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010. Proceedings

2025-12-10T02:39:15Z

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

Mobile Multimedia Processing Fundamentals, Methods, and Applications

2025-12-10T02:39:15Z

Author Jiang, Xiaoyi. editor. Ma, Matthew Y. editor. Chen, Chang Wen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12349-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T02:39:15Z

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

Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010. Proceedings

2025-12-10T02:39:15Z

Author Samarati, Pierangela. editor. Tunstall, Michael. editor. Posegga, Joachim. editor. Markantonakis, Konstantinos. editor. Sauveron, Damien. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12368-9
Format: Electronic Resources
Availability Online Library~1

Development of Multimodal Interfaces: Active Listening and Synchrony Second COST 2102 International Training School, Dublin, Ireland, March 23-27, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

Author Esposito, Anna. editor. Campbell, Nick. editor. Vogel, Carl. editor. Hussain, Amir. editor. Nijholt, Anton. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12397-9
Format: Electronic Resources
Availability Online Library~1

Argumentation in Multi-Agent Systems 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers

2025-12-10T02:39:15Z

Author McBurney, Peter. editor. Rahwan, Iyad. editor. Parsons, Simon. editor. Maudet, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12805-9
Format: Electronic Resources
Availability Online Library~1

Information Security, Practice and Experience 6th International Conference, ISPEC 2010, Seoul, Korea, May 12-13, 2010. Proceedings

2025-12-10T02:39:15Z

Author Kwak, Jin. editor. Deng, Robert H. editor. Won, Yoojae. editor. Wang, Guilin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12827-1
Format: Electronic Resources
Availability Online Library~1

Semantic Processing of Legal Texts Where the Language of Law Meets the Law of Language

2025-12-10T02:39:15Z

Author Francesconi, Enrico. editor. Montemagni, Simonetta. editor. Peters, Wim. editor. Tiscornia, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12837-0
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence: Theories, Models and Applications 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings

2025-12-10T02:39:15Z

Author Konstantopoulos, Stasinos. editor. Perantonis, Stavros. editor. Karkaletsis, Vangelis. editor. Spyropoulos, Constantine D. editor. Vouros, George. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12842-4
Format: Electronic Resources
Availability Online Library~1

Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III

2025-12-10T02:39:15Z

Author García-Pedrajas, Nicolás. editor. Herrera, Francisco. editor. Fyfe, Colin. editor. Benítez, José Manuel. editor. Ali, Moonis. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13033-5
Format: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatorial Optimization 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010. Proceedings

2025-12-10T02:39:15Z

Author Eisenbrand, Friedrich. editor. Shepherd, F. Bruce. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13036-6
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence 23rd Canadian Conference on Artificial Intelligence, Canadian AI 2010, Ottawa, Canada, May 31 – June 2, 2010. Proceedings

2025-12-10T02:39:15Z

Author Farzindar, Atefeh. editor. Kešelj, Vlado. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13059-5
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-12-10T02:39:15Z

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

Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings

2025-12-10T02:39:15Z

Author Bellavista, Paolo. editor. Chang, Ruay-Shiung. editor. Chao, Han-Chieh. editor. Lin, Shin-Feng. editor. Sloot, Peter M. A. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13067-0
Format: Electronic Resources
Availability Online Library~1

Algorithms and Complexity 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010. Proceedings

2025-12-10T02:39:15Z

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

Bioinformatics Research and Applications 6th International Symposium, ISBRA 2010, Storrs, CT, USA, May 23-26, 2010. Proceedings

2025-12-10T02:39:15Z

Author Borodovsky, Mark. editor. Gogarten, Johann Peter. editor. Przytycka, Teresa M. editor. Rajasekaran, Sanguthevar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13078-6
Format: Electronic Resources
Availability Online Library~1

Advances in Multidisciplinary Retrieval First Information Retrieval Facility Conference, IRFC 2010, Vienna, Austria, May 31, 2010. Proceedings

2025-12-10T02:39:15Z

Author Cunningham, Hamish. editor. Hanbury, Allan. editor. Rüger, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13084-7
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings

2025-12-10T02:39:15Z

Author Dediu, Adrian-Horia. editor. Fernau, Henning. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13089-2
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings

2025-12-10T02:39:15Z

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

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I

2025-12-10T02:39:15Z

Author Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13119-6
Format: Electronic Resources
Availability Online Library~1

Fun with Algorithms 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010. Proceedings

2025-12-10T02:39:15Z

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

Linking Literature, Information, and Knowledge for Biology Workshop of the BioLink Special Interest Group, ISMB/ECCB 2009, Stockholm, June 28-29, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

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

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II

2025-12-10T02:39:15Z

Author Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13136-3
Format: Electronic Resources
Availability Online Library~1

Technology Enhanced Learning. Quality of Teaching and Educational Reform First International Conference, TECH-EDUCATION 2010, Athens, Greece, May 19-21, 2010. Proceedings

2025-12-10T02:39:15Z

Author Lytras, Miltiadis D. editor. Ordonez De Pablos, Patricia. editor. Avison, David. editor. Sipior, Janice. editor. Jin, Qun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13166-0
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2010 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, French Riviera, May 30 – June 3, 2010. Proceedings

2025-12-10T02:39:15Z

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

Experimental Algorithms 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings

2025-12-10T02:39:15Z

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

Artificial Intelligence and Soft Computing 10th International Conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010, Part I

2025-12-10T02:39:15Z

Author Rutkowski, Leszek. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor. Zurada, Jacek M. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13208-7
Format: Electronic Resources
Availability Online Library~1

Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 Proceedings

2025-12-10T02:39:15Z

Author Sato, Mitsuhisa. editor. Hanawa, Toshihiro. editor. Müller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13217-9
Format: Electronic Resources
Availability Online Library~1

Persuasive Technology 5th International Conference, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010. Proceedings

2025-12-10T02:39:15Z

Author Ploug, Thomas. editor. Hasle, Per. editor. Oinas-Kukkonen, Harri. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13226-1
Format: Electronic Resources
Availability Online Library~1

Artifical Intelligence and Soft Computing 10th International Conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010, Part II

2025-12-10T02:39:15Z

Author Rutkowski, Leszek. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor. Zurada, Jacek M. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13232-2
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings

2025-12-10T02:39:15Z

Author Grunske, Lars. editor. Reussner, Ralf. editor. Plasil, Frantisek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13238-4
Format: Electronic Resources
Availability Online Library~1

Communications and Multimedia Security 11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 – June 2, 2010. Proceedings

2025-12-10T02:39:15Z

Author Decker, Bart. editor. Schaumüller-Bichl, Ingrid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13241-4
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks - ISNN 2010 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part I

2025-12-10T02:39:15Z

Author Zhang, Liqing. editor. Lu, Bao-Liang. editor. Kwok, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13278-0
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 17th International Colloquium, SIROCCO 2010, Şirince, Turkey, June 7-11, 2010. Proceedings

2025-12-10T02:39:15Z

Author Patt-Shamir, Boaz. editor. Ekim, Tınaz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13284-1
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

2025-12-10T02:39:15Z

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

Ubiquitous Computing and Multimedia Applications International Conference, UCMA 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings

2025-12-10T02:39:15Z

Author Tomar, G. S. editor. Grosky, William I. editor. Kim, Tai-hoon. editor. Mohammed, Sabah. editor. Saha, Sanjoy Kumar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13467-8
Format: Electronic Resources
Availability Online Library~1

User Modeling, Adaptation, and Personalization 18th International Conference, UMAP 2010, Big Island, HI, USA, June 20-24, 2010. Proceedings

2025-12-10T02:39:15Z

Author Bra, Paul. editor. Kobsa, Alfred. editor. Chin, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13470-8
Format: Electronic Resources
Availability Online Library~1

Agent and Multi-Agent Systems: Technologies and Applications 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I

2025-12-10T02:39:15Z

Author Jędrzejowicz, Piotr. editor. Nguyen, Ngoc Thanh. editor. Howlet, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13480-7
Format: Electronic Resources
Availability Online Library~1

The Semantic Web: Research and Applications 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 –June 3, 2010, Proceedings, Part I

2025-12-10T02:39:15Z

Author Aroyo, Lora. editor. Antoniou, Grigoris. editor. Hyvönen, Eero. editor. Teije, Annette. editor. Stuckenschmidt, Heiner. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13486-9
Format: Electronic Resources
Availability Online Library~1

The Semantic Web: Research and Applications 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 – June 3, 2010, Proceedings, Part II

2025-12-10T02:39:15Z

Author Aroyo, Lora. editor. Antoniou, Grigoris. editor. Hyvönen, Eero. editor. Teije, Annette. editor. Stuckenschmidt, Heiner. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13489-0
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence First International Conference, ICSI 2010, Beijing, China, June 12-15, 2010, Proceedings, Part I

2025-12-10T02:39:15Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Tan, Kay Chen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13495-1
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence First International Conference, ICSI 2010, Beijing, China, June 12-15, 2010, Proceedings, Part II

2025-12-10T02:39:15Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Tan, Kay Chen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13498-2
Format: Electronic Resources
Availability Online Library~1

Combinatorial Pattern Matching 21st Annual Symposium, CPM 2010, New York, NY, USA, June 21-23, 2010. Proceedings

2025-12-10T02:39:15Z

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

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings

2025-12-10T02:39:15Z

Author Lodi, Andrea. editor. Milano, Michela. editor. Toth, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13520-0
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings

2025-12-10T02:39:15Z

Author Calude, Cristian S. editor. Hagiya, Masami. editor. Morita, Kenichi. editor. Rozenberg, Grzegorz. editor. Timmis, Jon. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13523-1
Format: Electronic Resources
Availability Online Library~1

Rough Sets and Current Trends in Computing 7th International Conference, RSCTC 2010, Warsaw, Poland, June 28-30,2010. Proceedings

2025-12-10T02:39:15Z

Author Szczuka, Marcin. editor. Kryszkiewicz, Marzena. editor. Ramanna, Sheela. editor. Jensen, Richard. editor. Hu, Qinghua. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13529-3
Format: Electronic Resources
Availability Online Library~1

Agent and Multi-Agent Systems: Technologies and Applications 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part II

2025-12-10T02:39:15Z

Author Jędrzejowicz, Piotr. editor. Nguyen, Ngoc Thanh. editor. Howlet, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13541-5
Format: Electronic Resources
Availability Online Library~1

Smart Graphics 10th International Symposium on Smart Graphics, Banff, Canada, June 24-26, 2010 Proceedings

2025-12-10T02:39:15Z

Author Taylor, Robyn. editor. Boulanger, Pierre. editor. Krüger, Antonio. editor. Olivier, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13544-6
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings

2025-12-10T02:39:15Z

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

Multi-Agent-Based Simulation X International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers

2025-12-10T02:39:15Z

Author Tosto, Gennaro. editor. Dyke Parunak, H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13553-8
Format: Electronic Resources
Availability Online Library~1

Architecting Critical Systems First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings

2025-12-10T02:39:15Z

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

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings

2025-12-10T02:39:15Z

Author Kratochvíl, Jan. editor. Li, Angsheng. editor. Fiala, Jiří. editor. Kolman, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13562-0
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings

2025-12-10T02:39:15Z

Author Al-Begain, Khalid. editor. Fiems, Dieter. editor. Knottenbelt, William J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13568-2
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings

2025-12-10T02:39:15Z

Author Kühne, Thomas. editor. Selic, Bran. editor. Gervais, Marie-Pierre. editor. Terrier, François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13595-8
Format: Electronic Resources
Availability Online Library~1

Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2010, Hyderabad, India, June 21, 2010. Proceedings

2025-12-10T02:39:15Z

Author Chen, Hsinchun. editor. Chau, Michael. editor. Li, Shu-hsing. editor. Urs, Shalini. editor. Srinivasa, Srinath. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13601-6
Format: Electronic Resources
Availability Online Library~1

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings

2025-12-10T02:39:15Z

Author Lee, Der-Tsai. editor. Chen, Danny Z. editor. Ying, Shi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14553-7
Format: Electronic Resources
Availability Online Library~1

Focused Retrieval and Evaluation 8th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2009, Brisbane, Australia, December 7-9, 2009, Revised and Selected Papers

2025-12-10T02:39:15Z

Author Geva, Shlomo. editor. Kamps, Jaap. editor. Trotman, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14556-8
Format: Electronic Resources
Availability Online Library~1

Dependency Structures and Lexicalized Grammars An Algebraic Approach

2025-12-10T02:39:15Z

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

Computational Intelligence Methods for Bioinformatics and Biostatistics 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

Author Masulli, Francesco. editor. Peterson, Leif E. editor. Tagliaferri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14571-1
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 14th International Conference, FC 2010, Tenerife, Canary Islands, January 25-28, 2010, Revised Selected Papers

2025-12-10T02:39:15Z

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

Database Systems for Advanced Applications 15th International Conference, DASFAA 2010, International Workshops: GDM, BenchmarX, MCIS, SNSMW, DIEW, UDM, Tsukuba, Japan, April 1-4, 2010, Revised Selected Papers

2025-12-10T02:39:15Z

Author Yoshikawa, Masatoshi. editor. Meng, Xiaofeng. editor. Yumoto, Takayuki. editor. Ma, Qiang. editor. Sun, Lifeng. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14589-6
Format: Electronic Resources
Availability Online Library~1

Trusted Systems First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Revised Selected Papers

2025-12-10T02:39:15Z

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

Advances in Cryptology – CRYPTO 2010 30th Annual Cryptology Conference, Santa Barbara, CA, USA, August 15-19, 2010. Proceedings

2025-12-10T02:39:15Z

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

Web-Age Information Management 11th International Conference, WAIM 2010, Jiuzhaigou, China, July 15-17, 2010. Proceedings

2025-12-10T02:39:15Z

Author Chen, Lei. editor. Tang, Changjie. editor. Yang, Jun. editor. Gao, Yunjun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14246-8
Format: Electronic Resources
Availability Online Library~1

Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

Author Yli-Jyrä, Anssi. editor. Kornai, András. editor. Sakarovitch, Jacques. editor. Watson, Bruce. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14684-8
Format: Electronic Resources
Availability Online Library~1

Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice

2025-12-10T02:39:15Z

Author Müller-Hannemann, Matthias. editor. Schirra, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14866-8
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Artificial Intelligence JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

Author Nakakoji, Kumiyo. editor. Murakami, Yohei. editor. McCready, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14888-0
Format: Electronic Resources
Availability Online Library~1

Smart Spaces and Next Generation Wired/Wireless Networking Third Conference on Smart Spaces, ruSMART 2010, and 10th International Conference, NEW2AN 2010, St. Petersburg, Russia, August 23-25, 2010. Proceedings

2025-12-10T02:39:15Z

Author Balandin, Sergey. editor. Dunaytsev, Roman. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14891-0
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Theories and Applications 6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18-21, 2010. Proceedings

2025-12-10T02:39:15Z

Author Huang, De-Shuang. editor. Zhao, Zhongming. editor. Bevilacqua, Vitoantonio. editor. Figueroa, Juan Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14922-1
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-12-10T02:39:15Z

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

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence 6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18-21, 2010. Proceedings

2025-12-10T02:39:15Z

Author Huang, De-Shuang. editor. Zhang, Xiang. editor. Reyes García, Carlos Alberto. editor. Zhang, Lei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14932-0
Format: Electronic Resources
Availability Online Library~1

Systems and Virtualization Management. Standards and the Cloud Third International DMTF Academic Alliance Workshop, SVM 2009, Wuhan, China, September 22-23, 2009. Revised Selected Papers

2025-12-10T02:39:15Z

Author Boursas, Latifa. editor. Carlson, Mark. editor. Jin, Hai. editor. Sibilla, Michelle. editor. Wold, Kes. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14944-3
Format: Electronic Resources
Availability Online Library~1

Future Internet - FIS 2009 Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009

2025-12-10T02:39:15Z

Author Zseby, Tanja. editor. Savola, Reijo. editor. Pistore, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14956-6
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions and Norms in Agent Systems V COIN 2009 International Workshops. COIN@AAMAS 2009, Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009, Turin, Italy, September 2009. Revised Selected Papers

2025-12-10T02:39:15Z

Author Padget, Julian. editor. Artikis, Alexander. editor. Vasconcelos, Wamberto. editor. Stathis, Kostas. editor. Silva, Viviane Torres. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14962-7
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

2025-12-10T02:39:15Z

Author Dix, Jürgen. editor. Leite, João. editor. Governatori, Guido. editor. Jamroga, Wojtek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14977-1
Format: Electronic Resources
Availability Online Library~1

Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshop, SSPR&SPR 2010, Cesme, Izmir, Turkey, August 18-20, 2010. Proceedings

2025-12-10T02:39:15Z

Author Hancock, Edwin R. editor. Wilson, Richard C. editor. Windeatt, Terry. editor. Ulusoy, Ilkay. editor. Escolano, Francisco. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14980-1
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security FC 2010 Workshops, RLCPS, WECSR, and WLC 2010, Tenerife, Canary Islands, Spain, January 25-28, 2010, Revised Selected Papers

2025-12-10T02:39:15Z

Author Sion, Radu. editor. Curtmola, Reza. editor. Dietrich, Sven. editor. Kiayias, Aggelos. editor. Miret, Josep M. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14992-4
Format: Electronic Resources
Availability Online Library~1

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

2025-12-10T02:39:15Z

Author Blass, Andreas. editor. Dershowitz, Nachum. editor. Reisig, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15025-8
Format: Electronic Resources
Availability Online Library~1

Knowledge Science, Engineering and Management 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings

2025-12-10T02:39:15Z

Author Bi, Yaxin. editor. Williams, Mary-Anne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15280-1
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II

2025-12-10T02:39:15Z

Author D’Ambra, Pasqua. editor. Guarracino, Mario. editor. Talia, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15291-7
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-12-10T02:39:15Z

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

Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

2025-12-10T02:39:15Z

Author Leavens, Gary T. editor. O’Hearn, Peter. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15057-9
Format: Electronic Resources
Availability Online Library~1

Security and Cryptography for Networks 7th International Conference, SCN 2010, Amalfi, Italy, September 13-15, 2010. Proceedings

2025-12-10T02:39:15Z

Author Garay, Juan A. editor. Prisco, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15317-4
Format: Electronic Resources
Availability Online Library~1

Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings

2025-12-10T02:39:15Z

Author Tempesti, Gianluca. editor. Tyrrell, Andy M. editor. Miller, Julian F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15323-5
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-12-10T02:39:15Z

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

Data Integration in the Life Sciences 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25-27, 2010. Proceedings

2025-12-10T02:39:15Z

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

Trust, Privacy and Security in Digital Business 7th International Conference, TrustBus 2010, Bilbao, Spain, August 30-31, 2010. Proceedings

2025-12-10T02:39:15Z

Author Katsikas, Sokratis. editor. Lopez, Javier. editor. Soriano, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15152-1
Format: Electronic Resources
Availability Online Library~1

Electronic Participation Second IFIP WG 8.5 International Conference, ePart 2010, Lausanne, Switzerland, August 29 – September 2, 2010. Proceedings

2025-12-10T02:39:15Z

Author Tambouris, Efthimios. editor. Macintosh, Ann. editor. Glassey, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15158-3
Format: Electronic Resources
Availability Online Library~1

Logic and the Foundations of Game and Decision Theory – LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

2025-12-10T02:39:15Z

Author Bonanno, Giacomo. editor. Löwe, Benedikt. editor. Hoek, Wiebe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15164-4
Format: Electronic Resources
Availability Online Library~1

Electronic Government and the Information Systems Perspective First International Conference, EGOVIS 2010, Bilbao, Spain, August 31 – September 2, 2010. Proceedings

2025-12-10T02:39:15Z

Author Andersen, Kim Normann. editor. Francesconi, Enrico. editor. Grönlund, Åke. editor. Engers, Tom M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15172-9
Format: Electronic Resources
Availability Online Library~1

From Animals to Animats 11 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings

2025-12-10T02:39:15Z

Author Doncieux, Stéphane. editor. Girard, Benoît. editor. Guillot, Agnès. editor. Hallam, John. editor. Meyer, Jean-Arcady. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15193-4
Format: Electronic Resources
Availability Online Library~1

Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings

2025-12-10T02:39:15Z

Author Hull, Richard. editor. Mendling, Jan. editor. Tai, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15618-2
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, Deptember 17-20, 2010, Proceedings, Part I

2025-12-10T02:39:15Z

Author Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15621-2
Format: Electronic Resources
Availability Online Library~1

Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

2025-12-10T02:39:15Z

Author Wirsing, Martin. editor. Hofmann, Martin. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15640-3
Format: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedings

2025-12-10T02:39:15Z

Author Hart, Emma. editor. McEwan, Chris. editor. Timmis, Jon. editor. Hone, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14547-6
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

Author Dan, Asit. editor. Gittler, Frédéric. editor. Toumani, Farouk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16132-2
Format: Electronic Resources
Availability Online Library~1

KI 2010: Advances in Artificial Intelligence 33rd Annual German Conference on AI, Karlsruhe, Germany, September 21-24, 2010. Proceedings

2025-12-10T02:39:15Z

Author Dillmann, Rüdiger. editor. Beyerer, Jürgen. editor. Hanebeck, Uwe D. editor. Schultz, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16111-7
Format: Electronic Resources
Availability Online Library~1

Web Application Security Iberic Web Application Security Conference, IBWAS 2009, Madrid, Spain, December 10-11, 2009. Revised Selected Papers

2025-12-10T02:39:15Z

Author Serrão, Carlos. editor. Aguilera Díaz, Vicente. editor. Cerullo, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16120-9
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I

2025-12-10T02:39:15Z

Author Petriu, Dorina C. editor. Rouquette, Nicolas. editor. Haugen, Øystein. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16145-2
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

2025-12-10T02:39:15Z

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

Information Computing and Applications First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings

2025-12-10T02:39:15Z

Author Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16167-4
Format: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010. Proceedings

2025-12-10T02:39:15Z

Author Kontogiannis, Spyros. editor. Koutsoupias, Elias. editor. Spirakis, Paul G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16170-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems II

2025-12-10T02:39:15Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Bach Pedersen, Torben. editor. Tjoa, A. Min. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16175-9
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings

2025-12-10T02:39:15Z

Author Dix, Jürgen. editor. Witteveen, Cees. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16178-0
Format: Electronic Resources
Availability Online Library~1

Discovery Science 13th International Conference, DS 2010, Canberra, Australia, October 6-8, 2010. Proceedings

2025-12-10T02:39:15Z

Author Pfahringer, Bernhard. editor. Holmes, Geoff. editor. Hoffmann, Achim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16184-1
Format: Electronic Resources
Availability Online Library~1

Spoken Dialogue Systems for Ambient Environments Second International Workshop on Spoken Dialogue Systems Technology, IWSDS 2010, Gotemba, Shizuoka, Japan, October 1-2, 2010. Proceedings

2025-12-10T02:39:15Z

Author Lee, Gary Geunbae. editor. Mariani, Joseph. editor. Minker, Wolfgang. editor. Nakamura, Satoshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16202-2
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

2025-12-10T02:39:15Z

Author Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16242-8
Format: Electronic Resources
Availability Online Library~1

Rough Set and Knowledge Technology 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010. Proceedings

2025-12-10T02:39:15Z

Author Yu, Jian. editor. Greco, Salvatore. editor. Lingras, Pawan. editor. Wang, Guoyin. editor. Skowron, Andrzej. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16248-0
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

2025-12-10T02:39:15Z

Author Méry, Dominique. editor. Merz, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16265-7
Format: Electronic Resources
Availability Online Library~1

Provable Security 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings

2025-12-10T02:39:15Z

Author Heng, Swee-Huay. editor. Kurosawa, Kaoru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16280-0
Format: Electronic Resources
Availability Online Library~1

Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings

2025-12-10T02:39:15Z

Author Dean, Mike. editor. Hall, John. editor. Rotolo, Antonino. editor. Tabet, Said. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16289-3
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings

2025-12-10T02:39:15Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. Daumas, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16292-3
Format: Electronic Resources
Availability Online Library~1

Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

2025-12-10T02:39:15Z

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

Knowledge Management, Information Systems, E-Learning, and Sustainability Research Third World Summit on the Knowledge Society, WSKS 2010, Corfu, Greece, September 22-24, 2010. Proceedings, Part I

2025-12-10T02:39:15Z

Author Lytras, Miltiadis D. editor. Ordonez De Pablos, Patricia. editor. Ziderman, Adrian. editor. Roulstone, Alan. editor. Maurer, Hermann. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16318-0
Format: Electronic Resources
Availability Online Library~1

String Processing and Information Retrieval 17th International Symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, 2010. Proceedings

2025-12-10T02:39:15Z

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

Organizational, Business, and Technological Aspects of the Knowledge Society Third World Summit on the Knowledge Society, WSKS 2010, Corfu, Greece, September 22-24, 2010. Proceedings, Part II

2025-12-10T02:39:15Z

Author Lytras, Miltiadis D. editor. Ordonez de Pablos, Patricia. editor. Ziderman, Adrian. editor. Roulstone, Alan. editor. Maurer, Hermann. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16324-1
Format: Electronic Resources
Availability Online Library~1

Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II

2025-12-10T02:39:15Z

Author Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16339-5
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Intelligence and Computing 7th International Conference, UIC 2010, Xi’an, China, October 26-29, 2010. Proceedings

2025-12-10T02:39:15Z

Author Yu, Zhiwen. editor. Liscano, Ramiro. editor. Chen, Guanling. editor. Zhang, Daqing. editor. Zhou, Xingshe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16355-5
Format: Electronic Resources
Availability Online Library~1

Research and Education in Robotics - EUROBOT 2009 International Conference, La Ferté-Bernard, France, May 21-23, 2009, Revised Selected Papers

2025-12-10T02:39:15Z

Author Gottscheber, Achim. editor. Obdržálek, David. editor. Schmidt, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16370-8
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings

2025-12-10T02:39:15Z

Author Parsons, Jeffrey. editor. Saeki, Motoshi. editor. Shoval, Peretz. editor. Woo, Carson. editor. Wand, Yair. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16373-9
Format: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling – Applications and Challenges ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. Proceedings

2025-12-10T02:39:15Z

Author Trujillo, Juan. editor. Dobbie, Gillian. editor. Kangassalo, Hannu. editor. Hartmann, Sven. editor. Kirchberg, Markus. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16385-2
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Intelligent Systems 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings

2025-12-10T02:39:15Z

Author Cai, Zhihua. editor. Tong, Hengjian. editor. Kang, Zhuo. editor. Liu, Yong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16388-3
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Knowledge Discovery Challenges, Techniques, Applications

2025-12-10T02:39:15Z

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

E-business Technology and Strategy International Conference, CETS 2010, Ottawa, Canada, September 29-30, 2010. Proceedings

2025-12-10T02:39:15Z

Author Zaman, Marzia. editor. Liang, Yawei. editor. Siddiqui, Sohail M. editor. Wang, Tim. editor. Liu, Vincent. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16397-5
Format: Electronic Resources
Availability Online Library~1

ENTERprise Information Systems International Conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings, Part I

2025-12-10T02:39:15Z

Author Quintela Varajão, João Eduardo. editor. Cruz-Cunha, Maria Manuela. editor. Putnik, Goran D. editor. Trigo, António. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16402-6
Format: Electronic Resources
Availability Online Library~1

ENTERprise Information Systems International Conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings, Part II

2025-12-10T02:39:15Z

Author Quintela Varajão, João Eduardo. editor. Cruz-Cunha, Maria Manuela. editor. Putnik, Goran D. editor. Trigo, António. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16419-4
Format: Electronic Resources
Availability Online Library~1