Search Results for Computer science - Narrowed by: 2015

Computer science : an overview

2024-12-23T14:11:11Z

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

Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

2024-12-23T14:11:11Z

Author Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518797.1)
Electronic Access https://doi.org/10.1007/978-3-319-20297-6
Format: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

2024-12-23T14:11:11Z

Author Kahl, Wolfram. editor. Winter, Michael. editor. Oliveira, José. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518883.1)
Electronic Access https://doi.org/10.1007/978-3-319-24704-5
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

2024-12-23T14:11:11Z

Author Italiano, Giuseppe F. editor. Pighizzini, Giovanni. editor. Sannella, Donald T. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518893.1)
Electronic Access https://doi.org/10.1007/978-3-662-48057-1
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings

2024-12-23T14:11:11Z

Author Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.
Preferred Shelf Number XX(518910.1)
Electronic Access https://doi.org/10.1007/978-3-662-46078-8
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II

2024-12-23T14:11:11Z

Author Italiano, Giuseppe F. editor. Pighizzini, Giovanni. editor. Sannella, Donald T. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519055.1)
Electronic Access https://doi.org/10.1007/978-3-662-48054-0
Format: Electronic Resources
Availability Online Library~1

Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementation

2024-12-23T14:11:11Z

Author Štuikys, Vytautas. author. SpringerLink (Online service)
Preferred Shelf Number XX(518658.1)
Electronic Access https://doi.org/10.1007/978-3-319-16913-2
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Ubiquitous Computing CSA & CUTE

2024-12-23T14:11:11Z

Author Park, Doo-Soon. editor. Chao, Han-Chieh. editor. Jeong, Young-Sik. editor. Park, James J. (Jong Hyuk). editor. SpringerLink (Online service)
Preferred Shelf Number XX(518670.1)
Electronic Access https://doi.org/10.1007/978-981-10-0281-6
Format: Electronic Resources
Availability Online Library~1

Foundation Mathematics for Computer Science A Visual Approach

2024-12-23T14:11:11Z

Author Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number XX(518439.1)
Electronic Access https://doi.org/10.1007/978-3-319-21437-5
Format: Electronic Resources
Availability Online Library~1

Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings

2024-12-23T14:11:11Z

Author Amine, Abdelmalek. editor. Bellatreche, Ladjel. editor. Elberrichi, Zakaria. editor. Neuhold, Erich J. editor. Wrembel, Robert. editor.
Preferred Shelf Number XX(518503.1)
Electronic Access https://doi.org/10.1007/978-3-319-19578-0
Format: Electronic Resources
Availability Online Library~1

Encrypted Email The History and Technology of Message Privacy

2024-12-23T14:11:11Z

Author Orman, Hilarie. author. SpringerLink (Online service)
Preferred Shelf Number XX(518339.1)
Electronic Access https://doi.org/10.1007/978-3-319-21344-6
Format: Electronic Resources
Availability Online Library~1

Quality-aware Scheduling for Key-value Data Stores

2024-12-23T14:11:11Z

Author Xu, Chen. author. Zhou, Aoying. author. SpringerLink (Online service)
Preferred Shelf Number XX(518473.1)
Electronic Access https://doi.org/10.1007/978-3-662-47306-1
Format: Electronic Resources
Availability Online Library~1

Delay Tolerant Networks

2024-12-23T14:11:11Z

Author Gao, Longxiang. author. Yu, Shui. author. Luan, Tom H. author. Zhou, Wanlei. author. SpringerLink (Online service)
Preferred Shelf Number XX(518478.1)
Electronic Access https://doi.org/10.1007/978-3-319-18108-0
Format: Electronic Resources
Availability Online Library~1

Traceback and Anonymity

2024-12-23T14:11:11Z

Author Wang, Xinyuan. author. Reeves, Douglas. author. SpringerLink (Online service)
Preferred Shelf Number XX(518493.1)
Electronic Access https://doi.org/10.1007/978-1-4939-3441-6
Format: Electronic Resources
Availability Online Library~1

Building Secure Defenses Against Code-Reuse Attacks

2024-12-23T14:11:11Z

Author Davi, Lucas. author. Sadeghi, Ahmad-Reza. author. SpringerLink (Online service)
Preferred Shelf Number XX(518501.1)
Electronic Access https://doi.org/10.1007/978-3-319-25546-0
Format: Electronic Resources
Availability Online Library~1

Software Sourcing in the Age of Open Leveraging the Unknown Workforce

2024-12-23T14:11:11Z

Author Ågerfalk, Pär J. author. Fitzgerald, Brian. author. Stol, Klaas-Jan. author. SpringerLink (Online service)
Preferred Shelf Number XX(518404.1)
Electronic Access https://doi.org/10.1007/978-3-319-17266-8
Format: Electronic Resources
Availability Online Library~1

Sublinear Algorithms for Big Data Applications

2024-12-23T14:11:11Z

Author Wang, Dan. author. Han, Zhu. author. SpringerLink (Online service)
Preferred Shelf Number XX(518517.1)
Electronic Access https://doi.org/10.1007/978-3-319-20448-2
Format: Electronic Resources
Availability Online Library~1

Enhanced Building Information Models Using IoT Services and Integration Patterns

2024-12-23T14:11:11Z

Author Isikdag, Umit. author. SpringerLink (Online service)
Preferred Shelf Number XX(518550.1)
Electronic Access https://doi.org/10.1007/978-3-319-21825-0
Format: Electronic Resources
Availability Online Library~1

Parallel Scientific Computing Theory, Algorithms, and Applications of Mesh Based and Meshless Methods

2024-12-23T14:11:11Z

Author Trobec, Roman. author. Kosec, Gregor. author. SpringerLink (Online service)
Preferred Shelf Number XX(518557.1)
Electronic Access https://doi.org/10.1007/978-3-319-17073-2
Format: Electronic Resources
Availability Online Library~1

Two Bit Circus and the Future of Entertainment

2024-12-23T14:11:11Z

Author Lemle, Elise. author. Bomkamp, Katherine. author. Williams, Marcella Klein. author. Cutbirth, Elizabeth. author. SpringerLink (Online service)
Preferred Shelf Number XX(518660.1)
Electronic Access https://doi.org/10.1007/978-3-319-25793-8
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Map Merging and Localization Algorithms, Tools and Strategies for Robotic Networks

2024-12-23T14:11:11Z

Author Aragues, Rosario. author. Sagüés, Carlos. author. Mezouar, Youcef. author. SpringerLink (Online service)
Preferred Shelf Number XX(518602.1)
Electronic Access https://doi.org/10.1007/978-3-319-25886-7
Format: Electronic Resources
Availability Online Library~1

Leakage Resilient Password Systems

2024-12-23T14:11:11Z

Author Li, Yingjiu. author. Yan, Qiang. author. Deng, Robert H. author. SpringerLink (Online service)
Preferred Shelf Number XX(518668.1)
Electronic Access https://doi.org/10.1007/978-3-319-17503-4
Format: Electronic Resources
Availability Online Library~1

MAC Protocols for Cyber-Physical Systems

2024-12-23T14:11:11Z

Author Xia, Feng. author. Rahim, Azizur. author. SpringerLink (Online service)
Preferred Shelf Number XX(518746.1)
Electronic Access https://doi.org/10.1007/978-3-662-46361-1
Format: Electronic Resources
Availability Online Library~1

Spatial Auditory Human-Computer Interfaces

2024-12-23T14:11:11Z

Author Sodnik, Jaka. author. Tomažič, Sašo. author. SpringerLink (Online service)
Preferred Shelf Number XX(518441.1)
Electronic Access https://doi.org/10.1007/978-3-319-22111-3
Format: Electronic Resources
Availability Online Library~1

Interpretability of Computational Intelligence-Based Regression Models

2024-12-23T14:11:11Z

Author Kenesei, Tamás. author. Abonyi, János. author. SpringerLink (Online service)
Preferred Shelf Number XX(518445.1)
Electronic Access https://doi.org/10.1007/978-3-319-21942-4
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Predictive Text Mining

2024-12-23T14:11:11Z

Author Weiss, Sholom M. author. Indurkhya, Nitin. author. Zhang, Tong. author. SpringerLink (Online service)
Preferred Shelf Number XX(518357.1)
Electronic Access https://doi.org/10.1007/978-1-4471-6750-1
Format: Electronic Resources
Availability Online Library~1

A Survey of Characteristic Engine Features for Technology-Sustained Pervasive Games

2024-12-23T14:11:11Z

Author Nevelsteen, Kim J.L. author. SpringerLink (Online service)
Preferred Shelf Number XX(518468.1)
Electronic Access https://doi.org/10.1007/978-3-319-17632-1
Format: Electronic Resources
Availability Online Library~1

Supercomputing for Molecular Dynamics Simulations Handling Multi-Trillion Particles in Nanofluidics

2024-12-23T14:11:11Z

Author Heinecke, Alexander. author. Eckhardt, Wolfgang. author. Horsch, Martin. author. Bungartz, Hans-Joachim. author. SpringerLink (Online service)
Preferred Shelf Number XX(518377.1)
Electronic Access https://doi.org/10.1007/978-3-319-17148-7
Format: Electronic Resources
Availability Online Library~1

Cloud Portability and Interoperability Issues and Current Trends

2024-12-23T14:11:11Z

Author Di Martino, Beniamino. author. Cretella, Giuseppina. author. Esposito, Antonio. author. SpringerLink (Online service)
Preferred Shelf Number XX(518383.1)
Electronic Access https://doi.org/10.1007/978-3-319-13701-8
Format: Electronic Resources
Availability Online Library~1

Amplify-and-Forward Relaying in Wireless Communications

2024-12-23T14:11:11Z

Author Rodríguez, Leonardo Jiménez. author. Tran, Nghi. author. Le-Ngoc, Tho. author. SpringerLink (Online service)
Preferred Shelf Number XX(518498.1)
Electronic Access https://doi.org/10.1007/978-3-319-17981-0
Format: Electronic Resources
Availability Online Library~1

Diffusion in Social Networks

2024-12-23T14:11:11Z

Author Shakarian, Paulo. author. Bhatnagar, Abhivav. author. Aleali, Ashkan. author. Shaabani, Elham. author. Guo, Ruocheng. author.
Preferred Shelf Number XX(518499.1)
Electronic Access https://doi.org/10.1007/978-3-319-23105-1
Format: Electronic Resources
Availability Online Library~1

Local Image Descriptor: Modern Approaches

2024-12-23T14:11:11Z

Author Fan, Bin. author. Wang, Zhenhua. author. Wu, Fuchao. author. SpringerLink (Online service)
Preferred Shelf Number XX(518421.1)
Electronic Access https://doi.org/10.1007/978-3-662-49173-7
Format: Electronic Resources
Availability Online Library~1

Modeling and Evaluating Denial of Service Attacks for Wireless and Mobile Applications

2024-12-23T14:11:11Z

Author Lu, Zhou. author. Wang, Wenye. author. Wang, Cliff. author. SpringerLink (Online service)
Preferred Shelf Number XX(518429.1)
Electronic Access https://doi.org/10.1007/978-3-319-23288-1
Format: Electronic Resources
Availability Online Library~1

Operators for Similarity Search Semantics, Techniques and Usage Scenarios

2024-12-23T14:11:11Z

Author P, Deepak. author. Deshpande, Prasad M. author. SpringerLink (Online service)
Preferred Shelf Number XX(518578.1)
Electronic Access https://doi.org/10.1007/978-3-319-21257-9
Format: Electronic Resources
Availability Online Library~1

Smart TV Security Media Playback and Digital Video Broadcast

2024-12-23T14:11:11Z

Author Michéle, Benjamin. author. SpringerLink (Online service)
Preferred Shelf Number XX(518701.1)
Electronic Access https://doi.org/10.1007/978-3-319-20994-4
Format: Electronic Resources
Availability Online Library~1

Cyber-Risk Management

2024-12-23T14:11:11Z

Author Refsdal, Atle. author. Solhaug, Bjørnar. author. Stølen, Ketil. author. SpringerLink (Online service)
Preferred Shelf Number XX(518713.1)
Electronic Access https://doi.org/10.1007/978-3-319-23570-7
Format: Electronic Resources
Availability Online Library~1

Real time deforestation detection using ANN and Satellite images The Amazon Rainforest study case

2024-12-23T14:11:11Z

Author Nunes Kehl, Thiago. author. Todt, Viviane. author. Roberto Veronez, Maurício. author. Cesar Cazella, Silvio. author. SpringerLink (Online service)
Preferred Shelf Number XX(518721.1)
Electronic Access https://doi.org/10.1007/978-3-319-15741-2
Format: Electronic Resources
Availability Online Library~1

Protein Homology Detection Through Alignment of Markov Random Fields Using MRFalign

2024-12-23T14:11:11Z

Author Xu, Jinbo. author. Wang, Sheng. author. Ma, Jianzhu. author. SpringerLink (Online service)
Preferred Shelf Number XX(518728.1)
Electronic Access https://doi.org/10.1007/978-3-319-14914-1
Format: Electronic Resources
Availability Online Library~1

Automatic Design of Decision-Tree Induction Algorithms

2024-12-23T14:11:11Z

Author Barros, Rodrigo C. author. de Carvalho, André C.P.L.F. author. Freitas, Alex A. author. SpringerLink (Online service)
Preferred Shelf Number XX(518729.1)
Electronic Access https://doi.org/10.1007/978-3-319-14231-9
Format: Electronic Resources
Availability Online Library~1

Frontiers in Algorithmics 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings

2024-12-23T14:11:11Z

Author Wang, Jianxin. editor. Yap, Chee. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519334.1)
Electronic Access https://doi.org/10.1007/978-3-319-19647-3
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings

2024-12-23T14:11:11Z

Author Calude, Cristian S. editor. Dinneen, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519335.1)
Electronic Access https://doi.org/10.1007/978-3-319-21819-9
Format: Electronic Resources
Availability Online Library~1

Spatial Information Theory 12th International Conference, COSIT 2015, Santa Fe, NM, USA, October 12-16, 2015, Proceedings

2024-12-23T14:11:11Z

Author Fabrikant, Sara Irina. editor. Raubal, Martin. editor. Bertolotto, Michela. editor. Davies, Clare. editor. Freundschuh, Scott. editor.
Preferred Shelf Number XX(519338.1)
Electronic Access https://doi.org/10.1007/978-3-319-23374-1
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V

2024-12-23T14:11:11Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(519341.1)
Electronic Access https://doi.org/10.1007/978-3-319-21413-9
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2024-12-23T14:11:11Z

Author Machado, Penousal. editor. Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number XX(519344.1)
Electronic Access https://doi.org/10.1007/978-3-319-16501-1
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

2024-12-23T14:11:11Z

Author Campos, Javier. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519347.1)
Electronic Access https://doi.org/10.1007/978-3-319-22264-6
Format: Electronic Resources
Availability Online Library~1

Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001

2024-12-23T14:11:11Z

Author Guerraoui, Rachid. editor. Romano, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519310.1)
Electronic Access https://doi.org/10.1007/978-3-319-14720-8
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part I

2024-12-23T14:11:11Z

Author Arik, Sabri. editor. Huang, Tingwen. editor. Lai, Weng Kin. editor. Liu, Qingshan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519316.1)
Electronic Access https://doi.org/10.1007/978-3-319-26532-2
Format: Electronic Resources
Availability Online Library~1

Information Retrieval 8th Russian Summer School, RuSSIR 2014, Nizhniy Novgorod, Russia, August 18-22, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Braslavski, Pavel. editor. Karpov, Nikolay. editor. Worring, Marcel. editor. Volkovich, Yana. editor. Ignatov, Dmitry I. editor.
Preferred Shelf Number XX(518344.1)
Electronic Access https://doi.org/10.1007/978-3-319-25485-2
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 -- October 2, 2015. Proceedings

2024-12-23T14:11:11Z

Author O'Connor, Rory V. editor. Umay Akkaya, Mariye. editor. Kemaneci, Kerem. editor. Yilmaz, Murat. editor. Poth, Alexander. editor.
Preferred Shelf Number XX(518345.1)
Electronic Access https://doi.org/10.1007/978-3-319-24647-5
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering and Software Development Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Filipe, Joaquim. editor. das Neves, Rui César. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518346.1)
Electronic Access https://doi.org/10.1007/978-3-319-25156-1
Format: Electronic Resources
Availability Online Library~1

Security in Computing and Communications Third International Symposium, SSCC 2015, Kochi, India, August 10-13, 2015. Proceedings

2024-12-23T14:11:11Z

Author Abawajy, Jemal H. editor. Mukherjea, Sougata. editor. Thampi, Sabu M. editor. Ruiz-Martínez, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518347.1)
Electronic Access https://doi.org/10.1007/978-3-319-22915-7
Format: Electronic Resources
Availability Online Library~1

Information Systems Security and Privacy First International Conference, ICISSP 2015, Angers, France, February 9-11, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author Camp, Olivier. editor. Weippl, Edgar. editor. Bidan, Christophe. editor. Aïmeur, Esma. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518355.1)
Electronic Access https://doi.org/10.1007/978-3-319-27668-7
Format: Electronic Resources
Availability Online Library~1

Semantic Web Evaluation Challenges Second SemWebEval Challenge at ESWC 2015, Portorož, Slovenia, May 31 - June 4, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author Gandon, Fabien. editor. Cabrio, Elena. editor. Stankovic, Milan. editor. Zimmermann, Antoine. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518356.1)
Electronic Access https://doi.org/10.1007/978-3-319-25518-7
Format: Electronic Resources
Availability Online Library~1

Soft Computing in Data Science First International Conference, SCDS 2015, Putrajaya, Malaysia, September 2-3, 2015, Proceedings

2024-12-23T14:11:11Z

Author Berry, Michael W. editor. Mohamed, Azlinah. editor. Yap, Bee Wah. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518449.1)
Electronic Access https://doi.org/10.1007/978-981-287-936-3
Format: Electronic Resources
Availability Online Library~1

Agent Technology for Intelligent Mobile Services and Smart Societies Workshop on Collaborative Agents, Research and Development, CARE 2014, and Workshop on Agents, Virtual Societies and Analytics, AVSA 2014, Held as Part of AAMAS 2014, Paris, France, May 5-9, 2014. Revised Selected Papers

2024-12-23T14:11:11Z

Author Koch, Fernando. editor. Meneguzzi, Felipe. editor. Lakkaraju, Kiran. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518358.1)
Electronic Access https://doi.org/10.1007/978-3-662-46241-6
Format: Electronic Resources
Availability Online Library~1

E-Democracy: Citizen Rights in the World of the New Computing Paradigms 6th International Conference, E-Democracy 2015, Athens, Greece, December 10-11, 2015, Proceedings

2024-12-23T14:11:11Z

Author Katsikas, Sokratis K. editor. Sideridis, Alexander B. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518361.1)
Electronic Access https://doi.org/10.1007/978-3-319-27164-4
Format: Electronic Resources
Availability Online Library~1

Tools of Transport Telematics 15th International Conference on Transport Systems Telematics, TST 2015, Wrocław, Poland, April 15-17, 2015. Selected Papers

2024-12-23T14:11:11Z

Author Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518460.1)
Electronic Access https://doi.org/10.1007/978-3-319-24577-5
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery, Knowledge Engineering and Knowledge Management 5th International Joint Conference, IC3K 2013, Vilamoura, Portugal, September 19-22, 2013. Revised Selected Papers

2024-12-23T14:11:11Z

Author Fred, Ana. editor. Dietz, Jan L.G. editor. Liu, Kecheng. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518374.1)
Electronic Access https://doi.org/10.1007/978-3-662-46549-3
Format: Electronic Resources
Availability Online Library~1

Smart Cities, Green Technologies, and Intelligent Transport Systems 4th International Conference, SMARTGREENS 2015, and 1st International Conference VEHITS 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author Helfert, Markus. editor. Krempels, Karl-Heinz. editor. Klein, Cornel. editor. Donellan, Brian. editor. Guiskhin, Oleg. editor.
Preferred Shelf Number XX(518376.1)
Electronic Access https://doi.org/10.1007/978-3-319-27753-0
Format: Electronic Resources
Availability Online Library~1

Computer-Aided Architectural Design: The Next City - New Technologies and the Future of the Built Environment 16th International Conference, CAAD Futures 2015, São Paulo, Brazil, July 8-10, 2015. Selected Papers

2024-12-23T14:11:11Z

Author Celani, Gabriela. editor. Sperling, David Moreno. editor. Franco, Juarez Moara Santos. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518474.1)
Electronic Access https://doi.org/10.1007/978-3-662-47386-3
Format: Electronic Resources
Availability Online Library~1

Applications and Techniques in Information Security 6th International Conference, ATIS 2015, Beijing, China, November 4-6, 2015, Proceedings

2024-12-23T14:11:11Z

Author Niu, Wenjia. editor. Li, Gang. editor. Liu, Jiqiang. editor. Tan, Jianlong. editor. Guo, Li. editor.
Preferred Shelf Number XX(518475.1)
Electronic Access https://doi.org/10.1007/978-3-662-48683-2
Format: Electronic Resources
Availability Online Library~1

HCI International 2015 - Posters' Extended Abstracts International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part I

2024-12-23T14:11:11Z

Author Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518483.1)
Electronic Access https://doi.org/10.1007/978-3-319-21380-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Software Methodologies, Tools and Techniques 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings

2024-12-23T14:11:11Z

Author Fujita, Hamido. editor. (orcid) Guizzi, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518485.1)
Electronic Access https://doi.org/10.1007/978-3-319-22689-7
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering in the Big Data Era Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18-20, 2015, Proceedings

2024-12-23T14:11:11Z

Author Liu, Lin. editor. Aoyama, Mikio. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518486.1)
Electronic Access https://doi.org/10.1007/978-3-662-48634-4
Format: Electronic Resources
Availability Online Library~1

Immersive Education 4th European Summit, EiED 2014, Vienna, Austria, November 24-26, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Ebner, Martin. editor. Erenli, Kai. editor. Malaka, Rainer. editor. Pirker, Johanna. editor. Walsh, Aaron E. editor.
Preferred Shelf Number XX(518491.1)
Electronic Access https://doi.org/10.1007/978-3-319-22017-8
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering and Software Development Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author Desfray, Philippe. editor. Filipe, Joaquim. editor. Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518496.1)
Electronic Access https://doi.org/10.1007/978-3-319-27869-8
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery, Knowledge Engineering and Knowledge Management 6th International Joint Conference, IC3K 2014, Rome, Italy, October 21-24, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Fred, Ana. editor. Dietz, Jan L. G. editor. Aveiro, David. editor. (orcid) Liu, Kecheng. editor. Filipe, Joaquim. editor.
Preferred Shelf Number XX(518393.1)
Electronic Access https://doi.org/10.1007/978-3-319-25840-9
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies 8th International Joint Conference, BIOSTEC 2015, Lisbon, Portugal, January 12-15, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author Fred, Ana. editor. Gamboa, Hugo. editor. Elias, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518395.1)
Electronic Access https://doi.org/10.1007/978-3-319-27707-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Software Methodologies, Tools and Techniques 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised Selected Papers

2024-12-23T14:11:11Z

Author Fujita, Hamido. editor. (orcid) Selamat, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518402.1)
Electronic Access https://doi.org/10.1007/978-3-319-17530-0
Format: Electronic Resources
Availability Online Library~1

Information Literacy: Moving Toward Sustainability Third European Conference, ECIL 2015, Tallinn, Estonia, October 19-22, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author Kurbanoglu, Serap. editor. Boustany, Joumana. editor. Špiranec, Sonja. editor. Grassian, Esther. editor. Mizrachi, Diane. editor.
Preferred Shelf Number XX(518408.1)
Electronic Access https://doi.org/10.1007/978-3-319-28197-1
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

2024-12-23T14:11:11Z

Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518522.1)
Electronic Access https://doi.org/10.1007/978-3-319-17581-2
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers

2024-12-23T14:11:11Z

Author Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518525.1)
Electronic Access https://doi.org/10.1007/978-3-319-27218-4
Format: Electronic Resources
Availability Online Library~1

Creativity in Intelligent Technologies and Data Science First Conference, CIT&DS 2015, Volgograd, Russia, September 15-17, 2015. Proceedings

2024-12-23T14:11:11Z

Author Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Shabalina, Olga. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518527.1)
Electronic Access https://doi.org/10.1007/978-3-319-23766-4
Format: Electronic Resources
Availability Online Library~1

Trustworthy Computing and Services International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers

2024-12-23T14:11:11Z

Author Yueming, Lu. editor. Xu, Wu. editor. Xi, Zhang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518531.1)
Electronic Access https://doi.org/10.1007/978-3-662-47401-3
Format: Electronic Resources
Availability Online Library~1

Operations Research and Enterprise Systems 4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author De Werra, Dominique. editor. Parlier, Greg H. editor. Vitoriano, Begoña. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518533.1)
Electronic Access https://doi.org/10.1007/978-3-319-27680-9
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement and Capability Determination 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings

2024-12-23T14:11:11Z

Author Rout, Terry. editor. O'Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518535.1)
Electronic Access https://doi.org/10.1007/978-3-319-19860-6
Format: Electronic Resources
Availability Online Library~1

Data Structures and Algorithms with Python

2024-12-23T14:11:11Z

Author Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)
Preferred Shelf Number XX(518537.1)
Electronic Access https://doi.org/10.1007/978-3-319-13072-9
Format: Electronic Resources
Availability Online Library~1

UML @ Classroom An Introduction to Object-Oriented Modeling

2024-12-23T14:11:11Z

Author Seidl, Martina. author. Scholz, Marion. author. Huemer, Christian. author. Kappel, Gerti. author. SpringerLink (Online service)
Preferred Shelf Number XX(518542.1)
Electronic Access https://doi.org/10.1007/978-3-319-12742-2
Format: Electronic Resources
Availability Online Library~1

Information and Software Technologies 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings

2024-12-23T14:11:11Z

Author Dregvaite, Giedre. editor. Damasevicius, Robertas. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518546.1)
Electronic Access https://doi.org/10.1007/978-3-319-24770-0
Format: Electronic Resources
Availability Online Library~1

Geo-Informatics in Resource Management and Sustainable Ecosystem International Conference, GRMSE 2014, Ypsilanti, USA, October 3-5, 2014, Proceedings

2024-12-23T14:11:11Z

Author Bian, Fuling. editor. Xie, Yichun. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518547.1)
Electronic Access https://doi.org/10.1007/978-3-662-45737-5
Format: Electronic Resources
Availability Online Library~1

Embracing Global Computing in Emerging Economies First Workshop, EGC 2015, Almaty, Kazakhstan, February 26-28, 2015. Proceedings

2024-12-23T14:11:11Z

Author Horne, Ross. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518549.1)
Electronic Access https://doi.org/10.1007/978-3-319-25043-4
Format: Electronic Resources
Availability Online Library~1

Embedded System Technology 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author Zhang, Xing. editor. Wu, Zhonghai. editor. Sha, Xingmian. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518566.1)
Electronic Access https://doi.org/10.1007/978-981-10-0421-6
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Analysis, Design and Implementation An Integrated Approach

2024-12-23T14:11:11Z

Author Dathan, Brahma. author. Ramnath, Sarnath. author. SpringerLink (Online service)
Preferred Shelf Number XX(518630.1)
Electronic Access https://doi.org/10.1007/978-3-319-24280-4
Format: Electronic Resources
Availability Online Library~1

Cloud Computing and Services Sciences International Conference in Cloud Computing and Services Sciences, CLOSER 2014 Barcelona Spain, April 3-5, 2014 Revised Selected Papers

2024-12-23T14:11:11Z

Author Helfert, Markus. editor. Desprez, Frédéric. editor. Ferguson, Donald. editor. Leymann, Frank. editor. Méndez Munoz, Victor. editor.
Preferred Shelf Number XX(518642.1)
Electronic Access https://doi.org/10.1007/978-3-319-25414-2
Format: Electronic Resources
Availability Online Library~1

Computer Vision CCF Chinese Conference, CCCV 2015, Xi'an, China, September 18-20, 2015, Proceedings, Part II

2024-12-23T14:11:11Z

Author Zha, Hongbin. editor. Chen, Xilin. editor. Wang, Liang. editor. Miao, Qiguang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518643.1)
Electronic Access https://doi.org/10.1007/978-3-662-48570-5
Format: Electronic Resources
Availability Online Library~1

Computer Vision, Imaging and Computer Graphics - Theory and Applications International Joint Conference, VISIGRAPP 2014, Lisbon, Portugal, January 5-8, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Battiato, Sebastiano. editor. Coquillart, Sabine. editor. Pettré, Julien. editor. Laramee, Robert S. editor. Kerren, Andreas. editor.
Preferred Shelf Number XX(518645.1)
Electronic Access https://doi.org/10.1007/978-3-319-25117-2
Format: Electronic Resources
Availability Online Library~1

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Ortiz, Guadalupe. editor. Tran, Cuong. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518653.1)
Electronic Access https://doi.org/10.1007/978-3-319-14886-1
Format: Electronic Resources
Availability Online Library~1

Cyber Security and Privacy 4th Cyber Security and Privacy Innovation Forum, CSP Innovation Forum 2015, Brussels, Belgium April 28-29, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author Cleary, Frances. editor. Felici, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518591.1)
Electronic Access https://doi.org/10.1007/978-3-319-25360-2
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies 7th International Joint Conference, BIOSTEC 2014, Angers, France, March 3-6, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Plantier, Guy. editor. Schulz, Tanja. editor. Fred, Ana. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518592.1)
Electronic Access https://doi.org/10.1007/978-3-319-26129-4
Format: Electronic Resources
Availability Online Library~1

HCI International 2015 - Posters' Extended Abstracts International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part II

2024-12-23T14:11:11Z

Author Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518597.1)
Electronic Access https://doi.org/10.1007/978-3-319-21383-5
Format: Electronic Resources
Availability Online Library~1

Social Media Processing 4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015, Proceedings

2024-12-23T14:11:11Z

Author Zhang, Xichun. editor. Sun, Maosong. editor. Wang, Zhenyu. editor. Huang, Xuanjing. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518600.1)
Electronic Access https://doi.org/10.1007/978-981-10-0080-5
Format: Electronic Resources
Availability Online Library~1

Frontiers in Internet Technologies Third CCF Internet Conference of China, ICoC 2014, Shanghai, China, July 10-11, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Zhang, Shiyong. editor. Xu, Ke. editor. Xu, Mingwei. editor. Wu, Jie. editor. Wu, Chengrong. editor.
Preferred Shelf Number XX(518609.1)
Electronic Access https://doi.org/10.1007/978-3-662-46826-5
Format: Electronic Resources
Availability Online Library~1

Future Network Systems and Security First International Conference, FNSS 2015, Paris, France, June 11-13, 2015, Proceedings

2024-12-23T14:11:11Z

Author Doss, Robin. editor. Piramuthu, Selwyn. editor. ZHOU, Wei. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518610.1)
Electronic Access https://doi.org/10.1007/978-3-319-19210-9
Format: Electronic Resources
Availability Online Library~1

Computer Assisted Assessment. Research into E-Assessment 18th International Conference, CAA 2015, Zeist, The Netherlands, June 22-23, 2015. Proceedings

2024-12-23T14:11:11Z

Author Ras, Eric. editor. Joosten-ten Brinke, Desirée. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518619.1)
Electronic Access https://doi.org/10.1007/978-3-319-27704-2
Format: Electronic Resources
Availability Online Library~1

Global Security, Safety and Sustainability: Tomorrow's Challenges of Cyber Security 10th International Conference, ICGS3 2015, London, UK, September 15-17, 2015. Proceedings

2024-12-23T14:11:11Z

Author Jahankhani, Hamid. editor. Carlile, Alex. editor. Akhgar, Babak. editor. Taal, Amie. editor. Hessami, Ali G. editor.
Preferred Shelf Number XX(518675.1)
Electronic Access https://doi.org/10.1007/978-3-319-23276-8
Format: Electronic Resources
Availability Online Library~1

Analysis of Images, Social Networks and Texts 4th International Conference, AIST 2015, Yekaterinburg, Russia, April 9-11, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author Khachay, Mikhail Yu. editor. Konstantinova, Natalia. editor. Panchenko, Alexander. editor. Ignatov, Dmitry. editor. Labunets, Valeri G. editor.
Preferred Shelf Number XX(518732.1)
Electronic Access https://doi.org/10.1007/978-3-319-26123-2
Format: Electronic Resources
Availability Online Library~1

Sports Science Research and Technology Support Second International Congress, icSPORTS 2014, Rome, Italy, October 24-26, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Cabri, Jan. editor. Barreiros, João. editor. Pezarat Correia, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518734.1)
Electronic Access https://doi.org/10.1007/978-3-319-25249-0
Format: Electronic Resources
Availability Online Library~1

E-Business and Telecommunications 11th International Joint Conference, ICETE 2014, Vienna, Austria, August 28-30, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Obaidat, Mohammad S. editor. Holzinger, Andreas. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518736.1)
Electronic Access https://doi.org/10.1007/978-3-319-25915-4
Format: Electronic Resources
Availability Online Library~1

ICTs for Improving Patients Rehabilitation Research Techniques Second International Workshop, REHAB 2014, Oldenburg, Germany, May 20-23, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Fardoun, Habib M. editor. R. Penichet, Victor M. editor. Alghazzawi, Daniyal M. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518742.1)
Electronic Access https://doi.org/10.1007/978-3-662-48645-0
Format: Electronic Resources
Availability Online Library~1

Operations Research and Enterprise Systems Third International Conference, ICORES 2014, Angers, France, March 6-8, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Pinson, Eric. editor. Valente, Fernando. editor. Vitoriano, Begoña. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518744.1)
Electronic Access https://doi.org/10.1007/978-3-319-17509-6
Format: Electronic Resources
Availability Online Library~1

String Processing and Information Retrieval 22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015, Proceedings

2024-12-23T14:11:11Z

Author Iliopoulos, Costas. editor. Puglisi, Simon. editor. Yilmaz, Emine. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518751.1)
Electronic Access https://doi.org/10.1007/978-3-319-23826-5
Format: Electronic Resources
Availability Online Library~1

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518766.1)
Electronic Access https://doi.org/10.1007/978-3-319-17353-5
Format: Electronic Resources
Availability Online Library~1

Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings

2024-12-23T14:11:11Z

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

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

2024-12-23T14:11:11Z

Author Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518775.1)
Electronic Access https://doi.org/10.1007/978-3-319-17822-6
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings

2024-12-23T14:11:11Z

Author Phillips, Andrew. editor. Yin, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518778.1)
Electronic Access https://doi.org/10.1007/978-3-319-21999-8
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, June 25-28, 2015, Proceedings, Part II

2024-12-23T14:11:11Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Buarque, Fernando. editor. Gelbukh, Alexander. editor. Das, Swagatam. editor.
Preferred Shelf Number XX(518780.1)
Electronic Access https://doi.org/10.1007/978-3-319-20472-7
Format: Electronic Resources
Availability Online Library~1

Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author Pop, Florin. editor. Potop-Butucaru, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518782.1)
Electronic Access https://doi.org/10.1007/978-3-319-28448-4
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II

2024-12-23T14:11:11Z

Author Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518783.1)
Electronic Access https://doi.org/10.1007/978-3-319-15892-1
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

2024-12-23T14:11:11Z

Author Sankaranarayanan, Sriram. editor. Vicario, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518791.1)
Electronic Access https://doi.org/10.1007/978-3-319-22975-1
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Intelligence 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part I

2024-12-23T14:11:11Z

Author Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518793.1)
Electronic Access https://doi.org/10.1007/978-3-319-19258-1
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II

2024-12-23T14:11:11Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(518794.1)
Electronic Access https://doi.org/10.1007/978-3-319-21407-8
Format: Electronic Resources
Availability Online Library~1

Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518798.1)
Electronic Access https://doi.org/10.1007/978-3-319-17404-4
Format: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Isokawa, Teijiro. editor. Imai, Katsunobu. editor. Matsui, Nobuyuki. editor. Peper, Ferdinand. editor. Umeo, Hiroshi. editor.
Preferred Shelf Number XX(518804.1)
Electronic Access https://doi.org/10.1007/978-3-319-18812-6
Format: Electronic Resources
Availability Online Library~1

Experimental Algorithms 14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, Proceedings

2024-12-23T14:11:11Z

Author Bampis, Evripidis. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518813.1)
Electronic Access https://doi.org/10.1007/978-3-319-20086-6
Format: Electronic Resources
Availability Online Library~1

Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

2024-12-23T14:11:11Z

Author Meyer, Roland. editor. Platzer, André. editor. Wehrheim, Heike. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518815.1)
Electronic Access https://doi.org/10.1007/978-3-319-23506-6
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III

2024-12-23T14:11:11Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(518867.1)
Electronic Access https://doi.org/10.1007/978-3-319-21470-2
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III

2024-12-23T14:11:11Z

Author Arik, Sabri. editor. Huang, Tingwen. editor. Lai, Weng Kin. editor. Liu, Qingshan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518873.1)
Electronic Access https://doi.org/10.1007/978-3-319-26555-1
Format: Electronic Resources
Availability Online Library~1

Latent Variable Analysis and Signal Separation 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings

2024-12-23T14:11:11Z

Author Vincent, Emmanuel. editor. Yeredor, Arie. editor. Koldovský, Zbyněk. editor. Tichavský, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518880.1)
Electronic Access https://doi.org/10.1007/978-3-319-22482-4
Format: Electronic Resources
Availability Online Library~1

Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

2024-12-23T14:11:11Z

Author Bodei, Chiara. editor. Ferrari, Gianluigi. editor. Priami, Corrado. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518889.1)
Electronic Access https://doi.org/10.1007/978-3-319-25527-9
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings

2024-12-23T14:11:11Z

Author Kosowski, Adrian. editor. Walukiewicz, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518912.1)
Electronic Access https://doi.org/10.1007/978-3-319-22177-9
Format: Electronic Resources
Availability Online Library~1

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518917.1)
Electronic Access https://doi.org/10.1007/978-3-319-20239-6
Format: Electronic Resources
Availability Online Library~1

Computer Vision Systems 10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings

2024-12-23T14:11:11Z

Author Nalpantidis, Lazaros. editor. Krüger, Volker. editor. Eklundh, Jan-Olof. editor. Gasteratos, Antonios. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518920.1)
Electronic Access https://doi.org/10.1007/978-3-319-20904-3
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2015 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

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

Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

2024-12-23T14:11:11Z

Author Fischer, Bernd. editor. Geldenhuys, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518932.1)
Electronic Access https://doi.org/10.1007/978-3-319-23404-5
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

2024-12-23T14:11:11Z

Author D'Souza, Deepak. editor. Lal, Akash. editor. Larsen, Kim Guldstrand. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518938.1)
Electronic Access https://doi.org/10.1007/978-3-662-46081-8
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings

2024-12-23T14:11:11Z

Author Pelc, Andrzej. editor. Schwarzmann, Alexander A. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518940.1)
Electronic Access https://doi.org/10.1007/978-3-319-21741-3
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III

2024-12-23T14:11:11Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Buarque, Fernando. editor. Gelbukh, Alexander. editor. Das, Swagatam. editor.
Preferred Shelf Number XX(518945.1)
Electronic Access https://doi.org/10.1007/978-3-319-20469-7
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I

2024-12-23T14:11:11Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Buarque, Fernando. editor. Gelbukh, Alexander. editor. Das, Swagatam. editor.
Preferred Shelf Number XX(518947.1)
Electronic Access https://doi.org/10.1007/978-3-319-20466-6
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

2024-12-23T14:11:11Z

Author de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Preferred Shelf Number XX(518949.1)
Electronic Access https://doi.org/10.1007/978-3-662-47709-0
Format: Electronic Resources
Availability Online Library~1

Quantum Interaction 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers

2024-12-23T14:11:11Z

Author Atmanspacher, Harald. editor. Bergomi, Claudia. editor. Filk, Thomas. editor. Kitto, Kirsty. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518954.1)
Electronic Access https://doi.org/10.1007/978-3-319-15931-7
Format: Electronic Resources
Availability Online Library~1

Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part II

2024-12-23T14:11:11Z

Author Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518957.1)
Electronic Access https://doi.org/10.1007/978-3-319-18117-2
Format: Electronic Resources
Availability Online Library~1

Evolutionary and Biologically Inspired Music, Sound, Art and Design 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2024-12-23T14:11:11Z

Author Johnson, Colin. editor. Carballal, Adrian. editor. Correia, João. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518959.1)
Electronic Access https://doi.org/10.1007/978-3-319-16498-4
Format: Electronic Resources
Availability Online Library~1

Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

2024-12-23T14:11:11Z

Author Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518961.1)
Electronic Access https://doi.org/10.1007/978-3-319-21909-7
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings

2024-12-23T14:11:11Z

Author Bojanczyk, Mikolai. editor. Lasota, Slawomir. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518962.1)
Electronic Access https://doi.org/10.1007/978-3-319-24537-9
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2024-12-23T14:11:11Z

Author Ochoa, Gabriela. editor. Chicano, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518973.1)
Electronic Access https://doi.org/10.1007/978-3-319-16468-7
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings

2024-12-23T14:11:11Z

Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(518975.1)
Electronic Access https://doi.org/10.1007/978-3-319-24021-3
Format: Electronic Resources
Availability Online Library~1

Algorithms and Data Structures 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings

2024-12-23T14:11:11Z

Author Dehne, Frank. editor. Sack, Jörg-Rüdiger. editor. Stege, Ulrike. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518976.1)
Electronic Access https://doi.org/10.1007/978-3-319-21840-3
Format: Electronic Resources
Availability Online Library~1

Algorithms and Discrete Applied Mathematics First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings

2024-12-23T14:11:11Z

Author Ganguly, Sumit. editor. Krishnamurti, Ramesh. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518978.1)
Electronic Access https://doi.org/10.1007/978-3-319-14974-5
Format: Electronic Resources
Availability Online Library~1

Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers

2024-12-23T14:11:11Z

Author Koç, Çetin Kaya. editor. Mesnager, Sihem. editor. Savaş, Erkay. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518984.1)
Electronic Access https://doi.org/10.1007/978-3-319-16277-5
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I

2024-12-23T14:11:11Z

Author Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518985.1)
Electronic Access https://doi.org/10.1007/978-3-319-15934-8
Format: Electronic Resources
Availability Online Library~1

Informatics in Schools. Curricula, Competences, and Competitions 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2015, Ljubljana, Slovenia, September 28 - October 1, 2015, Proceedings

2024-12-23T14:11:11Z

Author Brodnik, Andrej. editor. Vahrenhold, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518988.1)
Electronic Access https://doi.org/10.1007/978-3-319-25396-1
Format: Electronic Resources
Availability Online Library~1

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

2024-12-23T14:11:11Z

Author Manea, Florin. editor. Nowotka, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518989.1)
Electronic Access https://doi.org/10.1007/978-3-319-23660-5
Format: Electronic Resources
Availability Online Library~1

Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings

2024-12-23T14:11:11Z

Author Sano, Kentaro. editor. Soudris, Dimitrios. editor. Hübner, Michael. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519004.1)
Electronic Access https://doi.org/10.1007/978-3-319-16214-0
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

2024-12-23T14:11:11Z

Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519007.1)
Electronic Access https://doi.org/10.1007/978-3-319-21690-4
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author Plaat, Aske. editor. van den Herik, Jaap. editor. Kosters, Walter. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519010.1)
Electronic Access https://doi.org/10.1007/978-3-319-27992-3
Format: Electronic Resources
Availability Online Library~1

Algorithms and Models for the Web Graph 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings

2024-12-23T14:11:11Z

Author Gleich, David F. editor. Komjáthy, Júlia. editor. Litvak, Nelly. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519011.1)
Electronic Access https://doi.org/10.1007/978-3-319-26784-5
Format: Electronic Resources
Availability Online Library~1

KI 2015: Advances in Artificial Intelligence 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings

2024-12-23T14:11:11Z

Author Hölldobler, Steffen. editor. Peñaloza, Rafael. editor. Rudolph, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519012.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-24489-1
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

2024-12-23T14:11:11Z

Author Dediu, Adrian-Horia. editor. Formenti, Enrico. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519014.1)
Electronic Access https://doi.org/10.1007/978-3-319-15579-1
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2024-12-23T14:11:11Z

Author Mora, Antonio M. editor. Squillero, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519015.1)
Electronic Access https://doi.org/10.1007/978-3-319-16549-3
Format: Electronic Resources
Availability Online Library~1

Graph Drawing and Network Visualization 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author Di Giacomo, Emilio. editor. Lubiw, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519018.1)
Electronic Access https://doi.org/10.1007/978-3-319-27261-0
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

2024-12-23T14:11:11Z

Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519028.1)
Electronic Access https://doi.org/10.1007/978-3-319-21668-3
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Intelligence 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part II

2024-12-23T14:11:11Z

Author Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519132.1)
Electronic Access https://doi.org/10.1007/978-3-319-19222-2
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-12-23T14:11:11Z

Author Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519136.1)
Electronic Access https://doi.org/10.1007/978-3-662-46675-9
Format: Electronic Resources
Availability Online Library~1

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

2024-12-23T14:11:11Z

Author van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519137.1)
Electronic Access https://doi.org/10.1007/978-3-662-48561-3
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Naumann, David. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519138.1)
Electronic Access https://doi.org/10.1007/978-3-319-14806-9
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519139.1)
Electronic Access https://doi.org/10.1007/978-3-319-28114-8
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings

2024-12-23T14:11:11Z

Author Lu, Zaixin. editor. Kim, Donghyun. editor. Wu, Weili. editor. Li, Wei. editor. (orcid) Du, Ding-Zhu. editor. (orcid)
Preferred Shelf Number XX(519143.1)
Electronic Access https://doi.org/10.1007/978-3-319-26626-8
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers

2024-12-23T14:11:11Z

Author Dhaenens, Clarisse. editor. Jourdan, Laetitia. editor. Marmion, Marie-Eléonore. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519144.1)
Electronic Access https://doi.org/10.1007/978-3-319-19084-6
Format: Electronic Resources
Availability Online Library~1

Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Markidis, Stefano. editor. Laure, Erwin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519145.1)
Electronic Access https://doi.org/10.1007/978-3-319-15976-8
Format: Electronic Resources
Availability Online Library~1

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.

2024-12-23T14:11:11Z

Author Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519146.1)
Electronic Access https://doi.org/10.1007/978-3-662-46823-4
Format: Electronic Resources
Availability Online Library~1

Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings

2024-12-23T14:11:11Z

Author Durand-Lose, Jerome. editor. Nagy, Benedek. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519156.1)
Electronic Access https://doi.org/10.1007/978-3-319-23111-2
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-12-23T14:11:11Z

Author Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(519161.1)
Electronic Access https://doi.org/10.1007/978-3-662-46678-0
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Brodman, James. editor. Tu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519163.1)
Electronic Access https://doi.org/10.1007/978-3-319-17473-0
Format: Electronic Resources
Availability Online Library~1

WALCOM: Algorithms and Computation 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings

2024-12-23T14:11:11Z

Author Rahman, M. Sohel. editor. Tomita, Etsuji. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519097.1)
Electronic Access https://doi.org/10.1007/978-3-319-15612-5
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III

2024-12-23T14:11:11Z

Author Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519169.1)
Electronic Access https://doi.org/10.1007/978-3-319-27137-8
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

2024-12-23T14:11:11Z

Author Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519103.1)
Electronic Access https://doi.org/10.1007/978-3-662-48899-7
Format: Electronic Resources
Availability Online Library~1

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers

2024-12-23T14:11:11Z

Author Jarvis, Stephen A. editor. Wright, Steven A. editor. Hammond, Simon D. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519105.1)
Electronic Access https://doi.org/10.1007/978-3-319-17248-4
Format: Electronic Resources
Availability Online Library~1

Information Processing in Cells and Tissues 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings

2024-12-23T14:11:11Z

Author Lones, Michael. editor. Tyrrell, Andy. editor. Smith, Stephen. editor. Fogel, Gary. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519178.1)
Electronic Access https://doi.org/10.1007/978-3-319-23108-2
Format: Electronic Resources
Availability Online Library~1

Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Jan, Kratochvíl. editor. Miller, Mirka. editor. Froncek, Dalibor. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519181.1)
Electronic Access https://doi.org/10.1007/978-3-319-19315-1
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers

2024-12-23T14:11:11Z

Author Hage, Jurriaan. editor. McCarthy, Jay. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519187.1)
Electronic Access https://doi.org/10.1007/978-3-319-14675-1
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

2024-12-23T14:11:11Z

Author Devillers, Raymond. editor. Valmari, Antti. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519194.1)
Electronic Access https://doi.org/10.1007/978-3-319-19488-2
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I

2024-12-23T14:11:11Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(519112.1)
Electronic Access https://doi.org/10.1007/978-3-319-21404-7
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

2024-12-23T14:11:11Z

Author Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519117.1)
Electronic Access https://doi.org/10.1007/978-3-319-17142-5
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

2024-12-23T14:11:11Z

Author Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519118.1)
Electronic Access https://doi.org/10.1007/978-3-662-45824-2
Format: Electronic Resources
Availability Online Library~1

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

2024-12-23T14:11:11Z

Author Zsók, Viktória. editor. Horváth, Zoltán. editor. Csató, Lehel. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519213.1)
Electronic Access https://doi.org/10.1007/978-3-319-15940-9
Format: Electronic Resources
Availability Online Library~1

Swarm, Evolutionary, and Memetic Computing 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519215.1)
Electronic Access https://doi.org/10.1007/978-3-319-20294-5
Format: Electronic Resources
Availability Online Library~1

Distributed Computing 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings

2024-12-23T14:11:11Z

Author Moses, Yoram. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519218.1)
Electronic Access https://doi.org/10.1007/978-3-662-48653-5
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2015: Parallel Processing Workshops Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author Hunold, Sascha. editor. Costan, Alexandru. editor. Giménez, Domingo. editor. Iosup, Alexandru. editor. Ricci, Laura. editor.
Preferred Shelf Number XX(519324.1)
Electronic Access https://doi.org/10.1007/978-3-319-27308-2
Format: Electronic Resources
Availability Online Library~1

The Mobile Learning Voyage - From Small Ripples to Massive Open Waters 14th World Conference on Mobile and Contextual Learning, mLearn 2015, Venice, Italy, October 17-24, 2015, Proceedings

2024-12-23T14:11:11Z

Author Brown, Tom H. editor. van der Merwe, Herman J. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518431.1)
Electronic Access https://doi.org/10.1007/978-3-319-25684-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Computation in Big Data Era International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2015, Harbin, China, January 10-12, 2015, Proceedings

2024-12-23T14:11:11Z

Author Wang, Hongzhi. editor. Qi, Haoliang. editor. Che, Wanxiang. editor. Qiu, Zhaowen. editor. Kong, Leilei. editor.
Preferred Shelf Number XX(518432.1)
Electronic Access https://doi.org/10.1007/978-3-662-46248-5
Format: Electronic Resources
Availability Online Library~1

Data Management Technologies and Applications Third International Conference, DATA 2014, Vienna, Austria, August 29-31, 2014, Revised Selected papers

2024-12-23T14:11:11Z

Author Holzinger, Andreas. editor. Helfert, Markus. editor. Belo, Orlando. editor. Francalanci, Chiara. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518433.1)
Electronic Access https://doi.org/10.1007/978-3-319-25936-9
Format: Electronic Resources
Availability Online Library~1

Engineering Applications of Neural Networks 16th International Conference, EANN 2015, Rhodes, Greece, September 25-28 2015.Proceedings

2024-12-23T14:11:11Z

Author Iliadis, Lazaros. editor. (orcid) Jayne, Chrisina. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518442.1)
Electronic Access https://doi.org/10.1007/978-3-319-23983-5
Format: Electronic Resources
Availability Online Library~1

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection International Workshops of PAAMS 2015, Salamanca, Spain, June 3-4, 2015. Proceedings

2024-12-23T14:11:11Z

Author Bajo, Javier. editor. Hallenborg, Kasper. editor. Pawlewski, Pawel. editor. Botti, Vicente. editor. Sánchez-Pi, Nayat. editor.
Preferred Shelf Number XX(518446.1)
Electronic Access https://doi.org/10.1007/978-3-319-19033-4
Format: Electronic Resources
Availability Online Library~1

Learning Technology for Education in Cloud 4th International Workshop, LTEC 2015, Maribor, Slovenia, August 24-28, 2015, Proceedings

2024-12-23T14:11:11Z

Author Uden, Lorna. editor. Liberona, Dario. editor. Welzer, Tatjana. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518450.1)
Electronic Access https://doi.org/10.1007/978-3-319-22629-3
Format: Electronic Resources
Availability Online Library~1

Sports Science Research and Technology Support International Congress, icSPORTS 2013, Vilamoura, Algarve, Portugal, September 20-22, 2013. Revised Selected Papers

2024-12-23T14:11:11Z

Author Cabri, Jan. editor. Pezarat Correia, Pedro. editor. Barreiros, João. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518364.1)
Electronic Access https://doi.org/10.1007/978-3-319-17548-5
Format: Electronic Resources
Availability Online Library~1

Knowledge Engineering and Semantic Web 6th International Conference, KESW 2015, Moscow, Russia, September 30 - October 2, 2015, Proceedings

2024-12-23T14:11:11Z

Author Klinov, Pavel. editor. Mouromtsev, Dmitry. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518464.1)
Electronic Access https://doi.org/10.1007/978-3-319-24543-0
Format: Electronic Resources
Availability Online Library~1

Mathematical Modeling of Technological Processes 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015, Proceedings

2024-12-23T14:11:11Z

Author Danaev, Nargozy. editor. Shokin, Yurii. editor. Darkhan, Akhmed-Zaki. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518380.1)
Electronic Access https://doi.org/10.1007/978-3-319-25058-8
Format: Electronic Resources
Availability Online Library~1

Multimedia Communications, Services and Security 8th International Conference, MCSS 2015, Kraków, Poland, November 24, 2015. Proceedings

2024-12-23T14:11:11Z

Author Dziech, Andrzej. editor. Leszczuk, Mikołaj. editor. Baran, Remigiusz. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518384.1)
Electronic Access https://doi.org/10.1007/978-3-319-26404-2
Format: Electronic Resources
Availability Online Library~1

Computer Networks 22nd International Conference, CN 2015, Brunów, Poland, June 16-19, 2015. Proceedings

2024-12-23T14:11:11Z

Author Gaj, Piotr. editor. Kwiecień, Andrzej. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518389.1)
Electronic Access https://doi.org/10.1007/978-3-319-19419-6
Format: Electronic Resources
Availability Online Library~1

Technology in Education. Transforming Educational Practices with Technology International Conference, ICTE 2014, Hong Kong, China, July 2-4, 2014. Revised Selected Papers

2024-12-23T14:11:11Z

Author Li, Kam Cheong. editor. Wong, Tak-Lam. editor. Cheung, Simon K.S. editor. Lam, Jeanne. editor. Ng, Kwan Keung. editor.
Preferred Shelf Number XX(518397.1)
Electronic Access https://doi.org/10.1007/978-3-662-46158-7
Format: Electronic Resources
Availability Online Library~1

Systems and Frameworks for Computational Morphology Fourth International Workshop, SFCM 2015, Stuttgart, Germany, September 17-18, 2015. Proceedings

2024-12-23T14:11:11Z

Author Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518502.1)
Electronic Access https://doi.org/10.1007/978-3-319-23980-4
Format: Electronic Resources
Availability Online Library~1

Software Technologies 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Holzinger, Andreas. editor. Cardoso, Jorge. editor. Cordeiro, José. editor. Libourel, Therese. editor. Maciaszek, Leszek A. editor.
Preferred Shelf Number XX(518509.1)
Electronic Access https://doi.org/10.1007/978-3-319-25579-8
Format: Electronic Resources
Availability Online Library~1

Process-Aware Systems First International Workshop, PAS 2014, Shanghai, China, October 17, 2014. Proceedings

2024-12-23T14:11:11Z

Author Cao, Jian. editor. Wen, Lijie. editor. Liu, Xiao. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518514.1)
Electronic Access https://doi.org/10.1007/978-3-662-46170-9
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies for Ageing Well and e-Health First International Conference, ICT4AgeingWell 2015, Lisbon, Portugal, May 20-22, 2015. Revised Selected Papers

2024-12-23T14:11:11Z

Author Helfert, Markus. editor. Holzinger, Andreas. editor. Ziefle, Martina. editor. Fred, Ana. editor. O'Donoghue, John. editor.
Preferred Shelf Number XX(518428.1)
Electronic Access https://doi.org/10.1007/978-3-319-27695-3
Format: Electronic Resources
Availability Online Library~1

High Performance Computing Second Latin American Conference, CARLA 2015, Petrópolis, Brazil, August 26-28, 2015, Proceedings

2024-12-23T14:11:11Z

Author Osthoff, Carla. editor. Navaux, Philippe Olivier Alexandre. editor. Barrios Hernandez, Carlos Jaime. editor. Silva Dias, Pedro L. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518570.1)
Electronic Access https://doi.org/10.1007/978-3-319-26928-3
Format: Electronic Resources
Availability Online Library~1

Robotics Joint Conference on Robotics, LARS 2014, SBR 2014, Robocontrol 2014, São Carlos, Brazil, October 18-23, 2014. Revised Selected Papers

2024-12-23T14:11:11Z

Author Osório, Fernando S. editor. Wolf, Denis Fernando. editor. Castelo Branco, Kalinka. editor. Grassi Jr., Valdir. editor. Becker, Marcelo. editor.
Preferred Shelf Number XX(518588.1)
Electronic Access https://doi.org/10.1007/978-3-662-48134-9
Format: Electronic Resources
Availability Online Library~1

Language, Music, and Computing First International Workshop, LMAC 2015, St. Petersburg, Russia, April 20-22, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author Eismont, Polina. editor. Konstantinova, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518613.1)
Electronic Access https://doi.org/10.1007/978-3-319-27498-0
Format: Electronic Resources
Availability Online Library~1

Languages, Applications and Technologies 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author Sierra-Rodríguez, José-Luis. editor. Leal, José-Paulo. editor. Simões, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518614.1)
Electronic Access https://doi.org/10.1007/978-3-319-27653-3
Format: Electronic Resources
Availability Online Library~1

Computer Supported Education 6th International Conference, CSEDU 2014, Barcelona, Spain, April 1-3, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Zvacek, Susan. editor. Restivo, Maria Teresa. editor. Uhomoibhi, James. editor. Helfert, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518673.1)
Electronic Access https://doi.org/10.1007/978-3-319-25768-6
Format: Electronic Resources
Availability Online Library~1

Advances in Image and Graphics Technologies 10th Chinese Conference, IGTA 2015, Beijing, China, June 19-20, 2015, Proceedings

2024-12-23T14:11:11Z

Author Tan, Tieniu. editor. Ruan, Qiuqi. editor. Wang, Shengjin. editor. Ma, Huimin. editor. Di, Kaichang. editor.
Preferred Shelf Number XX(518678.1)
Electronic Access https://doi.org/10.1007/978-3-662-47791-5
Format: Electronic Resources
Availability Online Library~1

Computer Engineering and Technology 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers

2024-12-23T14:11:11Z

Author Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Preferred Shelf Number XX(518680.1)
Electronic Access https://doi.org/10.1007/978-3-662-45815-0
Format: Electronic Resources
Availability Online Library~1

Optimization in the Natural Sciences 30th Euro Mini-Conference, EmC-ONS 2014, Aveiro, Portugal, February 5-9, 2014. Revised Selected Papers

2024-12-23T14:11:11Z

Author Plakhov, Alexander. editor. Tchemisova, Tatiana. editor. Freitas, Adelaide. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518681.1)
Electronic Access https://doi.org/10.1007/978-3-319-20352-2
Format: Electronic Resources
Availability Online Library~1

New Trends in Databases and Information Systems ADBIS 2015 Short Papers and Workshops, BigDap, DCSA, GID, MEBIS, OAIS, SW4CH, WISARD, Poitiers, France, September 8-11, 2015. Proceedings

2024-12-23T14:11:11Z

Author Morzy, Tadeusz. editor. Valduriez, Patrick. editor. Bellatreche, Ladjel. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518686.1)
Electronic Access https://doi.org/10.1007/978-3-319-23201-0
Format: Electronic Resources
Availability Online Library~1

Computer Vision CCF Chinese Conference, CCCV 2015, Xi'an, China, September 18-20, 2015, Proceedings, Part I

2024-12-23T14:11:11Z

Author Zha, Honbin. editor. Chen, Xilin. editor. Wang, Liang. editor. Miao, Qiguang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518687.1)
Electronic Access https://doi.org/10.1007/978-3-662-48558-3
Format: Electronic Resources
Availability Online Library~1

Technology in Education. Technology-Mediated Proactive Learning Second International Conference, ICTE 2015, Hong Kong, China, July 2-4, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author Lam, Jeanne. editor. Ng, Kwan Keung. editor. Cheung, Simon K.S. editor. Wong, Tak Lam. editor. Li, Kam Cheong. editor.
Preferred Shelf Number XX(518689.1)
Electronic Access https://doi.org/10.1007/978-3-662-48978-9
Format: Electronic Resources
Availability Online Library~1

Advances in Social Computing and Multiagent Systems 6th International Workshop on Collaborative Agents Research and Development, CARE 2015 and Second International Workshop on Multiagent Foundations of Social Computing, MFSC 2015, Istanbul, Turkey, May 4, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author Koch, Fernando. editor. Guttmann, Christian. editor. Busquets, Didac. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518690.1)
Electronic Access https://doi.org/10.1007/978-3-319-24804-2
Format: Electronic Resources
Availability Online Library~1

Beyond Databases, Architectures and Structures 11th International Conference, BDAS 2015, Ustroń, Poland, May 26-29, 2015, Proceedings

2024-12-23T14:11:11Z

Author Kozielski, Stanisław. editor. Mrozek, Dariusz. editor. Kasprowski, Paweł. editor. Małysiak-Mrozek, Bożena. editor. Kostrzewa, Daniel. editor.
Preferred Shelf Number XX(518692.1)
Electronic Access https://doi.org/10.1007/978-3-319-18422-7
Format: Electronic Resources
Availability Online Library~1

Intelligence in the Era of Big Data 4th International Conference on Soft Computing, Intelligent Systems, and Information Technology, ICSIIT 2015, Bali, Indonesia, March 11-14, 2015. Proceedings

2024-12-23T14:11:11Z

Author Intan, Rolly. editor. Chi, Chi-Hung. editor. Palit, Henry N. editor. Santoso, Leo W. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518694.1)
Electronic Access https://doi.org/10.1007/978-3-662-46742-8
Format: Electronic Resources
Availability Online Library~1

Metadata and Semantics Research 9th Research Conference, MTSR 2015, Manchester, UK, September 9-11, 2015, Proceedings

2024-12-23T14:11:11Z

Author Garoufallou, Emmanouel. editor. Hartley, Richard J. editor. Gaitanou, Panorea. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518696.1)
Electronic Access https://doi.org/10.1007/978-3-319-24129-6
Format: Electronic Resources
Availability Online Library~1

Advances in Wireless Sensor Networks The 8th China Conference, CWSN 2014, Xi'an, China, October 31--November 2, 2014. Revised Selected Papers

2024-12-23T14:11:11Z

Author Sun, Limin. editor. Ma, Huadong. editor. Fang, Dingyi. editor. Niu, Jinping. editor. Wang, Wei. editor.
Preferred Shelf Number XX(518697.1)
Electronic Access https://doi.org/10.1007/978-3-662-46981-1
Format: Electronic Resources
Availability Online Library~1

Bio-Inspired Computing -- Theories and Applications 10th International Conference, BIC-TA 2015 Hefei, China, September 25-28, 2015, Proceedings

2024-12-23T14:11:11Z

Author Gong, Maoguo. editor. Linqiang, Pan. editor. Tao, Song. editor. Tang, Ke. editor. Zhang, Xingyi. editor.
Preferred Shelf Number XX(518700.1)
Electronic Access https://doi.org/10.1007/978-3-662-49014-3
Format: Electronic Resources
Availability Online Library~1

Information Technologies and Mathematical Modelling - Queueing Theory and Applications 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, Proceedings

2024-12-23T14:11:11Z

Author Dudin, Alexander. editor. Nazarov, Anatoly. editor. (orcid) Yakupov, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518703.1)
Electronic Access https://doi.org/10.1007/978-3-319-25861-4
Format: Electronic Resources
Availability Online Library~1

Applications and Usability of Interactive TV Third Iberoamerican Conference, jAUTI 2014, and Third Workshop on Interactive Digital TV, Held as Part of Webmedia 2014, João Pessoa, PB, Brazil, November 18-21, 2014. Revised Selected Papers

2024-12-23T14:11:11Z

Author Abásolo, María José. editor. Kulesza, Raoni. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518704.1)
Electronic Access https://doi.org/10.1007/978-3-319-22656-9
Format: Electronic Resources
Availability Online Library~1

Multidisciplinary Social Networks Research Second International Conference, MISNC 2015, Matsuyama, Japan, September 1-3, 2015. Proceedings

2024-12-23T14:11:11Z

Author Wang, Leon. editor. Uesugi, Shiro. editor. Ting, I-Hsien. editor. Okuhara, Koji. editor. Wang, Kai. editor.
Preferred Shelf Number XX(518710.1)
Electronic Access https://doi.org/10.1007/978-3-662-48319-0
Format: Electronic Resources
Availability Online Library~1

Artificial Life and Intelligent Agents First International Symposium, ALIA 2014, Bangor, UK, November 5-6, 2014. Revised Selected Papers

2024-12-23T14:11:11Z

Author Headleand, Christopher J. editor. Teahan, William J. editor. Ap Cenydd, Llyr. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518727.1)
Electronic Access https://doi.org/10.1007/978-3-319-18084-7
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings

2024-12-23T14:11:11Z

Author Xu, Kuai. editor. Zhu, Haojin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518831.1)
Electronic Access https://doi.org/10.1007/978-3-319-21837-3
Format: Electronic Resources
Availability Online Library~1

Algorithms and Computation 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings

2024-12-23T14:11:11Z

Author Elbassioni, Khaled. editor. Makino, Kazuhisa. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518834.1)
Electronic Access https://doi.org/10.1007/978-3-662-48971-0
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

2024-12-23T14:11:11Z

Author Michel, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518836.1)
Electronic Access https://doi.org/10.1007/978-3-319-18008-3
Format: Electronic Resources
Availability Online Library~1

Combinatorial Pattern Matching 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings

2024-12-23T14:11:11Z

Author Cicalese, Ferdinando. editor. Porat, Ely. editor. Vaccaro, Ugo. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(518842.1)
Electronic Access https://doi.org/10.1007/978-3-319-19929-0
Format: Electronic Resources
Availability Online Library~1

Curves and Surfaces 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Boissonnat, Jean-Daniel. editor. Cohen, Albert. editor. Gibaru, Olivier. editor. Gout, Christian. editor. Lyche, Tom. editor.
Preferred Shelf Number XX(518851.1)
Electronic Access https://doi.org/10.1007/978-3-319-22804-4
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

2024-12-23T14:11:11Z

Author Leucker, Martin. editor. Rueda, Camilo. editor. Valencia, Frank D. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518852.1)
Electronic Access https://doi.org/10.1007/978-3-319-25150-9
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings

2024-12-23T14:11:11Z

Author Wang, Guojin. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518859.1)
Electronic Access https://doi.org/10.1007/978-3-319-27161-3
Format: Electronic Resources
Availability Online Library~1

Bioinspired Computation in Artificial Systems International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II

2024-12-23T14:11:11Z

Author Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo-Moreo, Fco. Javier. editor. Adeli, Hojjat. editor.
Preferred Shelf Number XX(518824.1)
Electronic Access https://doi.org/10.1007/978-3-319-18833-1
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

2024-12-23T14:11:11Z

Author Falaschi, Moreno. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518861.1)
Electronic Access https://doi.org/10.1007/978-3-319-27436-2
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems - ARCS 2015 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings

2024-12-23T14:11:11Z

Author Pinho, Luís Miguel Pinho. editor. Karl, Wolfgang. editor. Cohen, Albert. editor. Brinkschulte, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519033.1)
Electronic Access https://doi.org/10.1007/978-3-319-16086-3
Format: Electronic Resources
Availability Online Library~1

Numerical Methods and Applications 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Dimov, Ivan. editor. Fidanova, Stefka. editor. Lirkov, Ivan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519037.1)
Electronic Access https://doi.org/10.1007/978-3-319-15585-2
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 22nd International Conference, ICONIP 2015, November 9-12, 2015, Proceedings, Part IV

2024-12-23T14:11:11Z

Author Arik, Sabri. editor. Huang, Tingwen. editor. Lai, Weng Kin. editor. Liu, Qingshan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519038.1)
Electronic Access https://doi.org/10.1007/978-3-319-26561-2
Format: Electronic Resources
Availability Online Library~1

Advanced Parallel Processing Technologies 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings

2024-12-23T14:11:11Z

Author Chen, Yunji. editor. Ienne, Paolo. editor. Ji, Qing. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519039.1)
Electronic Access https://doi.org/10.1007/978-3-319-23216-4
Format: Electronic Resources
Availability Online Library~1

Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

2024-12-23T14:11:11Z

Author Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519040.1)
Electronic Access https://doi.org/10.1007/978-3-662-46906-4
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II

2024-12-23T14:11:11Z

Author Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519042.1)
Electronic Access https://doi.org/10.1007/978-3-319-27122-4
Format: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

2024-12-23T14:11:11Z

Author Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519043.1)
Electronic Access https://doi.org/10.1007/978-3-319-22102-1
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.

2024-12-23T14:11:11Z

Author Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519049.1)
Electronic Access https://doi.org/10.1007/978-3-319-21500-6
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

2024-12-23T14:11:11Z

Author Träff, Jesper Larsson. editor. Hunold, Sascha. editor. Versaci, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519051.1)
Electronic Access https://doi.org/10.1007/978-3-662-48096-0
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-12-23T14:11:11Z

Author Franke, Björn. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519059.1)
Electronic Access https://doi.org/10.1007/978-3-662-46663-6
Format: Electronic Resources
Availability Online Library~1

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

2024-12-23T14:11:11Z

Author Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519060.1)
Electronic Access https://doi.org/10.1007/978-3-319-20028-6
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Natural Computing Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings

2024-12-23T14:11:11Z

Author Dediu, Adrian-Horia. editor. Magdalena, Luis. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519062.1)
Electronic Access https://doi.org/10.1007/978-3-319-26841-5
Format: Electronic Resources
Availability Online Library~1

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sempere, José M. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519065.1)
Electronic Access https://doi.org/10.1007/978-3-319-28475-0
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV

2024-12-23T14:11:11Z

Author Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519066.1)
Electronic Access https://doi.org/10.1007/978-3-319-27140-8
Format: Electronic Resources
Availability Online Library~1

Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

2024-12-23T14:11:11Z

Author Blazy, Sandrine. editor. Jensen, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519067.1)
Electronic Access https://doi.org/10.1007/978-3-662-48288-9
Format: Electronic Resources
Availability Online Library~1

Approximation and Online Algorithms 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers

2024-12-23T14:11:11Z

Author Bampis, Evripidis. editor. Svensson, Ola. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519068.1)
Electronic Access https://doi.org/10.1007/978-3-319-18263-6
Format: Electronic Resources
Availability Online Library~1

Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I

2024-12-23T14:11:11Z

Author Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519079.1)
Electronic Access https://doi.org/10.1007/978-3-319-18111-0
Format: Electronic Resources
Availability Online Library~1

Models of Strategic Reasoning Logics, Games, and Communities

2024-12-23T14:11:11Z

Author van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519080.1)
Electronic Access https://doi.org/10.1007/978-3-662-48540-8
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings

2024-12-23T14:11:11Z

Author Scheideler, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519082.1)
Electronic Access https://doi.org/10.1007/978-3-319-25258-2
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

2024-12-23T14:11:11Z

Author Heule, Marijn. editor. Weaver, Sean. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519084.1)
Electronic Access https://doi.org/10.1007/978-3-319-24318-4
Format: Electronic Resources
Availability Online Library~1

High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings

2024-12-23T14:11:11Z

Author Kunkel, Julian M. editor. Ludwig, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519086.1)
Electronic Access https://doi.org/10.1007/978-3-319-20119-1
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers

2024-12-23T14:11:11Z

Author Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519088.1)
Electronic Access https://doi.org/10.1007/978-3-319-15789-4
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-12-23T14:11:11Z

Author Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519090.1)
Electronic Access https://doi.org/10.1007/978-3-662-46681-0
Format: Electronic Resources
Availability Online Library~1

Computational Social Networks 4th International Conference, CSoNet 2015, Beijing, China, August 4-6, 2015, Proceedings

2024-12-23T14:11:11Z

Author Thai, My T. editor. Nguyen, Nam P. editor. Shen, Huawei. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519166.1)
Electronic Access https://doi.org/10.1007/978-3-319-21786-4
Format: Electronic Resources
Availability Online Library~1

Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings

2024-12-23T14:11:11Z

Author Bansal, Nikhil. editor. Finocchi, Irene. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519110.1)
Electronic Access https://doi.org/10.1007/978-3-662-48350-3
Format: Electronic Resources
Availability Online Library~1

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

2024-12-23T14:11:11Z

Author Shallit, Jeffrey. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519199.1)
Electronic Access https://doi.org/10.1007/978-3-319-19225-3
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

2024-12-23T14:11:11Z

Author Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519222.1)
Electronic Access https://doi.org/10.1007/978-3-662-47672-7
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

2024-12-23T14:11:11Z

Author Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519225.1)
Electronic Access https://doi.org/10.1007/978-3-662-47666-6
Format: Electronic Resources
Availability Online Library~1

Approximation and Online Algorithms 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers

2024-12-23T14:11:11Z

Author Sanità, Laura. editor. Skutella, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519233.1)
Electronic Access https://doi.org/10.1007/978-3-319-28684-6
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings

2024-12-23T14:11:11Z

Author Drewes, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519234.1)
Electronic Access https://doi.org/10.1007/978-3-319-22360-5
Format: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings

2024-12-23T14:11:11Z

Author Kari, Jarkko. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519235.1)
Electronic Access https://doi.org/10.1007/978-3-662-47221-7
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-12-23T14:11:11Z

Author Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519237.1)
Electronic Access https://doi.org/10.1007/978-3-662-46669-8
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part II

2024-12-23T14:11:11Z

Author Arik, Sabri. editor. Huang, Tingwen. editor. Lai, Weng Kin. editor. Liu, Qingshan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519239.1)
Electronic Access https://doi.org/10.1007/978-3-319-26535-3
Format: Electronic Resources
Availability Online Library~1

Algorithms and Complexity 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings

2024-12-23T14:11:11Z

Author Paschos, Vangelis Th. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519245.1)
Electronic Access https://doi.org/10.1007/978-3-319-18173-8
Format: Electronic Resources
Availability Online Library~1

Artificial Computation in Biology and Medicine International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I

2024-12-23T14:11:11Z

Author Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo-Moreo, Fco. Javier. editor. Adeli, Hojjat. editor.
Preferred Shelf Number XX(519255.1)
Electronic Access https://doi.org/10.1007/978-3-319-18914-7
Format: Electronic Resources
Availability Online Library~1

Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings

2024-12-23T14:11:11Z

Author Parisi-Presicce, Francesco. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519259.1)
Electronic Access https://doi.org/10.1007/978-3-319-21145-9
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV

2024-12-23T14:11:11Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(519260.1)
Electronic Access https://doi.org/10.1007/978-3-319-21410-8
Format: Electronic Resources
Availability Online Library~1

Text Analysis Pipelines Towards Ad-hoc Large-Scale Text Mining

2024-12-23T14:11:11Z

Author Wachsmuth, Henning. author. SpringerLink (Online service)
Preferred Shelf Number XX(519263.1)
Electronic Access https://doi.org/10.1007/978-3-319-25741-9
Format: Electronic Resources
Availability Online Library~1

Computer Algebra and Polynomials Applications of Algebra and Number Theory

2024-12-23T14:11:11Z

Author Gutierrez, Jaime. editor. Schicho, Josef. editor. Weimann, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519265.1)
Electronic Access https://doi.org/10.1007/978-3-319-15081-9
Format: Electronic Resources
Availability Online Library~1

Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

2024-12-23T14:11:11Z

Author Martí-Oliet, Narciso. editor. Ölveczky, Peter Csaba. editor. Talcott, Carolyn. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519268.1)
Electronic Access https://doi.org/10.1007/978-3-319-23165-5
Format: Electronic Resources
Availability Online Library~1

Algorithms, Probability, Networks, and Games Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday

2024-12-23T14:11:11Z

Author Zaroliagis, Christos. editor. Pantziou, Grammati. editor. Kontogiannis, Spyros. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519275.1)
Electronic Access https://doi.org/10.1007/978-3-319-24024-4
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks - ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings

2024-12-23T14:11:11Z

Author Hu, Xiaolin. editor. Xia, Yousheng. editor. Zhang, Yunong. editor. Zhao, Dongbin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519279.1)
Electronic Access https://doi.org/10.1007/978-3-319-25393-0
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I

2024-12-23T14:11:11Z

Author Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519280.1)
Electronic Access https://doi.org/10.1007/978-3-319-27119-4
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings

2024-12-23T14:11:11Z

Author Xu, Dachuan. editor. Du, Donglei. editor. Du, Dingzhu. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519301.1)
Electronic Access https://doi.org/10.1007/978-3-319-21398-9
Format: Electronic Resources
Availability Online Library~1

Open and Big Data Management and Innovation 14th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2015, Delft, The Netherlands, October 13-15, 2015, Proceedings

2024-12-23T14:11:11Z

Author Janssen, Marijn. editor. Mäntymäki, Matti. editor. Hidders, Jan. editor. Klievink, Bram. editor. Lamersdorf, Winfried. editor.
Preferred Shelf Number XX(519304.1)
Electronic Access https://doi.org/10.1007/978-3-319-25013-7
Format: Electronic Resources
Availability Online Library~1

Hybrid Learning: Innovation in Educational Practices 8th International Conference, ICHL 2015, Wuhan, China, July 27-29, 2015. Proceedings

2024-12-23T14:11:11Z

Author Cheung, Simon K.S. editor. Kwok, Lam-for. editor. Yang, Harrison. editor. Fong, Joseph. editor. Kwan, Reggie. editor.
Preferred Shelf Number XX(519306.1)
Electronic Access https://doi.org/10.1007/978-3-319-20621-9
Format: Electronic Resources
Availability Online Library~1

Computational Logistics 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

2024-12-23T14:11:11Z

Author Corman, Francesco. editor. Voß, Stefan. editor. Negenborn, Rudy R. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519318.1)
Electronic Access https://doi.org/10.1007/978-3-319-24264-4
Format: Electronic Resources
Availability Online Library~1

Information Literacy: Moving Toward Sustainability : Third European Conference, ECIL 2015, Tallinn, Estonia, October 19-22, 2015, Revised Selected Papers

2024-12-23T14:11:11Z

Author European conference (3rd : 2015 : Tallinn, Estonia) Kurbanoğlu, Serap.
Preferred Shelf Number ZA3075 E98 2015
Format: Books
Availability Beytepe Library~1

Computer-aided graphing and simulation tools for AutoCAD users

2024-12-23T14:11:11Z

Author Simionescu, P. A., 1968- author.
Preferred Shelf Number ONLINE(356711.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Petri Net Synthesis

2024-12-23T14:11:11Z

Author Badouel, Eric. author. Bernardinello, Luca. author. Darondeau, Philippe. author. SpringerLink (Online service)
Preferred Shelf Number XX(518487.1)
Electronic Access https://doi.org/10.1007/978-3-662-47967-4
Format: Electronic Resources
Availability Online Library~1

Words and Graphs

2024-12-23T14:11:11Z

Author Kitaev, Sergey. author. Lozin, Vadim. author. SpringerLink (Online service)
Preferred Shelf Number XX(518492.1)
Electronic Access https://doi.org/10.1007/978-3-319-25859-1
Format: Electronic Resources
Availability Online Library~1

Introduction to Concurrency Theory Transition Systems and CCS

2024-12-23T14:11:11Z

Author Gorrieri, Roberto. author. Versari, Cristian. author. SpringerLink (Online service)
Preferred Shelf Number XX(518745.1)
Electronic Access https://doi.org/10.1007/978-3-319-21491-7
Format: Electronic Resources
Availability Online Library~1

Graph and Model Transformation General Framework and Applications

2024-12-23T14:11:11Z

Author Ehrig, Hartmut. author. Ermel, Claudia. author. Golas, Ulrike. author. Hermann, Frank. author. SpringerLink (Online service)
Preferred Shelf Number XX(518444.1)
Electronic Access https://doi.org/10.1007/978-3-662-47980-3
Format: Electronic Resources
Availability Online Library~1

ACM Communications.

2024-12-23T14:11:11Z

Author Association for Computing Machinery.
Preferred Shelf Number ALFABETİK V.35 PART.2 1992
Electronic Access Elektronik eri?im
Format: Continuing Resources Other
Availability Beytepe Library~36 ~0

ACM Transactions on database systems.

2024-12-23T14:11:11Z

Author Association for Computing Machinery.
Preferred Shelf Number ALFABETİK V.4 1979
Electronic Access Elektronik eri?im
Format: Continuing Resources Other
Availability Beytepe Library~12 ~0

Acta informatica.

2024-12-23T14:11:11Z

Preferred Shelf Number ALFABETİK V.12 1979
Electronic Access Elektronik eri?im
Format: Continuing Resources Other
Availability Beytepe Library~10 ~0

Handbook of evolutionary computation

2024-12-23T14:11:11Z

Author Bc̃k, Thomas, 1963- Fogel, David B. Michalewics, Zbigniew.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Handbook of neural computation

2024-12-23T14:11:11Z

Author Fiesler, Emile, 1961- Beale, R. (Russell)
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Directory of library automation software, systems, and services.

2024-12-23T14:11:11Z

Author Cibbarelli, Pamela R., ed. Information Today, Inc.
Preferred Shelf Number Z678.9.A3 D6
Format: Books
Availability Beytepe Library~1

Data science at the command line

2024-12-23T14:11:11Z

Author Janssens, Jeroen.
Preferred Shelf Number QA76.9.D3 J38 2015
Format: Books
Availability Beytepe Library~1

Python for data science for dummies

2024-12-23T14:11:11Z

Author Massaron, Luca. Mueller, John Paul.
Preferred Shelf Number QA76.73.P98 M376 2015
Format: Books
Availability Beytepe Library~1

Software defined mobile networks (SDMN) : Beyond LTE network architecture

2024-12-23T14:11:11Z

Author Liyanage, Madhusanka. Gurtov, Andrei. Ylianttila, Mika.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Java software solutions : foundations of program design

2024-12-23T14:11:11Z

Author Lewis, John. Loftus, William.
Preferred Shelf Number QA76.73.J38 L49 2015
Format: Books
Availability Beytepe Library~2

Science fiction video games

2024-12-23T14:11:11Z

Author Tringham, Neal, author.
Preferred Shelf Number GV1469.3 T76 2015
Format: Books
Availability Beytepe Library~1

Principles of object oriented modeling and simulation with Modelica 3.3 : a cyber-physical approach

2024-12-23T14:11:11Z

Author Fritzson, Peter A., 1952-
Preferred Shelf Number ONLINE(342108.1)
Electronic Access ebrary An electronic book accessible through the World Wide Web; click to view John Wiley http://dx.doi.org/10.1002/9781118989166
Format: Electronic Resources
Availability Online Library~1

Face detection and recognition on mobile devices

2024-12-23T14:11:11Z

Author Liu, Haowei, author.
Preferred Shelf Number ONLINE(355324.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124170452
Format: Electronic Resources
Availability Online Library~1

RDF database systems : triples storage and SPARQL query processing

2024-12-23T14:11:11Z

Author Curé, Olivier. Blin, Guillaume.
Preferred Shelf Number ONLINE(355339.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780127999579
Format: Electronic Resources
Availability Online Library~1

Sharing data and models in software engineering

2024-12-23T14:11:11Z

Author Menzies, Tim, author. Rogers, Mark, designer.
Preferred Shelf Number ONLINE(355389.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124172951
Format: Electronic Resources
Availability Online Library~1

Industrial process automation systems design and implementation

2024-12-23T14:11:11Z

Author Mehta, B. R., author. Reddy, Y. Jaganmohan, author.
Preferred Shelf Number ONLINE(355397.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128009390
Format: Electronic Resources
Availability Online Library~1

Multicore and GPU programming an integrated approach

2024-12-23T14:11:11Z

Author Barlas, Gerassimos, author.
Preferred Shelf Number ONLINE(355399.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124171374
Format: Electronic Resources
Availability Online Library~1

A practical guide to SysML : the systems modeling language

2024-12-23T14:11:11Z

Author Friedenthal, Sanford, author. Moore, Alan, 1961- author. Steiner, Rick, author.
Preferred Shelf Number ONLINE(355422.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128002025
Format: Electronic Resources
Availability Online Library~1

Practical cryptography : algorithms and implementations using C++

2024-12-23T14:11:11Z

Author Azad, Saiful, editor. Pathan, Al-Sakib Khan, editor.
Preferred Shelf Number ONLINE(356620.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Data classification : algorithms and applications

2024-12-23T14:11:11Z

Author Aggarwal, Charu C., editor.
Preferred Shelf Number ONLINE(356764.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Java how to program : late objects version

2024-12-23T14:11:11Z

Author Deitel, Paul J., author. Deitel, Harvey M., 1945- author. Aly, Sherif G., author. Al-Hazbi, Saleh, author.
Preferred Shelf Number QA76.73.J38 D46 2015
Format: Books
Availability Beytepe Library~1

Logic and discrete mathematics : a concise introduction

2024-12-23T14:11:11Z

Author Conradie, Willem, 1978- author. Goranko, Valentin, author.
Preferred Shelf Number QA9 C7423 2015
Format: Books
Availability Beytepe Library~1

Great principles of computing

2024-12-23T14:11:11Z

Author Denning, Peter J., 1942- Martell, Craig H., 1965-
Preferred Shelf Number QA76 D3483 2015
Format: Books
Availability Beytepe Library~1