Search Results for Systems - Narrowed by: Computer software.

MATLAB Control Systems Engineering

2026-04-26T12:55:14Z

Author Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0289-0
Format: Electronic Resources
Availability Online Library~1

Introduction to Diagnosis of Active Systems

2026-04-26T12:55:14Z

Author Lamperti, Gianfranco. author. Zanella, Marina. author. Zhao, Xiangfu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92733-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology XIII

2026-04-26T12:55:14Z

Author Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19748-2
Format: Electronic Resources
Availability Online Library~1

Matrices and Matroids for Systems Analysis

2026-04-26T12:55:14Z

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

Transactions on Computational Systems Biology XI

2026-04-26T12:55:14Z

Author Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04186-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology X

2026-04-26T12:55:14Z

Author Priami, Corrado. editor. Dressler, Falko. editor. Akan, Ozgur B. editor. Ngom, Alioune. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92273-5
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology IX

2026-04-26T12:55:14Z

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

Transactions on Computational Systems Biology VIII

2026-04-26T12:55:14Z

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

Transactions on Computational Systems Biology VII

2026-04-26T12:55:14Z

Author Priami, Corrado. editor. Ingólfsdóttir, Anna. editor. Mishra, Bud. editor. Riis Nielson, Hanne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11905455
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology VI

2026-04-26T12:55:14Z

Author Priami, Corrado. editor. Plotkin, Gordon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11880646
Format: Electronic Resources
Availability Online Library~1

Peer-to-Peer Systems and Applications

2026-04-26T12:55:14Z

Author Steinmetz, Ralf. editor. Wehrle, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11530657
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Evolutionary Computations in Engineering Systems Proceedings of ICAIECES 2017

2026-04-26T12:55:14Z

Author Dash, Subhransu Sekhar. editor. Naidu, Paruchuri Chandra Babu. editor. Bayindir, Ramazan. editor. Das, Swagatam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7868-2
Format: Electronic Resources
Availability Online Library~1

Database and Expert Systems Applications 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part I

2026-04-26T12:55:14Z

Author Hartmann, Sven. editor. Ma, Hui. editor. Hameurlain, Abdelkader. editor. Pernul, Günther. editor. Wagner, Roland R. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98809-2
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I

2026-04-26T12:55:14Z

Author Hacid, Hakim. editor. (orcid)0000-0003-2265-9343 Cellary, Wojciech. editor. (orcid)0000-0001-8578-4307 Wang, Hua. editor. (orcid)0000-0002-8465-0996 Paik, Hye-Young. editor. (orcid)0000-0003-4425-7388 Zhou, Rui. editor. (orcid)0000-0001-6807-4362
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02922-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part II

2026-04-26T12:55:14Z

Author Nguyen, Ngoc Thanh. editor. Hoang, Duong Hung. editor. Hong, Tzung-Pei. editor. Pham, Hoang. editor. Trawiński, Bogdan. editor. (orcid)0000-0002-2956-6388
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75420-8
Format: Electronic Resources
Availability Online Library~1

Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings

2026-04-26T12:55:14Z

Author Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Halloy, José. editor. Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Lepora, Nathan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95972-6
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Intelligent Systems 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part I

2026-04-26T12:55:14Z

Author Li, Kangshun. editor. Li, Wei. editor. Chen, Zhangxing. editor. Liu, Yong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1648-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part I

2026-04-26T12:55:14Z

Author Nguyen, Ngoc Thanh. editor. Hoang, Duong Hung. editor. Hong, Tzung-Pei. editor. Pham, Hoang. editor. Trawiński, Bogdan. editor. (orcid)0000-0002-2956-6388
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75417-8
Format: Electronic Resources
Availability Online Library~1

Advances in Brain Inspired Cognitive Systems 9th International Conference, BICS 2018, Xi'an, China, July 7-8, 2018, Proceedings

2026-04-26T12:55:14Z

Author Ren, Jinchang. editor. Hussain, Amir. editor. Zheng, Jiangbin. editor. Liu, Cheng-Lin. editor. Luo, Bin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00563-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

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

Recent Trends and Future Technology in Applied Intelligence 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings

2026-04-26T12:55:14Z

Author Mouhoub, Malek. editor. Sadaoui, Samira. editor. Ait Mohamed, Otmane. editor. Ali, Moonis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92058-0
Format: Electronic Resources
Availability Online Library~1

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I

2026-04-26T12:55:14Z

Author Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91473-2
Format: Electronic Resources
Availability Online Library~1

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2026-04-26T12:55:14Z

Author Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00359-3
Format: Electronic Resources
Availability Online Library~1

Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III

2026-04-26T12:55:14Z

Author Li, Kang. editor. Zhang, Jianhua. editor. Chen, Minyou. editor. Yang, Zhile. editor. Niu, Qun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2381-2
Format: Electronic Resources
Availability Online Library~1

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III

2026-04-26T12:55:14Z

Author Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Perfilieva, Irina. editor. Bouchon-Meunier, Bernadette. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91479-4
Format: Electronic Resources
Availability Online Library~1

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II

2026-04-26T12:55:14Z

Author Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91476-3
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

2026-04-26T12:55:14Z

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

PRIMA 2018: Principles and Practice of Multi-Agent Systems 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings

2026-04-26T12:55:14Z

Author Miller, Tim. editor. (orcid)0000-0003-4908-6063 Oren, Nir. editor. (orcid)0000-0002-4854-9014 Sakurai, Yuko. editor. (orcid)0000-0002-0642-3878 Noda, Itsuki. editor. (orcid)0000-0003-1987-5336 Savarimuthu, Bastin Tony Roy. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03098-8
Format: Electronic Resources
Availability Online Library~1

Towards Autonomous Robotic Systems 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings

2026-04-26T12:55:14Z

Author Giuliani, Manuel. editor. (orcid)0000-0003-3781-7623 Assaf, Tareq. editor. Giannaccini, Maria Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96728-8
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings

2026-04-26T12:55:14Z

Author de Cos Juez, Francisco Javier. editor. Villar, José Ramón. editor. de la Cal, Enrique A. editor. Herrero, Álvaro. editor. Quintián, Héctor. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92639-1
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings

2026-04-26T12:55:14Z

Author Chellappan, Sriram. editor. Cheng, Wei. editor. Li, Wei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94268-1
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

2026-04-26T12:55:14Z

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

Computational Intelligence and Intelligent Systems 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part II

2026-04-26T12:55:14Z

Author Li, Kangshun. editor. Li, Wei. editor. Chen, Zhangxing. editor. Liu, Yong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1651-7
Format: Electronic Resources
Availability Online Library~1

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

2026-04-26T12:55:14Z

Author Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94779-2
Format: Electronic Resources
Availability Online Library~1

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

2026-04-26T12:55:14Z

Author Demazeau, Yves. editor. An, Bo. editor. (orcid)0000-0002-7064-7438 Bajo, Javier. editor. Fernández-Caballero, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94580-4
Format: Electronic Resources
Availability Online Library~1

Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers

2026-04-26T12:55:14Z

Author Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334121.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36092-3
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334886.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40069-8
Format: Electronic Resources
Availability Online Library~1

Networked Systems First International Conference, NETYS 2013, Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers

2026-04-26T12:55:14Z

Author Gramoli, Vincent. editor. Guerraoui, Rachid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334899.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40148-0
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings

2026-04-26T12:55:14Z

Author Ren, Kui. editor. Liu, Xue. editor. Liang, Weifa. editor. Xu, Ming. editor. Jia, Xiaohua. editor.
Preferred Shelf Number ONLINE(334838.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39701-1
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems - CHES 2013 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings

2026-04-26T12:55:14Z

Author Bertoni, Guido. editor. Coron, Jean-Sébastien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334932.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40349-1
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings

2026-04-26T12:55:14Z

Author Pan, Jeng-Shyang. editor. Polycarpou, Marios M. editor. Woźniak, Michał. editor. Carvalho, André C. P. L. F. editor. Quintián, Héctor. editor.
Preferred Shelf Number ONLINE(335017.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40846-5
Format: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

2026-04-26T12:55:14Z

Author Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335022.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40867-0
Format: Electronic Resources
Availability Online Library~1

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

2026-04-26T12:55:14Z

Author Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335023.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40885-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

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

Internet and Distributed Computing Systems 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings

2026-04-26T12:55:14Z

Author Pathan, Mukaddim. editor. Wei, Guiyi. editor. Fortino, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335105.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41428-2
Format: Electronic Resources
Availability Online Library~1

Secure IT Systems 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

2026-04-26T12:55:14Z

Author Riis Nielson, Hanne. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335111.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41488-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

2026-04-26T12:55:14Z

Author Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332999.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03850-6
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

Language Processing and Intelligent Information Systems 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings

2026-04-26T12:55:14Z

Author Kłopotek, Mieczysław A. editor. Koronacki, Jacek. editor. Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor. Wierzchoń, Sławomir T. editor.
Preferred Shelf Number ONLINE(334639.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38634-3
Format: Electronic Resources
Availability Online Library~1

Security and Privacy Protection in Information Processing Systems 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings

2026-04-26T12:55:14Z

Author Janczewski, Lech J. editor. Wolfe, Henry B. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334755.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39218-4
Format: Electronic Resources
Availability Online Library~1

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

2026-04-26T12:55:14Z

Author Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334778.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39310-5
Format: Electronic Resources
Availability Online Library~1

AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings

2026-04-26T12:55:14Z

Author Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335181.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45037-2
Format: Electronic Resources
Availability Online Library~1

Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers

2026-04-26T12:55:14Z

Author Erlebach, Thomas. editor. Nikoletseas, Sotiris. editor. Orponen, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28209-6
Format: Electronic Resources
Availability Online Library~1

Mobile and Ubiquitous Systems: Computing, Networking, and Services 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers

2026-04-26T12:55:14Z

Author Sénac, Patrick. editor. Ott, Max. editor. Seneviratne, Aruna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29154-8
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

Author Krishna, P. Venkata. editor. Babu, M. Rajasekhara. editor. Ariwa, Ezendu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29216-3
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

Author Krishna, P. Venkata. editor. Babu, M. Rajasekhara. editor. Ariwa, Ezendu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29219-4
Format: Electronic Resources
Availability Online Library~1

Broadband Communications, Networks, and Systems 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25–27, 2010, Revised Selected Papers

2026-04-26T12:55:14Z

Author Tomkos, Ioannis. editor. Bouras, Christos J. editor. Ellinas, Georgios. editor. Demestichas, Panagiotis. editor. Sinha, Prasun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30376-0
Format: Electronic Resources
Availability Online Library~1

Bio-Inspired Models of Networks, Information, and Computing Systems 6th International ICST Conference, BIONETICS 2011, York, UK, December 5-6, 2011, Revised Selected Papers

2026-04-26T12:55:14Z

Author Hart, Emma. editor. Timmis, Jon. editor. Mitchell, Paul. editor. Nakamo, Takadash. editor. Dabiri, Foad. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32711-7
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems – CHES 2012 14th International Workshop, Leuven, Belgium, September 9-12, 2012. Proceedings

2026-04-26T12:55:14Z

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

Artificial Immune Systems 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012. Proceedings

2026-04-26T12:55:14Z

Author Coello Coello, Carlos A. editor. Greensmith, Julie. editor. Krasnogor, Natalio. editor. Liò, Pietro. editor. Nicosia, Giuseppe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33757-4
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers

2026-04-26T12:55:14Z

Author Cossentino, Massimo. editor. Kaisers, Michael. editor. Tuyls, Karl. editor. Weiss, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34799-3
Format: Electronic Resources
Availability Online Library~1

Internet and Distributed Computing Systems 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings

2026-04-26T12:55:14Z

Author Xiang, Yang. editor. Pathan, Mukaddim. editor. Tao, Xiaohui. editor. Wang, Hua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34883-9
Format: Electronic Resources
Availability Online Library~1

Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings

2026-04-26T12:55:14Z

Author Baldoni, Roberto. editor. Flocchini, Paola. editor. Binoy, Ravindran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35476-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology XIV Special Issue on Computational Models for Cell Processes

2026-04-26T12:55:14Z

Author Priami, Corrado. editor. Petre, Ion. editor. Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35524-0
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Intelligent Systems 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings

2026-04-26T12:55:14Z

Author Li, Zhenhua. editor. Li, Xiang. editor. Liu, Yong. editor. Cai, Zhihua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34289-9
Format: Electronic Resources
Availability Online Library~1

Algebraic Modeling Systems Modeling and Solving Real World Optimization Problems

2026-04-26T12:55:14Z

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

Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings

2026-04-26T12:55:14Z

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

Intelligent Information and Database Systems 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part I

2026-04-26T12:55:14Z

Author Pan, Jeng-Shyang. editor. Chen, Shyi-Ming. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28487-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part II

2026-04-26T12:55:14Z

Author Pan, Jeng-Shyang. editor. Chen, Shyi-Ming. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28490-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part III

2026-04-26T12:55:14Z

Author Pan, Jeng-Shyang. editor. Chen, Shyi-Ming. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28493-9
Format: Electronic Resources
Availability Online Library~1

Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers

2026-04-26T12:55:14Z

Author Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29479-2
Format: Electronic Resources
Availability Online Library~1

Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

2026-04-26T12:55:14Z

Author Clarke, Edmund. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29709-0
Format: Electronic Resources
Availability Online Library~1

Mobile and Ubiquitous Systems: Computing, Networking, and Services 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers

2026-04-26T12:55:14Z

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

Advanced Research in Applied Artificial Intelligence 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2012, Dalian, China, June 9-12, 2012. Proceedings

2026-04-26T12:55:14Z

Author Jiang, He. editor. Ding, Wei. editor. Ali, Moonis. editor. Wu, Xindong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31087-4
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings

2026-04-26T12:55:14Z

Author Wang, Xinbing. editor. Zheng, Rong. editor. Jing, Tao. editor. Xing, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31869-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

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

Advanced Concepts for Intelligent Vision Systems 14th International Conference, ACIVS 2012, Brno, Czech Republic, September 4-7, 2012. Proceedings

2026-04-26T12:55:14Z

Author Blanc-Talon, Jacques. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor. Zemčík, Pavel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33140-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

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

Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings

2026-04-26T12:55:14Z

Author Richa, Andréa W. editor. Scheideler, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33536-5
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

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

Eternal Systems First InternationalWorkshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers

2026-04-26T12:55:14Z

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

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

2026-04-26T12:55:14Z

Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28525-7
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers

2026-04-26T12:55:14Z

Author Ayala, José L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28566-0
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

Author Corchado, Emilio. editor. Snášel, Václav. editor. Abraham, Ajith. editor. Woźniak, Michał. editor. Graña, Manuel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28931-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

Author Corchado, Emilio. editor. Snášel, Václav. editor. Abraham, Ajith. editor. Woźniak, Michał. editor. Graña, Manuel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28942-2
Format: Electronic Resources
Availability Online Library~1

Performance Evaluation, Measurement and Characterization of Complex Systems Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers

2026-04-26T12:55:14Z

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

Information Systems for Indian Languages International Conference, ICISIL 2011, Patiala, India, March 9-11, 2011. Proceedings

2026-04-26T12:55:14Z

Author Singh, Chandan. editor. Singh Lehal, Gurpreet. editor. Sengupta, Jyotsna. editor. Sharma, Dharam Veer. editor. Goyal, Vishal. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19403-0
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II

2026-04-26T12:55:14Z

Author Corchado, Emilio. editor. Kurzyński, Marek. editor. Woźniak, Michał. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21222-2
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: Technologies for Systems Integration 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianópolis, Brazil, October 12-14, 2009, Revised Selected Papers

2026-04-26T12:55:14Z

Author Becker, Jürgen. editor. Johann, Marcelo. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23120-9
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems: OTM 2011 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part II

2026-04-26T12:55:14Z

Author Meersman, Robert. editor. Dillon, Tharam. editor. Herrero, Pilar. editor. Kumar, Akhil. editor. Reichert, Manfred. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25106-1
Format: Electronic Resources
Availability Online Library~1

Trusted Systems Second International Conference, INTRUST 2010, Beijing, China, December 13-15, 2010, Revised Selected Papers

2026-04-26T12:55:14Z

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

Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers

2026-04-26T12:55:14Z

Author Hummel, Karin Anna. editor. Hlavacs, Helmut. editor. Gansterer, Wilfried. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25575-5
Format: Electronic Resources
Availability Online Library~1

Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings

2026-04-26T12:55:14Z

Author Fernàndez Anta, Antonio. editor. Lipari, Giuseppe. editor. Roy, Matthieu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25873-2
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

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

Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers

2026-04-26T12:55:14Z

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

Information Intelligence, Systems, Technology and Management 5th International Conference, ICISTM 2011, Gurgaon, India, March 10-12, 2011. Proceedings

2026-04-26T12:55:14Z

Author Dua, Sumeet. editor. Sahni, Sartaj. editor. Goyal, D. P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19423-8
Format: Electronic Resources
Availability Online Library~1

Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings

2026-04-26T12:55:14Z

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

Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings

2026-04-26T12:55:14Z

Author Marchetti-Spaccamela, Alberto. editor. Segal, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19754-3
Format: Electronic Resources
Availability Online Library~1

Advances Concepts for Intelligent Vision Systems 13th International Conference, ACIVS 2011, Ghent, Belgium, August 22-25, 2011. Proceedings

2026-04-26T12:55:14Z

Author Blanc-Talon, Jacques. editor. Kleihorst, Richard. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23687-7
Format: Electronic Resources
Availability Online Library~1

Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings

2026-04-26T12:55:14Z

Author Tinelli, Cesare. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24364-6
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings

2026-04-26T12:55:14Z

Author Défago, Xavier. editor. Petit, Franck. editor. Villain, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24550-3
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems: OTM 2011 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I

2026-04-26T12:55:14Z

Author Meersman, Robert. editor. Dillon, Tharam. editor. Herrero, Pilar. editor. Kumar, Akhil. editor. Reichert, Manfred. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25109-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems Third International Conference, ACIIDS 2011, Daegu, Korea, April 20-22, 2011, Proceedings, Part I

2026-04-26T12:55:14Z

Author Nguyen, Ngoc Thanh. editor. Kim, Chong-Gun. editor. Janiak, Adam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20039-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems Third International Conference, ACIIDS 2011, Daegu, Korea, April 20-22, 2011, Proceedings, Part II

2026-04-26T12:55:14Z

Author Nguyen, Ngoc Thanh. editor. Kim, Chong-Gun. editor. Janiak, Adam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20042-7
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part I

2026-04-26T12:55:14Z

Author Corchado, Emilio. editor. Kurzyński, Marek. editor. Woźniak, Michał. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21219-2
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence in Security for Information Systems 4th International Conference, CISIS 2011, Held at IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011. Proceedings

2026-04-26T12:55:14Z

Author Herrero, Álvaro. editor. Corchado, Emilio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21323-6
Format: Electronic Resources
Availability Online Library~1

Multiple Classifier Systems 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings

2026-04-26T12:55:14Z

Author Sansone, Carlo. 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-21557-5
Format: Electronic Resources
Availability Online Library~1

Modern Approaches in Applied Intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part I

2026-04-26T12:55:14Z

Author Mehrotra, Kishan G. editor. Mohan, Chilukuri K. editor. Oh, Jae C. editor. Varshney, Pramod K. editor. Ali, Moonis. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21822-4
Format: Electronic Resources
Availability Online Library~1

Modern Approaches in Applied Intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part II

2026-04-26T12:55:14Z

Author Mehrotra, Kishan G. editor. Mohan, Chilukuri K. editor. Oh, Jae C. editor. Varshney, Pramod K. editor. Ali, Moonis. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21827-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I

2026-04-26T12:55:14Z

Author Mohamad Zain, Jasni. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22170-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II

2026-04-26T12:55:14Z

Author Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22191-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III

2026-04-26T12:55:14Z

Author Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22203-0
Format: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings

2026-04-26T12:55:14Z

Author Liò, Pietro. editor. Nicosia, Giuseppe. editor. Stibor, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22371-6
Format: Electronic Resources
Availability Online Library~1

Digital Enterprise and Information Systems International Conference, DEIS 2011, London, UK, July 20 – 22, 2011. Proceedings

2026-04-26T12:55:14Z

Author Ariwa, Ezendu. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22603-8
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011. Proceedings

2026-04-26T12:55:14Z

Author Cheng, Yu. editor. Eun, Do Young. editor. Qin, Zhiguang. editor. Song, Min. editor. Xing, Kai. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23490-3
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems – CHES 2011 13th International Workshop, Nara, Japan, September 28 – October 1, 2011. Proceedings

2026-04-26T12:55:14Z

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

Computing and Intelligent Systems International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011, Proceedings, Part III

2026-04-26T12:55:14Z

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

Computing and Intelligent Systems International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part IV

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

Modern Transport Telematics 11th International Conference on Transport Systems Telematics, TST 2011, Katowice-Ustroń, Poland, October 19-22, 2011. Selected Papers

2026-04-26T12:55:14Z

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

Transport Systems Telematics 10th Conference, TST 2010, Katowice – Ustroń, Poland, October 20-23, 2010. Selected Papers

2026-04-26T12:55:14Z

Author Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16472-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

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

Wireless Algorithms, Systems, and Applications 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings

2026-04-26T12:55:14Z

Author Pandurangan, Gopal. editor. Anil Kumar, V. S. editor. Ming, Gu. editor. Liu, Yunhao. editor. Li, Yingshu. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14654-1
Format: Electronic Resources
Availability Online Library~1

Learning Classifier Systems 11th International Workshop, IWLCS 2008, Atlanta, GA, USA, July 13, 2008, and 12th International Workshop, IWLCS 2009, Montreal, QC, Canada, July 9, 2009, Revised Selected Papers

2026-04-26T12:55:14Z

Author Bacardit, Jaume. editor. Browne, Will. editor. Drugowitsch, Jan. editor. Bernadó-Mansilla, Ester. editor. Butz, Martin V. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17508-4
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

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

Cryptographic Hardware and Embedded Systems, CHES 2010 12th International Workshop, Santa Barbara, USA, August 17-20, 2010. Proceedings

2026-04-26T12:55:14Z

Author Mangard, Stefan. editor. Standaert, François-Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15031-9
Format: Electronic Resources
Availability Online Library~1

Data Management in Grid and Peer-to-Peer Systems Third International Conference, Globe 2010, Bilbao, Spain, September 1-2, 2010. Proceedings

2026-04-26T12:55:14Z

Author Hameurlain, Abdelkader. editor. Morvan, Franck. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15108-8
Format: Electronic Resources
Availability Online Library~1

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

2026-04-26T12:55:14Z

Author Hinchey, Mike. editor. Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Lindsay, Peter A. editor. Rammig, Franz J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15234-4
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

2026-04-26T12:55:14Z

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

Transactions on Computational Systems Biology XII Special Issue on Modeling Methodologies

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

Bioinspired Models of Network, Information, and Computing Systems 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers

2026-04-26T12:55:14Z

Author Altman, Eitan. editor. Carrera, Iacopo. editor. El-Azouzi, Rachid. editor. Hart, Emma. editor. Hayel, Yezekael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12808-0
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

Stabilization, Safety, and Security of Distributed Systems 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings

2026-04-26T12:55:14Z

Author Dolev, Shlomi. editor. Cobb, Jorge. editor. Fischer, Michael. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16023-3
Format: Electronic Resources
Availability Online Library~1

From Active Data Management to Event-Based Systems and More Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday

2026-04-26T12:55:14Z

Author Sachs, Kai. editor. Petrov, Ilia. editor. Guerrero, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17226-7
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems: OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I

2026-04-26T12:55:14Z

Author Meersman, Robert. editor. Dillon, Tharam. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16934-2
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems, OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II

2026-04-26T12:55:14Z

Author Meersman, Robert. editor. Dillon, Tharam. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16949-6
Format: Electronic Resources
Availability Online Library~1

Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings

2026-04-26T12:55:14Z

Author Lu, Chenyang. editor. Masuzawa, Toshimitsu. editor. Mosbah, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17653-1
Format: Electronic Resources
Availability Online Library~1

Security and Privacy in Mobile Information and Communication Systems Second International ICST Conference, MobiSec 2010, Catania, Sicily, Italy, May 27-28, 2010, Revised Selected Papers

2026-04-26T12:55:14Z

Author Schmidt, Andreas U. editor. Russello, Giovanni. editor. Lioy, Antonio. editor. Prasad, Neeli R. editor. Lian, Shiguo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17502-2
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

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers

2026-04-26T12:55:14Z

Author Chatzimisios, Periklis. editor. Verikoukis, Christos. editor. Santamaría, Ignacio. editor. Laddomada, Massimiliano. editor. Hoffmann, Oliver. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16644-0
Format: Electronic Resources
Availability Online Library~1

Algorithms for Sensor Systems 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers

2026-04-26T12:55:14Z

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

Advanced Concepts for Intelligent Vision Systems 12th International Conference, ACIVS 2010, Sydney, Australia, December 13-16, 2010, Proceedings, Part I

2026-04-26T12:55:14Z

Author Blanc-Talon, Jacques. editor. Bone, Don. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17688-3
Format: Electronic Resources
Availability Online Library~1

Advanced Concepts for Intelligent Vision Systems 12th International Conference, ACIVS 2010, Sydney, Australia, December 13-16, 2010, Proceedings, Part II

2026-04-26T12:55:14Z

Author Blanc-Talon, Jacques. editor. Bone, Don. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17691-3
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

2026-04-26T12:55:14Z

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

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems

2026-04-26T12:55:14Z

Author Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00899-3
Format: Electronic Resources
Availability Online Library~1

Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers

2026-04-26T12:55:14Z

Author Ghose, Aditya. editor. Governatori, Guido. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01639-4
Format: Electronic Resources
Availability Online Library~1

Distributed Computing in Sensor Systems 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings

2026-04-26T12:55:14Z

Author Krishnamachari, Bhaskar. editor. Suri, Subhash. editor. Heinzelman, Wendi. editor. Mitra, Urbashi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02085-8
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligence Systems 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings

2026-04-26T12:55:14Z

Author Corchado, Emilio. editor. Wu, Xindong. editor. Oja, Erkki. editor. Herrero, Álvaro. editor. Baruque, Bruno. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02319-4
Format: Electronic Resources
Availability Online Library~1

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

2026-04-26T12:55:14Z

Author Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02351-4
Format: Electronic Resources
Availability Online Library~1

Anticipatory Behavior in Adaptive Learning Systems From Psychological Theories to Artificial Cognitive Systems

2026-04-26T12:55:14Z

Author Pezzulo, Giovanni. editor. Butz, Martin V. editor. Sigaud, Olivier. editor. Baldassarre, Gianluca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02565-5
Format: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009. Proceedings

2026-04-26T12:55:14Z

Author Andrews, Paul S. editor. Timmis, Jon. editor. Owens, Nick D. L. editor. Aickelin, Uwe. editor. Hart, Emma. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03246-2
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings

2026-04-26T12:55:14Z

Author Liu, Benyuan. editor. Bestavros, Azer. editor. Du, Ding-Zhu. editor. Wang, Jie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03417-6
Format: Electronic Resources
Availability Online Library~1

Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

2026-04-26T12:55:14Z

Author Tessaris, Sergio. editor. Franconi, Enrico. editor. Eiter, Thomas. editor. Gutierrez, Claudio. editor. Handschuh, Siegfried. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03754-2
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems - CHES 2009 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings

2026-04-26T12:55:14Z

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

Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

2026-04-26T12:55:14Z

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

Stabilization, Safety, and Security of Distributed Systems 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings

2026-04-26T12:55:14Z

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

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

2026-04-26T12:55:14Z

Author Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05031-2
Format: Electronic Resources
Availability Online Library~1

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers

2026-04-26T12:55:14Z

Author Labarta, Jesús. editor. Joe, Kazuki. editor. Sato, Toshinori. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77704-5
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligence Systems Third International Workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008. Proceedings

2026-04-26T12:55:14Z

Author Corchado, Emilio. editor. Abraham, Ajith. editor. Pedrycz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87656-4
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings

2026-04-26T12:55:14Z

Author Kulkarni, Sandeep. editor. Schiper, André. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89335-6
Format: Electronic Resources
Availability Online Library~1

Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity

2026-04-26T12:55:14Z

Author Georgiou, Chryssis. author. Shvartsman, Alexander A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-69045-2
Format: Electronic Resources
Availability Online Library~1

Battery Management Systems Accurate State-of-Charge Indication for Battery-Powered Applications

2026-04-26T12:55:14Z

Author Pop, Valer. author. Bergveld, Henk Jan. author. Danilov, Dmitry. author. Regtien, Paul P. L. author. Notten, Peter H. L. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6945-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

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

Distributed Computing in Sensor Systems 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings

2026-04-26T12:55:14Z

Author Nikoletseas, Sotiris E. editor. Chlebus, Bogdan S. editor. Johnson, David B. editor. Krishnamachari, Bhaskar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69170-9
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems – CHES 2008 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings

2026-04-26T12:55:14Z

Author Oswald, Elisabeth. editor. Rohatgi, Pankaj. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85053-3
Format: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings

2026-04-26T12:55:14Z

Author Bentley, Peter J. editor. Lee, Doheon. editor. Jung, Sungwon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85072-4
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings

2026-04-26T12:55:14Z

Author Li, Yingshu. editor. Huynh, Dung T. editor. Das, Sajal K. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88582-5
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

2026-04-26T12:55:14Z

Author Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71209-1
Format: Electronic Resources
Availability Online Library~1

Systems Biology and Computational Proteomics Joint RECOMB 2006 Satellite Workshops on Systems Biology and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers

2026-04-26T12:55:14Z

Author Ideker, Trey. editor. Bafna, Vineet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73060-6
Format: Electronic Resources
Availability Online Library~1

Distributed Computing in Sensor Systems Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings

2026-04-26T12:55:14Z

Author Aspnes, James. editor. Scheideler, Christian. editor. Arora, Anish. editor. Madden, Samuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73090-3
Format: Electronic Resources
Availability Online Library~1

Anticipatory Behavior in Adaptive Learning Systems From Brains to Individual and Social Behavior

2026-04-26T12:55:14Z

Author Butz, Martin V. editor. Sigaud, Olivier. editor. Pezzulo, Giovanni. editor. Baldassarre, Gianluca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74262-3
Format: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 6th International Conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007. Proceedings

2026-04-26T12:55:14Z

Author Castro, Leandro Nunes. editor. Zuben, Fernando José. editor. Knidel, Helder. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73922-7
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings

2026-04-26T12:55:14Z

Author Masuzawa, Toshimitsu. editor. Tixeuil, Sébastien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76627-8
Format: Electronic Resources
Availability Online Library~1

Cognitive Vision Systems Sampling the Spectrum of Approaches

2026-04-26T12:55:14Z

Author Christensen, Henrik I. editor. Nagel, Hans-Hellmut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11414353
Format: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006. Proceedings

2026-04-26T12:55:14Z

Author Bersini, Hugues. editor. Carneiro, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11823940
Format: Electronic Resources
Availability Online Library~1

Distributed Computing in Sensor Systems Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006. Proceedings

2026-04-26T12:55:14Z

Author Gibbons, Phillip B. editor. Abdelzaher, Tarek. editor. Aspnes, James. editor. Rao, Ramesh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11776178
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings

2026-04-26T12:55:14Z

Author Datta, Ajoy K. editor. Gradinariu, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-49823-0
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedings

2026-04-26T12:55:14Z

Author Cheng, Xiuzhen. editor. Li, Wei. editor. Znati, Taieb. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11814856
Format: Electronic Resources
Availability Online Library~1

Fuzzy Systems and Knowledge Discovery Third International Conference, FSKD 2006, Xi’an, China, September 24-28, 2006. Proceedings

2026-04-26T12:55:14Z

Author Wang, Lipo. editor. Jiao, Licheng. editor. Shi, Guanming. editor. Li, Xue. editor. Liu, Jing. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11881599
Format: Electronic Resources
Availability Online Library~1

Systems Biology and Regulatory Genomics Joint Annual RECOMB 2005 Satellite Workshops on Systems Biology and on Regulatory Genomics, San Diego, CA, USA; December 2-4, 2005, Revised Selected Papers

2026-04-26T12:55:14Z

Author Eskin, Eleazar. editor. Ideker, Trey. editor. Raphael, Ben. editor. Workman, Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-48540-7
Format: Electronic Resources
Availability Online Library~1

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

2026-04-26T12:55:14Z

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

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

2026-04-26T12:55:14Z

Author Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11691372
Format: Electronic Resources
Availability Online Library~1

Distributed Computing in Sensor Systems First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30 – July 1, 2005. Proceedings

2026-04-26T12:55:14Z

Author Prasanna, Viktor K. editor. Iyengar, Sitharama S. editor. Spirakis, Paul G. editor. Welsh, Matt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137498
Format: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005. Proceedings

2026-04-26T12:55:14Z

Author Jacob, Christian. editor. Pilat, Marcin L. editor. Bentley, Peter J. editor. Timmis, Jonathan I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11536444
Format: Electronic Resources
Availability Online Library~1

Peer-to-Peer Systems IV 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers

2026-04-26T12:55:14Z

Author Castro, Miguel. editor. Renesse, Robbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11558989
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2026-04-26T12:55:14Z

Author Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107194
Format: Electronic Resources
Availability Online Library~1

Self-star Properties in Complex Information Systems Conceptual and Practical Foundations

2026-04-26T12:55:14Z

Author Babaoglu, Ozalp. editor. Jelasity, Márk. editor. Montresor, Alberto. editor. Fetzer, Christof. editor. Leonardi, Stefano. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136551
Format: Electronic Resources
Availability Online Library~1

Peer-to-Peer Systems III Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers

2026-04-26T12:55:14Z

Author Voelker, Geoffrey M. editor. Shenker, Scott. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104020
Format: Electronic Resources
Availability Online Library~1

Fuzzy Systems and Knowledge Discovery Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II

2026-04-26T12:55:14Z

Author Wang, Lipo. editor. Jin, Yaochu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11540007
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Bioinspired Systems 8th International Work-Conference on Artificial Neural Networks, IWANN 2005, Vilanova i la Geltrú, Barcelona, Spain, June 8-10, 2005. Proceedings

2026-04-26T12:55:14Z

Author Cabestany, Joan. editor. Prieto, Alberto. editor. Sandoval, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136983
Format: Electronic Resources
Availability Online Library~1

Self-Stabilizing Systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings

2026-04-26T12:55:14Z

Author Tixeuil, Sébastien. editor. Herman, Ted. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11577327
Format: Electronic Resources
Availability Online Library~1

Fuzzy Systems and Knowledge Discovery Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I

2026-04-26T12:55:14Z

Author Wang, Lipo. editor. Jin, Yaochu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11539506
Format: Electronic Resources
Availability Online Library~1

Randomized Algorithms for Analysis and Control of Uncertain Systems

2026-04-26T12:55:14Z

Author Tempo, Roberto. author. Dabbene, Fabrizio. author. Calafiore, Giuseppe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137802
Format: Electronic Resources
Availability Online Library~1

Association Rule Hiding for Data Mining

2026-04-26T12:55:14Z

Author Gkoulalas-Divanis, Aris. author. Verykios, Vassilios S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6569-1
Format: Electronic Resources
Availability Online Library~1

Concurrency Control in Distributed System Using Mutual Exclusion

2026-04-26T12:55:14Z

Author Kanrar, Sukhendu. author. Chaki, Nabendu. author. Chattopadhyay, Samiran. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5559-1
Format: Electronic Resources
Availability Online Library~1

Algorithms and Applications ALAP 2018

2026-04-26T12:55:14Z

Author Das, Sajal K. editor. Chaki, Nabendu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8102-6
Format: Electronic Resources
Availability Online Library~1

Foundations of Trusted Autonomy

2026-04-26T12:55:14Z

Author Abbass, Hussein A. editor. Scholz, Jason. editor. Reid, Darryn J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64816-3
Format: Electronic Resources
Availability Online Library~1

Readings in hardware/software co-design

2026-04-26T12:55:14Z

Author De Micheli, Giovanni. Ernst, Rolf. Wolf, Wayne.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781558607026
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part II

2026-04-26T12:55:14Z

Author Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Zhang, Xiao-Long. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95933-7
Format: Electronic Resources
Availability Online Library~1

Web and Internet Economics 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings

2026-04-26T12:55:14Z

Author Christodoulou, George. editor. Harks, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04612-5
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I

2026-04-26T12:55:14Z

Author Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. Gupta, Phalguni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95930-6
Format: Electronic Resources
Availability Online Library~1

Human Centered Computing Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers

2026-04-26T12:55:14Z

Author Zu, Qiaohong. editor. Hu, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74521-3
Format: Electronic Resources
Availability Online Library~1

Machine Learning, Optimization, and Big Data Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers

2026-04-26T12:55:14Z

Author Nicosia, Giuseppe. editor. Pardalos, Panos. editor. Giuffrida, Giovanni. editor. Umeton, Renato. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72926-8
Format: Electronic Resources
Availability Online Library~1

Hydraulically Actuated Hexapod Robots Design, Implementation and Control

2026-04-26T12:55:14Z

Author Nonami, Kenzo. author. Barai, Ranjit Kumar. author. Irawan, Addie. author. Daud, Mohd Razali. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-4-431-54349-7
Format: Electronic Resources
Availability Online Library~1

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

2026-04-26T12:55:14Z

Author Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99241-9
Format: Electronic Resources
Availability Online Library~1

Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II

2026-04-26T12:55:14Z

Author Nguyen, Ngoc Thanh. editor. Pimenidis, Elias. editor. Khan, Zaheer. editor. Trawiński, Bogdan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98446-9
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning – ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I

2026-04-26T12:55:14Z

Author Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Hammer, Barbara. editor. Iliadis, Lazaros. editor. Maglogiannis, Ilias. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01418-6
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence XXXV 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11–13, 2018, Proceedings

2026-04-26T12:55:14Z

Author Bramer, Max. editor. Petridis, Miltos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04191-5
Format: Electronic Resources
Availability Online Library~1

Auction Based Resource Provisioning in Cloud Computing

2026-04-26T12:55:14Z

Author Baranwal, Gaurav. author. Kumar, Dinesh. author. Raza, Zahid. author. Vidyarthi, Deo Prakash. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8737-0
Format: Electronic Resources
Availability Online Library~1

Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part I

2026-04-26T12:55:14Z

Author Nguyen, Ngoc Thanh. editor. Pimenidis, Elias. editor. Khan, Zaheer. editor. Trawiński, Bogdan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98443-8
Format: Electronic Resources
Availability Online Library~1

Graph-Based Representation and Reasoning 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings

2026-04-26T12:55:14Z

Author Chapman, Peter. editor. (orcid)0000-0002-5524-5780 Endres, Dominik. editor. (orcid)0000-0001-9756-9655 Pernelle, Nathalie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91379-7
Format: Electronic Resources
Availability Online Library~1

Algorithms and Models for the Web Graph 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings

2026-04-26T12:55:14Z

Author Bonato, Anthony. editor. Prałat, Paweł. editor. Raigorodskii, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92871-5
Format: Electronic Resources
Availability Online Library~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

2026-04-26T12:55:14Z

Author van Hoeve, Willem-Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93031-2
Format: Electronic Resources
Availability Online Library~1

Multi-disciplinary Trends in Artificial Intelligence 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedings

2026-04-26T12:55:14Z

Author Kaenampornpan, Manasawee. editor. Malaka, Rainer. editor. Nguyen, Duc Dung. editor. Schwind, Nicolas. editor. (orcid)0000-0001-7972-5984 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03014-8
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Natural Computing 7th International Conference, TPNC 2018, Dublin, Ireland, December 12–14, 2018, Proceedings

2026-04-26T12:55:14Z

Author Fagan, David. editor. (orcid)0000-0002-5982-8983 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 O'Neill, Michael. editor. (orcid)0000-0001-8734-417X Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04070-3
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence 31st Canadian Conference on Artificial Intelligence, Canadian AI 2018, Toronto, ON, Canada, May 8–11, 2018, Proceedings

2026-04-26T12:55:14Z

Author Bagheri, Ebrahim. editor. Cheung, Jackie C.K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89656-4
Format: Electronic Resources
Availability Online Library~1

Applications of Big Data Analytics Trends, Issues, and Challenges

2026-04-26T12:55:14Z

Author Alani, Mohammed M. editor. Tawfik, Hissam. editor. Saeed, Mohammed. editor. Anya, Obinna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76472-6
Format: Electronic Resources
Availability Online Library~1

KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings

2026-04-26T12:55:14Z

Author Trollmann, Frank. editor. Turhan, Anni-Yasmin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00111-7
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers

2026-04-26T12:55:14Z

Author Lotker, Zvi. editor. Patt-Shamir, Boaz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01325-7
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

2026-04-26T12:55:14Z

Author Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05051-1
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II

2026-04-26T12:55:14Z

Author Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05054-2
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning – ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III

2026-04-26T12:55:14Z

Author Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Hammer, Barbara. editor. Iliadis, Lazaros. editor. Maglogiannis, Ilias. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01424-7
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning – ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II

2026-04-26T12:55:14Z

Author Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Hammer, Barbara. editor. Iliadis, Lazaros. editor. Maglogiannis, Ilias. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01421-6
Format: Electronic Resources
Availability Online Library~1

Techniques for Evaluating the Differences in Multiregional Input-Output Databases A Comparative Evaluation of CO2 Consumption-Based Accounts Calculated Using Eora, GTAP and WIOD

2026-04-26T12:55:14Z

Author Owen, Anne. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51556-4
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Software Engineering From Fundamentals to Application Methods

2026-04-26T12:55:14Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57750-0
Format: Electronic Resources
Availability Online Library~1

More Math Into LaTeX

2026-04-26T12:55:14Z

Author Grätzer, George. author. (orcid)0000-0002-5149-3883 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23796-1
Format: Electronic Resources
Availability Online Library~1

Innovative Technologies in Urban Mapping Built Space and Mental Space

2026-04-26T12:55:14Z

Author Contin, Antonella. editor. Paolini, Paolo. editor. Salerno, Rossella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-03798-1
Format: Electronic Resources
Availability Online Library~1

MATLAB Matrix Algebra

2026-04-26T12:55:14Z

Author Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0307-1
Format: Electronic Resources
Availability Online Library~1

MATLAB Differential Equations

2026-04-26T12:55:14Z

Author Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0310-1
Format: Electronic Resources
Availability Online Library~1

MATLAB Linear Algebra

2026-04-26T12:55:14Z

Author Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0322-4
Format: Electronic Resources
Availability Online Library~1

MATLAB Symbolic Algebra and Calculus Tools

2026-04-26T12:55:14Z

Author Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0343-9
Format: Electronic Resources
Availability Online Library~1

Simulation-Based Algorithms for Markov Decision Processes

2026-04-26T12:55:14Z

Author Chang, Hyeong Soo. author. Hu, Jiaqiao. author. Fu, Michael C. author. Marcus, Steven I. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331119.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5022-0
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

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

Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings

2026-04-26T12:55:14Z

Author Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.
Preferred Shelf Number ONLINE(334025.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35668-1
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

2026-04-26T12:55:14Z

Author Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334071.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35867-8
Format: Electronic Resources
Availability Online Library~1

Pairing-Based Cryptography – Pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers

2026-04-26T12:55:14Z

Author Abdalla, Michel. editor. Lange, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334179.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36334-4
Format: Electronic Resources
Availability Online Library~1

Selected Areas in Cryptography 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

Distributed Computing and Internet Technology 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings

2026-04-26T12:55:14Z

Author Hota, Chittaranjan. editor. Srimani, Pradip K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334114.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36071-8
Format: Electronic Resources
Availability Online Library~1

Information Hiding 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers

2026-04-26T12:55:14Z

Author Kirchner, Matthias. editor. Ghosal, Dipak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334187.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36373-3
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers

2026-04-26T12:55:14Z

Author Zu, Qiaohong. editor. Hu, Bo. editor. Elçi, Atilla. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334342.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37015-1
Format: Electronic Resources
Availability Online Library~1

Smart Card Research and Advanced Applications 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers

2026-04-26T12:55:14Z

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

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings

2026-04-26T12:55:14Z

Author Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334663.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38756-2
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

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

Privacy Enhancing Technologies 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings

2026-04-26T12:55:14Z

Author Cristofaro, Emiliano. editor. Wright, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334726.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39077-7
Format: Electronic Resources
Availability Online Library~1

Similarity-Based Pattern Recognition Second International Workshop, SIMBAD 2013, York, UK, July 3-5, 2013. Proceedings

2026-04-26T12:55:14Z

Author Hancock, Edwin. editor. Pelillo, Marcello. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334736.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39140-8
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

2026-04-26T12:55:14Z

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

Intelligent Computing Theories and Technology 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings

2026-04-26T12:55:14Z

Author Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Zhou, Yong-Quan. editor. Han, Kyungsook. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334808.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39482-9
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings

2026-04-26T12:55:14Z

Author Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334814.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39521-5
Format: Electronic Resources
Availability Online Library~1

Web-Age Information Management WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 14-16, 2013. Proceedings

2026-04-26T12:55:14Z

Author Gao, Yunjun. editor. Shim, Kyuseok. editor. Ding, Zhiming. editor. Jin, Peiquan. editor. Ren, Zujie. editor.
Preferred Shelf Number ONLINE(334815.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39527-7
Format: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

2026-04-26T12:55:14Z

Author Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334825.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39634-2
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I

2026-04-26T12:55:14Z

Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number ONLINE(334826.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39637-3
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V

2026-04-26T12:55:14Z

Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number ONLINE(334827.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39640-3
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II

2026-04-26T12:55:14Z

Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number ONLINE(334828.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39643-4
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III

2026-04-26T12:55:14Z

Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number ONLINE(334829.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39646-5
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV

2026-04-26T12:55:14Z

Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number ONLINE(334830.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39649-6
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II

2026-04-26T12:55:14Z

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

Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings

2026-04-26T12:55:14Z

Author Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335043.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41019-2
Format: Electronic Resources
Availability Online Library~1

Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers

2026-04-26T12:55:14Z

Author Shaikh, Faisal Karim. editor. Chowdhry, Bhawani Shankar. editor. Ammari, Habib M. editor. Uqaili, Muhammad Aslam. editor. Shah, Assadullah. editor.
Preferred Shelf Number ONLINE(335048.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41054-3
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

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

Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

2026-04-26T12:55:14Z

Author Palamidessi, Catuscia. editor. Ryan, Mark D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335066.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41157-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

Wireless Internet 7th International ICST Conference, WICON 2013, Shanghai, China, April 11-12, 2013, Revised Selected Papers

2026-04-26T12:55:14Z

Author Qian, Hua. editor. Kang, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335143.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41773-3
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings

2026-04-26T12:55:14Z

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

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

2026-04-26T12:55:14Z

Author Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335206.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45293-2
Format: Electronic Resources
Availability Online Library~1

String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings

2026-04-26T12:55:14Z

Author Kurland, Oren. editor. Lewenstein, Moshe. editor. Porat, Ely. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332920.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02432-5
Format: Electronic Resources
Availability Online Library~1

Information and Communications Security 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013. Proceedings

2026-04-26T12:55:14Z

Author Qing, Sihan. editor. Zhou, Jianying. editor. Liu, Dongmei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332941.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02726-5
Format: Electronic Resources
Availability Online Library~1

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

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

Algorithms and Models for the Web Graph 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings

2026-04-26T12:55:14Z

Author Bonato, Anthony. editor. Mitzenmacher, Michael. editor. Prałat, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332980.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03536-9
Format: Electronic Resources
Availability Online Library~1

AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

2026-04-26T12:55:14Z

Author Cranefield, Stephen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332987.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03680-9
Format: Electronic Resources
Availability Online Library~1

Big Data Analytics Second International Conference, BDA 2013, Mysore, India, December 16-18, 2013, Proceedings

2026-04-26T12:55:14Z

Author Bhatnagar, Vasudha. editor. Srinivasa, Srinath. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332988.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03689-2
Format: Electronic Resources
Availability Online Library~1

Multiple Access Communcations 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings

2026-04-26T12:55:14Z

Author Jonsson, Magnus. editor. Vinel, Alexey. editor. Bellalta, Boris. editor. Marina, Ninoslav. editor. Dimitrova, Desislava. editor.
Preferred Shelf Number ONLINE(333001.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03871-1
Format: Electronic Resources
Availability Online Library~1

Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers

2026-04-26T12:55:14Z

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

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

2026-04-26T12:55:14Z

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

Advances in Computing, Communication, and Control Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings

2026-04-26T12:55:14Z

Author Unnikrishnan, Srija. editor. Surve, Sunil. editor. Bhoir, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334176.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36321-4
Format: Electronic Resources
Availability Online Library~1