Search Results for Software - Narrowed by: Computational complexity.

Mathematical Approaches to Software Quality

2024-11-08T08:09:44Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-435-9
Format: Electronic Resources
Availability Online Library~1

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

2024-11-08T08:09:44Z

Author Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96418-8
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

2024-11-08T08:09:44Z

Author Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89366-2
Format: Electronic Resources
Availability Online Library~1

Fast Software Encryption 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers

2024-11-08T08:09:44Z

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

Fast Software Encryption 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers

2024-11-08T08:09:44Z

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

Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

2024-11-08T08:09:44Z

Author Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15582-6
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers

2024-11-08T08:09:44Z

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

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

2024-11-08T08:09:44Z

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

Fast Software Encryption 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers

2024-11-08T08:09:44Z

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

Fast Software Encryption 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers

2024-11-08T08:09:44Z

Author Robshaw, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11799313
Format: Electronic Resources
Availability Online Library~1

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

2024-11-08T08:09:44Z

Author Iglesias, Andrés. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11832225
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

2024-11-08T08:09:44Z

Author Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11944836
Format: Electronic Resources
Availability Online Library~1

Fast Software Encryption 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers

2024-11-08T08:09:44Z

Author Gilbert, Henri. editor. Handschuh, Helena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137506
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

2024-11-08T08:09:44Z

Author Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104325
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

2024-11-08T08:09:44Z

Author Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11590156
Format: Electronic Resources
Availability Online Library~1

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

2024-11-08T08:09:44Z

Author Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106390
Format: Electronic Resources
Availability Online Library~1

Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17–19, 2018, Proceedings

2024-11-08T08:09:44Z

Author Bai, Xiao. editor. Hancock, Edwin R. editor. Ho, Tin Kam. editor. Wilson, Richard C. editor. Biggio, Battista. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97785-0
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings

2024-11-08T08:09:44Z

Author Kim, Donghyun. editor. Uma, R. N. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04651-4
Format: Electronic Resources
Availability Online Library~1

Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings

2024-11-08T08:09:44Z

Author Alves, Ronnie. editor. (orcid)0000-0003-4139-0562 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01722-4
Format: Electronic Resources
Availability Online Library~1

Approximation and Online Algorithms 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers

2024-11-08T08:09:44Z

Author Epstein, Leah. editor. Erlebach, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04693-4
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

Guide to Graph Algorithms Sequential, Parallel and Distributed

2024-11-08T08:09:44Z

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

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

2024-11-08T08:09:44Z

Author Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91268-4
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2024-11-08T08:09:44Z

Author Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings

2024-11-08T08:09:44Z

Author Liefooghe, Arnaud. editor. (orcid)0000-0003-3283-3122 López-Ibáñez, Manuel. editor. (orcid)0000-0001-9974-1295 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77449-7
Format: Electronic Resources
Availability Online Library~1

Number-Theoretic Methods in Cryptology First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers

2024-11-08T08:09:44Z

Author Kaczorowski, Jerzy. editor. Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466 Pomykała, Jacek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76620-1
Format: Electronic Resources
Availability Online Library~1

Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings

2024-11-08T08:09:44Z

Author Chen, Jianer. editor. Lu, Pinyan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78455-7
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers

2024-11-08T08:09:44Z

Author Lee, Jon. editor. Rinaldi, Giovanni. editor. Mahjoub, A. Ridha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96151-4
Format: Electronic Resources
Availability Online Library~1

Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers

2024-11-08T08:09:44Z

Author Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713 Ma, Kwan-Liu. editor. (orcid)0000-0001-8086-0366 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73915-1
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence First CCF International Conference, ICAI 2018, Jinan, China, August 9-10, 2018, Proceedings

2024-11-08T08:09:44Z

Author Zhou, Zhi-Hua. editor. Yang, Qiang. editor. Gao, Yang. editor. Zheng, Yu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2122-1
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

The Discrete Math Workbook A Companion Manual for Practical Study

2024-11-08T08:09:44Z

Author Kurgalin, Sergei. author. Borzunov, Sergei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92645-2
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings

2024-11-08T08:09:44Z

Author Brandstädt, Andreas. editor. Köhler, Ekkehard. editor. Meer, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00256-5
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings

2024-11-08T08:09:44Z

Author Tang, Shaojie. editor. Du, Ding-Zhu. editor. Woodruff, David. editor. Butenko, Sergiy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04618-7
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I

2024-11-08T08:09:44Z

Author Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99253-2
Format: Electronic Resources
Availability Online Library~1

Graph Drawing and Network Visualization 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings

2024-11-08T08:09:44Z

Author Biedl, Therese. editor. (orcid)0000-0002-9003-3783 Kerren, Andreas. editor. (orcid)0000-0002-0519-2537 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04414-5
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II

2024-11-08T08:09:44Z

Author Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99259-4
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-11-08T08:09:44Z

Author Lambers, Leen. editor. (orcid)0000-0001-6937-5167 Weber, Jens. editor. (orcid)0000-0003-4591-6728 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92991-0
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects of Cloud Computing Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers

2024-11-08T08:09:44Z

Author Alistarh, Dan. editor. Delis, Alex. editor. Pallis, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74875-7
Format: Electronic Resources
Availability Online Library~1

Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers

2024-11-08T08:09:44Z

Author Lutton, Evelyne. editor. Legrand, Pierrick. editor. Parrend, Pierre. editor. Monmarché, Nicolas. editor. Schoenauer, Marc. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78133-4
Format: Electronic Resources
Availability Online Library~1

WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings

2024-11-08T08:09:44Z

Author Rahman, M. Sohel. editor. (orcid)0000-0001-9419-6478 Sung, Wing-Kin. editor. Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75172-6
Format: Electronic Resources
Availability Online Library~1

Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings

2024-11-08T08:09:44Z

Author Iliopoulos, Costas. editor. Leong, Hon Wai. editor. Sung, Wing-Kin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94667-2
Format: Electronic Resources
Availability Online Library~1

Combinatorial Algorithms 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers

2024-11-08T08:09:44Z

Author Brankovic, Ljiljana. editor. (orcid)0000-0002-5056-4627 Ryan, Joe. editor. (orcid)0000-0002-7781-0306 Smyth, William F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78825-8
Format: Electronic Resources
Availability Online Library~1

Approximation and Online Algorithms 15th International Workshop, WAOA 2017, Vienna, Austria, September 7–8, 2017, Revised Selected Papers

2024-11-08T08:09:44Z

Author Solis-Oba, Roberto. editor. (orcid)0000-0002-7518-4161 Fleischer, Rudolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89441-6
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer

2024-11-08T08:09:44Z

Author Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70151-6
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

Computing and Combinatorics 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings

2024-11-08T08:09:44Z

Author Wang, Lusheng. editor. Zhu, Daming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94776-1
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

Advances in Artificial Intelligence 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings

2024-11-08T08:09:44Z

Author Herrera, Francisco. editor. (orcid)0000-0002-7283-312X Damas, Sergio. editor. (orcid)0000-0002-8377-8349 Montes, Rosana. editor. (orcid)0000-0002-0183-044X Alonso, Sergio. editor. (orcid)0000-0001-6620-328X Cordón, Óscar. editor. (orcid)0000-0001-5112-5629
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00374-6
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

2024-11-08T08:09:44Z

Author Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332892.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01928-4
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

2024-11-08T08:09:44Z

Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332910.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02297-0
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

Structural Information and Communication Complexity 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers

2024-11-08T08:09:44Z

Author Moscibroda, Thomas. editor. Rescigno, Adele A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332983.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03578-9
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings

2024-11-08T08:09:44Z

Author Widmayer, Peter. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332995.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03780-6
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers

2024-11-08T08:09:44Z

Author Wismath, Stephen. editor. Wolff, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332997.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03841-4
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers

2024-11-08T08:09:44Z

Author Gutin, Gregory. editor. Szeider, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333005.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03898-8
Format: Electronic Resources
Availability Online Library~1

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

2024-11-08T08:09:44Z

Author Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334022.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35656-8
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings

2024-11-08T08:09:44Z

Author Ghosh, Subir Kumar. editor. Tokuyama, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334112.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36065-7
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings

2024-11-08T08:09:44Z

Author Gonzalez-Diaz, Rocio. editor. Jimenez, Maria-Jose. editor. Medrano, Belen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334356.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37067-0
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2024-11-08T08:09:44Z

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

Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers

2024-11-08T08:09:44Z

Author Erlebach, Thomas. editor. Persiano, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334516.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38016-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings

2024-11-08T08:09:44Z

Author Johansson, Thomas. editor. Nguyen, Phong Q. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334587.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38348-9
Format: Electronic Resources
Availability Online Library~1

Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings

2024-11-08T08:09:44Z

Author Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334615.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38527-8
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

2024-11-08T08:09:44Z

Author Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334617.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38536-0
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

2024-11-08T08:09:44Z

Author Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334665.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38768-5
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

2024-11-08T08:09:44Z

Author Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334666.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38771-5
Format: Electronic Resources
Availability Online Library~1

Combinatorial Pattern Matching 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings

2024-11-08T08:09:44Z

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

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

2024-11-08T08:09:44Z

Author Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334718.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39053-1
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

2024-11-08T08:09:44Z

Author Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334751.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39206-1
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

2024-11-08T08:09:44Z

Author Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334753.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39212-2
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

2024-11-08T08:09:44Z

Author Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334925.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40313-2
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

2024-11-08T08:09:44Z

Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334962.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40537-2
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

2024-11-08T08:09:44Z

Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334969.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

2024-11-08T08:09:44Z

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

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

2024-11-08T08:09:44Z

Author Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334985.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40663-8
Format: Electronic Resources
Availability Online Library~1

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

2024-11-08T08:09:44Z

Author Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334987.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40672-0
Format: Electronic Resources
Availability Online Library~1

Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings

2024-11-08T08:09:44Z

Author Bodlaender, Hans L. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334947.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40450-4
Format: Electronic Resources
Availability Online Library~1

Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings

2024-11-08T08:09:44Z

Author Darling, Aaron. editor. Stoye, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334948.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40453-5
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

Author Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335116.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41515-9
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers

2024-11-08T08:09:44Z

Author Brandstädt, Andreas. editor. Jansen, Klaus. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335182.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45043-3
Format: Electronic Resources
Availability Online Library~1

Number Theory and Cryptography Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday

2024-11-08T08:09:44Z

Author Fischlin, Marc. editor. Katzenbeisser, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335154.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42001-6
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer

2024-11-08T08:09:44Z

Author Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330901.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4069-6
Format: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings

2024-11-08T08:09:44Z

Author Goemans, Michel. editor. Correa, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334268.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36694-9
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers

2024-11-08T08:09:44Z

Author Didimo, Walter. editor. Patrignani, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334284.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36763-2
Format: Electronic Resources
Availability Online Library~1

Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede

2024-11-08T08:09:44Z

Author Aydinian, Harout. editor. Cicalese, Ferdinando. editor. Deppe, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334319.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36899-8
Format: Electronic Resources
Availability Online Library~1

Algorithms and Complexity 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings

2024-11-08T08:09:44Z

Author Spirakis, Paul G. editor. Serna, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334563.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38233-8
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

2024-11-08T08:09:44Z

Author Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334549.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38171-3
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

2024-11-08T08:09:44Z

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

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II

2024-11-08T08:09:44Z

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

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I

2024-11-08T08:09:44Z

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

Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings

2024-11-08T08:09:44Z

Author Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334879.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40020-9
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

Algorithms and Data Structures 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings

2024-11-08T08:09:44Z

Author Dehne, Frank. editor. Solis-Oba, Roberto. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334893.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40104-6
Format: Electronic Resources
Availability Online Library~1

Space-Efficient Data Structures, Streams, and Algorithms Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday

2024-11-08T08:09:44Z

Author Brodnik, Andrej. editor. López-Ortiz, Alejandro. editor. Raman, Venkatesh. editor. Viola, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334921.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40273-9
Format: Electronic Resources
Availability Online Library~1

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings

2024-11-08T08:09:44Z

Author Raghavendra, Prasad. editor. Raskhodnikova, Sofya. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334929.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40328-6
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I

2024-11-08T08:09:44Z

Author Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335157.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42033-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II

2024-11-08T08:09:44Z

Author Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335160.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42045-0
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers

2024-11-08T08:09:44Z

Author Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335176.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-44973-4
Format: Electronic Resources
Availability Online Library~1

Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings

2024-11-08T08:09:44Z

Author Cai, Leizhen. editor. Cheng, Siu-Wing. editor. Lam, Tak-Wah. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335180.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45030-3
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers

2024-11-08T08:09:44Z

Author Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335202.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45278-9
Format: Electronic Resources
Availability Online Library~1

Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers

2024-11-08T08:09:44Z

Author Akiyama, Jin. editor. Kano, Mikio. editor. Sakai, Toshinori. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335203.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45281-9
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers

2024-11-08T08:09:44Z

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

Sparsity Graphs, Structures, and Algorithms

2024-11-08T08:09:44Z

Author Nešetřil, Jaroslav. author. Ossona de Mendez, Patrice. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27875-4
Format: Electronic Resources
Availability Online Library~1

Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers

2024-11-08T08:09:44Z

Author Adam, Gheorghe. editor. Buša, Ján. editor. Hnatič, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28212-6
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings

2024-11-08T08:09:44Z

Author Bieliková, Mária. editor. Friedrich, Gerhard. editor. Gottlob, Georg. editor. Katzenbeisser, Stefan. editor. Turán, György. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27660-6
Format: Electronic Resources
Availability Online Library~1

Cryptography and Security: From Theory to Applications Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday

2024-11-08T08:09:44Z

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

Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers

2024-11-08T08:09:44Z

Author Marx, Dániel. editor. Rossmanith, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28050-4
Format: Electronic Resources
Availability Online Library~1

Approximation and Online Algorithms 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers

2024-11-08T08:09:44Z

Author Solis-Oba, Roberto. editor. Persiano, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29116-6
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 12th European Conference, EvoCOP 2012, Málaga, Spain, April 11-13, 2012. Proceedings

2024-11-08T08:09:44Z

Author Hao, Jin-Kao. editor. Middendorf, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29124-1
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings

2024-11-08T08:09:44Z

Author Snoeyink, Jack. editor. Lu, Pinyan. editor. Su, Kaile. editor. Wang, Lusheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29700-7
Format: Electronic Resources
Availability Online Library~1

Algorithms and Models for the Web Graph 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings

2024-11-08T08:09:44Z

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

Fun with Algorithms 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings

2024-11-08T08:09:44Z

Author Kranakis, Evangelos. editor. Krizanc, Danny. editor. Luccio, Flaminia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30347-0
Format: Electronic Resources
Availability Online Library~1

Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

2024-11-08T08:09:44Z

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

Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

2024-11-08T08:09:44Z

Author Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31585-5
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I

2024-11-08T08:09:44Z

Author Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31594-7
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers

2024-11-08T08:09:44Z

Author Mahjoub, A. Ridha. editor. Markakis, Vangelis. editor. Milis, Ioannis. editor. Paschos, Vangelis Th. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32147-4
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings

2024-11-08T08:09:44Z

Author Gudmundsson, Joachim. editor. Mestre, Julián. editor. Viglas, Taso. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32241-9
Format: Electronic Resources
Availability Online Library~1

Applications of Discrete Geometry and Mathematical Morphology First International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers

2024-11-08T08:09:44Z

Author Köthe, Ullrich. editor. Montanvert, Annick. editor. Soille, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32313-3
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings

2024-11-08T08:09:44Z

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

Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers

2024-11-08T08:09:44Z

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

Information Security and Cryptology - ICISC 2011 14th International Conference, Seoul, Korea, November 30 - December 2, 2011. Revised Selected Papers

2024-11-08T08:09:44Z

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

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings

2024-11-08T08:09:44Z

Author Gupta, Anupam. editor. Jansen, Klaus. editor. Rolim, José. editor. Servedio, Rocco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32512-0
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

2024-11-08T08:09:44Z

Author Rovan, Branislav. editor. Sassone, Vladimiro. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32589-2
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

2024-11-08T08:09:44Z

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

Parameterized and Exact Computation 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings

2024-11-08T08:09:44Z

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

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

2024-11-08T08:09:44Z

Author Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33314-9
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers

2024-11-08T08:09:44Z

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

Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers

2024-11-08T08:09:44Z

Author Golumbic, Martin Charles. editor. Stern, Michal. editor. Levy, Avivit. editor. Morgenstern, Gila. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34611-8
Format: Electronic Resources
Availability Online Library~1

Combinatorial Image Analaysis 15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings

2024-11-08T08:09:44Z

Author Barneva, Reneta P. editor. Brimkov, Valentin E. editor. Aggarwal, Jake K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34732-0
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology - INDOCRYPT 2012 13th International Conference on Cryptology in India, Kolkata, India, December 9-12, 2012. Proceedings

2024-11-08T08:09:44Z

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

Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings

2024-11-08T08:09:44Z

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

Topics in Cryptology – CT-RSA 2012 The Cryptographers’ Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 – March 2, 2012. Proceedings

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

Advances in Cryptology – EUROCRYPT 2012 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings

2024-11-08T08:09:44Z

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

LATIN 2012: Theoretical Informatics 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings

2024-11-08T08:09:44Z

Author Fernández-Baca, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29344-3
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings

2024-11-08T08:09:44Z

Author Beldiceanu, Nicolas. editor. Jussien, Narendra. editor. Pinson, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29828-8
Format: Electronic Resources
Availability Online Library~1

Public Key Cryptography – PKC 2012 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings

2024-11-08T08:09:44Z

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

Sequences and Their Applications – SETA 2012 7th International Conference, Waterloo, ON, Canada, June 4-8, 2012. Proceedings

2024-11-08T08:09:44Z

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

Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings

2024-11-08T08:09:44Z

Author Hirsch, Edward A. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. Prilutskii, Michail. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30642-6
Format: Electronic Resources
Availability Online Library~1

How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

2024-11-08T08:09:44Z

Author Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30870-3
Format: Electronic Resources
Availability Online Library~1

Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

2024-11-08T08:09:44Z

Author Derrick, John. editor. Fitzgerald, John. editor. Gnesi, Stefania. editor. Khurshid, Sarfraz. editor. Leuschel, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30885-7
Format: Electronic Resources
Availability Online Library~1

The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday

2024-11-08T08:09:44Z

Author Bodlaender, Hans L. editor. Downey, Rod. editor. Fomin, Fedor V. editor. Marx, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30891-8
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers

2024-11-08T08:09:44Z

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

Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

2024-11-08T08:09:44Z

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

Algorithm Theory – SWAT 2012 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings

2024-11-08T08:09:44Z

Author Fomin, Fedor V. editor. Kaski, Petteri. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31155-0
Format: Electronic Resources
Availability Online Library~1

Combinatorial Pattern Matching 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings

2024-11-08T08:09:44Z

Author Kärkkäinen, Juha. editor. Stoye, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31265-6
Format: Electronic Resources
Availability Online Library~1

Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings

2024-11-08T08:09:44Z

Author Özbudak, Ferruh. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31662-3
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings

2024-11-08T08:09:44Z

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

Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

2024-11-08T08:09:44Z

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

Parallel Problem Solving from Nature - PPSN XII 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part I

2024-11-08T08:09:44Z

Author Coello, Carlos A. Coello. editor. Cutello, Vincenzo. editor. Deb, Kalyanmoy. editor. Forrest, Stephanie. editor. Nicosia, Giuseppe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32937-1
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature - PPSN XII 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part II

2024-11-08T08:09:44Z

Author Coello, Carlos A. Coello. editor. Cutello, Vincenzo. editor. Deb, Kalyanmoy. editor. Forrest, Stephanie. editor. Nicosia, Giuseppe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32964-7
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings

2024-11-08T08:09:44Z

Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32973-9
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings

2024-11-08T08:09:44Z

Author Baeten, Jos C. M. editor. Ball, Tom. editor. Boer, Frank S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33475-7
Format: Electronic Resources
Availability Online Library~1

Algorithms – ESA 2012 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings

2024-11-08T08:09:44Z

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

Algorithms in Bioinformatics 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012. Proceedings

2024-11-08T08:09:44Z

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

Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings

2024-11-08T08:09:44Z

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

Advances in Information and Computer Security 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012. Proceedings

2024-11-08T08:09:44Z

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

Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers

2024-11-08T08:09:44Z

Author Schürr, Andy. editor. Varró, Dániel. editor. Varró, Gergely. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34176-2
Format: Electronic Resources
Availability Online Library~1

Computational Geometry XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcalá de Henares, Spain, June 27-30, 2011, Revised Selected Papers

2024-11-08T08:09:44Z

Author Márquez, Alberto. editor. Ramos, Pedro. editor. Urrutia, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34191-5
Format: Electronic Resources
Availability Online Library~1

Approximation Algorithms and Semidefinite Programming

2024-11-08T08:09:44Z

Author Gärtner, Bernd. author. Matousek, Jiri. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22015-9
Format: Electronic Resources
Availability Online Library~1

Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings

2024-11-08T08:09:44Z

Author Ehrig, Hartmut. editor. Engels, Gregor. editor. Kreowski, Hans-Jörg. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33654-6
Format: Electronic Resources
Availability Online Library~1

Algorithms and Computation 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings

2024-11-08T08:09:44Z

Author Chao, Kun-Mao. editor. Hsu, Tsan-sheng. editor. Lee, Der-Tsai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35261-4
Format: Electronic Resources
Availability Online Library~1

Internet and Network Economics 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

Combinatorial Algorithms 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, Revised Selected Papers

2024-11-08T08:09:44Z

Author Arumugam, S. editor. Smyth, W. F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35926-2
Format: Electronic Resources
Availability Online Library~1

Algorithms and Data Structures 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011. Proceedings

2024-11-08T08:09:44Z

Author Dehne, Frank. editor. Iacono, John. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22300-6
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings

2024-11-08T08:09:44Z

Author Bouchou-Markhoff, Béatrice. editor. Caron, Pascal. editor. Champarnaud, Jean-Marc. editor. Maurel, Denis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22256-6
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings

2024-11-08T08:09:44Z

Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23568-9
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

2024-11-08T08:09:44Z

Author Owe, Olaf. editor. Steffen, Martin. editor. Telle, Jan Arne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22953-4
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings

2024-11-08T08:09:44Z

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

Algorithms in Bioinformatics 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011. Proceedings

2024-11-08T08:09:44Z

Author Przytycka, Teresa M. editor. Sagot, Marie-France. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23038-7
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

Computational Geometry, Graphs and Applications 9th International Conference, CGGA 2010, Dalian, China, November 3-6, 2010, Revised Selected Papers

2024-11-08T08:09:44Z

Author Akiyama, Jin. editor. Bo, Jiang. editor. Kano, Mikio. editor. Tan, Xuehou. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24983-9
Format: Electronic Resources
Availability Online Library~1

Combinatorial Algorithms 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers

2024-11-08T08:09:44Z

Author Iliopoulos, Costas S. editor. Smyth, William F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25011-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XIV Special Issue on Voronoi Diagrams and Delaunay Triangulation

2024-11-08T08:09:44Z

Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Mostafavi, Mir Abolfazl. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25249-5
Format: Electronic Resources
Availability Online Library~1

Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

2024-11-08T08:09:44Z

Author Schreck, Pascal. editor. Narboux, Julien. editor. Richter-Gebert, Jürgen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25070-5
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2011 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings

2024-11-08T08:09:44Z

Author Lee, Dong Hoon. editor. Wang, Xiaoyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25385-0
Format: Electronic Resources
Availability Online Library~1

Post-Quantum Cryptography 4th International Workshop, PQCrypto 2011, Taipei, Taiwan, November 29 – December 2, 2011. Proceedings

2024-11-08T08:09:44Z

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

Internet and Network Economics 7th International Workshop, WINE 2011, Singapore, December 11-14, 2011. Proceedings

2024-11-08T08:09:44Z

Author Chen, Ning. editor. Elkind, Edith. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25510-6
Format: Electronic Resources
Availability Online Library~1

Cryptography and Coding 13th IMA International Conference, IMACC 2011, Oxford, UK, December 12-15, 2011. Proceedings

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

Game Start! Strumenti per comprendere i videogiochi

2024-11-08T08:09:44Z

Author Alinovi, Francesco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-1956-0
Format: Electronic Resources
Availability Online Library~1

Language, Games, and Evolution Trends in Current Research on Language and Game Theory

2024-11-08T08:09:44Z

Author Benz, Anton. editor. Ebert, Christian. editor. Jäger, Gerhard. editor. Rooij, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18006-4
Format: Electronic Resources
Availability Online Library~1

Theory of Quantum Computation, Communication, and Cryptography 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers

2024-11-08T08:09:44Z

Author Dam, Wim. editor. Kendon, Vivien M. editor. Severini, Simone. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18073-6
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers

2024-11-08T08:09:44Z

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

Approximation and Online Algorithms 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010. Revised Papers

2024-11-08T08:09:44Z

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

Computers and Games 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers

2024-11-08T08:09:44Z

Author Herik, H. Jaap. editor. Iida, Hiroyuki. editor. Plaat, Aske. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17928-0
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2011: Theory and Practice of Computer Science 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings

2024-11-08T08:09:44Z

Author Černá, Ivana. editor. Gyimóthy, Tibor. editor. Hromkovič, Juraj. editor. Jefferey, Keith. editor. Králović, Rastislav. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18381-2
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers

2024-11-08T08:09:44Z

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

Combinatorial Algorithms 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers

2024-11-08T08:09:44Z

Author Iliopoulos, Costas S. editor. Smyth, William F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19222-7
Format: Electronic Resources
Availability Online Library~1

Topics in Cryptology – CT-RSA 2011 The Cryptographers’ Track at the RSA Conference 2011, San Francisco, CA, USA, February 14-18, 2011. Proceedings

2024-11-08T08:09:44Z

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

WALCOM: Algorithms and Computation 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings

2024-11-08T08:09:44Z

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

Discrete Geometry for Computer Imagery 16th IAPR International Conference, DGCI 2011, Nancy, France, April 6-8, 2011. Proceedings

2024-11-08T08:09:44Z

Author Debled-Rennesson, Isabelle. editor. Domenjoud, Eric. editor. Kerautret, Bertrand. editor. Even, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19867-0
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2011 30th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tallinn, Estonia, May 15-19, 2011. Proceedings

2024-11-08T08:09:44Z

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

Evolutionary Computation in Combinatorial Optimization 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011. Proceedings

2024-11-08T08:09:44Z

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

Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

Advances in Neural Networks – ISNN 2011 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29–June 1, 2011, Proceedings, Part II

2024-11-08T08:09:44Z

Author Liu, Derong. editor. Zhang, Huaguang. editor. Polycarpou, Marios. editor. Alippi, Cesare. editor. He, Haibo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21090-7
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2011 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29–June 1, 2011, Proceedings, Part I

2024-11-08T08:09:44Z

Author Liu, Derong. editor. Zhang, Huaguang. editor. Polycarpou, Marios. editor. Alippi, Cesare. editor. He, Haibo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21105-8
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2011 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29–June 1, 2011, Proceedings, Part III

2024-11-08T08:09:44Z

Author Liu, Derong. editor. Zhang, Huaguang. editor. Polycarpou, Marios. editor. Alippi, Cesare. editor. He, Haibo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21111-9
Format: Electronic Resources
Availability Online Library~1

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011. Proceedings

2024-11-08T08:09:44Z

Author Atallah, Mikhail. editor. Li, Xiang-Yang. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21204-8
Format: Electronic Resources
Availability Online Library~1

Algorithms and Models for the Web Graph 8th International Workshop, WAW 2011, Atlanta, GA, USA, May 27-29, 2011. Proceedings

2024-11-08T08:09:44Z

Author Frieze, Alan. editor. Horn, Paul. editor. Prałat, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21286-4
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings

2024-11-08T08:09:44Z

Author Achterberg, Tobias. editor. Beck, J. Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21311-3
Format: Electronic Resources
Availability Online Library~1

Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings

2024-11-08T08:09:44Z

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

Network Optimization 5th International Conference, INOC 2011, Hamburg, Germany, June 13-16, 2011. Proceedings

2024-11-08T08:09:44Z

Author Pahl, Julia. editor. Reiners, Torsten. editor. Voß, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21527-8
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security 9th International Conference, ACNS 2011, Nerja, Spain, June 7-10, 2011. Proceedings

2024-11-08T08:09:44Z

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

Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

2024-11-08T08:09:44Z

Author Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21875-0
Format: Electronic Resources
Availability Online Library~1

Algorithms – ESA 2011 19th Annual European Symposium, Saarbrücken, Germany, September 5-9, 2011. Proceedings

2024-11-08T08:09:44Z

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

Information Security and Cryptology - ICISC 2010 13th International Conference, Seoul, Korea, December 1-3, 2010, Revised Selected Papers

2024-11-08T08:09:44Z

Author Rhee, Kyung-Hyune. editor. Nyang, DaeHun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24209-0
Format: Electronic Resources
Availability Online Library~1

Information Hiding 13th International Conference, IH 2011, Prague, Czech Republic, May 18-20, 2011, Revised Selected Papers

2024-11-08T08:09:44Z

Author Filler, Tomáš. editor. Pevný, Tomáš. editor. Craver, Scott. editor. Ker, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24178-9
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011. Selected Papers

2024-11-08T08:09:44Z

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

Progress in Cryptology – INDOCRYPT 2011 12th International Conference on Cryptology in India, Chennai, India, December 11-14, 2011. Proceedings

2024-11-08T08:09:44Z

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

Algorithms and Computation 22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011. Proceedings

2024-11-08T08:09:44Z

Author Asano, Takao. editor. Nakano, Shin-ichi. editor. Okamoto, Yoshio. editor. Watanabe, Osamu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25591-5
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 37th International Workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011. Revised Papers

2024-11-08T08:09:44Z

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

Comparative Genomics International Workshop, RECOMB-CG 2010, Ottawa, Canada, October 9-11, 2010. Proceedings

2024-11-08T08:09:44Z

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

Transactions on Computational Science VIII

2024-11-08T08:09:44Z

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

Euclidean Shortest Paths Exact or Approximate Algorithms

2024-11-08T08:09:44Z

Author Li, Fajie. author. Klette, Reinhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2256-2
Format: Electronic Resources
Availability Online Library~1

Identity-Based Encryption

2024-11-08T08:09:44Z

Author Chatterjee, Sanjit. author. Sarkar, Palash. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9383-0
Format: Electronic Resources
Availability Online Library~1

Property Testing Current Research and Surveys

2024-11-08T08:09:44Z

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

Public Key Cryptography – PKC 2011 14th International Conference on Practice and Theory in Public Key Cryptography, Taormina, Italy, March 6-9, 2011. Proceedings

2024-11-08T08:09:44Z

Author Catalano, Dario. editor. Fazio, Nelly. editor. Gennaro, Rosario. editor. Nicolosi, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19379-8
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

Integer Programming and Combinatoral Optimization 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings

2024-11-08T08:09:44Z

Author Günlük, Oktay. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20807-2
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings

2024-11-08T08:09:44Z

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

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

2024-11-08T08:09:44Z

Author Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20895-9
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

2024-11-08T08:09:44Z

Author Beklemishev, Lev D. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20920-8
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I

2024-11-08T08:09:44Z

Author Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22006-7
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings

2024-11-08T08:09:44Z

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

Structural Information and Communication Complexity 18th International Colloquium, SIROCCO 2011, Gdańsk, Poland, June 26-29, 2011. Proceedings

2024-11-08T08:09:44Z

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

Combinatorial Optimization and Applications 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011. Proceedings

2024-11-08T08:09:44Z

Author Wang, Weifan. editor. Zhu, Xuding. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22616-8
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings

2024-11-08T08:09:44Z

Author Fu, Bin. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22685-4
Format: Electronic Resources
Availability Online Library~1

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 14th International Workshop, APPROX 2011, and 15th International Workshop, RANDOM 2011, Princeton, NJ, USA, August 17-19, 2011. Proceedings

2024-11-08T08:09:44Z

Author Goldberg, Leslie Ann. editor. Jansen, Klaus. editor. Ravi, R. editor. Rolim, José D. P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22935-0
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

2024-11-08T08:09:44Z

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

Graphs and Algorithms in Communication Networks Studies in Broadband, Optical, Wireless and Ad Hoc Networks

2024-11-08T08:09:44Z

Author Koster, Arie. editor. Muñoz, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02250-0
Format: Electronic Resources
Availability Online Library~1

Exakte Algorithmen für schwere Graphenprobleme

2024-11-08T08:09:44Z

Author Gurski, Frank. author. Rothe, Irene. author. Rothe, Jörg. author. Wanke, Egon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04500-4
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

WALCOM: Algorithms and Computation 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings

2024-11-08T08:09:44Z

Author Rahman, Md. Saidur. editor. Fujita, Satoshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11440-3
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

Algorithmic Aspects in Information and Management 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings

2024-11-08T08:09:44Z

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

Information, Security and Cryptology – ICISC 2009 12th International Conference, Seoul, Korea, December 2-4, 2009, Revised Selected Papers

2024-11-08T08:09:44Z

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

Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings

2024-11-08T08:09:44Z

Author Gao, Yuan. editor. Lu, Hanlin. editor. Seki, Shinnosuke. editor. Yu, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14455-4
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2010 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

Algorithms – ESA 2010 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part I

2024-11-08T08:09:44Z

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

Algorithms – ESA 2010 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part II

2024-11-08T08:09:44Z

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

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Kraków, Poland, September 11-15, 2010, Proceedings, Part II

2024-11-08T08:09:44Z

Author Schaefer, Robert. editor. Cotta, Carlos. editor. Kołodziej, Joanna. editor. Rudolph, Günter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15871-1
Format: Electronic Resources
Availability Online Library~1

Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings

2024-11-08T08:09:44Z

Author Ehrig, Hartmut. editor. Rensink, Arend. editor. Rozenberg, Grzegorz. editor. Schürr, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15928-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science IX Special Issue on Voronoi Diagrams in Science and Engineering

2024-11-08T08:09:44Z

Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Anton, François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16007-3
Format: Electronic Resources
Availability Online Library~1

The LLL Algorithm Survey and Applications

2024-11-08T08:09:44Z

Author Nguyen, Phong Q. editor. Vallée, Brigitte. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02295-1
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

Algorithmic Number Theory 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings

2024-11-08T08:09:44Z

Author Hanrot, Guillaume. editor. Morain, François. editor. Thomé, Emmanuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14518-6
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Kraków, Poland, September 11-15, 2010, Proceedings, Part I

2024-11-08T08:09:44Z

Author Schaefer, Robert. editor. Cotta, Carlos. editor. Kołodziej, Joanna. editor. Rudolph, Günter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15844-5
Format: Electronic Resources
Availability Online Library~1

Information Hiding 12th International Conference, IH 2010, Calgary, AB, Canada, June 28-30, 2010, Revised Selected Papers

2024-11-08T08:09:44Z

Author Böhme, Rainer. editor. Fong, Philip W. L. editor. Safavi-Naini, Reihaneh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16435-4
Format: Electronic Resources
Availability Online Library~1

Sequences and Their Applications – SETA 2010 6th International Conference, Paris, France, September 13-17, 2010. Proceedings

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

Progress in Cryptology - INDOCRYPT 2010 11th International Conference on Cryptology in India, Hyderabad, India, December 12-15, 2010. Proceedings

2024-11-08T08:09:44Z

Author Gong, Guang. editor. Gupta, Kishan Chand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17401-8
Format: Electronic Resources
Availability Online Library~1

Pairing-Based Cryptography - Pairing 2010 4th International Conference, Yamanaka Hot Spring, Japan, December 2010. Proceedings

2024-11-08T08:09:44Z

Author Joye, Marc. editor. Miyaji, Atsuko. editor. Otsuka, Akira. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17455-1
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I

2024-11-08T08:09:44Z

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

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part II

2024-11-08T08:09:44Z

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

Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings

2024-11-08T08:09:44Z

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

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010, Proceedings, Part II

2024-11-08T08:09:44Z

Author Cheong, Otfried. editor. Chwa, Kyung-Yong. editor. Park, Kunsoo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17514-5
Format: Electronic Resources
Availability Online Library~1

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I

2024-11-08T08:09:44Z

Author Cheong, Otfried. editor. Chwa, Kyung-Yong. editor. Park, Kunsoo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17517-6
Format: Electronic Resources
Availability Online Library~1

Sanskrit Computational Linguistics 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings

2024-11-08T08:09:44Z

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

Internet and Network Economics 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings

2024-11-08T08:09:44Z

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

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

2024-11-08T08:09:44Z

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

Transactions on Computational Science XI Special Issue on Security in Computing, Part II

2024-11-08T08:09:44Z

Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Moreno, Edward David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17697-5
Format: Electronic Resources
Availability Online Library~1