Search Results for Science (General) - Narrowed by: 2015

The depths of the ocean : a general account of the modern science of oceanography based largely on the scientific researchers of the Norwegian steamer Michael Sars in the North Atlantic

2024-11-19T09:30:54Z

Author Murray, Sir John, 1841-1914. Hjort, Johan, ort. yaz. Appellöf, A., contr. Gran, H. H., contr. Hansen, B. Helland, contr.
Preferred Shelf Number GC 69 M8 1965
Format: Books
Availability Beytepe Library~1

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

2024-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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-11-19T09:30:54Z

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

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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

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

2024-11-19T09:30:54Z

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 Performative Presidency Crisis and Resurrection during the Clinton Years

2024-11-19T09:30:54Z

Author Mast, Jason L..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

The European Commission and Bureaucratic Autonomy Europe's Custodians

2024-11-19T09:30:54Z

Author Ellinas, Antonis A.. Suleiman, Ezra.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Direct Action, Deliberation, and Diffusion Collective Action after the WTO Protests in Seattle

2024-11-19T09:30:54Z

Author Wood, Lesley J..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Collective Wisdom Principles and Mechanisms

2024-11-19T09:30:54Z

Author Landemore, Hélène. Elster, Jon.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Catastrophic Politics How Extraordinary Events Redefine Perceptions of Government

2024-11-19T09:30:54Z

Author Atkeson, Lonna Rae. Maestas, Cherie D..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Siyaset psikolojisi

2024-11-19T09:30:54Z

Author Dirilen Gümüş, Özlem.
Preferred Shelf Number JA74.5 C48 2015 V.1
Format: Books
Availability Beytepe Library~1

Arafta bir kimlik: Türklük

2024-11-19T09:30:54Z

Author Vurucu, İkbal Hiperlink (Firm)
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1232137
Format: Electronic Resources
Availability ~0

Technocracy and democracy in Latin America : the experts running government

2024-11-19T09:30:54Z

Author Dargent, Eduardo, 1974-
Preferred Shelf Number JL960 D38 2015
Format: Books
Availability Beytepe Library~1

Learning scientific programming with Python

2024-11-19T09:30:54Z

Author Hill, Christian, 1974- author.
Preferred Shelf Number Q183.9 .H58 2015
Electronic Access https://doi.org/10.1017/CBO9781139871754
Format: Electronic Resources
Availability Online Library~1

Neonatal Anesthesia

2024-11-19T09:30:54Z

Author Lerman, Jerrold. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519372.1)
Electronic Access https://doi.org/10.1007/978-1-4419-6041-2
Format: Electronic Resources
Availability Online Library~1

Developments in Psychiatry in India Clinical, Research and Policy Perspectives

2024-11-19T09:30:54Z

Author Malhotra, Savita. editor. Chakrabarti, Subho. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519776.1)
Electronic Access https://doi.org/10.1007/978-81-322-1674-2
Format: Electronic Resources
Availability Online Library~1

Siyaset psikolojisi

2024-11-19T09:30:54Z

Author Çetin, Halis Görüşük, Levent.
Preferred Shelf Number JA74.5 C485 2015
Format: Books
Availability Beytepe Library~1

Psychotherapy Research Foundations, Process, and Outcome

2024-11-19T09:30:54Z

Author Gelo, Omar C.G. editor. Pritz, Alfred. editor. Rieken, Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519940.1)
Electronic Access https://doi.org/10.1007/978-3-7091-1382-0
Format: Electronic Resources
Availability Online Library~1