Search Results for Artificial Intelligence - Narrowed by: Computational complexity.

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

Modeling Decisions for Artificial Intelligence 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30–December 2, 2009. Proceedings

2024-12-02T02:20:46Z

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

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

2024-12-02T02:20:46Z

Author Calmet, Jacques. editor. Ida, Tetsuo. editor. Wang, Dongming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11856290
Format: Electronic Resources
Availability Online Library~1

Computational theories of interaction and agency

2024-12-02T02:20:46Z

Author Agre, Philip. Rosenschein, Stanley J.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267506
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-12-02T02:20:46Z

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

An Introduction to Complex Systems Making Sense of a Changing World

2024-12-02T02:20:46Z

Author Tranquillo, Joe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02589-2
Format: Electronic Resources
Availability Online Library~1

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday

2024-12-02T02:20:46Z

Author Böckenhauer, Hans-Joachim. editor. Komm, Dennis. editor. Unger, Walter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98355-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-12-02T02:20:46Z

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

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

2024-12-02T02:20:46Z

Author Fomin, Fedor V. editor. Podolskii, Vladimir V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90530-3
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-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

Algorithms for Computational Biology 5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings

2024-12-02T02:20:46Z

Author Jansson, Jesper. editor. (orcid)0000-0001-6859-8932 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91938-6
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-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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-12-02T02:20:46Z

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

Neural Networks with Discontinuous/Impact Activations

2024-12-02T02:20:46Z

Author Akhmet, Marat. author. Yılmaz, Enes. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-8566-7
Format: Electronic Resources
Availability Online Library~1

Evolution, Complexity and Artificial Life

2024-12-02T02:20:46Z

Author Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X Mirolli, Marco. editor. Villani, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-37577-4
Format: Electronic Resources
Availability Online Library~1

Computational Models of Complex Systems

2024-12-02T02:20:46Z

Author Mago, Vijay Kumar. editor. Dabbaghian, Vahid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-01285-8
Format: Electronic Resources
Availability Online Library~1

Engineering General Intelligence, Part 1 A Path to Advanced AGI via Embodied Learning and Cognitive Synergy

2024-12-02T02:20:46Z

Author Goertzel, Ben. author. Pennachin, Cassio. author. Geisweiller, Nil. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.2991/978-94-6239-027-0
Format: Electronic Resources
Availability Online Library~1

Applications of Membrane Computing in Systems and Synthetic Biology

2024-12-02T02:20:46Z

Author Frisco, Pierluigi. editor. Gheorghe, Marian. editor. Pérez-Jiménez, Mario J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-03191-0
Format: Electronic Resources
Availability Online Library~1

Guided Self-Organization: Inception

2024-12-02T02:20:46Z

Author Prokopenko, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-53734-9
Format: Electronic Resources
Availability Online Library~1

Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 – July 4, 2014, Brunów, Poland

2024-12-02T02:20:46Z

Author Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07013-1
Format: Electronic Resources
Availability Online Library~1

Nostradamus 2014: Prediction, Modeling and Analysis of Complex Systems

2024-12-02T02:20:46Z

Author Zelinka, Ivan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. (orcid)0000-0003-0901-5105 Chen, Guanrong. editor. Snasel, Vaclav. editor. Abraham, Ajith. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07401-6
Format: Electronic Resources
Availability Online Library~1

Advanced Neural Network-Based Computational Schemes for Robust Fault Diagnosis

2024-12-02T02:20:46Z

Author Mrugalski, Marcin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-01547-7
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-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part I

2024-12-02T02:20:46Z

Author Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335036.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40988-2
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part II

2024-12-02T02:20:46Z

Author Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335037.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40991-2
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part III

2024-12-02T02:20:46Z

Author Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335038.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40994-3
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers

2024-12-02T02:20:46Z

Author Atzmueller, Martin. editor. Chin, Alvin. editor. Helic, Denis. editor. Hotho, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335214.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45392-2
Format: Electronic Resources
Availability Online Library~1

Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers

2024-12-02T02:20:46Z

Author Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332975.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03473-7
Format: Electronic Resources
Availability Online Library~1

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

2024-12-02T02:20:46Z

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

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-12-02T02:20:46Z

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

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

2024-12-02T02:20:46Z

Author Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334105.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36039-8
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-12-02T02:20:46Z

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

Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings

2024-12-02T02:20:46Z

Author Pfeiffer, Heather D. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. Gadiraju, Nagarjuna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334048.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35786-2
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-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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 Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings

2024-12-02T02:20:46Z

Author Nascimento, Mario A. editor. Sellis, Timos. editor. Cheng, Reynold. editor. Sander, Jörg. editor. Zheng, Yu. editor.
Preferred Shelf Number ONLINE(334915.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40235-7
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-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

Combinatorial Search: From Algorithms to Systems

2024-12-02T02:20:46Z

Author Hamadi, Youssef. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335109.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41482-4
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-12-02T02:20:46Z

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

Simulated Evolution and Learning 9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012. Proceedings

2024-12-02T02:20:46Z

Author Bui, Lam Thu. editor. Ong, Yew Soon. editor. Hoai, Nguyen Xuan. editor. Ishibuchi, Hisao. editor. Suganthan, Ponnuthurai Nagaratnam. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34859-4
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-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

Diagrammatic Representation and Inference 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings

2024-12-02T02:20:46Z

Author Cox, Philip. editor. Plimmer, Beryl. editor. Rodgers, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31223-6
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-12-02T02:20:46Z

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-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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-12-02T02:20:46Z

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

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part I

2024-12-02T02:20:46Z

Author Flach, Peter A. editor. Bie, Tijl. editor. Cristianini, Nello. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33460-3
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part II

2024-12-02T02:20:46Z

Author Flach, Peter A. editor. Bie, Tijl. editor. Cristianini, Nello. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33486-3
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-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

2024-12-02T02:20:46Z

Author Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31570-1
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-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

Property Testing Current Research and Surveys

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

Core Concepts in Data Analysis: Summarization, Correlation and Visualization

2024-12-02T02:20:46Z

Author Mirkin, Boris. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-287-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Rough Sets XIII

2024-12-02T02:20:46Z

Author Peters, James F. editor. Skowron, Andrzej. editor. Chan, Chien-Chung. editor. Grzymala-Busse, Jerzy W. editor. Ziarko, Wojciech P. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18302-7
Format: Electronic Resources
Availability Online Library~1

Ludics, Dialogue and Interaction PRELUDE Project - 2006-2009. Revised Selected Papers

2024-12-02T02:20:46Z

Author Lecomte, Alain. editor. Tronçon, Samuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19211-1
Format: Electronic Resources
Availability Online Library~1

Graph-Based Representations in Pattern Recognition 8th IAPR-TC-15 International Workshop, GbRPR 2011, Münster, Germany, May 18-20, 2011. Proceedings

2024-12-02T02:20:46Z

Author Jiang, Xiaoyi. editor. Ferrer, Miquel. editor. Torsello, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20844-7
Format: Electronic Resources
Availability Online Library~1

Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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-12-02T02:20:46Z

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-12-02T02:20:46Z

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-12-02T02:20:46Z

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

Advances in Artificial Life. Darwin Meets von Neumann 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers, Part I

2024-12-02T02:20:46Z

Author Kampis, George. editor. Karsai, István. editor. Szathmáry, Eörs. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21283-3
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-12-02T02:20:46Z

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

Advances in Artificial Life. Darwin Meets von Neumann 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers, Part II

2024-12-02T02:20:46Z

Author Kampis, George. editor. Karsai, István. editor. Szathmáry, Eörs. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21314-4
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-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

Game of Life Cellular Automata

2024-12-02T02:20:46Z

Author Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-217-9
Format: Electronic Resources
Availability Online Library~1

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

Diagrammatic Representation and Inference 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings

2024-12-02T02:20:46Z

Author Goel, Ashok K. editor. Jamnik, Mateja. editor. Narayanan, N. Hari. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14600-8
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-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

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-12-02T02:20:46Z

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-12-02T02:20:46Z

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

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-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings

2024-12-02T02:20:46Z

Author Ferreira, Fernando. editor. Löwe, Benedikt. editor. Mayordomo, Elvira. editor. Mendes Gomes, Luís. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13962-8
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings

2024-12-02T02:20:46Z

Author Thai, My T. editor. Sahni, Sartaj. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14031-0
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

2024-12-02T02:20:46Z

Author Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14165-2
Format: Electronic Resources
Availability Online Library~1

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

Author Kwuida, Léonard. editor. Sertkaya, Barış. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11928-6
Format: Electronic Resources
Availability Online Library~1

Music Recommendation and Discovery The Long Tail, Long Fail, and Long Play in the Digital Music Space

2024-12-02T02:20:46Z

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

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

2024-12-02T02:20:46Z

Author Giesl, Jürgen. editor. Hähnle, Reiner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14203-1
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-12-02T02:20:46Z

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

Simulated Evolution and Learning 8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010. Proceedings

2024-12-02T02:20:46Z

Author Deb, Kalyanmoy. editor. Bhattacharya, Arnab. editor. Chakraborti, Nirupam. editor. Chakroborty, Partha. editor. Das, Swagatam. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17298-4
Format: Electronic Resources
Availability Online Library~1

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

2024-12-02T02:20:46Z

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

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

2024-12-02T02:20:46Z

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

Advances in Neural Networks – ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part I

2024-12-02T02:20:46Z

Author Yu, Wen. editor. He, Haibo. editor. Zhang, Nian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01507-6
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part II

2024-12-02T02:20:46Z

Author Yu, Wen. editor. He, Haibo. editor. Zhang, Nian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01510-6
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part III

2024-12-02T02:20:46Z

Author Yu, Wen. editor. He, Haibo. editor. Zhang, Nian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01513-7
Format: Electronic Resources
Availability Online Library~1

Graph-Based Representations in Pattern Recognition 7th IAPR-TC-15 International Workshop, GbRPR 2009, Venice, Italy, May 26-28, 2009. Proceedings

2024-12-02T02:20:46Z

Author Torsello, Andrea. editor. Escolano, Francisco. editor. Brun, Luc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02124-4
Format: Electronic Resources
Availability Online Library~1

Conceptual Structures: Leveraging Semantic Technologies 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings

2024-12-02T02:20:46Z

Author Rudolph, Sebastian. editor. Dau, Frithjof. editor. Kuznetsov, Sergei O. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03079-6
Format: Electronic Resources
Availability Online Library~1

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing 12th International Conference, RSFDGrC 2009, Delhi, India, December 15-18, 2009. Proceedings

2024-12-02T02:20:46Z

Author Sakai, Hiroshi. editor. Chakraborty, Mihir Kumar. editor. Hassanien, Aboul Ella. editor. Ślęzak, Dominik. editor. Zhu, William. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10646-0
Format: Electronic Resources
Availability Online Library~1

Algorithms and theory of computation handbook. Special topics and techniques

2024-12-02T02:20:46Z

Author Atallah, Mikhail J. Blanton, Marina.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Emerging Trends in Visual Computing LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008. Revised Invited Papers

2024-12-02T02:20:46Z

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

Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

2024-12-02T02:20:46Z

Author Ferré, Sébastien. editor. Rudolph, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01815-2
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings

2024-12-02T02:20:46Z

Author Hoeve, Willem-Jan. editor. Hooker, John N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01929-6
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

2024-12-02T02:20:46Z

Author Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04238-6
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings

2024-12-02T02:20:46Z

Author Ono, Hiroakira. editor. Kanazawa, Makoto. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02261-6
Format: Electronic Resources
Availability Online Library~1

Knowledge Processing with Interval and Soft Computing

2024-12-02T02:20:46Z

Author Kreinovich, Vladik. editor. Korvin, Andre. editor. Baker Kearfott, R. editor. Hu, Chenyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-326-2
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings

2024-12-02T02:20:46Z

Author Perron, Laurent. editor. Trick, Michael A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68155-7
Format: Electronic Resources
Availability Online Library~1

Ant Colony Optimization and Swarm Intelligence 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008. Proceedings

2024-12-02T02:20:46Z

Author Dorigo, Marco. editor. Birattari, Mauro. editor. Blum, Christian. editor. Clerc, Maurice. editor. Stützle, Thomas. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87527-7
Format: Electronic Resources
Availability Online Library~1

Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshop, SSPR & SPR 2008, Orlando, USA, December 4-6, 2008. Proceedings

2024-12-02T02:20:46Z

Author Vitoria Lobo, Niels. editor. Kasparis, Takis. editor. Roli, Fabio. editor. Kwok, James T. editor. Georgiopoulos, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89689-0
Format: Electronic Resources
Availability Online Library~1

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings

2024-12-02T02:20:46Z

Author Li, Xiaodong. editor. Kirley, Michael. editor. Zhang, Mengjie. editor. Green, David. editor. Ciesielski, Vic. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89694-4
Format: Electronic Resources
Availability Online Library~1

Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers

2024-12-02T02:20:46Z

Author Costa, Paulo Cesar G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor. Laskey, Kenneth J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89765-1
Format: Electronic Resources
Availability Online Library~1

Complexity of Constraints An Overview of Current Research Themes

2024-12-02T02:20:46Z

Author Creignou, Nadia. editor. Kolaitis, Phokion G. editor. Vollmer, Heribert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92800-3
Format: Electronic Resources
Availability Online Library~1

Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings

2024-12-02T02:20:46Z

Author Eklund, Peter. editor. Haemmerlé, Ollivier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70596-3
Format: Electronic Resources
Availability Online Library~1

Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

2024-12-02T02:20:46Z

Author Hartmann, Sven. editor. Kern-Isberner, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77684-0
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings

2024-12-02T02:20:46Z

Author Medina, Raoul. editor. Obiedkov, Sergei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78137-0
Format: Electronic Resources
Availability Online Library~1

Robot Vision Second International Workshop, RobVis 2008, Auckland, New Zealand, February 18-20, 2008. Proceedings

2024-12-02T02:20:46Z

Author Sommer, Gerald. editor. Klette, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78157-8
Format: Electronic Resources
Availability Online Library~1

Research in Computational Molecular Biology 12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. Proceedings

2024-12-02T02:20:46Z

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

Computers and Games 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings

2024-12-02T02:20:46Z

Author Herik, H. Jaap. editor. Xu, Xinhe. editor. Ma, Zongmin. editor. Winands, Mark H. M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87608-3
Format: Electronic Resources
Availability Online Library~1

Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings

2024-12-02T02:20:46Z

Author Stapleton, Gem. editor. Howse, John. editor. Lee, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87730-1
Format: Electronic Resources
Availability Online Library~1

Research in Computational Molecular Biology 11th Annual International Conference, RECOMB 2007, Oakland, CA, USA, April 21-25, 2007. Proceedings

2024-12-02T02:20:46Z

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

Graph-Based Representations in Pattern Recognition 6th IAPR-TC-15 International Workshop, GbRPR 2007, Alicante, Spain, June 11-13, 2007. Proceedings

2024-12-02T02:20:46Z

Author Escolano, Francisco. editor. Vento, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72903-7
Format: Electronic Resources
Availability Online Library~1

Conceptual Structures: Knowledge Architectures for Smart Applications 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings

2024-12-02T02:20:46Z

Author Priss, Uta. editor. Polovina, Simon. editor. Hill, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73681-3
Format: Electronic Resources
Availability Online Library~1

Algorithmic Methods for Railway Optimization International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers

2024-12-02T02:20:46Z

Author Geraets, Frank. editor. Kroon, Leo. editor. Schoebel, Anita. editor. Wagner, Dorothea. editor. Zaroliagis, Christos D. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74247-0
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Life 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007. Proceedings

2024-12-02T02:20:46Z

Author Almeida e Costa, Fernando. editor. Rocha, Luis Mateus. editor. Costa, Ernesto. editor. Harvey, Inman. editor. Coutinho, António. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74913-4
Format: Electronic Resources
Availability Online Library~1

Computers and Games 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers

2024-12-02T02:20:46Z

Author Herik, H. Jaap. editor. Ciancarini, Paolo. editor. Donkers, H. H. L. M. (Jeroen). editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75538-8
Format: Electronic Resources
Availability Online Library~1

Progress in Artificial Life Third Australian Conference; ACAL 2007 Gold Coast, Australia, December 4-6, 2007 Proceedings

2024-12-02T02:20:46Z

Author Randall, Marcus. editor. Abbass, Hussein A. editor. Wiles, Janet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76931-6
Format: Electronic Resources
Availability Online Library~1

Stochastic Learning and Optimization A Sensitivity-Based Approach

2024-12-02T02:20:46Z

Author Cao, Xi-Ren. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-69082-7
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings

2024-12-02T02:20:46Z

Author Kuznetsov, Sergei O. editor. Schmidt, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70901-5
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I

2024-12-02T02:20:46Z

Author Liu, Derong. editor. Fei, Shumin. editor. Hou, Zeng-Guang. editor. Zhang, Huaguang. editor. Sun, Changyin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72383-7
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II

2024-12-02T02:20:46Z

Author Liu, Derong. editor. Fei, Shumin. editor. Hou, Zengguang. editor. Zhang, Huaguang. editor. Sun, Changyin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72393-6
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part III

2024-12-02T02:20:46Z

Author Liu, Derong. editor. Fei, Shumin. editor. Hou, Zengguang. editor. Zhang, Huaguang. editor. Sun, Changyin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72395-0
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings

2024-12-02T02:20:46Z

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

Practice and Theory of Automated Timetabling VI 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers

2024-12-02T02:20:46Z

Author Burke, Edmund K. editor. Rudová, Hana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77345-0
Format: Electronic Resources
Availability Online Library~1

Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

2024-12-02T02:20:46Z

Author Botana, Francisco. editor. Recio, Tomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77356-6
Format: Electronic Resources
Availability Online Library~1

Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers

2024-12-02T02:20:46Z

Author Hong, Hoon. editor. Wang, Dongming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11615798
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings

2024-12-02T02:20:46Z

Author Missaoui, Rokia. editor. Schmidt, Jürg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11671404
Format: Electronic Resources
Availability Online Library~1

Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshops, SSPR 2006 and SPR 2006, Hong Kong, China, August 17-19, 2006. Proceedings

2024-12-02T02:20:46Z

Author Yeung, Dit-Yan. editor. Kwok, James T. editor. Fred, Ana. editor. Roli, Fabio. editor. Ridder, Dick. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11815921
Format: Electronic Resources
Availability Online Library~1

Ant Colony Optimization and Swarm Intelligence 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006. Proceedings

2024-12-02T02:20:46Z

Author Dorigo, Marco. editor. Gambardella, Luca Maria. editor. Birattari, Mauro. editor. Martinoli, Alcherio. editor. Poli, Riccardo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11839088
Format: Electronic Resources
Availability Online Library~1

Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings

2024-12-02T02:20:46Z

Author Dix, Jürgen. editor. Hegner, Stephen J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11663881
Format: Electronic Resources
Availability Online Library~1

Nanotechnology: Science and Computation

2024-12-02T02:20:46Z

Author Chen, Junghuei. editor. Jonoska, Nataša. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-30296-4
Format: Electronic Resources
Availability Online Library~1

Computers and Games 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers

2024-12-02T02:20:46Z

Author Herik, H. Jaap. editor. Björnsson, Yngvi. editor. Netanyahu, Nathan S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11674399
Format: Electronic Resources
Availability Online Library~1

Research in Computational Molecular Biology 10th Annual International Conference, RECOMB 2006, Venice, Italy, April 2-5, 2006. Proceedings

2024-12-02T02:20:46Z

Author Apostolico, Alberto. editor. Guerra, Concettina. editor. Istrail, Sorin. editor. Pevzner, Pavel A. editor. Waterman, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11732990
Format: Electronic Resources
Availability Online Library~1

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

2024-12-02T02:20:46Z

Author MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11734673
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings

2024-12-02T02:20:46Z

Author Beck, J. Christopher. editor. Smith, Barbara M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11757375
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks - ISNN 2006 Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II

2024-12-02T02:20:46Z

Author Wang, Jun. editor. Yi, Zhang. editor. Zurada, Jacek M. editor. Lu, Bao-Liang. editor. Yin, Hujun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11760023
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks - ISNN 2006 Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I

2024-12-02T02:20:46Z

Author Wang, Jun. editor. Yi, Zhang. editor. Zurada, Jacek M. editor. Lu, Bao-Liang. editor. Yin, Hujun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11759966
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks - ISNN 2006 Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part III

2024-12-02T02:20:46Z

Author Wang, Jun. editor. Yi, Zhang. editor. Zurada, Jacek M. editor. Lu, Bao-Liang. editor. Yin, Hujun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11760191
Format: Electronic Resources
Availability Online Library~1

Graphics Recognition. Ten Years Review and Future Perspectives 6th Internation Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers

2024-12-02T02:20:46Z

Author Liu, Wenyin. editor. Lladós, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11767978
Format: Electronic Resources
Availability Online Library~1

Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings

2024-12-02T02:20:46Z

Author Barker-Plummer, Dave. editor. Cox, Richard. editor. Swoboda, Nik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11783183
Format: Electronic Resources
Availability Online Library~1

Conceptual Structures: Inspiration and Application 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006. Proceedings

2024-12-02T02:20:46Z

Author Schärfe, Henrik. editor. Hitzler, Pascal. editor. Øhrstrøm, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11787181
Format: Electronic Resources
Availability Online Library~1

Simulated Evolution and Learning 6th International Conference, SEAL 2006, Hefei, China, October 15-18, 2006. Proceedings

2024-12-02T02:20:46Z

Author Wang, Tzai-Der. editor. Li, Xiaodong. editor. Chen, Shu-Heng. editor. Wang, Xufa. editor. Abbass, Hussein. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11903697
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Games 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-9, 2005. Revised Papers

2024-12-02T02:20:46Z

Author Herik, H. Jaap. editor. Hsu, Shun-Chin. editor. Hsu, Tsan-sheng. editor. Donkers, H. H. L. M. (Jeroen). editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11922155
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis Foundations and Applications

2024-12-02T02:20:46Z

Author Ganter, Bernhard. editor. Stumme, Gerd. editor. Wille, Rudolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-31881-1
Format: Electronic Resources
Availability Online Library~1

Research in Computational Molecular Biology 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005. Proceedings

2024-12-02T02:20:46Z

Author Miyano, Satoru. editor. Mesirov, Jill. editor. Kasif, Simon. editor. Istrail, Sorin. editor. Pevzner, Pavel A. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135594
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings

2024-12-02T02:20:46Z

Author Ganter, Bernhard. editor. Godin, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105806
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedings

2024-12-02T02:20:46Z

Author Barták, Roman. editor. Milano, Michela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136920
Format: Electronic Resources
Availability Online Library~1

Spatially Structured Evolutionary Algorithms Artificial Evolution in Space and Time

2024-12-02T02:20:46Z

Author Tomassini, Marco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29938-6
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Life 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005. Proceedings

2024-12-02T02:20:46Z

Author Capcarrère, Mathieu S. editor. Freitas, Alex A. editor. Bentley, Peter J. editor. Johnson, Colin G. editor. Timmis, Jon. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11553090
Format: Electronic Resources
Availability Online Library~1

Conceptual Structures: Common Semantics for Sharing Knowledge 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. Proceedings

2024-12-02T02:20:46Z

Author Dau, Frithjof. editor. Mugnier, Marie-Laure. editor. Stumme, Gerd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-31885-9
Format: Electronic Resources
Availability Online Library~1

Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers

2024-12-02T02:20:46Z

Author Burke, Edmund. editor. Trick, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11593577
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings

2024-12-02T02:20:46Z

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

Advances in Neural Networks – ISNN 2005 Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part I

2024-12-02T02:20:46Z

Author Wang, Jun. editor. Liao, Xiaofeng. editor. Yi, Zhang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136476
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2005 Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part II

2024-12-02T02:20:46Z

Author Wang, Jun. editor. Liao, Xiao-Feng. editor. Yi, Zhang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136478
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2005 Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part III

2024-12-02T02:20:46Z

Author Wang, Jun. editor. Liao, Xiao-Feng. editor. Yi, Zhang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136479
Format: Electronic Resources
Availability Online Library~1

Quantitative Measure for Discrete Event Supervisory Control

2024-12-02T02:20:46Z

Author Ray, Asok. editor. Phoha, Vir V. editor. Phoha, Shashi P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b103444
Format: Electronic Resources
Availability Online Library~1

Neural network design and the complexity of learning

2024-12-02T02:20:46Z

Author Judd, J. Stephen.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267404
Format: Electronic Resources
Availability Online Library~1

Search Results for Artificial Intelligence - Narrowed by: Computational complexity.

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

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

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

Modeling Decisions for Artificial Intelligence 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30–December 2, 2009. Proceedings

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

Computational theories of interaction and agency

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

An Introduction to Complex Systems Making Sense of a Changing World​

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

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

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

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

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

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

Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday

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

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

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

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

Algorithms for Computational Biology 5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings

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

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

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

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

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

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

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

Neural Networks with Discontinuous/Impact Activations

Evolution, Complexity and Artificial Life

Computational Models of Complex Systems

Engineering General Intelligence, Part 1 A Path to Advanced AGI via Embodied Learning and Cognitive Synergy

Applications of Membrane Computing in Systems and Synthetic Biology

Guided Self-Organization: Inception

Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 – July 4, 2014, Brunów, Poland

Nostradamus 2014: Prediction, Modeling and Analysis of Complex Systems

Advanced Neural Network-Based Computational Schemes for Robust Fault Diagnosis

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

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

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

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

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part I

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part II

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part III

Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers

Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers

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

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

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

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

Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings

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

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

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

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

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

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

Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings

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

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

Combinatorial Search: From Algorithms to Systems

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

Simulated Evolution and Learning 9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012. Proceedings

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

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

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

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

Diagrammatic Representation and Inference 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings

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

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

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

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

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

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part I

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part II

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

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

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

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

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

An Introduction to Complex Systems Making Sense of a Changing World